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

4883 Results:

  1. Daniel Winger

    der alten Sachsen. Begleitband zur Niedersächsischen Landesaustellung 2019. Landesmuseum Hannover 5.4.-18.8. 2019, Braunschweigisches Landesmuseum 22.9.2019 - 2.2.2020. Neue Studien zur Sachsenforschung [...] der alten Sachsen. Begleitband zur Niedersächsischen Landesaustellung 2019. Landesmuseum Hannover 5.4.-18.8. 2019, Braunschweigisches Landesmuseum 22.9.2019 - 2.2.2020. Neue Studien zur Sachsenforschung [...] der alten Sachsen. Begleitband zur Niedersächsischen Landesaustellung 2019. Landesmuseum Hannover 5.4.-18.8. 2019, Braunschweigisches Landesmuseum 22.9.2019 - 2.2.2020. Neue Studien zur Sachsenforschung

    https://www.altertum.uni-rostock.de/en/institut/mitarbeitende/daniel-winger/

  2. 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/

  3. 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/

  4. 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/

  5. Matthias Weippert

    submaximal and submaximal fatiguing voluntary contractions in knee osteoarthrosis patients . PlosOne 12(5)e0176976. Behrens M, Husmann F, Gube M, Felser S, Weippert M , Zschorlich V, Bruhn S, Mau-Moeller A [...] Deutschlands bester Mittelstreckenläufer - Eine Analyse der vergangenen 25 Jahre . Leistungssport, 45 (5), 28-32. Sammito S, Thielmann B, Seibt R, Klussmann Á, Weippert M , and Böckelmann I (2015). Guideline [...] the quadriceps muscle during isometric, concentric and eccentric contractions . Scientific Reports, 5:10209. Behrens K, Hottenrott K, Weippert M , Montanus H, Kreuzfeld S, Rieger A, Lübke J, Werdan K, Stoll

    https://www.isportwi.uni-rostock.de/en/institut/mitarbeitende/wissenschaftliches-personal/matthias-weippert/

  6. Dr. Ellen Haustein

    ng (Part 4: First consolidation), in: KoR, Vol. 15, Issue 06/2015, pp. 318-328; Part 5: Folgekonsolidierung (Part 5: Subsequent consolidation), in: KoR, Vol. 15, Issue 07-08/2015, pp. 378-390; Part 6: [...] 7: Finanzinstrumente I, 19. Jg., Heft 4/2019, S. 199-207; Teil 8: Finanzinstrumente I, 19. Jg., Heft 5/2019, S. 247-256; Teil 9: Finanzinstrumente I, 19. Jg., Heft 6/2019, S. 298-307; Teil 10: Vorräte I [...] Sektor - Fallstudie zu grundlegenden Fragen der Bilanzierung nach HGB & SsD sowie IFRS & IPSAS (Teil 5: Bilanzierungsfeld immaterielle Vermögensgegenstände bzw. -werte), in KoR, 19. Jg., Heft 1/2019, S.

    https://www.bwl.uni-rostock.de/en/institut/lehrstuehle/controlling-prof-lorson/lehrstuhlteam/dr-ellen-haustein/

  7. Studienorganisation

    Modul-Nr. LP Lehrform Sem. Astronomie und Astrophysik: Sterne, Galaxien, Universum 2380520 3 V/2, Ü/0,5 WiSe Grundlagen der Astronomie und Astrophysik (Dieses Modul steht vorrangig Lehramtsstudierenden zur [...] V/3, P/2, Ü/1 WiSe Anorganische Chemie I: Hauptgruppenchemie unter ökologischen Aspekten 2500710 9 V/5, Ü/1 WiSe Physikalische Chemie I: Grundlagen der Thermodynamik und Kinetik 2500150 6 V/4, Ü/2 SoSe [...] n im Prüfungsportal. Rücktritt, Versäumnis Eine Prüfungsleistung gilt als mit „nicht ausreichend“ (5,0) bewertet, wenn der Kandidat, nachdem er zu der Prüfung zugelassen wurde, ohne triftigen Grund von

    https://www.physik.uni-rostock.de/en/studium-und-lehre/studiengaenge/bsc-in-physik/studienorganisation/

  8. Studienorganisation

    Modul-Nr. LP Lehrform Sem. Astronomie und Astrophysik: Sterne, Galaxien, Universum 2380520 3 V/2, Ü/0,5 WiSe Grundlagen der Astronomie und Astrophysik (Dieses Modul steht vorrangig Lehramtsstudierenden zur [...] V/3, P/2, Ü/1 WiSe Anorganische Chemie I: Hauptgruppenchemie unter ökologischen Aspekten 2500710 9 V/5, Ü/1 WiSe Physikalische Chemie I: Grundlagen der Thermodynamik und Kinetik 2500150 6 V/4, Ü/2 SoSe [...] n im Prüfungsportal. Rücktritt, Versäumnis Eine Prüfungsleistung gilt als mit „nicht ausreichend“ (5,0) bewertet, wenn der Kandidat, nachdem er zu der Prüfung zugelassen wurde, ohne triftigen Grund von

    https://www.physik.uni-rostock.de/en/studium-und-lehre/studiengaenge/bsc-in-physik/studienorganisation-1/

  9. Prof. Dr. Jörn Dosch

    Just Political Window Dressing? ' TRaNS: Trans-Regional and -National Studies of Southeast Asia, Vol 5, No. 1 (2017), S. 1-23. Dosch, Jörn Inter-Regionalism Revisited. ‘ Security Cooperation in Southeast [...] Southeast Asia: Can ASEAN Deliver on Its Rhetoric? ' Malaysian Journal of International Relations, Vol. 5 (December 2017), pp. 1-17. Dosch, Jörn and Naila Maier-Knapp. EU-ASEAN Relations: ‘Taking Stock of a C [...] Just Political Window Dressing? TRaNS: Trans-Regional and -National Studies of Southeast Asia, Vol 5, No. 1 (2017), S. 1-23. Bünte, Marco and Jörn Dosch. ‘ Myanmar: Political Reforms and the Recalibration

    https://www.ipv.uni-rostock.de/en/chairs-and-staff/chair-for-international-politics/academic-staff/prof-dr-joern-dosch/

  10. Electromagnetic Field Theory - Prof. van Rienen

    n of an 800 MHz 5-cell elliptical SRF cavity for T¯t working point of the future circular Electron-Positron Collider. 14th International Particle Accelerator Conference (IPAC 2023), 5. – 12. May 2023, [...] Electromagnetic Fields (COMPUMAG 2015), Montréal, Canada, 28 June - 2 July, 2015, paper number: PB5-5. U. Zimmermann, U. van Rienen: Investigation of the Electric Field Distribution within an Electrostimulated [...] Magnets . Proc. of the 5th Intl. Particle Accelerator Conf. (IPAC 2014): 1668 – 1670. K. Papke, F. Gerigk, U. van Rienen: Progress of HOM Coupler for CERN SPL Cavities . Proc. of the 5th Intl. Particle Accelerator

    https://www.iae.uni-rostock.de/en/publications/electromagnetic-field-theory-prof-van-rienen/

Displaying results 2761 to 2770 of 4883.
  • Previous
  • ...
  • 273
  • 274
  • 275
  • 276
  • 277
  • 278
  • 279
  • 280
  • 281
  • 282
  • ...
  • 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