Suche

give a talk about "Expressing Properties of Resource-Bounded Systems: The Logics RTL and RTL∗", 20.8.2009, 10:00st and "Towards a Verification Framework for Communicating Rational Agents", 3.9.2009, 10:00st

MPIKS seminar in Dresden - STABIL Together with Michael Biehl from RU Groningen (NL) and Wolfgang Kinzel from Univ. Würzburg, Barbara organized a very successful seminar at MPI Physik komplexer Systeme […] Systeme, Dresden, on the topic 'From Statistical Physics to Computer Science: Analysis of Medical and Biological Data'.- STABIL -

Institute for Software and Systems Engineering Kontakt Telefon: +49 5323 / 72 - 7166 E-Mail: nour.habib @ tu-clausthal . de Adresse Technische Universität Clausthal Institut für Software and Systems Engineering

Institute for Software and Systems Engineering Kontakt Telefon: +49 5323 / 72 - 7179 E-Mail: ruidi.he @ tu-clausthal . de Adresse Technische Universität Clausthal Institut für Software and Systems Engineering

for Software and Systems Engineering Kontakt Telefon: +49 5323 / 72 - 7165 E-Mail: abhishek.buragohain @ tu-clausthal . de Adresse Technische Universität Clausthal Institut für Software and Systems Engineering

; Ganzer, L.; Voigtländer, G.; Stecken, L. et al. (2011): Reservoir Simulation and Monitoring Study of CO2 Injection and EGR Processes for the Altensalzwedel-Altmark gas field: Die dauerhafte geologische […] Altmark. Awemo, K. N.; Ganzer, L.; Singhe, A. T. (Eds.) (2011): Reservoir Simulation of CO2-Injection and Enhanced Gas Recovery Effects for the Altmark-Altensalzwedel Gas Reservoir. Kühn, M.; Awemo, K. N.; […] Albrecht, D.; Ganzer, L.; Gaupp, R.; Kohlhepp, B.; Meyer, R. et al. (Eds.) (2010a): Petrophysical, Facies and Mineralogical-Geochemical Investigations of Rotliegend Sandstones from the Altmark Natural Gas Field

analysis and optimization of a novel secondary radar concept for precise distance and velocity measurement" Prof. Dr.-Ing. Martin Vossiek 2009 Juan Carlos Fuentes "Non-Linear Observation, Filtering and Smoothing […] -Ing. Christian Rembe 2021 Laura Mignanelli "Laser Doppler Vibrometry for Cardiovascular Monitoring and Photoacoustic Imaging" Prof. Dr.-Ing. Christian Rembe 2020 Runzhe Han "Recursive Model-Based Virtual […] von Polynom- und Hammerstein-Modellen" Prof. Dr.-Ing. Christian Bohn 2016 Franklyn Duarte "Modeling and Sliding-Mode Control of Flexible-Link Robotic Structures for Vibration Suppression" Prof. Dr.-Ing.

for Radioactive Waste (MeSA): Results And Conclusions. 11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference 2012 (PSAM11 […] (2022) Safety case and transdisciplinary research: Assessing safety by numbers, multiple lines of evidence and collective actors. IGSC Safety Case Symposium 2018: Current Understanding and Future Direction […] Experiences concerning the Rôle of Uncertainty and Risk in Assessments and Regulations. PSAM 7 ESREL ´04 International Conference on Probabilistic Safety Assessment and Management. June14-18, 2004 Berlin, Germany

Simone Dahms Institute for Software and Systems Engineering Sekretariat, Verwaltung des Instituts Kontakt Kontakt Telefon: +49 5323 / 72 - 7197 E-Mail: simone.dahms @ tu-clausthal . de Adresse Technische […] Technische Universität Clausthal Institut für Software and Systems Engineering Gebäude C10, Raum 212 Arnold-Sommerfeld-Str. 1 38678 Clausthal-Zellerfeld Germany

Nadine Hahn Institute for Software and Systems Engineering Sekretariat, Verwaltung des Instituts Kontakt Telefon: +49 5323 / 72 - 7136 E-Mail: nadine.hahn @ tu-clausthal . de Adresse Technische Universität […] Universität Clausthal Institut für Software and Systems Engineering Gebäude C10, Raum 212 Arnold-Sommerfeld-Str. 1 38678 Clausthal-Zellerfeld Germany