Sort by
Refine Your Search
-
Country
-
Employer
-
Field
-
collaboration with the project team, this work aims to strengthen the interaction between modelling, algorithm development, and system-level implementation, thereby enhancing the overall scientific and
-
classical topics in numerical analysis, such as the analysis of nonlinear PDEs or the development of new solver- or coupling-methods including their convergence analysis, but also modeling and simulation
-
smart grid). While there has been tremendous progress in formal verification of cyber-physical systems, existing approaches still require expert knowledge. The main goal of this project is to develop
-
for quantum computers and develop methods and software tools dedicated to the design and realization of quantum algorithms/circuits. We see ourselves as an interface between the stakeholders building physical