Suche
Kategorie
Erscheinungsjahr
7268 Treffer
×
Publikationen
×
Johannes Gutenberg-Universität Mainz
×
Universität Koblenz
×
Technische Hochschule Bingen
×
Theologische Fakultät Trier
- Alla, Alessandro; Hinze, Michael; Kolvenbach, Philip et al.
- A Certified Model Reduction Approach for Robust Parameter Optimization with PDE Constraints
- S. 1 - 33
- Götz, Thomas; Klar, Axel
- Nonexistence of steady solutions for rotational slender fibre spinning with surface tension
- ArXiv e-prints. S. 1 - 9
- Bonacina, Maria Paola; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
- On First-Order Model-Based Reasoning
- S. 1 - 24
- Jürjens, Jan; Fernández, Eduardo B.; France, Robert B. et al.
- Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop)
- CoRR. S. 1 - 9
- Memmesheimer, Raphael; Kramer, Ivanna; Seib, Viktor et al.
- Simitate: A Hybrid Imitation Learning Benchmark
- 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE S. 1 - 7
- Roy, Nityananda; Götz, Thomas; Wiyaja, Karunia Putra et al.
- An improved mathematical model for the sedimentation of microplastic particles in a lid-driven cavity with obstacle
- ArXiv e-prints. S. 1 - 18
- Peuter, Dennis; Sofronie-Stokkermans, Viorica
- On Invariant Synthesis for Parametric Systems
- S. 1 - 33
- Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
- System Description: H-PILoT (Version 1.9)
- S. 1 - 43