goto contents


Browse in Electronic Publications

Filters and facets

Language

Type of document

Subject

Institution

Access

sort by:
2895 hits
  • Torsten Liebke

    Improving explicit model checking for Petri nets

    Universität Rostock, 2020

    https://doi.org/10.18453/rosdok_id00003271

    Model checking is the automated verification that systematically checks if a given behavioral property holds for a given model of a system. We use Petri nets and temporal logic as formalisms to describe a system and its behavior in a mathematically precise and unambiguous manner. The contributions of…

    doctoral thesis free access

  • Henning Puttnies

    Zeitsynchronisation in drahtgebundenen Rechnernetzen

    Universität Rostock, 2021

    https://doi.org/10.18453/rosdok_id00003269

    Ausgehend von einer Analyse des Standes der Technik werden neuartige Verfahren für die Zeitsynchronisation in drahtgebundenen Netzwerken vorgestellt. Unter anderem wird, zum ersten Mal im Bereich der Zeitsynchronisation, eine Kombination aus Linearer Optimierung und Broadcast-Nachrichten vorgestellt,…

    doctoral thesis free access

  • Philipp Leon Fruh

    5-FU Dosisfindungsstudie an Mäusen des Stammes NSG (NOD-scid IL2Rgammanull)

    Universität Rostock, 2020

    https://doi.org/10.18453/rosdok_id00003267

    Dosisfindungsstudie mit dem Chemotherapeutikum 5-FU zur Behandlung verschiedener Formen des kolorektalen Karzinoms an Mäusen des Stammes NSG. Den Versuchstieren wurden zu Beginn der Studie kolorektale Karzinome subcutan transplantiert und im Anschluss verschiedene Therapieschemata 5-FU an diesen angewandt.…

    doctoral thesis free access

  • Susanne Schrötter

    Empathiefähigkeit von Studierenden der Humanmedizin Rostock: eine Bestandsaufnahme und Schlussfolgerungen für die medizinische Ausbildung

    Universität Rostock, 2020

    https://doi.org/10.18453/rosdok_id00003265

    Mittels Saarbrücker Persönlichkeitsfragebogen (SPF) wurden Medizinstudierende der Universitätsmedizin Rostock (1. Semester: N =192 / 9. Semester: N = 221) befragt und die Daten deskriptiv, inferenzstatistisch und clusteranalytisch untersucht. Weniger als 50% der Befragten konnten als empathisch eingestuft…

    doctoral thesis free access

  • Rostocker Mathematisches Kolloquium

    Heft 72 (2019/2020)

    Universität Rostock, Fachbereich Mathematik, 2020

    https://doi.org/10.18453/rosdok_id00003264

    volume/issue free access

  • Rostocker Mathematisches Kolloquium

    Heft 71 (2017/2018)

    Universität Rostock, Fachbereich Mathematik, 2018

    https://doi.org/10.18453/rosdok_id00003262

    volume/issue free access

  • Rostocker Mathematisches Kolloquium

    Heft 67 (2012)

    Universität Rostock, Fachbereich Mathematik, 2012

    https://doi.org/10.18453/rosdok_id00003254

    volume/issue free access

  • Yuji Liu

    Rostocker Mathematisches Kolloquium

    Heft 70 (2015/2016)
    Studies on boundary value problems of singular fractional differential equations with impulse effects

    Universität Rostock, Fachbereich Mathematik, 2016

    https://doi.org/10.18453/rosdok_id00003260

    volume/issue free access

  • Rostocker Mathematisches Kolloquium

    Heft 66 (2011)

    Universität Rostock, Fachbereich Mathematik, 2011

    https://doi.org/10.18453/rosdok_id00003252

    volume/issue free access

  • Rostocker Mathematisches Kolloquium

    Heft 69 (2014/2015)

    Universität Rostock, Fachbereich Mathematik, 2015

    https://doi.org/10.18453/rosdok_id00003258

    volume/issue free access

  • Rostocker Mathematisches Kolloquium

    Heft 65 (2010)

    Universität Rostock, Fachbereich Mathematik, 2010

    https://doi.org/10.18453/rosdok_id00003250

    volume/issue free access

  • Rostocker Mathematisches Kolloquium

    Heft 64 (2009)

    Universität Rostock, Fachbereich Mathematik, 2009

    https://doi.org/10.18453/rosdok_id00003248

    volume/issue free access

  • Rostocker Mathematisches Kolloquium

    Heft 68 (2013)

    Universität Rostock, Fachbereich Mathematik, 2013

    https://doi.org/10.18453/rosdok_id00003256

    volume/issue free access

  • Rostocker Mathematisches Kolloquium

    Heft 63 (2008)

    Universität Rostock, Fachbereich Mathematik, 2008

    https://doi.org/10.18453/rosdok_id00003246

    volume/issue free access

  • Rostocker Mathematisches Kolloquium

    Heft 62 (2007)

    Universität Rostock, Fachbereich Mathematik, 2007

    https://doi.org/10.18453/rosdok_id00003244

    volume/issue free access

  • Wolfgang Engel

    Rostocker Mathematisches Kolloquium

    Heft 60 (2005)
    Mathematik und Mathematiker an der Universität Rostock 1419 - 2004

    Universität Rostock, Fachbereich Mathematik, 2005

    https://doi.org/10.18453/rosdok_id00003240

    volume/issue free access

  • Rostocker Mathematisches Kolloquium

    Heft 61 (2006)

    Universität Rostock, Fachbereich Mathematik, 2006

    https://doi.org/10.18453/rosdok_id00003242

    volume/issue free access

  • Rostocker Mathematisches Kolloquium

    Heft 58 (2004)

    Universität Rostock, Fachbereich Mathematik, 2004

    https://doi.org/10.18453/rosdok_id00003236

    volume/issue free access

  • Rostocker Mathematisches Kolloquium

    Heft 56 (2002)

    Universität Rostock, Fachbereich Mathematik, 2002

    https://doi.org/10.18453/rosdok_id00003232

    volume/issue free access

  • Rostocker Mathematisches Kolloquium

    Heft 53 (1999)

    Universität Rostock, Fachbereich Mathematik, 1999

    https://doi.org/10.18453/rosdok_id00003226

    volume/issue free access