Skip to main content Skip to footer
Deutsch Login

Vorlesungsverzeichnis

Stud.IP

Bibliothek

DFG

Petri Nets 2017

Model Checking Contest @ Petri Nets

Universität Rostock
Theoretische Informatik
  • Team
    • Portalseite Lehre
    • Lehrveranstaltungen
    • Studentische Arbeiten
    • Absolventen
      • Dissertationen
      • Diplomarbeiten
      • Masterarbeiten
      • Bachelorarbeiten
      • Hausarbeiten
      • Studienarbeiten
    • Didaktisches Kabinett
    • Forschungsziele
    • Projekte
    • Publikationen
    • Werkzeuge
    • Tools
      • Tool Listing
  • Institut für Informatik
  • Startseite
  • Suche
Reset

4797 Results:

  1. KIVi – KI-gestützte Videovignetten (Basendowski/Langer)

    König, N. (Hrsg.), Quo Vadis? Tagung zur digitalen Lehre und Lehrkräftebildung in M-V. Tagung am 4. und 5. Oktober 2023, Online und Präsenz (254-261) . Verfügbar unter: www.pedocs.de/volltexte/2024/28683/p

    https://www.sopaed.uni-rostock.de/en/forschung/forschungsprojekte/kivi/

  2. Gremienwahl 2026

    der Wahlordnung Nr. 52 vom 30. Oktober 2023 Vierte Satzung zur Änderung der Wahlordnung Nr. 61 vom 5. November 2025 Wahlorgane Wahlorgane Wahlleitung Wahlausschuss Wahlprüfungsausschuss Hier gehts zur

    https://www.uni-rostock.de/en/universitaet/organisation/wahlen/gremienwahl-2026/

  3. Datenbanken

    ist Teil des organischen Grundpraktikums im 4. Semester sowie des anorganischen Hauptpraktikums im 5. Semester. SciFinder vom Chemical Abstracts Service (CAS) Für die erstmalige Nutzung von CAS SciFinder

    https://www.chemie.uni-rostock.de/en/service/wissenschaftliche-dienste/datenbanken/

  4. Fabian Kummer

    Fabian Kummer E-Mail Tel.: +49 381 498 7284 Raum: 206 Forschungsgebiete Time Sensitive Networking (TSN) 5G/6G-Positionsbestimmung und Echtzeit-Datenübertragung Online Scheduling in Echtzeitnetzen Publikationen

    https://www.imd.uni-rostock.de/en/team/mitarbeitende/persoenliche-seiten/fabian-kummer/

  5. Christian Rode

    (2024). Posture-induced modulation of lower-limb joint powers in perturbed running. Plos one , 19 (5), e0302867. Rode C, Tomalka A, Blickhan R, Siebert T. (2024). Structurally motivated models to explain

    https://www.isportwi.uni-rostock.de/en/institut/mitarbeitende/finanzen-1/christian-rode/

  6. Termine und Infos zum Losverfahren

    Restplätze nach dem Losverfahren Was Sie wissen sollten Was Sie wissen sollten Sie können bereits ca. 5 Tage vor dem Beginn des Losverfahrens die angebotenen Praktikumsplätze einsehen. Wie Sie die Prakti

    https://www.zlb.uni-rostock.de/en/studium-an-der-universitaet/praktika-pruefungen/praktikumsbuero/losverfahren-fuer-praktikumsplaetze-rostocker-schulen-und-umland/termine-und-infos-zum-losverfahren/

  7. Auf Dienstreise gehen – Genehmigung, Durchführung, Abrechnung

    erklärt hat. Die Reisekostenvergütung ist innerhalb einer Ausschlussfrist von sechs Monaten (§ 3 Abs. 5 LRKG) nach Ende der Dienstreise schriftlich geltend zu machen. Nach Ablauf dieser Frist ist eine Erstattung

    https://www.dienstleistungsportal.uni-rostock.de/en/dienstleistungen/dienstleistungen-nach-leistungsfeld/suche-in-serviceleistungen/ppp-prozesse/detail/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=177891&cHash=8d7e3872e5920772bc6bbc4de3e6265b

  8. Publications

    Proceedings of PerEd2010 , 1–5. Albert Hein and Thomas Kirste. 2010. Unsupervised Detection of Motion Primitives in very High Dimensional Sensor Data . In Proceedings of the 5th Workshop on Behaviour Monitoring [...] Recognition in Assembly Tasks by Bayesian Filtering in Multi-Hypergraphs . In GCLR 2022 on AAAI 2022 , 5. DOI: 10.48550/arXiv.2202.00332 2021 Shaukat Muhammad Salman, Põder Johann-Christian, Bader Sebastian [...] Conference on Artificial Intelligence , Berlin, Germany. DOI: https://doi.org/10.1007/978-3-030-87626-5_27 Martin Dyrba and Moritz Hanzig. 2021. Interactive Visualization of 3D CNN Relevance Maps to Aid Model

    https://www.mmis.informatik.uni-rostock.de/en/publications/

  9. WIN Master (SPSO 2018)

    Prüfungen 3.5 Freiwilliger Studienaufenthalt im Ausland und Anfertigung von schriftlichen Abschlussarbeiten im Ausland 3.6 Individuelles Teilzeitstudium 3.7 Doppelabschluss (Double Degree) 5. Broschüren [...] Regel an der Universität stattfinden, an der die Erstimmatrikulation erfolgte. 5. Broschüren / Videos / Ordnungen (Downloads) 5.3 Ordnungen Studiengangsspezifische Prüfungs- und Studienordnung Master Wir [...] Inhaltliche Anforderungen 2.3 Besonderheiten 2.4 Tätigkeitsfelder für Absolventen (Berufsfelder) 2.5 Weiterführende Qualifizierungsmöglichkeiten (Promotion) 3. Studienablaufplan 3.1 Studienablaufplan

    https://www.ief.uni-rostock.de/en/studiengaenge/master-studiengaenge-1/wirtschaftsinformatik-msc/win-master-spso-2018/

  10. Publications

    Chumakov A., and Dubrovinsky L. Crystal chemistry and compressibility of Fe 0.5 Mg 0.5 Al 0.5 Si 0.5 O 3 and FeMg 0.5 Si 0.5 O 3 silicate perovskites at pressures up to 95 GPa Front. Chem. 11, 1258389 (2023) [...] Morozova N.V., Bykov M., Bykova E., and Dubrovinsky L. Electronic properties of single-crystalline Fe 4 O 5 Dalton Trans. 52, 5563–5574 (2023) Csizmadia Sz., Smith A.M.S., Kálmán Sz., Cabrera J., Klagyivik P [...] IOP publishing Ltd (2021) Nettelmann N. Stardust in the deep interior of low-mass planets Nat. Ast. 5, 744 (2021) Aslandukov A., Aslandukova A., Laniel D., Koemets I., Fedotenko T., Yuan L., Steinle-Neumann

    https://www.for2440.uni-rostock.de/en/publications/

Displaying results 2771 to 2780 of 4797.
  • Previous
  • ...
  • 274
  • 275
  • 276
  • 277
  • 278
  • 279
  • 280
  • 281
  • 282
  • 283
  • ...
  • Next

Kontakt

Universität Rostock
Institut für Informatik
Theoretische Informatik
Albert-Einstein-Straße 22
18059 Rostock Tel.: +49 381 498 7641
Fax: +49 381 498 7642
E-Mail senden

Service

  • Imprint
  • Privacy
  • Barrierefreiheit
  • Maps

E-Mail Webmaster

Social Media

  • Facebook
  • YouTube
  • Instagram

© 2026  Universität Rostock