221 citations
- Département mathématiques, informatique, sciences de la donnée et technologies du numériqueFR9 papers
- Laboratoire de Mathématiques Raphaël SalemFR2 papers
- Universidade Estadual de Campinas (UNICAMP)BR2 papers
- AgroParisTechFR1 paper
- Brazilian Institute of Geography and StatisticsBR1 paper
- Brazilian Society of Computational and Applied MathematicsBR1 paper
- Centre de Recherche en Mathématiques de la DécisionFR1 paper
- Decision ResearchUS1 paper
- Ecologie, Société, EvolutionFR1 paper
- Ecology and Ecosystem HealthFR1 paper
- Fisheries and Oceans CanadaCA1 paper
- Laboratoire de Mathématiques d'OrsayFR1 paper
Showing 2007Show all
2 papers · 1 filter
math.PR2007★ 4 cited
Poisson approximation for search of rare words in DNA sequences
Nicolas Vergne, Miguel Abadi
Using recent results on the occurrence times of a string of symbols in a stochastic process with mixing properties, we present a new method for the search of rare words in biologic…
cs.PL2007★ 4 cited
Recurrence with affine level mappings is P-time decidable for CLP(R)
Fred Mesnard, Alexander Serebrenik
In this paper we introduce a class of constraint logic programs such that their termination can be proved by using affine level mappings. We show that membership to this class is d…