Assessing Treatment Response of Osteolytic Lesions by Manual Volumetry, Automatic Segmentation, and RECIST in Experimental Bone Metastases von Bretschi, Maren, PhD, Fränzle, Andrea, PhD, Merz, Maximilian, MD, Hillengass, Jens, MD, Semmler, Wolfhard, MD, PhD, Bendl, Rolf, PhD, Bäuerle, Tobias, MD

Volltext

A quantification strategy for missing bone mass in case of osteolytic bone lesions von Fränzle, Andrea, Bretschi, Maren, Bäuerle, Tobias, Giske, Kristina, Hillengass, Jens, Bendl, Rolf

Volltext

Automatic Detection of Osteolytic Lesions in Rat Femur With Bone Metastases von Fränzle, Andrea, Bretschi, Maren, Bäuerle, Tobias, Bendl, Rolf

Volltext

Automatische Segmentierung und Klassifizierung von Knochenmarkhöhlen für die Positionierung von Formmodellen von Fränzle, Andrea, Bendl, Rolf

Volltext

Ermittlung einer kranial-kaudalen Korrespondenz in MR-Aufnahmen von Fränzle, Andrea, Stoll, Armin, Bendl, Rolf

Volltext

Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods von Eggers, Andreas, Ramdani, Nacim, Nedialkov, Nedialko S., Fränzle, Martin

Volltext

Can Chitin and Chitosan Replace the Lichen Evernia prunastri for Environmental Biomonitoring of Cu and Zn Air Contamination? von Loppi, Stefano, Vannini, Andrea, Monaci, Fabrizio, Dagodzo, Daniel, Blind, Felix, Erler, Michael, Fränzle, Stefan

Volltext

Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic von Damm, Werner, Fränzle, Martin, Lüdtke, Andreas, Rieger, Jochem W, Trende, Alexander, Unni, Anirudh

Volltext bestellen

Chitin as a Sorbent Superior to Other Biopolymers: Features and Applications in Environmental Research, Energy Conversion, and Understanding Evolution of Animals von Blind, Felix, Fränzle, Stefan

Volltext

Set-Membership Estimation of Hybrid Systems via SAT Modulo ODE von Eggers, Andreas, Ramdani, Nacim, Nedialkov, Nedialko S., Fränzle, Martin

Volltext

Constraint-based analysis of concurrent probabilistic hybrid systems: An application to networked automation systems von Teige, Tino, Eggers, Andreas, Fränzle, Martin

Volltext

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability von Teige, Tino, Fränzle, Martin

Volltext

Automatic Verification of Stability and Safety for Delay Differential Equations von Zou, Liang, Fränzle, Martin, Zhan, Naijun, Mosaad, Peter Nazier

Volltext

Engineering constraint solvers for automatic analysis of probabilistic hybrid automata von Fränzle, Martin, Teige, Tino, Eggers, Andreas

Volltext

An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties von Li, Yong, Liu, Wanwei, Turrini, Andrea, Hahn, Ernst Moritz, Zhang, Lijun

Volltext

Structured learning modulo theories von Teso, Stefano, Sebastiani, Roberto, Passerini, Andrea

Volltext

Learning Modulo Theories for constructive preference elicitation von Campigotto, Paolo, Teso, Stefano, Battiti, Roberto, Passerini, Andrea

Volltext

Estimating costs of multi-component enterprise applications von Brogi, Antonio, Corradini, Andrea, Soldani, Jacopo

Volltext

A behavior-centered framework for real-time control and load-shedding using aggregated residential energy resources in distribution microgrids von Mammoli, Andrea, Robinson, Matthew, Ayon, Victor, Martínez-Ramón, Manel, Chen, Chien-fei, Abreu, Joana M.

Volltext

Learning Modulo Theories von Passerini, Andrea

Volltext