output
20022011
most citedUnderstanding individual human mobility patterns

6.1k citations

Showing 2011Show all

19 papers · 1 filter

cs.PL2011

Systematic Abstraction of Abstract Machines

David Van Horn, Matthew Might

We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines for high…

cond-mat.mes-hall2011

Saddles, Twists, and Curls: Shape Transitions in Freestanding Nanoribbons

Hailong Wang, Moneesh Upmanyu

Efforts to modulate the electronic properties of atomically thin crystalline nanoribbons requires precise control over their morphology. Here, we perform atomistic simulations on f…

hep-ex201163 cited

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^-…

cs.PL201116 cited

Extensible Pattern Matching in an Extensible Language

Sam Tobin-Hochstadt

Pattern matching is a widely used technique in functional languages, especially those in the ML and Haskell traditions, where it is at the core of the semantics. In languages in th…

physics.soc-ph2011325 cited

Collective response of human populations to large-scale emergencies

James P. Bagrow, Dashun Wang, Albert-László Barabási

Despite recent advances in uncovering the quantitative features of stationary human activity patterns, many applications, from pandemic prediction to emergency response, require an…

hep-ph201152 cited

Stringy origin of Tevatron Wjj anomaly

Luis A. Anchordoqui, Haim Goldberg, Xing Huang +2

The invariant mass distribution of dijets produced in association with W bosons, recently observed by the CDF Collaboration at Tevatron, reveals an excess in the dijet mass range 1…