699 citations
- Centre National de la Recherche ScientifiqueFR25 papers
- Max Planck Institute for InformaticsDE24 papers
- German Research Centre for Artificial IntelligenceDE13 papers
- Karlsruhe Institute of TechnologyDE11 papers
- Universitat Autònoma de BarcelonaES11 papers
- Helmholtz Center for Information SecurityDE10 papers
- Leipzig UniversityDE10 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR9 papers
- Institute for Solid State Physics and OpticsHU9 papers
- Max Planck SocietyDE9 papers
- RWTH Aachen UniversityDE9 papers
- Universität HamburgDE8 papers
37 papers · 1 filter
Parametric Church's Thesis: Synthetic Computability without Choice
Yannick Forster
In synthetic computability, pioneered by Richman, Bridges, and Bauer, one develops computability theory without an explicit model of computation. This is enabled by assuming an axi…
Red blood cell shape transitions and dynamics in time-dependent capillary flows
Steffen M. Recktenwald, Katharina Graessel, Felix M. Maurer +3
The dynamics of single red blood cells (RBCs) determine microvascular blood flow by adapting their shape to the flow conditions in the narrow vessels. In this study, we explore the…
Robust interaction control of a dielectric elastomer actuator with variable stiffness
Gianluca Rizzello, Francesco Ferrante, David Naso +1
This paper presents an interaction control algorithm for a dielectric elastomer membrane actuator. The proposed method permits efficient exploitation of the controllable stiffness…
FLOWER: A comprehensive dataflow compiler for high-level synthesis
Puya Amiri, Arsène Pérard-Gayot, Richard Membarth +3
FPGAs have found their way into data centers as accelerator cards, making reconfigurable computing more accessible for high-performance applications. At the same time, new high-lev…
CLIN-X: pre-trained language models and a study on cross-task transfer for concept extraction in the clinical domain
Lukas Lange, Heike Adel, Jannik Strötgen +1
The field of natural language processing (NLP) has recently seen a large change towards using pre-trained language models for solving almost any task. Despite showing great improve…
RTLola on Board: Testing Real Driving Emissions on your Phone
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns +3
This paper is about shipping runtime verification to the masses. It presents the crucial technology enabling everyday car owners to monitor the behaviour of their cars in-the-wild.…