1.4k citations
- D. Schaile11 profiles117 · h 87
- A. Quadt12 profiles111 · h 86
- A. Harel12 profiles110 · h 107
- F. Fiedler4 profiles110 · h 87
- G. Wilson4 profiles110 · h 62
- P. Renkel11 profiles110 · h 51
- A. Meyer4 profiles109 · h 142
- M. Verzocchi16 profiles109 · h 86
- M. Weber6 profiles109 · h 84
- S. Banerjee5 profiles109 · h 90
- A. Garcia-Bellido3 profiles108 · h 115
- B. Åsman9 profiles108 · h 98
- University of WuppertalDE120 papers
- Johannes Gutenberg University MainzDE119 papers
- Ludwig-Maximilians-Universität MünchenDE117 papers
- University of KansasUS117 papers
- University of Maryland, College ParkUS116 papers
- University of FreiburgDE115 papers
- Fermi National Accelerator LaboratoryUS114 papers
- Imperial College LondonGB113 papers
- Lyon 1 UniversitéFR113 papers
- University of California, RiversideUS112 papers
- University of ManchesterGB112 papers
- Brookhaven National LaboratoryUS110 papers
26 papers · 1 filter
SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amram +2
We describe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial ext…
Mobile Cloud Computing: A Comparison of Application Models
Dejan Kovachev, Yiwei Cao, Ralf Klamma
Cloud computing is an emerging concept combining many fields of computing. The foundation of cloud computing is the delivery of services, software and processing capacity over the…
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…
Short Huffman Codes Producing 1s Half of the Time
Fabian Altenbach, Georg Böcherer, Rudolf Mathar
The design of the channel part of a digital communication system (e.g., error correction, modulation) is heavily based on the assumption that the data to be transmitted forms a fai…
Bounds on an anomalous dijet resonance in W+jets production in ppbar collisions at sqrt{s} =1.96 TeV
D0 Collaboration, V. Abazov
We present a study of the dijet invariant mass spectrum in events with two jets produced in association with a W boson in data corresponding to an integrated luminosity of 4.3 fb^-…
Unconventional Magnetism in a Nitrogen-Based Analogue of Cupric Oxide
A. Zorko, P. Jeglič, A. Potočnik +6
We have investigated the magnetic properties of CuNCN, the first nitrogen-based analogue of cupric oxide, CuO. Our muon spin relaxation, nuclear magnetic resonance and electron spi…