Suche
Kategorie
Erscheinungsjahr
151 Treffer
×
Publikationen
×
< 2021
×
Theologische Fakultät Trier
×
Universität Koblenz
×
Technische Hochschule Bingen
- Kraul, M.
- Coeducation in German Secondary Schools, 1950 -1990: Introduction, acceptance and consequences
- Proc. of the Meeting of the Standing Working Group on Gender and History of Education at ISCHE XVIII, Krakow 1996.
- Geigl, Florian; Lamprecht, Daniel; Hofmann-Wellenhof, Rainer et al.
- Random Surfers on a Web Encyclopedia
- S. 1 - 8
- Steinruck, J.; Editions, Signe
- Die Neugründung des Bistums und die Entwicklung bis 1918
- Editions du Signe (Hrsg). Trier. Die Geschichte des Bistums, Heft 5. Gresswiller. Gresswiller S. 2-9
- Adamik, Barbara; Bawiec, Marek; Bezborodov, Viktor et al.
- Mitigation and herd immunity strategy for COVID-19 is likely to fail
- medRxiv. S. 1 - 25
- Baumgartner, P.; Furbach, U.; Thomas, B.
- Model based deduction for knowledge representation
- 17. WLP - Workshop Logische Programmierung.
- Speck, Christian; Speck, Ch.; Edelmann, B.
- Carlo Caproli "del Violino" und die Sängerin Vittoria Caproli: neue Dokumente
- Edelmann, B. (Hrsg). [Festschrift Jürgen Eppelsheim, im Druck]. Tutzing: Schneider Tutzing
- Speck, Christian; Speck, Ch.
- Luigi Boccherini. Sonate für Violoncello und Basso in D-Dur (G deest). Stimmen und Klavierauszug [im Druck]
- Speck, Ch. (Hrsg). Mainz: Schott Mainz
- Schmidt, Clemens; Schneider, Christian; Schueler, Bernhard et al.
- Knowledge-Based Image Analysis Applied to Ornaments in Arts
- Mixed-reality as a challenge to image understanding and artificial intelligence. Koblenz, 2005. Koblenz, 2005 S. 8 - 18
- Schmidt, Clemens; Schneider, Christian; Paulus, Dietrich
- Knowledge-Based Image Analysis Applied to Ornaments in Arts
- The Institution of Engineering and Technology (Hrsg). Visual Media Production (CVMP 2006). London, 2006. London, 2006 S. 97 - 105
- Götz, Thomas; Heidrich, Peter
- COVID-19 Disease Dynamics in Germany: First Models and Parameter Identification
- medRxiv. S. 1 - 15
- Speck, Christian; Speck, Ch.
- Luigi Boccherini. Sonate für Violoncello und Basso in f-moll (G deest). Stimmen und Klavierauszug [im Druck]
- Speck, Ch. (Hrsg). Mainz: Schott Mainz
- Speck, Christian; Speck, Ch.
- Luigi Boccherini. Sonate für Violoncello und Basso in c-moll (G deest). Stimmen und Klavierauszug [im Druck]
- Speck, Ch. (Hrsg). Mainz: Schott Mainz
- Sofronie-Stokkermans, Viorica
- Locality and applications to subsumption testing and interpolation in EL and some of its extensions
- S. 1 - 42
- Leinberger, Martin; Lämmel, Ralf; Staab, Steffen
- LambdaDL: Syntax and Semantics (Preliminary Report)
- S. 1 - 15
- Hampe, Felix; Hampe, J. F.; Ding, M. S.
- The Changing Technological and Business Landscapes for mPayment: Is Local Mobile Payment Emerging as the Winner?
- 8th International Workshop on Mobile Multimedia Communications, München,. S. 347-353
- Klein, J.; Antos, G.; Sendlmeier, W.F.
- Zeitschrift für Angewandte Linguistik. Hefte 30/1999-34/2001
- Klein, J.; Antos, G.; Sendlmeier, W.F. (Hrsg). Frankfurt a. M. et al.: Peter Lang Frankfurt a. M. et al
- Sofronie-Stokkermans, Viorica
- Sheaves and geometric logic and applications to the modular verification of complex systems
- S. 1 - 30
- Sofronie-Stokkermans, Viorica
- Interpolation in local theory extensions
- S. 1 - 31
- Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
- Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
- S. 1 - 39
- Sofronie-Stokkermans, Viorica
- On Interpolation and Symbol Elimination in Theory Extensions
- S. 1 - 41
- Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
- Automated Reasoning for Robot Ethics
- S. 1 - 5
- Herberg, Evelyn; Hinze, Michael; Schumacher, Henrik
- Maximal discrete sparsity in parabolic optimal control with measures
- S. 1 - 30
- Oravec, Lina; Recklies, Erik
- Let's just do it! Pre-Service music teachers' attitudes towards inclusion. Insights into the university project All-In-Band.
- Busch, Thomas; Bosch, Mercé (Hrsg). Musik für alle. Schule und Musikhochschule auf dem Weg zur Inklusion. München: Kopaed München
- Mu, Mu; Dohan, Murtada; Goodyear, Alison et al.
- User Attention and Behaviour in Virtual Reality Art Encounter
- S. 1 - 22
- 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
- Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
- System Description: H-PILoT (Version 1.9)
- S. 1 - 43