Suche
Kategorie
Erscheinungsjahr
156 Treffer
×
Publikationen
×
< 2021
×
Theologische Fakultät Trier
×
Universität Koblenz
×
Hochschule Kaiserslautern
- Staab, Steffen; Stalla-Bourdillon, Sophie; Carmichael, Laura
- Observing and Recommending from a Social Web with Biases
- S. 1 - 37
- Helmling, Michael; Ruzika, Stefan
- Towards An Exact Combinatorial Algorithm for LP Decoding of Turbo Codes
- IEEE International Symposium on Information Theory. Istanbul, Turkey. Istanbul, Turkey S. 1 - 10
- Götz, Thomas
- First attempts to model the dynamics of the Coronavirus outbreak 2020
- Arxiv. S. 1 - 8
- Meinen, Iris
- Wertungsdebatte um Christina Kracht - Autor, Werk und Ironie. Christian Kracht und die Literaturkritik.
- German Monitor Approval.
- 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
- Müller, Adrian
- A Graphical Browser For Multi-Dimensional Information Spaces
- Proccedings of the IJCAI'99 Workshop on Text Mining: Techniques, Foundations and Applications. CEUR Proceedings. RWTH Aachen. RWTH Aachen
- 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