Zobrazeno 1 - 10
of 3 719
pro vyhledávání: '"MORALES, José"'
Variable sharing is a fundamental property in the static analysis of logic programs, since it is instrumental for ensuring correctness and increasing precision while inferring many useful program properties. Such properties include modes, determinacy
Externí odkaz:
http://arxiv.org/abs/2408.09848
We study the wave form emitted by a particle moving along an arbitrary (in general open) geodesic of the Schwarzschild geometry. The mathematical problem can be phrased in terms of quantities in ${\cal N}=2$ supersymmetric gauge theories that can be
Externí odkaz:
http://arxiv.org/abs/2408.07329
We reconsider linear perturbations around general Friedmann - Lemaitre - Robertson - Walker (FLRW) cosmological backgrounds. Exploiting gauge freedom involving only time reparametrizations, we write down classical background solutions analytically, f
Externí odkaz:
http://arxiv.org/abs/2408.03243
We consider coupled gravitational and electromagnetic perturbations of a family of five-dimensional Einstein-Maxwell solutions that describes both magnetized black strings and horizonless topological stars. We find that the odd perturbations of this
Externí odkaz:
http://arxiv.org/abs/2406.19330
Recurrence equations have played a central role in static cost analysis, where they can be viewed as abstractions of programs and used to infer resource usage information without actually running the programs with concrete data. Such information is t
Externí odkaz:
http://arxiv.org/abs/2406.18260
Publikováno v:
EPTCS 402, 2024
This volume contains * The post-proceedings of the Eighteenth Logical and Semantic Frameworks with Applications (LSFA 2023). The meeting was held on July 1-2, 2023, organised by the Sapienza Universit\`a di Roma, Italy. LSFA aims to bring researchers
Externí odkaz:
http://arxiv.org/abs/2404.13672
We study the gravitational tidal response of D1D5, Top Star and (1,0,n) strata horizonless geometries. We find that the tidal interactions in fuzzball geometries, unlike in the case of black holes, exhibits a sequence of resonant peaks associated to
Externí odkaz:
http://arxiv.org/abs/2402.06621
We derive a gauge inspired combinatorial formula based on localization for the Post-Newtonian expansion of the gravitational wave form luminosity of binary systems made of objects with very different masses orbiting at large distances and small veloc
Externí odkaz:
http://arxiv.org/abs/2311.14637