Sort by
Refine Your Search
-
(MUCCnet: atmosphere.ei.tum.de ) Optimization of an urban sensor network configuration for greenhouse gas and air pollutant measurements using mathematical and physical assessments Analysis of ground-based
-
: - 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