29.3k citations
- K. Ensslin2 profiles62 · h 68
- M. Troyer2 profiles45 · h 80
- M. Sigrist4 profiles39 · h 59
- H. Katzgraber38 · h 39
- J. Karpiński2 profiles38 · h 50
- D. Sornette4 profiles36 · h 91
- T. Ihn36 · h 59
- R. Mirzoyan4 profiles33 · h 65
- E. Lorenz4 profiles27 · h 61
- S. Lilly3 profiles27 · h 92
- A. Biland2 profiles25 · h 72
- N. Scoville4 profiles25 · h 93
- Centre National de la Recherche ScientifiqueFR80 papers
- Paul Scherrer InstituteCH77 papers
- University of ZurichCH58 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR40 papers
- European Organization for Nuclear ResearchCH40 papers
- University of PaduaIT40 papers
- École Polytechnique Fédérale de LausanneCH39 papers
- California Institute of TechnologyUS36 papers
- Board of the Swiss Federal Institutes of TechnologyCH35 papers
- University of California, Santa BarbaraUS34 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT32 papers
- Max Planck Institute for PhysicsDE32 papers
64 papers · 1 filter
Distribution of branch lengths and phylogenetic diversity under homogeneous speciation models
Tanja Stadler, Mike Steel
The constant rate birth--death process is a popular null model for speciation and extinction. If one removes extinct and non-sampled lineages, this process induces `reconstructed t…
Modeling the topology of protein interaction networks
Christian M. Schneider, Lucilla de Arcangelis, Hans J. Herrmann
A major issue in biology is the understanding of the interactions between proteins. These interactions can be described by a network, where the proteins are modeled by nodes and th…
Indication of Electron Neutrino Appearance from an Accelerator-produced Off-axis Muon Neutrino Beam
T2K Collaboration, K. Abe, N. Abgrall +408
The T2K experiment observes indications of appearance in data accumulated with protons on target. Six events pass all selection criteria at…
Verifying Eiffel Programs with Boogie
Julian Tschannen, Carlo A. Furia, Martin Nordio +1
Static program verifiers such as Spec#, Dafny, jStar, and VeriFast define the state of the art in automated functional verification techniques. The next open challenges are to make…
Bounds for Non-Locality Distillation Protocols
Manuel Forster
Non-locality can be quantified by the violation of a Bell inequality. Since this violation may be amplified by local operations an alternative measure has been proposed - distillab…
Energy Quantization for Willmore Surfaces and Applications
Yann Bernard, Tristan Rivière
We prove a bubble-neck decomposition together with an energy quantization result for sequences of Willmore surfaces into an arbitrary euclidian space with uniformly bounded energy…