Suche
Kategorie
Erscheinungsjahr
151 Treffer
- Ivkic, Igor; Sailer, Patrizia; Gouglidis, Antonios et al.
- A Security Cost Modelling Framework for Cyber-Physical Systems
- S. 1 - 31
- Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.
- Automatic Verification of Parametric Specifications with Complex Topologies
- S. 1 - 16
- Sadi, Muhammad Sheikh; Mizanur, Rahman Khan; Uddin, Md. Nazim et al.
- An Efficient Approach towards Mitigating Soft Errors Risks
- CoRR. S. 1 - 18
- Gräßle, Carmen; Hintermüller, Michael; Hinze, Michael et al.
- Simulation and control of a nonsmooth Cahn-Hilliard Navier-Stokes system
- S. 1 - 25
- Helmling, Michael; Rosnes, Eirik; Ruzika, Stefan et al.
- Efficient Maximum-Likelihood Decoding of Linear Block Codes on Binary Memoryless Channels
- IEEE International Symposium on Information Theory. Honolulu, HI, USA. Honolulu, HI, USA S. 1 - 5
- Rockenfeller, Robert; Guenther, Michael; Schmitt, Syn et al.
- Comparing different muscle activation dynamics using sensitivity analysis
- arXiv.org. S. 1 - 34
- Memmesheimer, Raphael; Theisen, Nick; Paulus, Dietrich
- SL-DML: Signal Level Deep Metric Learning for Multimodal One-Shot Action Recognition
- S. 1 - 8
- Alahmadi, Amal A.; Musa, Mohamed O. I.; El-Gorashi, Taisir E. H. et al.
- Fogbanks: Future Dynamic Vehicular Fog Banks for Processing, Sensing and Storage in 6G
- S. 1 - 6
- Matamoros, Mauricio; Harbusch, Karin; Paulus, Dietrich
- From Commands to Goal-based Dialogs: A Roadmap to Achieve Natural Language Interaction in RoboCup@Home
- S. 1 - 13
- Steinruck, J.; Editions, Signe
- Die Aufklärung im Erzbistum Trier: Weihbischof Hontheim
- Editions du Signe (Hrsg). Trier. Die Geschichte des Bistums, Heft 4. Gresswiller. Gresswiller S. 31-33
- Oravec, Lina; Göllner, Michael; Lehmann-Wermser, Andreas et al.
- Zentrale didaktische Orientierungen und Konzeptionen in der Musikpädagogik
- Dartsch, M.; Knigge, J.; Niessen, A.; Platz, F. & Stöger, C. (Hrsg). Handbuch der Musikpädagogik. 2. Aufl.
- Sailer, Patrizia; Ivkic, Igor; Tauber, Markus et al.
- Analysing Design Approaches for the Power Consumption in Cyber-Physical Systems
- S. 1 - 6
- Kaune, Sebastian; Rumín, Rubén Cuevas; Tyson, Gareth et al.
- Unraveling BitTorrent’s File Unavailability: Measurements, Analysis and Solution Exploration
- S. 1 - 12
- Gebhardt, W.; Gebhardt, W.; Göttlich, U. et al.
- Einleitung: Pouläre Kultur als repräsentative Kultur. Zum Verhältnis von Kultursoziologie und Cultural Studies
- Gebhardt, W.; Göttlich, U.; Albrecht, C. (Hrsg). Populäre Kultur als repräsentative Kultur. Die Herausforderung der Cultural Studies. Köln: von Halem Verlag Köln S. 3-12
- Stiglmayr, Michael; Figueira, José Rui; Klamroth, Kathrin et al.
- Decision Space Robustness for Multi-Objective Integer Linear Programming
- S. 1 - 28
- Paramita, Monica Lestari; Kasinidou, Maria; Kleanthous, Styliani et al.
- BASE: a Bias-Aware news Search Engine for improving user awareness [Prototype]
- Götz, Thomas; Bock, Wolfgang; Rockenfeller, Robert et al.
- A two-strain SARS-COV-2 model for Germany - Evidence from a Linearization
- Arxiv. S. 1 - 11
- Sofronie-Stokkermans, Viorica
- Parametric Systems: Verification and Synthesis
- S. 1 - 39
- 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