291 citations
- Centre National de la Recherche ScientifiqueFR222 papers
- Université de MontpellierFR183 papers
- Institut national de recherche en sciences et technologies du numériqueFR39 papers
- Université Montpellier 233 papers
- Data Management (Italy)IT24 papers
- Institut National Polytechnique de ToulouseFR24 papers
- Université Paul-Valéry MontpellierFR17 papers
- École Normale Supérieure de LyonFR16 papers
- Centre de Coopération Internationale en Recherche Agronomique pour le DéveloppementFR15 papers
- National and Kapodistrian University of AthensGR15 papers
- Lyon 1 UniversitéFR11 papers
- UMR Botanique et Modélisation de l’Architecture des Plantes et des végétationsFR11 papers
18 papers · 1 filter
From Logical to Distributional Models
Anne Preller
The paper relates two variants of semantic models for natural language, logical functional models and compositional distributional vector space models, by transferring the logic an…
Detecting minors in matroids through triangles
Boris Albar, Daniel Gonçalves, Jorge L. Ramírez Alfonsín
In this note we investigate some matroid minor structure results. In particular, we present sufficient conditions, in terms of {\em triangles}, for a matroid to have either $U_{2,4…
Bounded-degree factors of lacunary multivariate polynomials
Bruno Grenet
In this paper, we present a new method for computing bounded-degree factors of lacunary multivariate polynomials. In particular for polynomials over number fields, we give a new al…
A 'stochastic safety radius' for distance-based tree reconstruction
Olivier Gascuel, Mike Steel
A variety of algorithms have been proposed for reconstructing trees that show the evolutionary relationships between species by comparing differences in genetic data across present…
Diagonally non-computable functions and fireworks
Laurent Bienvenu, Ludovic Patey
A set C of reals is said to be negligible if there is no probabilistic algorithm which generates a member of C with positive probability. Various classes have been proven to be neg…
On the logical strengths of partial solutions to mathematical problems
Laurent Bienvenu, Ludovic Patey, Paul Shafer
We use the framework of reverse mathematics to address the question of, given a mathematical problem, whether or not it is easier to find an infinite partial solution than it is to…