Sort by
Refine Your Search
-
Discrete Element Method (DEM) models to simulate the charging and formation of multi-component, poly-disperse burden mixtures in the blast furnace. The goal is to optimize burden structure and permeability
-
key aim is to create and evaluate a method for teleoperation of a single robot and a swarm of robots through human-machine interfaces where a shared control system arbitrates the authority over
-
are required. This necessitates re-invention of processes that are in use since early days of the industrial revolution. Particularly novel separation methods for products from electrochemical synthesis
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions