4 citations
- Département mathématiques, informatique, sciences de la donnée et technologies du numériqueFR2 papers
- Brazilian Society of Computational and Applied MathematicsBR1 paper
- Laboratoire de Mathématiques Raphaël SalemFR1 paper
- Laboratoire de Statistique Théorique et AppliquéeFR1 paper
- Universidade Estadual de Campinas (UNICAMP)BR1 paper
2 papers
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…