output
19922026
Showing 2013Show all

197 papers · 1 filter

stat.ME2013★ 6 cited

Parameter inference from hitting times for perturbed Brownian motion

M. Tamborrino, S. Ditlevsen, P Lansky

A latent internal process describes the state of some system, e.g. the social tension in a political conflict, the strength of an industrial component or the health status of a per…

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…

astro-ph.SR2013★ 34 cited

Discovery of the first B[e] supergiants in M 31

Michaela Kraus, Lydia S. Cidale, Maria Laura Arias +2

B[e] supergiants (B[e]SGs) are transitional objects in the post-main sequence evolution of massive stars. The small number of B[e]SGs known so far in the Galaxy and the Magellanic…

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…

math-ph2013★ 39 cited

Asymptotic eigenvalue estimates for a Robin problem with a large parameter

Pavel Exner, Alexander Minakov, Leonid Parnovski

Robin problem for the Laplacian in a bounded planar domain with a smooth boundary and a large parameter in the boundary condition is considered. We prove a two-sided three-term asy…

cs.LO2013

Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall

Milan Hladík, Stefan Ratschan

In various applications the search for certificates for certain properties (e.g., stability of dynamical systems, program termination) can be formulated as a quantified constraint…