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

4864 Results:

  1. Research

    subspaces. We have shown the first non-Abelian geometric quantum gate using an Abelian gauge field [5], and presented an optimal construction using the quantum metric. The concept of holonomic gates can [...] and S.Scheel, A Passive PT-Symmetric Floquet-Coupler , preprint - Dezember 2020 - arXiv:2012.11991 [5] M. Kremer, L. Teuber, S. Szameit, S. Scheel, Optimal design strategy for non-Abelian geometric phases [...] the potential landscape may be altered to provide additional quasi-bound states with giant dipoles [5], where we computed the eigenenergies of these giant-dipole excitons [6]. Stray electric fields on the

    https://www.qms.physik.uni-rostock.de/en/research/

  2. Veröffentlichungen (begutachtet)

    on morphometrics computational fluid dynamics and a flow tank experiment In: Zoological Letters , 5 (5), 2019, dx.doi.org/10.1186/s40851-018-0119-6 2018 Busch, J.; Barthlott, W.; Brede, M.; Terlau, W.; [...] Experiments and Simulations In: International Journal of Flow Control , 5 (2), pp. 111–120, 2013, dx.doi.org/10.1260/1756-8250.5.2.111 Kriegseis, J.; Duchmann, A.; Tropea, C.; Grundmann, S. On the cla [...] discharge plasma actuators In: Journal of Physics D : Applied Physics, 46 (5), p. 55202–55202, 2013, dx.doi.org/10.1088/0022-3727/46/5/055202 Kurz, A.; Goldin, N.; King, R.; Tropea, C.; Grundmann, S. Hybrid

    https://www.lsm.uni-rostock.de/en/lehrstuhl/publikationen/veroeffentlichungen-begutachtet/

  3. Publikationen 2011

    Timmermann: Evaluation of Switch-to-Switch Header Flit Protection Schemes in Networks-on-Chip Folien 5. GMM/GI/ITG- Fachtagung Zuverlässigkeit und Entwurf (ZuE 2011), pp. 108-115, ISBN: 978-3-8007-3357-6 [...] Thermal Imbalances and Hot Spots in Networks-on-Chip Using Proactive Temperature Management Folien 5. GMM/GI/ITG- Fachtagung Zuverlässigkeit und Entwurf (ZuE 2011), pp. 84-91, ISBN: 978-3-8007-3357-6, [...] Salzmann, Philipp Gorski, Dirk Timmermann: HDLS: Improved Localization via Algorithm Fusion Proceedings of 5th International Conference on Sensor Technologies and Applications (SENSORCOMM'11) (in press), ISBN:

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

  4. Smaragdblume (Deherainia smaragdina)

    Buttersäure erinnert. Die am Ende der Triebe gehäuft stehenden Blüten erreichen einen Durchmesser von 4 bis 5 cm und erscheinen in den Wintermonaten. Es handelt sich um Zwitterblüten, bei denen die Staubblätter

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/2023/smaragdblume-deherainia-smaragdina/

  5. Komplexe Softwaresysteme

    Veranstaltung: Projekt Kurzvorstellung: angebotene Themen im SS22 Termin: Di 9-11 Uhr, online Beginn: 5.4.22 Belegung: LSF , StudIP Ort: Onlineveranstaltung SWS (CP) : 2 (6) Geeignet für : Bachelor (weit

    https://www.ava.uni-rostock.de/en/lehre/sommersemester-2022/ksws/

  6. Sonderregelungen aufgrund der Corona-Pandemie für Prüfungen im Wintersemester 2021/2022
    04.01.2022

    ist somit nicht notwendig. Ausnahme: Täuschungsversuche werden weiterhin mit „nicht bestanden“ oder 5,0 bewertet. Weitere Informationen finden Sie hier . Bei Fragen stehen wir Ihnen gern zur Verfügung.

    https://www.zlb.uni-rostock.de/en/vorlage-veranstaltungen/detailansicht-des-events-2/n/sonderregelungen-aufgrund-der-corona-pandemie-fuer-pruefungen-im-wintersemester-2021-2022-1/

  7. Baltic TRANSCOAST Seminar - Dr. Karsten Osenbrück
    25.10.2023, 2:00 pm - 25.10.2023, 4:00 pm

    and their uncertainties using carbon isotopes. Although radiocarbon ages are in the expected range of 5 to 30 thousand years b.p., there is no increase in apparent ages along the presumed flow direction or

    https://www.baltic-transcoast.uni-rostock.de/en/news/news-2020-2017/events/detailansicht-des-events/n/baltic-transcoast-seminar-dr-karsten-osenbrueck-new646f6bc24de41761765976/

  8. Terminübersicht

    Veranstaltungen October 2023 November 2023 December 2023 Mon Tue Wed Thu Fri Sat Sun 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 1 2 3 November 2023 15.11.2023 Ende

    https://www.fachschaft.physik.uni-rostock.de/en/veranstaltungen-projekte/unsere-veranstaltungen/terminuebersicht/

  9. Maritime Sensorik

    Mechatronik Lehrender: Dr. Martin Schaeper Umfang (Vorlesung/Übung/Praktika): 6. bis 8. Semester / 5 SWS (3 1 1) Modulbeschreibung: ab S. 423 Modullangfassung Ziel: Kennenlernen von ausgewählten Messverfahren

    https://www.iae.uni-rostock.de/en/lehre/damaschke/lehrveranstaltungen/maritime-sensorik/

  10. Maritime Sensorik

    Mechatronik Lehrender: Dr. Rainer Jaskulke Umfang (Vorlesung/Übung/Praktika): 6. bis 8. Semester / 5 SWS (3 1 1) Modulbeschreibung: ab S. 423 Modullangfassung Ziel: Kennenlernen von ausgewählten Messverfahren

    https://www.iae.uni-rostock.de/en/lehre/master-studiengaenge/maritime-sensorik/

Displaying results 1111 to 1120 of 4864.
  • Previous
  • ...
  • 108
  • 109
  • 110
  • 111
  • 112
  • 113
  • 114
  • 115
  • 116
  • 117
  • ...
  • 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