737 citations
- Universität UlmDE65 papers
- Helmholtz-Institute UlmDE7 papers
- Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)DE5 papers
- Laboratoire d'Informatique, de Robotique et de Microélectronique de MontpellierFR3 papers
- Robert Bosch (Netherlands)NL3 papers
- Technical University of DenmarkDK3 papers
- University of CambridgeGB3 papers
- Center for Integrated Quantum Science and TechnologyDE2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- École de management de LyonFR2 papers
- Jet Propulsion LaboratoryUS2 papers
- Robert Bosch (Germany)DE2 papers
7 papers · 1 filter
Nittka's invariance criterion and Hilbert space valued parabolic equations in
W. Arendt, A. F. M. ter Elst, M. Sauter
Nittka gave an efficient criterion on a form defined on which implies that the associated semigroup is -invariant for some given . We extend this cr…
Leveraging Self-Supervised Vision Transformers for Segmentation-based Transfer Function Design
Dominik Engel, Leon Sick, Timo Ropinski
In volume rendering, transfer functions are used to classify structures of interest, and to assign optical properties such as color and opacity. They are commonly defined as 1D or…
The cycling mechanism of manganese-oxide cathodes in zinc batteries: A theory-based approach
Niklas J. Herrmann, Holger Euchner, Axel Groß +1
Zinc-based batteries offer good volumetric energy densities and are compatible with environmentally friendly aqueous electrolytes. Zinc-ion batteries (ZIBs) rely on a lithium-ion-l…
Self-Supervised Pre-Training with Contrastive and Masked Autoencoder Methods for Dealing with Small Datasets in Deep Learning for Medical Imaging
Daniel Wolf, Tristan Payer, Catharina Silvia Lisson +4
Deep learning in medical imaging has the potential to minimize the risk of diagnostic errors, reduce radiologist workload, and accelerate diagnosis. Training such deep learning mod…
Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup
Thom Fruehwirth
We introduce a just-in-time runtime program transformation strategy based on repeated recursion unfolding. Our online program optimization generates several versions of a recursion…
FreeCHR: An Algebraic Framework for CHR-Embeddings
Sascha Rechenberger, Thom Frühwirth
We introduce the framework FreeCHR which formalizes the embedding of Constraint Handling Rules (CHR) into a host language, using the concept of initial algebra semantics from categ…