490 citations
- Institut national de recherche en sciences et technologies du numériqueFR110 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR87 papers
- Centre National de la Recherche ScientifiqueFR55 papers
- Université de LorraineFR43 papers
- Institut Élie Cartan de LorraineFR35 papers
- Université de StrasbourgFR10 papers
- École PolytechniqueFR9 papers
- Laboratoire des Sciences de l'Ingénieur, de l'Informatique et de l'ImagerieFR9 papers
- University of LuxembourgLU8 papers
- Institut de Recherche Mathématique AvancéeFR7 papers
- Centre de Mathématiques Appliquées de l'École polytechniqueFR5 papers
- Computer Algorithms for MedicineAT5 papers
4 papers · 1 filter
Two-Dimensional Almost-Riemannian Structures with Tangency Points
Andrei Agrachev, Ugo Boscain, Grégoire Charlot +2
Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vect…
On the Convergence of Population Protocols When Population Goes to Infinity
Olivier Bournez, Philippe Chassaing, Johanne Cohen +2
Population protocols have been introduced as a model of sensor networks consisting of very limited mobile agents with no control over their own movement. A population protocol corr…
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen +1
Jeřábek showed that cuts in classical propositional logic proofs in deep inference can be eliminated in quasipolynomial time. The proof is indirect and it relies on a result of Ats…
Multiseed Lossless Filtration
Gregory Kucherov, Laurent Noé, Mikhail A. Roytberg
We study a method of seed-based lossless filtration for approximate string matching and related bioinformatics applications. The method is based on a simultaneous use of several sp…