376 citations
- D. N. Brown14 profiles36
- W. Rhode2 profiles32 · h 101
- R. Mirzoyan3 profiles30 · h 65
- U. Uwer6 profiles30 · h 89
- H. Schröder11 profiles29 · h 45
- J. Albert4 profiles29 · h 29
- W. Gradl11 profiles29 · h 56
- O. Igonkina11 profiles26 · h 79
- P. Majumdar2 profiles25 · h 59
- E. Lorenz3 profiles24 · h 61
- J. Rico2 profiles23 · h 63
- M. Persic2 profiles23 · h 73
- Humboldt-Universität zu BerlinDE51 papers
- Universitat de BarcelonaES51 papers
- University of PaduaIT45 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT44 papers
- University of PisaIT42 papers
- University of TriesteIT41 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PisaIT37 papers
- Ruhr University BochumDE35 papers
- Max Planck Institute for PhysicsDE33 papers
- University of RostockDE32 papers
- Heidelberg UniversityDE30 papers
- Institute for High Energy PhysicsES30 papers
26 papers · 1 filter
Response-adaptive dose-finding under model uncertainty
Björn Bornkamp, Frank Bretz, Holger Dette +1
Dose-finding studies are frequently conducted to evaluate the effect of different doses or concentration levels of a compound on a response of interest. Applications include the in…
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs
Georg Gottlob, Thomas Schwentick
We consider the setting of ontological database access, where an Abox is given in form of a relational database D and where a Boolean conjunctive query q has to be evaluated agains…
Stochastic homogenization of subdifferential inclusions via scale integration
Marco Veneroni
We study the stochastic homogenization of the system -div σ^ε= f^εσ^ε\in \partial ϕ^ε(\nabla u^ε), where (ϕ^ε) is a sequence of convex stationary random fields, with p-growth. We p…
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descriptio…
Measurements of branching fractions and CP asymmetries and studies of angular distributions for B to phi phi K decays
The BABAR Collaboration, J. P. Lees
We present branching fraction and CP asymmetry measurements as well as angular studies of B to phi phi K decays using 464 x 10^6 BBbar events collected by the BaBar experiment. The…
A scattering quantum circuit for measuring Bell's time inequality: a nuclear magnetic resonance demonstration using maximally mixed states
A M Souza, I S Oliveira, R S Sarthour
In 1985, Leggett and Garg (1985 Phys. Rev. Lett. 54 857) proposed a Bell-like inequality to test (in)compatibility between two fundamental concepts of quantum mechanics. The first…