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

4886 Results:

  1. Multifunktional: H5P

    Workshops zu H5P angeboten. Veranstaltungen No news available. Zur H5P - Schulung (für Mitarbeiter*Innen der Universität Rostock kostenfrei) Erstellung eines H5P Inhaltes in Ilias Mit H5P können folgende [...] H5P H5P ist eine kostenlose Software, die vielseitige Möglichkeiten der interaktiven Bearbeitung bietet. Das Programm wird über Ilias aufgerufen und kann während der Lehrveranstaltung oder im Selbststudium [...] Lückentexte Bildzuordnungen interaktive Bücher Memory Zeitstrahl 360° Touren interaktives Video ... Mit H5P können folgende Inhalte erstellt werden Quiz (Multiple Choice, Single Choice, ...) Diagramme Collagen

    https://www.phf.uni-rostock.de/en/fakultaet/digitale-lehre/hybride-lehre/technische-ausstattung/ausgewaehlte-programme/tools-fuer-die-hybride-lehre/multifunktional-h5p/

  2. Besser riechen! - Prof. Hummel (TU Dresden)
    24.02.2022, 4:00 pm - 24.02.2022, 5:00 pm

    med.uni-rostock.de/educational-activities/news-details?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=2292&cHash=fd13104cc895430ae2fc4ec8a84ef766 Online via Zoom Link: [...] Link: https://uni-rostock-de.zoom.us/j/69055965832?pwd=SXRhQWNjYndybWlvTW5nZEE3NU5wUT09 Virginia Bolowski virginia.bolowski@uni-rostock.de

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/besser-riechen-prof-hummel-tu-dresden/

  3. Data

    Current release: v0.5.1 canspin-deu-19 Current release: v0.5.1 dhd2026 Current release: v1.0.1 dh2025 Current release: v1.0.4 Changelog 4.3.2026: Release of canspin-spa-19 (v0.5.1) https://doi.org/10 [...] canspin-deu-19 (v0.5.1) https://doi.org/10.5281/zenodo.18864591 4.3.2026: Release of dhd2026 (v1.0.1) https://doi.org/10.5281/zenodo.18777155 30.9.2025: Release of canspin-spa-19 (v0.5.0) https://doi.org/10 [...] org/10.5281/zenodo.17237967 30.9.2025: Release of canspin-deu-19 (v0.5.0) https://doi.org/10.5281/zenodo.17237973 5.8.2025: Adds missing entry in bibliography (v1.0.4) https://doi.org/10.5281/zenodo.16743498

    https://www.canspin.uni-rostock.de/en/research/data/

  4. KliNet5G (BMWi)

    Titel KliNet5G - Klinische Netzwerke via 5G -TP: Lokalisierung von medizinischem Equipment in 5G-Campus-Netzen Kurzbeschreibung Das Projekt KliNet5G wird die Umsetzbarkeit einer 5G-basierten Netzinfrastruktur [...] Leistungsparameter von 5G abbilden. Innerhalb des Gesamtprojekts KliNet5G gliedert sich das Institut für Angewandte Mikroelektronik und Datentechnik (IMD) der Universität Rostock vor allem in den Anwendungsfall [...] Positionsbestimmung von Medizingeräten und -Equipment auf der Basis der 5G-Vernetzung zu ermöglichen. Der Vorteil der Nutzung der 5G-Zunkunftstechnologie zur drahtlosen Datenübermittlung und Positionsbestimmung

    https://www.imd.uni-rostock.de/en/forschung/projekte-1/klinet5g-bmwi/

  5. Grundlagen quantitativer Forschung (online)
    30.06.2022, 11:00 am - 30.06.2022, 12:00 pm

    med.uni-rostock.de/educational-activities/news-details?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=2334&cHash=34f2950e86bdb80b0b4036d9570cac2f

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/grundlagen-quantitativer-forschung/

  6. Find Medical Literature Using Medline
    28.04.2022, 2:00 pm - 28.04.2022, 4:00 pm

    med.uni-rostock.de/educational-activities/news-details?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=2328&cHash=7da8b26d0aa37aa3b2c8d8250fe2daf2

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/find-medical-literature-using-medline/

  7. Typen, Design und Fragestellungen von Studien im Bereich der psychiatrischen Fächer (online)
    01.09.2022, 11:00 am - 01.09.2022, 12:00 pm

    med.uni-rostock.de/educational-activities/news-details?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=2338&cHash=92f96ab1a9cb4db6edb91f86d8052e3b

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/typen-design-und-fragestellungen-von-studien-im-bereich-der-psychiatrischen-faecher-online/

  8. Statistik

    1999 4 2 7 13 12 2000 4 5 3 1 13 12 2001 1 1 8 2 12 12 2002 3 5 1 3 12 12 2003 5 1 3 3 12 11 2004 5 2 2 2 1 12 12 2005 5 1 2 2 2 12 9 2006 9 1 3 13 11 2007 6 1 3 2 1 13 11 2008 5 4 1 2 12 11 2009 3 1 2 [...] 2 4 1 11 9 2010 6 3 3 1 13 11 2011 5 6 1 12 11 2012 7 3 2 12 12 2013 7 1 1 9 9 2014 9 1 10 10 2015 7 2 1 10 10 2016 10 1 11 11 2017 3 4 3 10 9 2018 5 1 2 2 10 8 2019 8 2 10 10 2020 8 1 1 10 10 2021 8 1

    https://www.fotau.uni-rostock.de/en/ausbildung/ausbildung/statistik/

  9. medCS.5 (BSI)

    Angriffen auf 5G- und CloudSysteme (medCS.5) Kurzbeschreibung Das Ziel des Projektes medCS.5 ist die Patientendatensicherheit und Resilienz von 5G-Infrastrukturen im medizinischen Bereich zu analysieren, Bedr [...] Titel medCS5 - Cybersicherheit für den Austausch medizinischer Daten: 5G-Campusnetz für klinische und eHealthAnwendungen; Teilvorhaben: Selbstlernende Methoden zur Erfassung von Anomalien bei Angriffen [...] ät in den Kommunikationstechnologien 5G/6H" des Bundesamts für Sicherheit in der Informationstechnik (BSI). Laufzeit 01.10.2023 - 30.06.2025 Projektwebseite medcs5.de Team Prof. Dr.-Ing. Marc Reichenbach

    https://www.imd.uni-rostock.de/en/forschung/projekte/forschungsprojekte/medcs5-bsi/

  10. Tribometer

    500 N DFH 5 bis 50 N DFM 0,5 bis 5 N Vorhandene Antriebe Geschwindigkeit Reciprocating Drive 0.1 – 5,000 rpm Linear Drive 0.001 – 10 mm/s Rotary Drive 0.1 – 5,000 rpm Block-on-Ring 00.1 – 5,000 rpm An

    https://www.lfm.uni-rostock.de/en/ausstattung-informationen/analyse/tribometer/

Displaying results 21 to 30 of 4886.
  • Previous
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • ...
  • 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