8.2k citations
- P. Ring6 profiles27 · h 62
- W. Weise3 profiles27 · h 56
- M. Bichler3 profiles24 · h 45
- N. Kaiser3 profiles22 · h 44
- G. Abstreiter3 profiles21 · h 75
- H. Spohn21 · h 75
- H. Park6 profiles19 · h 82
- R. Gross3 profiles19 · h 56
- P. Kienle4 profiles16 · h 39
- S. Eidelman5 profiles16 · h 123
- S. Paul6 profiles16 · h 43
- F. Simon2 profiles15 · h 82
- Excellence Cluster UniverseDE86 papers
- Schott (Germany)DE59 papers
- Centre National de la Recherche ScientifiqueFR41 papers
- The University of TokyoJP37 papers
- Max Planck Institute for PhysicsDE35 papers
- Ludwig-Maximilians-Universität MünchenDE34 papers
- University of BonnDE34 papers
- European Organization for Nuclear ResearchCH32 papers
- Bavarian Academy of Sciences and HumanitiesDE27 papers
- École Polytechnique Fédérale de LausanneCH27 papers
- Charles UniversityCZ26 papers
- Institute for High Energy PhysicsES26 papers
22 papers · 1 filter
Online Makespan Minimization with Parallel Schedules
Susanne Albers, Matthias Hellwig
In online makespan minimization a sequence of jobs has to be scheduled on identical parallel machines so as to minimize the maximum completion time of any job…
Monte-Carlo Simulations for the optimisation of a TOF-MIEZE Instrument
T. Weber, G. Brandl, R. Georgii +3
The MIEZE (Modulation of Intensity with Zero Effort) technique is a variant of neutron resonance spin echo (NRSE), which has proven to be a unique neutron scattering technique for…
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis
Krishnendu Chatterjee, Andreas Gaiser, Jan Křetínský
The model-checking problem for probabilistic systems crucially relies on the translation of LTL to deterministic Rabin automata (DRW). Our recent Safraless translation for the LTL(…
On Refinements of Boolean and Parametric Modal Transition Systems
Jan Křetínský, Salomon Sickert
We consider the extensions of modal transition systems (MTS), namely Boolean MTS and parametric MTS and we investigate the refinement problems over both classes. Firstly, we reduce…
A Health Monitoring System for Elder and Sick Persons
Ankit Chaudhary, Jagdish L. Raheja
This paper discusses a vision based health monitoring system which would be very easy in use and deployment. Elder and sick people who are not able to talk or walk they are depende…
Neutron capture cross section of unstable 63Ni: implications for stellar nucleosynthesis
C. Lederer, C. Massimi, S. Altstadt +102
The Ni() cross section has been measured for the first time at the neutron time-of-flight facility n\_TOF at CERN from thermal neutron energies up to 200 keV. In total…