7.1k citations
- Centre National de la Recherche ScientifiqueFR310 papers
- Centre de Recherche en Informatique, Signal et Automatique de LilleFR122 papers
- Laboratoire Paul PainlevéFR114 papers
- Sorbonne UniversitéFR98 papers
- École Centrale de LilleFR97 papers
- Centre de Recherche en InformatiqueFR90 papers
- Laboratoire de Physique des PlasmasFR66 papers
- Institut d'électronique de microélectronique et de nanotechnologieFR65 papers
- Université Paris Sciences et LettresFR65 papers
- Université Paris CitéFR56 papers
- Institut de Mécanique Céleste et de Calcul des ÉphéméridesFR50 papers
- Laboratoire de Physique des Lasers, Atomes et MoléculesFR46 papers
44 papers · 1 filter
The Hoare-fol Tool
Maxime Folschette
This document presents the tool named ''Application of Hoare Logic and Dijkstra's Weakest Proposition Calculus to Biological Regulatory Networks Using Path Programs with Branching…
Rapid and sensitive quantification of C3- and C6-phosphoesters in starch by fluorescence-assisted capillary electrophoresis
Jérémy Verbeke, Christophe Penverne, Christophe d'Hulst +2
Phosphate groups are naturally present in starch at C3- or C6-position of the glucose residues and impact the structure of starch granules. Their precise quantification is necessar…
RTj: a Java framework for detecting and refactoring rotten green test cases
Matias Martinez, Anne Etien, Stéphane Ducasse +1
Rotten green tests are passing tests which have, at least, one assertion not executed. They give developers a false confidence. In this paper, we present, RTj, a framework that ana…
Doubly periodic solutions of the focusing nonlinear Schrödinger equation: recurrence, period doubling and amplification outside the conventional modulation instability band
Matteo Conforti, Arnaud Mussot, Alexandre Kudlinski +2
Solitons on a finite a background, also called breathers, are solutions of the focusing nonlinear Schrödinger equation, which play a pivotal role in the description of rogue waves…
Solving Bernoulli Rank-One Bandits with Unimodal Thompson Sampling
Cindy Trinh, Emilie Kaufmann, Claire Vernade +1
Stochastic Rank-One Bandits (Katarya et al, (2017a,b)) are a simple framework for regret minimization problems over rank-one matrices of arms. The initially proposed algorithms are…
Document Network Embedding: Coping for Missing Content and Missing Links
Jean Dupuy, Adrien Guille, Julien Jacques
Searching through networks of documents is an important task. A promising path to improve the performance of information retrieval systems in this context is to leverage dense node…