Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
. Recent work of our group includes: o Robustness of neural networks (https://proceedings.mlr.press/v162/schwinn22a.html) o Novel threat models in LLMs (https://arxiv.org/pdf/2402.09063) o Efficient
-
will be part of the Collaborative Research Center Transregio 277 Additive Manufacturing in Construction (AMC) in the new project B06: Material Modelling and Simulation of Deposition AM Processes
-
emphasis is placed on building information modelling, point cloud capturing and processing as well as knowledge representation and inference. In the research project AI-CHECK, new technologies for checking
-
methods (such as Machine Learning, Metric Learning, Reinforcement Learning, Graph Representation Learning, Generative Models, Domain Adaptation, etc.) for Design Automation applications. To this end, we
-
investigation of the aerodynamic performance of advanced future compressor stages, support-ed by numerical modelling and simulations of performance-enhancing design features. In this research project you will be
-
capacity, energy consumption, and costs Tool and model integration To learn more about our previous work, please check out our website (www.cda.cit.tum.de/research/etcs/ ) and open-source implementations
-
/model checking, probabilistic or timed systems, automated theorem proving (Isabelle, Coq). Besides, we strongly appreciate experience with developer activities as described below. Developer: Your tasks
-
compressor stages, supported by numerical modelling and simulations of performance-enhancing design features. In this research project you will be able to experience hands-on testing of a high-speed and engine
-
applications. For an overview of our previous work, please check out our web pages on software/design automation for microfluidics (www.cda.cit.tum.de/research/microfluidics/ ). In the future, we are aiming
-
on superconducting quantum computers Developing algorithms to decompose (arbitrary) unitaries into native operations of a given target system Optimizing circuits taking error models of actual hardware into account