Sort by
Refine Your Search
-
humans and society at large is either fully automated or heavily relies on automatically provided decision support. While machine learning approaches become increasingly prevalent in this context
-
work together, cooperative autonomous systems emerge. These systems hold transformative potential in applications like robotics, environmental monitoring, smart transportation, warehouse automation, and
-
, Internet of Things, Systems-of-Systems automation, Machine Learning, Deep Learning, Data Science, Electronic systems design, and sensor systems. Cyber-Physical Systems (CPS) focuses on integrated software
-
, Internet of Things, Systems-of-Systems automation, Machine Learning, Deep Learning, Data Science, Electronic systems design, and sensor systems. Cyber-Physical Systems (CPS) focuses on integrated software
-
, Internet of Things, Systems-of-Systems automation, Machine Learning, Deep Learning, Data Science, Electronic systems design, and sensor systems. Cyber-Physical Systems (CPS) focuses on integrated software
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
-
, Internet of Things, Systems-of-Systems automation, Machine Learning, Deep Learning, Data Science, Electronic systems design, and sensor systems. Cyber-Physical Systems (CPS) focuses on integrated software
-
developing AI methods for automated microstructure analysis and 3D microstructure generation. By combining self-supervised learning and diffusion-based generative models, the goal is to: Reconstruct high
-
competence in System Analysis including Environmental Systems Analysis and LCA, as well as Biometrics (statistics and mathematics with applications in biological systems) and Automation and Logistics. Read
-
automated theorem provers and recently popularized for optimizing compilers and many other optimization tasks. We hypothesize that an e-graph would be an effective tool for discovering and encoding a large