output
19922026
most citedThe Astropy Project: Building an inclusive, open-science project and status of the v2.0 core package

7.7k citations

Showing 2013Show all

238 papers · 1 filter

cs.CR2013

Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols

François Dupressoir, Andrew D. Gordon, Jan Jürjens +1

We describe how to verify security properties of C code for cryptographic protocols by using a general-purpose verifier. We prove security theorems in the symbolic model of cryptog…

cond-mat.mes-hall2013★ 16 cited

Exciton spin dynamics of colloidal CdTe nanocrystals in magnetic field

Feng Liu, A. V. Rodina, D. R. Yakovlev +6

The recombination and spin dynamics of excitons in colloidal CdTe nanocrystals (NCs) are studied by time-resolved photoluminescence in high magnetic fields up to 15 T and at cryoge…

astro-ph.HE2013★ 50 cited

Search for gamma-ray-emitting active galactic nuclei in the Fermi-LAT unassociated sample using machine learning

M. Doert, M. Errando

The second Fermi-LAT source catalog (2FGL) is the deepest all-sky survey available in the gamma-ray band. It contains 1873 sources, of which 576 remain unassociated. Machine-learni…

stat.AP2013★ 6 cited

Optimal designs for multi-response generalized linear models with applications in thermal spraying

Holger Dette, Laura Hoyden, Sonja Kuhnt +1

We consider the problem of designing experiments for investigating particle in-flight properties in thermal spraying. Observations are available on an extensive design for an initi…

astro-ph.HE2013★ 1.6k cited

Evidence for High-Energy Extraterrestrial Neutrinos at the IceCube Detector

IceCube Collaboration, M. G. Aartsen, R. Abbasi +275

We report on results of an all-sky search for high-energy neutrino events interacting within the IceCube neutrino detector conducted between May 2010 and May 2012. The search follo…

hep-ex2013★ 19 cited

Search for a multi-Higgs-boson cascade in WWbb events with the ATLAS detector in pp collisions at sqrt(s) = 8 TeV

ATLAS Collaboration

A search is presented for new particles in an extension to the Standard Model that includes a heavy Higgs boson H0, an intermediate charged Higgs boson pair H+-, and a light Higgs…

hep-ex2013★ 20 cited

Measurement of the and effective lifetimes

LHCb collaboration, R. Aaij, B. Adeva +672

The first measurement of the effective lifetime of the meson in the decay is reported using a proton-proton collision dataset, correspondi…

cs.DS2013★ 2 cited

Property-Testing in Sparse Directed Graphs: 3-Star-Freeness and Connectivity

Frank Hellweg, Christian Sohler

We study property testing in directed graphs in the bounded degree model, where we assume that an algorithm may only query the outgoing edges of a vertex, a model proposed by Bende…

hep-ex2013★ 94 cited

Search for long-lived stopped R-hadrons decaying out-of-time with pp collisions using the ATLAS detector

ATLAS Collaboration

An updated search is performed for gluino, top squark, or bottom squark R-hadrons that have come to rest within the ATLAS calorimeter, and decay at some later time to hadronic jets…

hep-ex2013★ 4 cited

Search for the decay

The BABAR Collaboration

We report a search for the decay . Using a data sample of pairs collect…

hep-ph2013★ 30 cited

Two-pion low-energy contribution to the muon with improved precision from analyticity and unitarity

B. Ananthanarayan, Irinel Caprini, Diganta Das +1

The two-pion contribution from low energies to the muon magnetic moment anomaly, although small, has a large relative uncertainty since in this region the experimental data on the…

hep-ex2013★ 101 cited

Measurement of the B->Xsl+l- branching fraction and search for direct CP violation from a sum of exclusive final states

The BABAR Collaboration, J. P. Lees, others

We present a measurement of the total branching fraction of the flavor-changing neutral-current process B->Xsl+l-, along with partial branching fractions in bins of dilepton and ha…

hep-ex2013★ 88 cited

Measurement of dijet cross sections in pp collisions at 7 TeV centre-of-mass energy using the ATLAS detector

ATLAS Collaboration

Double-differential dijet cross sections measured in pp collisions at the LHC with a 7 TeV centre-of-mass energy are presented as functions of dijet mass and rapidity separation of…

hep-ph2013★ 47 cited

(A)symmetries of weak decays at and near the kinematic endpoint

Gudrun Hiller, Roman Zwicky

At the kinematic endpoint of zero recoil physical momenta are parallel which leads to symmetries in the decay distributions. We implement this observation for decays of the type $A…

hep-ex2013★ 5 cited

Evidence for the decay B0 --> omega omega and search for B0 --> omega phi

The BABAR Collaboration, J. P. Lees, V. Poireau +333

We describe searches for B meson decays to the charmless vector-vector final states omega omega and omega phi with 471 x 10^6 B Bbar pairs produced in e+ e- annihilation at sqrt(s)…

astro-ph.HE2013★ 33 cited

Search for neutrino-induced particle showers with IceCube-40

IceCube Collaboration, M. G. Aartsen, R. Abbasi +287

We report on the search for neutrino-induced particle-showers, so-called cascades, in the IceCube-40 detector. The data for this search was collected between April 2008 and May 200…

cs.IT2013★ 32 cited

Zak transforms and Gabor frames of totally positive functions and exponential B-splines

Tobias Kloos, Joachim Stöckler

We study totally positive (TP) functions of finite type and exponential B-splines as window functions for Gabor frames. We establish the connection of the Zak transform of these tw…

astro-ph.HE2013★ 73 cited

Probing the origin of cosmic-rays with extremely high energy neutrinos using the IceCube Observatory

IceCube Collaboration, M. G. Aartsen, R. Abbasi +275

We have searched for extremely high energy neutrinos using data taken with the IceCube detector between May 2010 and May 2012. Two neutrino induced particle shower events with ener…

astro-ph.HE2013★ 104 cited

Search for a diffuse flux of astrophysical muon neutrinos with the IceCube 59-string configuration

The IceCube Collaboration, M. G. Aartsen, R. Abbasi +287

A search for high-energy neutrinos was performed using data collected by the IceCube Neutrino Observatory from May 2009 to May 2010, when the array was running in its 59-string con…

hep-ex2013★ 2 cited

Charged Leptons

J. Albrecht, M. Artuso, K. Babu +34

This is the report of the Intensity Frontier Charged Lepton Working Group of the 2013 Community Summer Study "Snowmass on the Mississippi", summarizing the current status and futur…

hep-ex2013★ 52 cited

Studies of beauty baryon decays to and final states

LHCb collaboration, R. Aaij, B. Adeva +670

Decays of beauty baryons to the and final states (where indicates a pion or a kaon) are studied using a data sample of collisions, corresponding to…

hep-ph2013★ 3 cited

SU(3)F in nonleptonic charm decays

Gudrun Hiller, Martin Jung, Stefan Schacht

We present updated results of an SU(3)-flavor analysis of D->P P decay data including linear breaking and no further assumptions. The global fit is consistent with nominal (~ 30%)…

astro-ph.HE2013★ 26 cited

MAGIC upper limits on the GRB 090102 afterglow

MAGIC Collaboration, J. Aleksić, S. Ansoldi +160

Indications of a GeV component in the emission from GRBs are known since the EGRET observations during the 1990's and they have been confirmed by the data of the Fermi satellite. T…

cond-mat.mes-hall2013★ 44 cited

Spin-noise in the anisotropic central spin model

Johannes Hackmann, Frithjof B. Anders

Spin-noise measurements can serve as direct probe for the microscopic decoherence mechanism of an electronic spin in semiconductor quantum dots (QD).We have calculated the spin-noi…