-
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
-
work. A model is to be developed to estimate the material mass breakdown for various cell designs and cell formats. The model will be validated from teardown analysis of commercial lithium-ion battery
-
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
Searches related to gauge theory
Enter an email to receive alerts for gauge-theory positions