1.4k citations
- Fermi National Accelerator LaboratoryUS205 papers
- University of KansasUS205 papers
- Charles UniversityCZ198 papers
- Lyon 1 UniversitéFR198 papers
- Imperial College LondonGB197 papers
- Northeastern UniversityUS197 papers
- University of Maryland, College ParkUS197 papers
- University of California, RiversideUS196 papers
- University of Nebraska–LincolnUS196 papers
- Lomonosov Moscow State UniversityRU195 papers
- Brown UniversityUS193 papers
- Joint Institute for Nuclear ResearchRU193 papers
15 papers · 1 filter
Ultrahigh Energy Neutrinos at the Pierre Auger Observatory
Pierre Auger Collaboration
The observation of ultrahigh energy (UHE) neutrinos has become a priority in experimental astroparticle physics. UHE neutrinos can be detected with a variety of techniques. In part…
On the speed of constraint propagation and the time complexity of arc consistency testing
Christoph Berkholz, Oleg Verbitsky
Establishing arc consistency on two relational structures is one of the most popular heuristics for the constraint satisfaction problem. We aim at determining the time complexity o…
Insulator-to-metal transition of SrTiO3:Nb single crystal surfaces induced by Ar+ bombardment
C. Rodenbücher, S. Wicklein, R. Waser +1
In this paper, the effect of Ar+ bombardment of SrTiO3:Nb surface layers is investigated on the macro- and nanoscale using surface-sensitive methods. After bombardment, the stoichi…
Optimal design for linear models with correlated observations
Holger Dette, Andrey Pepelyshev, Anatoly Zhigljavsky
In the common linear regression model the problem of determining optimal designs for least squares estimation is considered in the case where the observations are correlated. A nec…
Synthesizing Structured Reactive Programs via Deterministic Tree Automata
Benedikt Brütsch
Existing approaches to the synthesis of reactive systems typically involve the construction of transition systems such as Mealy automata. However, in order to obtain a succinct rep…
Model-Based Diagnosis with Qualitative Temporal Uncertainty
Wolfgang Nejdl, Johann Gamper
In this paper we describe a framework for model-based diagnosis of dynamic systems, which extends previous work in this field by using and expressing temporal uncertainty in the fo…