yusuke1997/dblp-id-title huggingface dataset:
An Abstract Schema for Equivalence-Checking Games
Formal Verification of the Horn-Preneel Micropayment Protocol
Model Checking with Multi-threaded IC3 Portfolios
Monitoring Parametric Temporal Logic
Co-Design and Verification of an Available File System
Model-Checking In-Lined Reference Monitors
Automated Flaw Detection for Industrial Robot RESTful Service
Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions
Type-Directed Bounding of Collections in Reactive Programs
Model Checking Nonblocking MPI Programs
Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference
A PosterioriSoundness for Non-deterministic Abstract Interpretations
A Framework for Computer-Aided Design of Educational Domain Models
Eliminating Message Counters in Synchronous Threshold Automata
Complete Abstractions and Subclassical Modal Logics
Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation
Generic Model Checking for Modal Fixpoint Logics in COOL-MC
A Hybrid Meta-Learning Framework for Adaptive Safe Controller Synthesis of Dynamic Systems
Extending Symmetry Reduction by Exploiting System Architecture
Abstract Local Completeness - A Local Form of Abstract Non-interference
State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction
Refinement Types for Ruby
Property Directed Reachability for Proving Absence of Concurrent Modification Errors
On Constructivity of Galois Connections
Parametric Timed Broadcast Protocols
Systematic Classification of Attackers via Bounded Model Checking
Automated Verification of Shape and Size Properties Via Separation Logic
Decision Procedures for Region Logic
Robustness Analysis of Networked Systems
Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
Monitoring Temporal Properties of Stochastic Systems
Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer
Synthesizing History and Prophecy Variables for Symbolic Model Checking
String Analysis as an Abstract Interpretation
Solving Two-Player Games Under Progress Assumptions
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming
Lazy Constrained Monotonic Abstraction
Automata as Abstractions
Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings
Verification, Model Checking, and Abstract Interpretation - 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings
A General Modular Synthesis Problem for Pushdown Systems
Widening Operators for Powerset Domains
Message-Passing Algorithms for the Verification of Distributed Protocols
Induction for SMT Solvers
Towards Efficient Parameterized Synthesis
Lipschitz Robustness of Timed I/O Systems
Approximating ATL * in ATL
Language-Based Abstraction Refinement for Hybrid System Verification
Verifying Deadlock-Freedom of Communication Fabrics
Query-Driven Program Testing
NP Satisfiability for Arrays as Powers
Exploiting Pointer Analysis in Memory Models for Deductive Verification
Tight Cutoffs for Guarded Protocols with Fairness
Simple Is Better: Efficient Bounded Model Checking for Past LTL
Abstraction for Liveness
Tool Integration with the Evidential Tool Bus
Behavior-Based Model Construction
Automating Induction with an SMT Solver
Path Sensitive Cache Analysis Using Cache Miss Paths
Generalized Typestate Checking for Data Structure Consistency
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
Model Checking Via GammaCFA
Try-Mopsa: Relational Static Analysis in Your Pocket
Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing
The Higher-Order Aggregate Update Problem
Gradient-Descent for Randomized Controllers Under Partial Observability
Splitting via Interpolants
Scalable Approximation of Quantitative Information Flow in Programs
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode
A Compositional Logic for Control Flow
Abstract Threads
CHASE: A Static Checker for JML's Assignable Clause
Abstracting and Counting Synchronizing Processes
Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction
Program Synthesis with Equivalence Reduction
Bounded Implementations of Replicated Data Types
Software Model Checking with Abstraction Refinement
Invariant Synthesis for Combined Theories
Runtime Checking for Separation Logic
Efficiently Verifying Quantum Programs with Few T Gates
Flavors of Sequential Information Flow
Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study
Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking
Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper)
Parallel External Directed Model Checking with Linear I/O
Input-Based Three-Valued Abstraction Refinement
Synthesis of Controllers for Continuous Blackbox Systems
Thread-Modular Shape Analysis
Static Timing Analysis for Hard Real-Time Systems
Sharing Ghost Variables in a Collection of Abstract Domains
Local Symmetry and Compositional Verification
Building a Calculus of Data Structures
ExplainHoudini: Making Houdini Inference Transparent
A Fully Abstract Model for Higher-Order Mobile Ambients
Automatic Inference of Class Invariants
Reasoning about Layered Message Passing Systems
Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
Property Checking Driven Abstract Interpretation-Based Static Analysis
Compositional Satisfiability Solving in Separation Logic
On Bridging Simulation and Formal Verification
On the Semantics of Snapshot Isolation
SMT-Based Array Invariant Generation
Sound Abstract Nonexploitability Analysis
Structuring Abstract Interpreters Through State and Value Abstractions
An Abstract Interpretation of DPLL(T)
Interaktive Deformation volumenbasierter Körpermodelle
Probabilistic Tracking and Model-Based Segmentation of 3D Tubular Structures
Abstract: C-MORE: A High-content Single-cell Morphology Recognition Methodology for Liquid Biopsies Toward Personalized Cardiovascular Medicine
Bildgestützte Telediagnostik und 3D-Teleimaging in Java
Bildverarbeitung in der Endoskopie des Bauchraums
Photon Attenuation Correction in Misregistered Cardiac PET/CT
Impact of Histogram Subset Selection on Classification using Multi-scale LBP-Operators
A Vesselsegmentation-based CycleGAN for Unpaired Multi-modal Retinal Image Synthesis
An Unified Approach for fMRI-Measurements Used by a New Real-Time fMRI Analysis System
Abstract: Towards Real-world Federated Learning in Medical Image Analysis using Kaapana
Ermittlung von Koronargefäßverläufen in 3D-Kontrastechokardiogrammen
Abstract: Quantitative Photoakustische Tomografie durch lokale Kontextkodierung
Cell Detection for Asthma on Partially Annotated Whole Slide Images - Learning to be EXACT
Abstract: Coronary Artery Plaque Characterization from CCTA Scans Using DL and Radiomics
Automatic Liver Segmentation in Contrast-enhanced MRI
Sharp as a Tack
Bestimmung der Lage der Papilla Duodeni Major im Bild eines Duodenoskops
A Simplified Pipeline for Motion Correction in Dual Gated Cardiac PET
Using Power Watersheds to Segment Benign Thyroid Nodules in Ultrasound Image Data
Cross-modality Training Approach for CT Super-resolution Network
A new stereotaxic multiarchitectonic atlas of the human thalamus in a 3D MRI navigation system
Learning-based Patch-wise Metal Segmentation with Consistency Check
Dynamische Clusteranalyse von [ 11 C]-PK11195 PET-Daten des Gehirns
Rekonstruktion von Geschwindigkeits- und Absorptionsbildern eines Ultraschall-Computertomographen
Black-Box Hyperparameter Optimization for Nuclei Segmentation in Prostate Tissue Images
Automatic Single-Cell Segmentation and Tracking of Bacterial Cells in Fluorescence Microscopy Images
Parameter Space CNN for Cortical Surface Segmentation
Schätzung von Faltungskernen zur Röntgen-Streusignalkorrektur
Modellbasierte Echtzeit-Bewegungsschätzung in der Fluoreszenzendoskopie
Bildverarbeitung für die Medizin 2010 - Algorithmen - Systeme - Anwendungen, Aachen, Germany, March 14-16, 2010
Automatic Layer Generation for Scar Transmurality Visualization
Abstract: 3D Catheter Guidance Including Shape Sensing for Endovascular Navigation
Establishing an International Reference Image Database for Research and Development in Medical Image Processing
Vollautomatisierte Tumordiagnose in der dynamischen MRT der weiblichen Brust
Assessment of Renal Function from 3D Dynamic Contrast Enhanced MR Images Using Independent Component Analysis
Formvariables Oberflächenmodell zur Segmentierung pathologischer Kniegelenke aus medizinischen Bilddaten
Erzeugung statistischer 3D-Formmodelle zur Segmentierung medizinischer Bilddaten
Das MediGRID Projekt
Planung und Simulation von Patchimplantaten zur intrakardialen Korrektur angeborener Herzfehler
Automatic Ascending Aorta Detection in CTA Datasets
Automatic Histogram-Based Initialization of K-Means Clustering in CT
Surgical Cutting on a Multimodal Object Representation
Comprehensive Architecture for Simulation of the Human Body Based on Functional Anatomy
Interaktionstechniken zur Korrektur medizinischer 3D-Segmentierungen
Fluid Extensions for Optical Flow and Diffusion-Based Image Registration
McLabel - A Local Thresholding Tool for Efficient Semi-automatic Labelling of Cells in Fluorescence Microscopy
Smooth Ride: Low-Pass Filtering of Manual Segmentations Improves Consensus
A novel Real-Time Web3D Surgical Teaching Tool based on WebGL
A Robust Semi-automatic Procedure for Motion Quantification of Aortic Stent Grafts Using Point Set Registration
Automatische Erstellung von gleichmäßig verteilten Landmarken füur statistische Formmodelle
Echtzeitfähige Extraktion scharfer Standbilder in der Video-Koloskopie
Tract-Based Spatial Statistics of the Corpus Callosum using Different Tensor-Derived Indices
Operatoren zur deskriptiven und modellbasierten unscharfen Wissensbeschreibung in der medizinischen Bildverarbeitung
Abstract: Reduktion der Kalibrierungszeit für die Magnetpartikelbildgebung mittels Deep Learning
Bewertung der Ergebnisse von Segmentierungslösungen in radiologischen Bilddaten
Visualization and Navigation Platform for Co-Registered Whole Tissue Slides
Edge-Preserving Denoising for Segmentation in CT-images
A PC-Based Voice-Controlled Front-End of an Endoscopic Video Server in DICOM
CT-basierte Analyse von Koronararterien zur Unterstützung eines TECAB-Grafting
Automatic Vessel Segmentation and Aneurysm Detection Pipeline for Numerical Fluid Analysis
Segmentierung ungefärbter, lebender Zellen in Hellfeld-Mikroskopbildern
4D Rekonstruktion kardiologischer Ultraschalldaten
Empirische Vergleichsmaße für die Evaluation von Segmentierungsergebnissen
Hierarchische Wasserscheiden-Transformation zur Lippensegmentierung in Farbbildsequenzen
Abstract: Deep Geometric Supervision Improves Spatial Generalization in Orthopedic Surgery Planning
Classification of Medical Images using Non-linear Distortion Models
Einsatz von steuerbaren Filtern zur modellbasierten Segmentation von Fundusphotographien
Entfaltung von in-vivo Ultraschall-B-Bildern
Bildverarbeitung für die Medizin 2004, Algorithmen - Systeme - Anwendungen, Proceedings des Workshops vom 29. bis 30. März 2003 in Berlin
Registrierung von nicht sichtbaren Laserbehandlungsarealen der Retina in Live-Aufnahmen des Fundus
Novel Evaluation Metrics for Vascular Structure Segmentation
High-Density Object Removal from Projection Images using Low-Frequency-Based Object Masking
From Mechanistic to Data-driven Models for Surgical Planning, Guidance and Simulation
Deep OCT Angiography Image Generation for Motion Artifact Suppression
Morphological Scale-Space Decomposition for Segmenting the Ventricular Structure in Cardiac MR Images
Motion Detection for Adaptive Spatio-temporal Filtering of Medical X-Ray Image Sequences
Attention-guided Erasing - Novel Augmentation Method for Enhancing Downstream Breast Density Classification
Non-rigid Temporal Alignment of 2D and 3D Multi-channel Microscopy Image Sequences of Human Cells
Aortic Arch Quantification using Efficient Joint Segmentation and Registration
Realistic and Dynamic Simulation of Needle Implanatation in Brachytherapy
Abstract: Studying Robustness of Semantic Segmentation under Domain Shift in Cardiac MRI
Integration eines globalen Traktographieverfahrens in das Medical Imaging Interaction Toolkit
Automatisierte quantitative Analyse der Zellzusammensetzung von bronchoalveolaren Spülungen
Fully Automated Multi-Modal Anatomic Atlas Generation Using 3D-Slicer
Interactive Biomechanical Modeling and Simulation of Realistic Human Musculature in Virtual Environments
Identifikation und Simulation intraoperativer Fehlerquellen bei einer orthopädischen Umstellungsosteotomie
Automated Containerized Medical Image Processing Based on MITK and Python - A Modular System to Implement Medical Image Processing Pipelines and Visualize Meta Data
Atembewegungssimulator für die in-vitro Evaluation von Weichgewebe-Navigationssystemen in der Leber
Elastisches Matching eines 3D-Hirnatlas mit radialen Basisfunktionen
GridIJ
Ein lokal-adaptives Ähnlichkeitsmaß als Kriterium der hierarchischen Regionenverschmelzung
Bone Age Assessment Using Support Vector Machine Regression
Effiziente Scheduling-Algorithmen für datenparallele Anwendungen der funktionellen medizinischen Bildgebung auf NOWs
Multiscale Blood Vessel Segmentation in Retinal Fundus Images
Abstract: Defence of Mathematical Models for Deep Learning based Registration
Human Pose Estimation from Pressure Sensor Data
Abstract: Real-Time Online Adaption for Robust Instrument Tracking and Pose Estimation
Dynamic Distortion Correction for Endoscopy Systems with Exchangeable Optics
Echtzeit-Kompensation von Augenbewegungen bei der Bestimmung des retinalen Gefäßdurchmessers
Hybrid Navigation Interface A Comparative Study
GPU-Based Visualization of Deformable Volumetric Soft-Tissue for Real-Time Simulation of Haptic Needle Insertion
Numerische Simulation des Blutflusses an insuffizienten Mitralklappen
An Articulated Statistical Shape Model of the Human Knee
Construction of Cardiac Anatomical Models Using Deformable Model Methods
A Porcine Liver Model for Validation of Registration Accuracy in Image-Guided Surgery
Automatische Bestimmung des Arterie-Vene-Verhältnisses auf Retina-Tomograph-Bildern
Image-based Quantification of Skin Irritation by Spatial Biomarker Profiling
Interpolation of Magnetic Fields and their Gradients for MEG Data with 3D Spline Functions
Abstract: Phase-Sensitive Region-of-Interest Computed Tomography
Meiji eine DICOM lesende, Java basierte Software zur Auswertung von MR-Mammographien
Detektion von Leukozyten mit Hilfe neuronaler Strukturen
Towards Clinical Translation of Deep Learning-based Classification of DSA Image Sequences for Stroke Treatment
Volumenerhaltende elastische Registrierung. Evaluierung mit klinischen MR-Mammographien
Veränderungen zentraler sensomotorischer Hirnfunktionen nach Alkoholzufuhr
Prediction of MRI Hardware Failures based on Image Features Using Time Series Classification
Effects of Tissue Material Properties on X-Ray Image, Scatter and Patient Dose A Monte Carlo Simulation
Classification of Medical Images Using local Representations
Model-Based Quantification of Small Tubular Structures in 3D Vascular Images
Abstract: Re-identification from Histopathology Images
InViVo-Brachy: Ein Suystem zur Navigation bei der Plazierung von Hohlnadeln in der Brachytherapie
Automatische Generierung dynamischer 3D-Modelle zur Segmentierung des linken Ventrikels in 3D-SPECT-Daten
3D Segmentation and Quantification of the Aortic Arch for Endovascular Aortic Repair
Glomerular Filtration Rate Estimation from Dynamic Contrast-Enhanced MRI
3D Reconstruction of Histological Rat Brain Images
A Statistical Geometric Model of the Heart
Automatische Landmarkendetektion und -übertragung zur Evaluation der Registrierung von thorakalen CT-Daten
Synthetic Fundus Fluorescein Angiography using Deep Neural Networks
Fast Pose Verification for High-Speed Radiation Therapy
Magnetic Particle Imaging
Assessing the Benefits of Interactive Patient-Specific Visualisations for Patient Information
Fully-Automatic Labelling of Aneurysm Voxels for Volume Estimation
Fusing Markov Random Fields with Anatomical Knowledge and Shape-Based Analysis to Segment Multiple Sclerosis White Matter Lesions in Magnetic Resonance Images of the Brain
Tracking of Virus Particles in Time-Lapse Fluorescence Microscopy Image Sequences
Outlier Detection for Multi-Sensor Super-Resolution in Hybrid 3D Endoscopy
Konzeption und Anwendung objektorientierter Klassenbibliotheken für die Verarbeitung und Visualisierung medizinischer Bildvolumina
Abstract: Towards Automatic C-arm Positioning for Standard Projections in Orthopedic Surgery
Analysis of the Left Ventricle After Myocardial Infarction Combining 4D Cine-MR and 3D DE-MR Image Sequences
Abstract: Automatic Image Registration for 3D Cochlea Medical Images
A Scale-Space Approach for Image Registration of Vessel Structures
Automatische Kategorisierung von medizinischem Bildmaterial in einen multiaxialen monohierarchischen Code
Tumor-Wachstumsmodellierung als parametrisches Bildregistrierproblem
Multi-Modal Super-Resolution with Deep Guided Filtering
Deep Learning Approaches for Contrast Removal from Contrast-enhanced CT - Streamlining Personalized Internal Dosimetry
Fast Interactive Region of Interest Selection for Volume Visualization
Waveletbasierte Bildkompressionsverfahren. Vorteile bei der Archivierung und Übertragung hochaufgelöster Bilder
Ein Vergleich von Wavelet und JPEG basierten selektiven Methoden im Bereich der medizinischen Bildkompression
Evaluation of Algorithms for Lung Fissure Segmentation in CT Images
Erweiterte Realität und 3-D Visualisierung für minimal-invasive Operationen durch Einsatz eines optischen Trackingsystems
Displacement Representation for Conditional Point Cloud Registration - HeatReg Applied to 2D/3D Freehand Ultrasound Reconstruction
Computer-Assisted Analysis of Annuloplasty Rings
Addressing the Bias of the Dice Coefficient - Semantic Segmentation of Peripheral Airways in Lung CT
3D CNN-based Identification of Hyperdensities in Cranial Non-contrast CT After Thrombectomy
Video Anomaly Detection in Post-Procedural Use of Laparoscopic Videos
Real Time Medical Instrument Detection and Tracking in Microsurgery
Multiresolution Data Handling for Visualization of Very Large Data Sets
Gradientenabhängige Transferfunktionen für die medizinische Volumenvisualisierung
Interaktive Visualisierung von Abständen und Ausdehnungen anatomischer Strukturen für die Interventionsplanung
Anisotropic Diffusion for Direct Haptic Volume Rendering in Lumbar Puncture Simulation
Graphbasierte Registrierung von Tubulären Strukturen
Qualitätszentrierte Softwareentwicklung in wissenschaftlichen Arbeitsgruppen Auf dem Weg vom Prototypen zum Produkt
A Variational Framework for Joint Image Registration, Denoising and Edge Detection
Extracting Consistent and Manifold Interfaces from Multi-valued Volume Data Sets
Preservation of Image Content in Stain-to-stain Translation for Digital Pathology
Abstract: Information Mismatch in PHH3-assisted Mitosis Annotation Leads to Interpretation Shifts in H&E Slide Analysis
Automatische Lokalisation und hämodynamische Charakterisierung von Gefäßstrukturen bei arteriovenösen Malformationen
Analyse komplexer Knochenbewegungen in Folgen von MRT Aufnahmen
Automatic Needle Segmentation in 3D Ultrasound Data Using a Hough Transform Approach
Auswertung von Funtions-CT oberer Halswirbel zur Diagnose von Weichteildistorsionen
Enhanced Shadow Detection for 3D Ultrasound
Gesteigerte Registrierungsgenauigkeit verrauschter Bilddaten durch Coincidence Thresholding
Layered X-Ray Motion Estimation Using Primal-Dual Optimization
Tenfold your Photons
Traditional Machine Learning Techniques for Streak Artifact Reduction in Limited Angle Tomography
Multi-modal Unsupervised Domain Adaptation for Deformable Registration Based on Maximum Classifier Discrepancy
Skully - An Educational Web Application for the Human Skull
Abstract: Wound Imaging in 3D Using Low-Cost Mobile Devices
Abstract: C-arm Positioning for Standard Projections During Spinal Implant Placement
Hybrid Spline-Based Elastic Image Registration Using Analytic Solutions of the Navier Equation
Abstract: AUCMEDI - Von der Insellösung zur einheitlichen und automatischen Klassifizierung von Medizinischen Bildern
Automatic Construction of 3D Statistical Deformation Models: Application to Patients with Schizophrenia
Planungsunterstützung für Pankreasoperationen bei Hyperinsulinismus von Kindern
SASOMI
Räumliche Tiefenwahrnehmung in virtuell-endoskopischen Anwendungen durch stereoskopisches Rendern
Abstract: Cytologic Scoring of Equine Exercise-induced Pulmonary Hemorrhage - Performance of Human Experts and a Deep Learning
Abstract: Robust Multi-Scale Anatomical Landmark Detection in Incomplete 3D-CT Data
Myocardial Twist from X-ray Angiography - Can we Observe Left Ventricular Twist in Rotational Coronary Angiography?
Open-Source Tracked Ultrasound with Anser Electromagnetic Tracking
Automated Analysis of Mitotic Phenotypes in Fluorescence Microscopy Images of Human Cells
Automated Deep-learning-based Vertebral Body Localization and Instance Segmentation for Osteoporosis Assessment using CT
Analyse von Mikrostrukturen
Learning an Airway Atlas from Lung CT Using Semantic Inter-patient Deformable Registration
Deformable Registration of Differently-Weighted Breast Magnetic Resonance Images
Scene-Based Segmentation of Multiple Muscles from MRI in MITK
Segmentation and Analysis of Breast Tumors on Ultrasonography
Support Vector Machine Classification using Correlation Prototypes for Bone Age Assessment
Automatic Detection of Relevant Regions for the Morphological Analysis of Bone Marrow Slides
DICOM-Presentation-States: ein neuer dienst für die digitale Bildverteilung und Softcopy-Befundung
Specifying 3D Tracking System Accuracy - One Manufacturer's View
Automatic Fovea Localization in Fundus Images
Line Detection in Strongly Noise-Corrupted Images
Lineare Farbkorrektur zur automatischen Gewebeerkennung in der Endoskopie des Ösophagus
An Optical Colon Contour Tracking System for Robot-aided Colonoscopy - Localization of a Balloon in an Image using the Hough-transform
Automatische Parameterwahl für Ballon-Modelle
Einfluss von Formvariationen auf Finite Elemente Simulationen bei muskulären Strukturen
Automation Bias in AI-assisted Medical Decision-making under Time Pressure in Computational Pathology
Ein wissensbasiertes dreidimensionales Formmodell für die Segmentierung von organischen Strukturen
Bewegungsenergien zur Quantifizierung der Körpereigenbewegungen sedierter Patienten während der Intensivtherapie
Binary Image Inpainting with Interpolation-Enhanced Diffeomorphic Demons Registration
Reference Volume Generation for Subsequent 3D Reconstruction of Histological Sections
Computer-Aided Detection of Lesions in Digital Breast Tomosynthesis Images
Fully Automatic Segmentation of Papillary Muscles in 3D LGE-MRI
Texture Analysis Using Gabor Filter Based on Transcranial Sonography Image
Rekonstruktion der Koronaranatomie aus Echokardiogrammen
Tomoelastography by Multifrequency Wave Number Recovery
Noise Reduction and Image Enhancement Algorithms for Low-Dose X-Ray Fluoroscopy
Vermessung des Mitralapparats mit einem optisch getrackten Zeigeinstrument für die virtuelle Annuloplastie
Keynote: Fully Automated Bone Removal in CBCT of the Lower Body Stem