3 papers
cs.LG2026
Improving AI-Based Canine Heart Disease Diagnosis with Expert-Consensus Auscultation Labeling
Pinar Bisgin, Tom Strube, Niklas Tschorn +8
Noisy labels pose significant challenges for AI model training in veterinary medicine. This study examines expert assessment ambiguity in canine auscultation data, highlights the n…
cs.DC2025
GMB-ECC: Guided Measuring and Benchmarking of the Edge Cloud Continuum
Brian-Frederik Jahnke, Rebecca Schmook, Falk Howar
In the evolving landscape of cloud computing, optimizing energy efficiency across the edge-cloud continuum is crucial for sustainability and cost-effectiveness. We introduce GMB-EC…
cs.LO2024
Bounds for Quantum Circuits using Logic-Based Analysis
Benedikt Fauseweh, Ben Hermann, Falk Howar
We explore ideas for scaling verification methods for quantum circuits using SMT (Satisfiability Modulo Theories) solvers. We propose two primary strategies: (1) decomposing proof…