Sort by
Refine Your Search
-
obtained from ex vivo robotic tests will inform multiscale numerical models of tissue mechanotransduction, calibrated using in vivo murine gait analysis and behavioral tracking provided by IRMB
-
Mail: Boltzmannstrasse 3 85748 Garching Web Page: https://www.spp2311.de https://www.math.cit.tum.de/math/forschung/gruppen/numerical-analysis/
-
. Contact: Prof. Dr. Barbara Wohlmuth Email: Postal Mail: Boltzmannstrasse 3 85748 Garching Web Page: https://www.math.cit.tum.de/math/forschung/gruppen/numerical-analysis/ https://www.spp2311.de/research
-
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