Sort by
Refine Your Search
-
social marketing within technology and innovation-intensive activities to automation and optimization, to machine design, production and production systems. The Division of Industrial Engineering and
-
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
-
, 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
-
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