Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
previously conducted research or have demonstrated knowledge within some of the following areas: classical and/or quantum data communication, error correction, communication algorithms, optimization algorithms
-
for behavioural and security properties; efficient algorithms for model checking, learning and synthesis; improved explainability and safety of machine learning models, e.g. by integrating neural and symbolic
-
well as developing solution algorithms applying mathematical and computational approaches. The group has a particular focus on automated decision making in autonomous cyber-physical systems. Autonomous systems and
-
for human control of complex robotic systems with high levels of agency and minimal cognitive effort. Short description: This project will develop novel AI algorithms to decode human intention from
-
care. While these tools promise to augment medical expertise, their integration into clinical practice poses fundamental challenges that relate to differences between expert knowledge and algorithmic
-
to the specific project applied for. This includes a brief state-of-the-art (including short list of references), a time schedule and how the applicant intends to shed light on the project objectives. All
-
manufacturing systems. The methods will be co-developed and validated with several industrial cases. 2) Resilient planning, scheduling and operations of complex systems. This topic will pursue integrated
-
reconfigurable manufacturing systems. The methods will be co-developed and validated with several industrial cases. 2) Resilient planning, scheduling and operations of complex systems. This topic will pursue