Qualitative and quantitative formal model-based safety analysis : push the safety button

Magdeburg, Univ., Fak. für Informatik, Diss., 2011

Markerlose Ganganalyse mit einem Multikamerasystem

Gait analysis, motion capture, without marker, model, camera

Experimental and model-based analysis of the steady-state and dynamic operating behaviour of the direct methanol fuel cell (DMFC)

Direct methanol fuel cell, DMFC, model, mass transport, Maxwell-Stefan, Flory-Huggins, crossover, polymer electrolyte membrane, Nafion

proxel-based method : formalisation, analysis and applications

Simulation, modelling, proxels, PDEs, Markov chains, Petri nets, stochastic, performability, transient analysis

Human rights education and advancing the mission of human rights NGOs : an analysis based on case studies of amnesty International's efforts in ten countries

Magdeburg, Univ., Fak. für Humanwiss., Diss., 2012

Citation-based Plagiarism Detection : applying citation pattern analysis to identify currently non-machine-detectible disguised plagiarism in scientific publications

Magdeburg, Univ., Fak. für Informatik, Diss., 2013

Verification of system properties of polynomial systems using discrete-time approximations and set-based analysis

Magdeburg, Univ., Fak. für Elektrotechnik und Informationstechnik, Diss., 2015

Control and model-based analysis of microaerobic processes - using Rhodospirillum rubrum as model organism

Magdeburg, Univ., Fak. für Elektrotechnik und Informationstechnik, Diss., 2015