1.2k citations
- Centre National de la Recherche ScientifiqueFR44 papers
- Philipps University of MarburgDE30 papers
- Deutsches Elektronen-Synchrotron DESYDE27 papers
- Freie Universität BerlinDE24 papers
- European X-Ray Free-Electron LaserDE22 papers
- Goethe University FrankfurtDE22 papers
- University of FreiburgDE20 papers
- Hebrew University of JerusalemIL17 papers
- Fritz Haber Institute of the Max Planck SocietyDE16 papers
- Helmholtz-Zentrum Berlin für Materialien und EnergieDE16 papers
- Johannes Gutenberg University MainzDE14 papers
- Universität HamburgDE14 papers
604 papers
Capturing Bisimulation-Invariant Exponential-Space Complexity Classes
Florian Bruse, David Kronenberger, Martin Lange
Otto's Theorem characterises the bisimulation-invariant PTIME queries over graphs as exactly those that can be formulated in the polyadic mu-calculus. This extends to a characteris…
Correcting Deterministic Finite Automata for Didactic Feedback
Maurice Bornett Herwig, Norbert Hundeshagen
Motivated by educational applications, we study the problem of computing all corrections that transform a finite automaton into one recognizing a given regular language L. We show…
The influence of the binding energy on Compton-scattering-driven ionization
N. Melzer, M. Kircher, G. Kastirke +31
We present a comprehensive study of Compton scattering of 20 keV photons by bound electrons over a wide range of binding energies (Ne 2p, Ne 2s, C 1s, O 1s, and Ne 1s orbitals). In…
PIConGPU modeling of nanoplasma formation in helium nanodroplets irradiated by intense femtosecond laser pulses
Cristian Medina, Klaus Steiniger, Brian Edward Marre +15
Helium nanodroplets provide a unique and versatile platform for investigating strong-field-driven nanoplasma dynamics. In this work, we present large-scale, GPU-accelerated particl…
Using Machine Learning to Enhance Hyperparameter Optimization in Pandemic Modeling: Case study of COVID-19 Dynamics in Ghana
Thomas Izgin, Andreas Meister, Isaac Azure
In this study, five distinct COVID-19 models developed in different countries, each designed to reflect the prevailing epidemiological condition at the time of formulation, are exa…
DimFlux: Force-Directed Additive Line Diagrams
Marcel Nöhre, Dominik Dürrschnabel, Bernhard Ganter +1
The visualization of concept lattices is a central problem in the field of Formal Concept Analysis. Force-directed algorithms, as popular in graph drawing, are a promising approach…