located to the right of the entrance. It contains a snack vending machine and is meant as a space to take a break, eat, and talk. In room 6025 is another Break Room. Further information on the Education

https://www.ub.uni-rostock.de/en/studying/features/break-rooms/

to you if you provide your name and email address. Please log in to view the contact form. You'll find the login button in the top right corner. Don't worry—anything you send us will still be anonymous

https://www.fachschaft.physik.uni-rostock.de/en/fachschaftsrat/kontakt/kontaktformular/

Proc. of the EUROSEC '98, 1998 Joachim Kröger, Stefan Paul, Andreas Heuer: On the Ordering of Rewrite Rules (Extended Abstract) , in: Advances in Databases and Information Systems, Proceedings of the Second [...] materialisierter Views zur Anfrageoptimierung in Data Warehouses , in: Proceedings of the Studierendenprogramm at the 13th GI-conference on Database Systems for Business, Technology and Web (BTW), Band 1/2009 [...] Grundlagen von Datenbanken, 2008 Dagmar Köhn, Nicolas Le Novère: SED-ML - An XML Format for the Implementation of the MIASE Guidelines , in: CMSB 2008, LNBI, Springer-Verlag Berlin Heidelberg, 2008 Dagmar Köhn

https://dbis.informatik.uni-rostock.de/en/publications/journal-and-conference-articles/archive/

ID: E-564, Brisbane, Australia, Juni 2012 R. Salomon, E. Heinrich, R. Joost Modeling the Nucleus Laminaris of the Barn Owl: Achieving 20 ps resolution on a 85MHz-Clocked Digital Device Frontiers in C [...] Lausanne, Schweiz, Februar 2012 E. Heinrich, R. Joost, R. Salomon A Digital Implementation of the Nucleus Laminaris The 2011 International Joint Conference on Neural Networks (IJCNN 2011), pp. 1461-1465, ISBN: [...] 2011 M. Lüder, R. Warmuth, E. Heinrich, R. Joost, R. Salomon SRD - Towards a System for the In-Situ Detection of the Stapedius Reflex IEEE Symposium Series on Computational Intelligence (SSCI 2011), pp.

https://www.imd.uni-rostock.de/en/team/ehemalige-mitarbeitende/ralf-joost/alle-publikationen/

teaching in the field of Digital Humanities. As part of the research project, my primary responsibility is the comparative analysis of spatiality in German and Spanish language text corpora from the 19th century [...] Currently, I am engaged in the XML/TEI-based processing of the Spanish corpus using transformation scripts and the development of a category set for annotating spatial entities in the texts. My research interests [...] Research Associate in the DFG Project " Computational Approaches to Narrative Space in 19th and 20th Century Novels " Profile Since April 2023, I have been working as a Research Associate in the DFG project "CANSpiN"

https://www.germanistik.uni-rostock.de/en/lehrende/wiss-mitarbeiterinnen-und-mitarbeiter/nils-kellner/

ID: E-564, Brisbane, Australia, Juni 2012 R. Salomon, E. Heinrich, R. Joost Modeling the Nucleus Laminaris of the Barn Owl: Achieving 20 ps resolution on a 85MHz-Clocked Digital Device Frontiers in C [...] Lausanne, Schweiz, Februar 2012 E. Heinrich, R. Joost, R. Salomon A Digital Implementation of the Nucleus Laminaris The 2011 International Joint Conference on Neural Networks (IJCNN 2011), pp. 1461-1465, ISBN: [...] 2011 M. Lüder, R. Warmuth, E. Heinrich, R. Joost, R. Salomon SRD - Towards a System for the In-Situ Detection of the Stapedius Reflex IEEE Symposium Series on Computational Intelligence (SSCI 2011), pp.

https://www.imd.uni-rostock.de/en/team/ehemalige-mitarbeitende/ralf-joost/

Christian Haubelt: Advanced Debugging Architecture for Smart Inertial Sensors using Sensor-in-the-Loop In Proceedings of the International Workshop of Rapid System Prototyping (RSP), pp. 1-7, DOI: 10.1109/RSP51120 [...] Connectivity: Particular Standards for Endoscopic Surgery* In Proceedings of the 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC), pp. 5649-5652, DOI: 10 [...] Peter Danielis, Gero Mühl, Dirk Timmermann: Realtime Publish/Subscribe for the Industrial Internet of Things In Proceedings of the 2. KuVS Fachgespräch “Network Softwarization”, pp. 1-2, DOI: 10.15496/pu

https://www.imd.uni-rostock.de/en/forschung/veroeffentlichungen/publikationen/publikationen-2020/

Kleiner, 1991). Today the universally accepted definition is that a proof is a finite sequence of propositions, each of which is an axiom or follows from preceding propositions by the rules of logical inference [...] they often have the advantage of conveying greater insight and understanding. Not all practicing mathematicians, however, are content with such informal proofs and “comfortable that the idea works” (Thurston [...] along with their growing use as tools in mathematics practice, has facilitated this trend. The paper will describe the development of these tools over time, showing how proof checking through formalization

https://www.mathematik.uni-rostock.de/en/events/regular-events/lecture-cycle-in-didactics/