Sort by
Refine Your Search
-
Mail: Boltzmannstrasse 3 85748 Garching Web Page: https://www.spp2311.de https://www.math.cit.tum.de/math/forschung/gruppen/numerical-analysis/
-
approaches to data analysis, atomistic details of thermal catalysis and electrochemical reactions at gas/solid and liquid/solid interfaces are revealed. In particular, structure-reactivity correlations
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
Searches related to numerical analysis
Enter an email to receive alerts for numerical-analysis positions