output
19992026
most citedOSQP: An Operator Splitting Solver for Quadratic Programs

1.2k citations

Showing 2011Show all

13 papers · 1 filter

physics.comp-ph2011★ 31 cited

Event Driven Langevin simulations of Hard Spheres

Antonio Scala

The blossoming of interest in colloids and nano-particles has given renewed impulse to the study of hard-body systems. In particular, hard spheres have become a real test system fo…

q-fin.ST2011★ 243 cited

Web search queries can predict stock market volumes

Ilaria Bordino, Stefano Battiston, Guido Caldarelli +3

We live in a computerized and networked society where many of our actions leave a digital trace and affect other people's actions. This has lead to the emergence of a new data-driv…

cs.SE2011★ 10 cited

Product Lines for Service Oriented Applications - PL for SOA

Maurice H. ter Beek, Stefania Gnesi, Mercy N. Njima

PL for SOA proposes, formally, a software engineering methodology, development techniques and support tools for the provision of service product lines. We propose rigorous modeling…

cs.SE2011★ 1 cited

Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems

Laura Kovacs, Rosario Pugliese, Francesco Tiezzi

This volume contains the final and revised versions of the papers presented at the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011).…

cs.DC2011★ 5 cited

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi

Marco Bernardo, Rocco De Nicola, Michele Loreti

Labeled transition systems are typically used to represent the behavior of nondeterministic processes, with labeled transitions defining a one-step state to-state reachability rela…

physics.soc-ph2011★ 138 cited

Statistical Laws Governing Fluctuations in Word Use from Word Birth to Word Death

Alexander M. Petersen, Joel Tenenbaum, Shlomo Havlin +1

We analyze the dynamic properties of 10^7 words recorded in English, Spanish and Hebrew over the period 1800--2008 in order to gain insight into the coevolution of language and cul…