Research output per year
Research output per year
Research output
- 1 - 50 out of 78 results
Search results
-
2020
Rendering of ultrasound volumes on augmented reality glasses
Khiosapjaroen, W., 31.07.2020, 71 p.Research output: Published Theses › Master Theses
-
2019
Optimization and Robustification of the Model Predictive Control to the Ventilation System of an Anaesthesia Workstation
Siebert, M., 2019, Master's Thesis at the Institute for Electrical Engineering in Medicine, University of Lübeck.Research output: Published Theses › Master Theses
-
2018
Dynamische Approximationsverfahren für das Dominating-Set-Problem
Grothkopp, S., 2018Research output: Published Theses › Master Theses
-
Garbled Circuits: from White-Box Cryptography to Zero-Knowledge Proofs
Thaeter, J., 2018Research output: Published Theses › Master Theses
-
Konstruktion von Lösungen für Unart-Subset-Sun und verwandte Probleme in TC^0
Bartels, F., 2018Research output: Published Theses › Master Theses
-
-
Scheduling-Algorithmen für Energiemanagementsysteme in Smart-Homes
Bachmann, M., 2018Research output: Published Theses › Master Theses
-
2017
Differential Privacy: Choosing Parameters for Multiple Studies
Wichelmann, J., 2017Research output: Published Theses › Master Theses
-
Dreiwertige Timed-LTL-Semantik.
Huber, D., 2017, Lübeck.Research output: Published Theses › Master Theses
-
Möglichkeiten und Grenzen der parallelen Berechnung von Kerneln
Lassota, A. A., 2017Research output: Published Theses › Master Theses
-
SMT-based Flat Model-Checking for LTL with Counting
Pirogov, A., 15.09.2017, 85 p.Research output: Published Theses › Master Theses
-
2016
Algorithmic Drawing of Evolving Trees
Skambath, M., 2016Research output: Published Theses › Master Theses
-
Algoritmisches Zeichnen von planaren Graphen mit TikZ
Beyer, R., 2016Research output: Published Theses › Master Theses
-
Das No-Comparing-Theorem für Qubits.
Niemann, R., 2016Research output: Published Theses › Master Theses
-
Direct extraction of a k0 navigator from golden angle stack-of-stars profiles – a model-based filtering approach
Wattenberg, M., 2016Research output: Published Theses › Master Theses
-
Generation and verification of formal proofs of propositional tautologies
Gerlach, B., 2016Research output: Published Theses › Master Theses
-
Kompetitive Analyse von Multizustand-Systemen im Dynamic Power-Management Kontext
Lau, F-L. A., 2016Research output: Published Theses › Master Theses
-
On the Complexity of Constructing Phylogenetic Trees from Rooted Triplets
Dannenberg, K., 2016Research output: Published Theses › Master Theses
-
2015
Algorithmische Fragestellungen in der Kausalitätstheorie
Idelberger, A., 2015Research output: Published Theses › Master Theses
-
Construction of Two-Layer Transportation Networks
Thaeter, F., 2015Research output: Published Theses › Master Theses
-
Efficient Estimation of Evolutionary Distances
Klötzl, F., 2015Research output: Published Theses › Master Theses
-
Minimierung symbolischer nichtdeterministischer Büchi-Automaten
Thorn, J., 2015Research output: Published Theses › Master Theses
-
Pharyngeal Airflow Simulation in Obstructive Sleep Apnea Patients
Hagen, C., 2015, Infinite Science Publishing. 104 p.Research output: Published Theses › Master Theses
-
Radiotherapy beyond cancer: Motion analysis, treatment planning and real-time target localization for non-invasive cardiac radiosurgery with MRI guidance
Ipsen, S., 01.02.2015Research output: Published Theses › Master Theses
-
Runetime Verification Logics for Object-Oriented Real-Time Systems
Mende, T., 2015Research output: Published Theses › Master Theses
-
Schwere Instanzen für NP-schwere Probleme.
Schomann, T., 2015Research output: Published Theses › Master Theses
-
2014
An Approach to Solving Object Displacement Problems.
Mühlfeld, A., 2014Research output: Published Theses › Master Theses
-
Design and Implementation of a Configurable Framework for Forced-Based Graph Drawing.
Bruhns, I. D., 2014Research output: Published Theses › Master Theses
-
Entwurf und Implementierung eines Algorithmus zur Berechnung einer Pfadzerlegung von kubischen Graphen.
Lassota, K., 2014Research output: Published Theses › Master Theses
-
Konzeption und Implementierung eines merkmalbasierten Workflows für die Steganalyse.
Noack, F., 2014Research output: Published Theses › Master Theses
-
Logiken für verteilte Laufzeitverfikation.
Scheffel, T., 2014Research output: Published Theses › Master Theses
-
On the Space and Circuit Complexity of Certain Parameterized Problems.
Bannach, M., 2014Research output: Published Theses › Master Theses
-
-
STL: Combining Stream-based and Temporal Logics.
Tils, E. V., 2014Research output: Published Theses › Master Theses
-
Verteilte Laufzeitverfikation auf eingebetteten Systemen.
Schmitz, M., 2014Research output: Published Theses › Master Theses
-
2013
Algorithmisches Lernen von Verteilungen
Ernst, M., 2013Research output: Published Theses › Master Theses
-
Das fehlertolerante Shortest-Common-Superstring-Problem
Freitag, S., 2013Research output: Published Theses › Master Theses
-
Deformable Meshes for Accurate Automatic Segmentation of Medical Image Data
Kainmüller, D., 2013Research output: Published Theses › Master Theses
-
Reoptimization of the Travelling Salesperson Problem
Finck, N., 2013Research output: Published Theses › Master Theses
-
Runtime Verification for Mazurkiewicz Traces.
Waziri, C., 2013Research output: Published Theses › Master Theses
-
2012
Data-based Projection Access Order for SART
Kiencke, S., 2012Research output: Published Theses › Master Theses
-
Dekomposition von Bäumen und Termin in AC0 und TC0
Thole, N., 2012Research output: Published Theses › Master Theses
-
Design and Evaluation of the Motor Assisted Robotic Stereotaxy System MARS
Heinig, M., 01.06.2012, 191 p.Research output: Published Theses › Master Theses
-
-
DSL-based Runtime Verification for the JVM.
Pohlmann, C., 2012Research output: Published Theses › Master Theses
-
Robotized 4D Ultrasound for cardiac Image- Guided Radiation Therapy
Ammann, N. & Bruder, R., 26.11.2012, 104 p.Research output: Published Theses › Master Theses
-
Safe and clinically applicable robotized Transcranial Magnetic Stimulation
Richter, L., 2012Research output: Published Theses › Master Theses
-
Sichere Zwei-Parteien Protokolle zur Berechnung von Entscheidungsbäumen
Bulygina, Y., 2012Research output: Published Theses › Master Theses
-
2011
Algorithms for Compensation of Quasi-periodic Motion in Robotic Radiosurgery
Ernst, F., 01.03.2011Research output: Published Theses › Master Theses
-
Anwendungen monadischer Logik zweiter Stufe auf Probleme beschränkter Baumweite und deren Platzkomplexität
Stockhusen, C., 2011, 72 p.Research output: Published Theses › Master Theses