Sort by
Refine Your Search
-
Symbolic AI, Neuro-Symbolic AI, Agentic AI, Neural Networks for code vulnerability detection (Senanayake et al. 2024), SBOM tools, prompt vulnerability detectors, and static/dynamic analysis tools could
-
into a behavioral design model to generate the corresponding safety model [FAOC21, TACAS16]; generate Minimal Cut Sets from a fully behavioral dynamical model and a TLE [FAOC21, TACAS16, CAV15a, SCP15
-
within a Research Infrastructure? No Offer Description Urban Digital Twins (UDTs) are dynamic digital representations of cities, integrating heterogeneous data sources and advanced modelling techniques
-
working on issues of multidisciplinary concern. The course is the dynamic home to research in architectural composition, in the history of architecture and the city, in planning, in design, in the arts and
-
Website https://forms.office.com/e/KfMm59Buts?origin=lprLink Requirements Research FieldChemistry » Inorganic chemistryEducation LevelMaster Degree or equivalent Research FieldEnvironmental science
-
systems (https://metamic3.isas.de/ ). Using advanced metaproteomics, METAMIC 3 aims to unravel the functional dynamics of microbial communities and their response to microbial effectors such as
-
or dynamic environments. At the same time, radio sensing and semantic mapping provide access to rich signal-level information that implicitly contains predictive structure. Certain radio features, although not
-
, visit: https://sites.google.com/view/tommaso-giovannini The ideal PhD candidate has: a solid background in theoretical/computational condensed-matter physics or chemistry (MSc in Physics, Chemistry