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. Outlier detection in nautical and engine data on ships

    update rates. These range from approx. 0.1 to approx. 10 samples per second for NMEA 2000 and from 0.5 to approx. 50 samples per second for the engine data. Specifically, we have data from over 100 data

    https://iuk.uni-rostock.de/en/teaching-study/teaching/outlier-detection-in-nautical-and-engine-data-on-ships/

  2. Unterstützung der FT-Ausbildung in Chile (2009/2010)

    Rostock im Sommer 2006: "Wie gelingt es mir bei Taucheinsätzen in Chile (geplante Gastprofessur für 5 Jahre) gesetzlich unfallversichert zu arbeiten?" Antwort: "Bei Vorliegen aller dienstlichen Voraussetzungen

    https://www.fotau.uni-rostock.de/en/berichte/aus-und-weiterbildung/unterstuetzung-der-ft-ausbildung-in-chile-20092010/

  3. Hütelmoor

    Vegetation controls methane emissions in a coastal brackish fen. - Wetlands Ecology and Management , 21, 5, 323-337. doi.org/10.1007/s11273-013-9304-8 article Koebsch, F., Glatzel, S., Hofmann, J., Forbrich

    https://www.auf.uni-rostock.de/en/professorships/construction-and-environmental-area/landscape-ecology/research/moorfluxnet/huetelmoor/

  4. Prof. em. Dr. Ragnar Kinzelbach

    Ökologie seit 1971 in Mainz, Darmstadt, Rostock. Zahlreiche Kandidaten, Diplomanden, 56 Doktoranden, 5 Habilitanden (Bibliographien s. u.). Seit 2006 Ruhestand. Grund- und Hauptstudium Zoologie, Ökologie

    https://www.zoologie.uni-rostock.de/en/team/ehemalige/prof-em-dr-ragnar-kinzelbach/

  5. Reconfiguration

    Dynamically reconfigurable system design Figure 5: Example of reconfiguration in a NOC-based design Dynamic reconfiguration involves disconnecting and establishing physical links at the boundaries of

    https://www.imd.uni-rostock.de/en/forschung/projekte/forschungsprojekte/networksonchip/projects/reconfiguration/

  6. Johann-Peter Wolff

    Wellnitz, Christian Haubelt: Activity Recognition using Head Worn Inertial Sensors In Proceedings of the 5th international Workshop on Sensor-based Activity Recognition and Interaction (iWOAR), pp. 14:1 – 14:7

    https://www.imd.uni-rostock.de/en/team/mitarbeitende/persoenliche-seiten/johann-peter-wolff/

  7. Zugriff auf Exchange-Kalender mit Thunderbird und TbSync

    (in Minuten): Vorgabe ist 0 und bedeutet, dass Sie manuell synchronisieren müssen. Werte zwischen 5 und 15 erscheinen sinnvoll. Abschließend klicken Sie bitte auf „ Jetzt synchronisieren ". Danach können

    https://www.itmz.uni-rostock.de/en/onlinedienste/e-mail-und-kollaboration/kalender/faq/zugriff-auf-exchange-kalender-mit-thunderbird/

  8. Kalenderblatt Juli 2018

    Leistungen zu richten. Hierfür waren ihm seine Kollegen und Schüler stets dankbar. Wolfgang Engel starb am 5. Oktober 2010 in Rostock. Dieter Neßelmann Der Autor – zu diesem Zeitpunkt Dekan der MNF – überreicht

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2018/kalenderblatt-juli-2018/

  9. Kalenderblatt September 2012

    verteidigten Promotionen, so finden wir dort Gerhard Schulz im Jahre 1952 unter der laufenden Nummer 5 mit folgendem Eintrag: Promotionsurkunde: 19.05.1952, Dr. rer. nat. Examen: 13.05.1952 Name: Schulz

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2012/kalenderblatt-september-2012/

  10. Kalenderblatt Januar 2013

    Die Professoren der Universität Rostock im Dritten Reich. K. G. Saur, München, 2007, S. 110 –111. [5] K. von Bülow: Geschichte des Geologisch-paläontologischen Institutes der Universität Rostock. In: Wiss

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2013/kalenderblatt-januar-2013/

Displaying results 2931 to 2940 of 4797.
  • Previous
  • ...
  • 290
  • 291
  • 292
  • 293
  • 294
  • 295
  • 296
  • 297
  • 298
  • 299
  • ...
  • 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