1.2k citations
- Forschungszentrum JülichDE94 papers
- Centre National de la Recherche ScientifiqueFR87 papers
- Johannes Gutenberg University MainzDE50 papers
- University of CologneDE41 papers
- University of OxfordGB36 papers
- University of EdinburghGB34 papers
- University of MünsterDE33 papers
- Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)DE32 papers
- University of CambridgeGB31 papers
- Friedrich-Alexander-Universität Erlangen-NürnbergDE30 papers
- Novosibirsk State UniversityRU30 papers
- Universität HamburgDE30 papers
1,737 papers
Identifying Scientists on X
Philipp Meier, Katarina Boland, Laura Kallmeyer +1
With the growing importance of science-related discourse on the Web and the erosion of the classical knowledge order, it is important to identify different user groups, such as sci…
A Cryogenic Penning Trap Based on Permanent Magnets
F. Völksen, K. K. Anjum, R. P. Czampiel +30
We report on a Penning trap based on NdFeB permanent magnets operated at 4\,K with a magnetic field strength of 280\,mT. Reliable loading and confinement of protons, H ions,…
Animation, Verification and Visualisation of Prolog Transition Systems with ProB
Jan Gruteser, Michael Leuschel, Katharina Engels +1
ProB is a Prolog-based model checker, animator and constraint solver for high-level formal specifications. One can also use ProB to animate transition systems defined by Prolog pre…
Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB
Katharina Engels, Jan Gruteser, Michael Leuschel
Event-B is a formal method rooted in predicate logic and set theory. We encoded over 600 proof rules in Prolog, enabling a systematic, comprehensible proof analysis and constructio…
FIREFLY: heat load and particle exhaust approximations for rapid evaluation of divertor designs
Heinke Frerichs, Dieter Boeyaert, Yuhe Feng +1
The divertor in a magnetic confinement fusion reactor is an essential component for power dissipation and particle removal. The FIREFLY package for rapid evaluation of divertor des…
Parity violation effects in helical osmocene: theoretical analysis and experimental prospects
Eduardus, Agathe Bonifacio, Mathieu Manceau +11
We present a computational investigation of the parity-violating (PV) contributions to the vibrational transitions and nuclear magnetic resonance shieldings of helical osmocene. A…