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

4861 Results:

  1. Jana Wölfel

    between benthic macrofauna and biogeochemistry in a modern brackish coastal sea. Front. Mar. Sci. 5:489. doi: 10.3389/fmars.2018.00489 Lipka M, Woelfel J , Gogina M, Kallmeyer J, Liu B, Morys C, Forster [...] variability of early diagenetic processes in temperate brackish surface sediments. Front. Mar. Sci. 5:413. doi: 10.3389/fmars.2018.00413 Woelfel J , Schoknecht A, Schumann R, Karsten U (2014); Growth and [...] Warnemuende Benthic Observation Chamber - Lander of opportunity. IOW Forum “Innovative Instrumentation”, 5.03.2018, Warnemünde (Germany) (talk) Woelfel J , Rehder G (2017); Spatiotemporal variability of O2

    https://www.oekologie.uni-rostock.de/en/mitarbeitende/jana-woelfel/

  2. Subproject 9: Experimental study of planetary ices at high pressure using dynamically-driven diamondanvil cells

    large-scale numerical models to constrain the internal structure and dynamics of exoplanets (coll. SP5). Approximate P-T-conditions that have been reached by previous XRD experiments to characterize structure [...] shown along with the ice giant planets’ adiabats [Redmer (2011)] and predicted mini-Neptune (GJ 876d, 7.5 times the Earth mass) P-T-conditions [Valencia (2007)], assuming a planet that contains an ice-layer

    https://www.for2440.uni-rostock.de/en/projects/subproject-9-experimental-study-of-planetary-ices-at-high-pressure-using-dynamically-driven-diamondanvil-cells/

  3. Brandt_2018

    Shelf calved the largest iceberg (A68) originating from the Antarctic Peninsula ever recorded leaving 5,800 km² of seabed newly exposed to open-marine conditions which had very likely remained ice-covered [...] benthos can be used to interpret past responses to climate change. Biodiversity was not studied until 5 and 12 years respectively after the retreats of Larsen-A & B ice shelves. The Larsen-C Pearl project

    https://www.spp-antarktisforschung.uni-rostock.de/en/research/projects/current-projects/biological-sciences/brandt-2018/

  4. Hybride Lehrräume

    platz 1, Universitätshauptgebäude HS I, Arno-Esch-Hörsaalgebäude, Ulmenstr. 69, Haus 8 Seminarraum 5, Jakobi-Passage, Kröpeliner Str. 57 Seminarraum 9, Jakobi-Passage, Kröpeliner Str. 57 Fakultät für [...] Justus-von-Liebig-Weg 6 SR 2, Haus 6, Justus-von-Liebig-Weg 6 SR 4, Haus 6, Justus-von-Liebig-Weg 6 SR 5, Haus 6, Justus-von-Liebig-Weg 6 SR 7, LAG I, Justus-von-Liebig-Weg 2 Theologische Fakultät Theologische

    https://www.phf.uni-rostock.de/en/fakultaet/digitale-lehre/hybride-lehre/hybride-lehrraeume/

  5. Friedl_2017

    Professor Dr. Dirk Wagner Helmholtz-Zentrum Potsdam Deutsches GeoForschungsZentrum (GFZ) Department 5 Sektion 5.3: Geomikrobiologie Project Description Goal of the project is an understanding of the development

    https://www.spp-antarktisforschung.uni-rostock.de/en/research/projects/current-projects/biological-sciences/friedl-2017/

  6. Kalenderblatt Dezember 2013

    Grundlehren der Anatomie und Physiologie der Pflanzen , dem ersten Lehrbuch der Pflanzenphysiologie [5]. Es setzte einen neuen Standard vor allem, weil hier Einblicke in die Natur und die Lebensvorgänge [...] Aphorismen aus der chemischen Physiologie der Pflanzen. Voss und Compagnie, Leipzig, 1794, S. XIV-XV. [5] H.F. Link: Grundlehren der Anatomie und Physiologie der Pflanzen. Justus Friedrich Danckwerts, Göttingen

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

  7. PhD Candidates (3. cohort, from 2022)

    Training Group Baltic TRANSCOAST phone: +49 381-498-6060 e-mail: leo.gottschalck(at)uni-rostock.de B5 "Impacts of eutrophication-related stressors on physiological and ecological performance of keystone [...] Training Group Baltic TRANSCOAST phone: +49 381-5197-3452 e-mail: angelina.klett(at)io-warnemuende.de G5 "Impact of land-derived substance on coastal nitrogen cycling and nitrogen fixation" Helena Stirnweiß

    https://www.baltic-transcoast.uni-rostock.de/en/people/people/phd-candidates-2-cohort-from-2019-1/

  8. WAHLAUSSCHREIBEN für die Wahl der Schwerbehindertenvertretung am 24.04.2025
    04.03.2025

    nach Absprache an folgendem Ort zur Einsichtnahme aus: Büro der SBV; Schwaansche Straße 2; Raum 007. 5. Zu wählen sind 4 stellvertretende Mitglieder. 6. Wir bitten die Wahlberechtigten, innerhalb von drei [...] Wahlvorschlag für das stellvertretende Mitglied unterzeichnen. Jeder Wahlvorschlag muss von mindestens 5 Wahlberechtigten unterzeichnet sein und muss Familiennamen, Vornamen, Geburtsdatum, Art der Beschäftigung

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-nachrichten/detailansicht-der-news/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=233819&cHash=2ef70cbaeb2d7d7686596a7838ee0649

  9. Dispersion forces

    that are particularly relevant for long-wavelength atomic transitions as found in Rydberg atoms [4,5], and study universal scaling laws [6] and friction forces [7,8]. Dispersion forces occur in a variety [...] Casimir-Polder shifts in Rydberg atoms near metallic surfaces , Phys. Rev. A 82 , 010901(R) (2010) [5] S. Ribeiro, S.Y. Buhmann, T. Stielow, and S. Scheel, Casimir-Polder interaction from exact diagonalization

    https://www.qms.physik.uni-rostock.de/en/forschung/dispersion-forces/

  10. Entwicklung einer WossiDiA-Python-Schnittstelle (bis 09/22)

    und mit Apache Jupyter oder Zeppelin-Notebooks zu ermöglichen und Frameworks wie GraphX [4], SNAP [5] und NetworkX [6] sowie selbst entwickelte Graph-Mining-Verfahren [7, 8, 9, 10] nutzen zu können, ist [...] online – Strategien der Digitalisierung kultureller Archive und ihrer Präsentation im Internet, Volume 5 of Rostocker Beiträge zur Volkskunde und Kulturgeschichte, Waxmann, 2014, 61–84. Meyer, Holger; Alf

    https://dbis.informatik.uni-rostock.de/en/studium/studentische-arbeiten/in-bearbeitung/entwicklung-einer-wossidia-python-schnittstelle-bis-09/22/

Displaying results 1411 to 1420 of 4861.
  • Previous
  • ...
  • 138
  • 139
  • 140
  • 141
  • 142
  • 143
  • 144
  • 145
  • 146
  • 147
  • ...
  • 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