output
20022015
most citedAdvanced Virgo: a 2nd generation interferometric gravitational wave detector

4.2k citations

Showing 2015Show all

19 papers · 1 filter

cs.LO2015

Proceedings 8th International Workshop on Computing with Terms and Graphs

Aart Middeldorp, Femke van Raamsdonk

This volume contains the post-proceedings of the 8th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2014). The workshop took place in Vienna on July 13, 2014…

math.PR20151 cited

Gaussian approximation of moments of sums of independent random variables

Marcin Lis

We continue the research of Latała on improving estimates of -th moments of sums of independent random variables. We generalize some of his results in the case when $2 \leq p \l…

physics.ins-det201547 cited

Force sensor for chameleon and Casimir force experiments with parallel-plate configuration

Attaallah Almasi, Philippe Brax, Davide Iannuzzi +1

The search for non-Newtonian forces has been pursued following many different paths. Recently it was suggested that hypothetical chameleon interactions, which might explain the mec…

cs.LO2015

Proving Looping and Non-Looping Non-Termination by Finite Automata

Jörg Endrullis, Hans Zantema

A new technique is presented to prove non-termination of term rewriting. The basic idea is to find a non-empty regular language of terms that is closed under rewriting and does not…

cond-mat.mes-hall20159 cited

The locality of surface interactions on colloidal probes

René I. P. Sedmik, Attaallah Almasi, Davide Iannuzzi

The Casimir and electromagnetic interactions between objects at short separations are strongly influenced by the local geometry near the point of closest approach. In this paper we…

cs.GT20153 cited

Efficient Equilibria in Polymatrix Coordination Games

Mona Rahn, Guido Schäfer

We consider polymatrix coordination games with individual preferences where every player corresponds to a node in a graph who plays with each neighbor a separate bimatrix game with…