-
focusing on: Quantum mechanical calculations using density functional theory. Mean-field modeling and Monte Carlo simulations for reaction kinetics. Theoretical spectroscopy By combining quantum mechanical
-
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
-
of quick clays. A novel combination of miniaturised thermal-hydro-mechanical experiments and particle level modelling will be pursued to unravel the unique mechanisms that make quick clays so hazardous and
Searches related to fixed point theory
Enter an email to receive alerts for fixed-point-theory positions