19 Einträge gefunden

1. A quantitative metric temporal logic for execution-time constrained verification

   1. Lehmann, Sascha
   2. Antoni, Sven-Thomas
   3. Schlaefer, Alexander
   4. Schupp, Sibylle

   2019 - TUHH Open Research
2. Spatio-temporal deep learning models for tip force estimation during needle insertion

   1. Gessert, Nils Thorben
   2. Priegnitz, Torben
   3. Saathoff, Thore
   4. Antoni, Sven-Thomas
   5. Meyer, David
   6. Hamann, Moritz Franz
   7. Jünemann, Klaus Peter

   2019 - TUHH Open Research
3. An online model checking approach to soft-tissue detection for rupture

   1. Antoni, Sven-Thomas
   2. Lehmann, Sascha
   3. Schupp, Sibylle
   4. Schlaefer, Alexander

   2019 - TUHH Open Research
4. Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI

   1. Antoni, Sven-Thomas
   2. Lehmann, Sascha
   3. Neidhardt, Maximilian
   4. Fehrs, Kai
   5. Ruprecht, Christian
   6. Kording, Fabian
   7. Adam, Gerhard

   2018 - TUHH Open Research
5. Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI

   1. Antoni, Sven-Thomas
   2. Lehmann, Sascha
   3. Neidhardt, Maximilian
   4. Fehrs, Kai
   5. Ruprecht, Christian
   6. Kording, Fabian
   7. Adam, Gerhard

   2018 - Forschungsinformationssystem des UKE
6. Enhancing haptic feedback of subsurfaces during needle insertion

   1. Antoni, Sven-Thomas
   2. Soltau, Stefan
   3. Beringhoff, Jens
   4. Rajput, Omer
   5. Otte, Christoph
   6. Schlaefer, Alexander

   2018 - TUHH Open Research - frei zugänglich
7. Needle Tip Force Estimation Using an OCT Fiber and a Fused convGRU-CNN Architecture

   1. Gessert, Nils
   2. Priegnitz, Torben
   3. Saathoff, Thore
   4. Antoni, Sven-Thomas
   5. Meyer, David
   6. Hamann, Moritz Franz
   7. Jünemann, Klaus Peter

   2018 - TUHH Open Research
8. Enhancing haptic feedback of subsurfaces during needle insertion

   1. Antoni, Sven-Thomas
   2. Soltau, Stefan
   3. Beringhoff, Jens
   4. Rajput, Omer
   5. Otte, Christoph
   6. Schlaefer, Alexander

   2018 - TUHH Open Research - frei zugänglich
9. Systematic analysis of jurkat T-cell deformation in fluorescence microscopy data

   1. Antoni, Sven-Thomas
   2. Ismail, Omar M.F.
   3. Schetelig, Daniel
   4. Diercks, Björn Philipp
   5. Werner, René
   6. Wolf, Insa M.A.
   7. Guse, Andreas H.

   2017 - TUHH Open Research
10. Optical coherence tomography based 1D to 6D eye-in-hand calibration

    1. Antoni, Sven-Thomas
    2. Otte, Christoph
    3. Savarimuthu, Thiusius Rajeeth
    4. Rajput, Omer
    5. Schlaefer, Alexander

    2017 - TUHH Open Research
11. Systematic Analysis of Jurkat T-Cell Deformation in Fluorescence Microscopy Data

    1. Antoni, Sven-Thomas
    2. Ismail, Omar M. F.
    3. Schetelig, Daniel
    4. Diercks, Björn-Philipp
    5. Werner, Rene
    6. Wolf, Insa
    7. Guse, Andreas

    2017 - Forschungsinformationssystem des UKE
12. Online model checking for monitoring surrogate-based respiratory motion tracking in radiation therapy

    1. Antoni, Sven-Thomas
    2. Rinast, Jonas
    3. Ma, Xintao
    4. Schupp, Sibylle
    5. Schlaefer, Alexander

    2016 - TUHH Open Research
13. Reducing false discovery rates for on-line model checking based detection of respiratory motion artifacts

    1. Antoni, Sven-Thomas
    2. Ma, Xintao
    3. Schupp, Sibylle
    4. Schlaefer, Alexander

    2016 - TUHH Open Research
14. High accuracy 3D data acquisition using co-registered OCT and kinect

    1. Rajput, Omer
    2. Antoni, Sven-Thomas
    3. Otte, Christoph
    4. Saathoff, Thore
    5. Matthäus, Lars
    6. Schlaefer, Alexander

    2016 - TUHH Open Research
15. Towards force sensing based on instrument-tissue interaction

    1. Otte, Christoph
    2. Beringhoff, Jens
    3. Latus, Sarah
    4. Antoni, Sven-Thomas
    5. Rajput, Omer
    6. Schlaefer, Alexander

    2016 - TUHH Open Research
16. Creating 3D gelatin phantoms for experimental evaluation in biomedicine

    1. Stein, Nils
    2. Saathoff, Thore Lübbo Ilmari
    3. Antoni, Sven-Thomas
    4. Schlaefer, Alexander

    2015 - TUHH Open Research - frei zugänglich
17. Detecting respiratory artifacts from video data

    1. Antoni, Sven-Thomas
    2. Plagge, Robert
    3. Dürichen, Robert
    4. Schlaefer, Alexander

    2015 - TUHH Open Research
18. Comparing model-free motion prediction and on-line model checking for respiratory motion management

    1. Antoni, Sven-Thomas
    2. Rinast, Jonas
    3. Schupp, Sibylle
    4. Schlaefer, Alexander

    2015 - TUHH Open Research
19. Feasibility of interactive gesture control of a robotic microscope

    1. Antoni, Sven-Thomas
    2. Sonnenburg, Christian
    3. Saathoff, Thore Lübbo Ilmari
    4. Schlaefer, Alexander

    2015 - TUHH Open Research - frei zugänglich