40.2k citations
- Centre National de la Recherche ScientifiqueFR2.7k papers
- Laboratoire d'Astrophysique de BordeauxFR1k papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR557 papers
- Institut de Mathématiques de BordeauxFR410 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR390 papers
- Laboratoire Ondes et Matière d'AquitaineFR347 papers
- Institut Polytechnique de BordeauxFR314 papers
- Laboratoire de Physique des deux infinis BordeauxFR314 papers
- Sorbonne UniversitéFR312 papers
- CEA Paris-SaclayFR309 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR299 papers
- Astrophysique, Instrumentation et ModélisationFR278 papers
54 papers · 1 filter
Fermi LAT Observations of the Vela Pulsar
A. A. Abdo
The Vela pulsar is the brightest persistent source in the GeV sky and thus is the traditional first target for new gamma-ray observatories. We report here on initial Fermi Large Ar…
Convex Hull of Arithmetic Automata
Jérôme Leroux
Arithmetic automata recognize infinite words of digits denoting decompositions of real and integer vectors. These automata are known expressive and efficient enough to represent th…
Accelerated Data-Flow Analysis
Jérôme Leroux, Gregoire Sutre
Acceleration in symbolic verification consists in computing the exact effect of some control-flow loops in order to speed up the iterative fix-point computation of reachable states…
The Vanishing Approach for the Average Continuous Control of Piecewise Deterministic Markov Processes
O. L. V. Costa, F. Dufour
The main goal of this paper is to derive sufficient conditions for the existence of an optimal control strategy for the long run average continuous control problem of piecewise det…
Indecomposable Permutations, Hypermaps and Labeled Dyck Paths
Robert Cori
Hypermaps were introduced as an algebraic tool for the representation of embeddings of graphs on an orientable surface. Recently a bijection was given between hypermaps and indecom…
Minoration de la hauteur de Neron-Tate sur les surfaces abeliennes
Fabien Pazuki
This paper contains results concerning a conjecture made by Lang and Silverman predicting a lower bound for the canonical height on abelian varieties of dimension 2 over number fie…