2k citations
- Centro de Astrofísica da Universidade do PortoPT51 papers
- Centre National de la Recherche ScientifiqueFR22 papers
- University of CambridgeGB19 papers
- University of MinhoPT15 papers
- Universidade Federal da ParaíbaBR13 papers
- Instituto Superior TécnicoPT11 papers
- California Institute of TechnologyUS10 papers
- European Southern ObservatoryCL9 papers
- Instituto de Astrofísica de CanariasES9 papers
- Instituto de Ciencia de Materiales de MadridES9 papers
- University of CoimbraPT9 papers
- Aarhus UniversityDK8 papers
29 papers · 1 filter
Probing unification scenarios with atomic clocks
M. C. Ferreira, M. D. Julião, C. J. A. P. Martins +1
We discuss the usage of measurements of the stability of nature's fundamental constants coming from comparisons between atomic clocks as a means to constrain coupled variations of…
Proceedings 2nd International Workshop on Linearity
Sandra Alves, Ian Mackie
This volume contains a selection of the papers presented at the 2nd International Workshop on Linearity (LINEARITY'2012), which took place 1 April 2012 in Tallinn, Estonia. The wor…
3D-2D dimensional reduction for a nonlinear optimal design problem with perimeter penalization
Graça Carita, Elvira Zappale
A 3D-2D dimension reduction for a nonlinear optimal design problem with a perimeter penalization is performed in the realm of -convergence, providing an integral representation…
The CORALIE survey for southern extrasolar planets XVII. New and updated long period and massive planets
M. Marmier, D. Ségransan, S. Udry +24
Since 1998, a planet-search program around main sequence stars within 50 pc in the southern hemisphere, is carried out with the CORALIE echelle spectrograph at La Silla Observatory…
On the Yor integral and a system of polynomials related to the Kontorovich-Lebedev transform
Semyon Yakubovich
In this paper we establish different representations of the so-called Yor integral, which is one of the key ingredient in mathematical finance, in particular, to compute normalized…
Deciding KAT and Hoare Logic with Derivatives
Ricardo Almeida, Sabine Broda, Nelma Moreira
Kleene algebra with tests (KAT) is an equational system for program verification, which is the combination of Boolean algebra (BA) and Kleene algebra (KA), the algebra of regular e…