-
Analysing biofilm structure and microbial communities Additionally, you will develop a mathematical model that includes both adsorption and biodegradation mechanisms. This model will be calibrated using pilot
-
behavior of programs at a high level. Automata theory — to manipulate logical formulas and domain representations. Two-player games — to reason about strategies and synthesized programs. The work involves
-
correctly. Project description The goal of this PhD project is to develop techniques for the design and verification of assured ACPS with a focus on runtime assurance. You will develop theory and tools
Searches related to electronic structure theory
Enter an email to receive alerts for electronic-structure-theory positions