From the 1 of 5.5k papers with an AI index.
29.3k citations
- Centre National de la Recherche ScientifiqueFR1.7k papers
- Centre Inria de SaclayFR364 papers
- École PolytechniqueFR306 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR300 papers
- École Normale Supérieure - PSLFR292 papers
- Sorbonne UniversitéFR291 papers
- École Normale Supérieure de LyonFR233 papers
- Centre Inria de l'Université Grenoble AlpesFR216 papers
- Université Paris-SaclayFR208 papers
- Université Grenoble AlpesFR204 papers
- Lyon 1 UniversitéFR191 papers
- Centre Inria d'Université Côte d'AzurFR183 papers
161 papers · 1 filter
Stratification in P2P Networks - Application to BitTorrent
Anh-Tuan Gai, Fabien Mathieu, Julien Reynier +1
We introduce a model for decentralized networks with collaborating peers. The model is based on the stable matching theory which is applied to systems with a global ranking utility…
On Using Matching Theory to Understand P2P Network Design
Dmitry Lebedev, Fabien Mathieu, Laurent Viennot +3
This paper aims to provide insight into stability of collaboration choices in P2P networks. We study networks where exchanges between nodes are driven by the desire to receive the…
On Completeness of Logical Relations for Monadic Types
Slawomir Lasota, David Nowak, Yu Zhang
Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs can be mode…
Reduction of Algebraic Parametric Systems by Rectification of their Affine Expanded Lie Symmetries
Alexandre Sedoglavic
Lie group theory states that knowledge of a -parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by the number of equatio…
Developing efficient parsers in Prolog: the CLF manual (v1.0)
Thierry Despeyroux
This document describes a couple of tools that help to quickly design and develop computer (formalized) languages. The first one use Flex to perform lexical analysis and the second…
Synchronization recovery and state model reduction for soft decoding of variable length codes
Simon Malinowski, Hervé Jégou, Christine Guillemot
Variable length codes exhibit de-synchronization problems when transmitted over noisy channels. Trellis decoding techniques based on Maximum A Posteriori (MAP) estimators are often…