13 citations
- Centre National de la Recherche ScientifiqueFR5 papers
- Laboratoire d'Informatique Gaspard-MongeFR3 papers
- Laboratoire d'Informatique de Paris-NordFR2 papers
- Laboratoire d’Informatique et SystèmesFR2 papers
- Sorbonne UniversitéFR2 papers
- Université Gustave EiffelFR2 papers
- Université Sorbonne Paris NordFR2 papers
- Aix-Marseille UniversitéFR1 paper
- CERMICSFR1 paper
- Delft University of TechnologyNL1 paper
- Dialog Semiconductor (Germany)DE1 paper
- École Normale Supérieure - PSLFR1 paper
10 papers
Max-Policy Iteration, Revisited
David Monniaux, Helmut Seidl
Max-policy iteration is an approach to computing precise numeric program invariants by successive attempts at resolving maximum operators and reduction to mathematical optimization…
Maths with Coq in L1, a pedagogical experiment
Marie Kerjean, Micaela Mayero, Pierre Rousselin
In France, the first year of study at university is usually abbreviated L1 (for premiere annee de Licence). At Sorbonne Paris Nord University, we have been teaching an 18 hour intr…
Unifying Graded Linear Logic and Differential Operators
Flavien Breuvart, Marie Kerjean, Simon Mirwasser
Linear Logic refines Intuitionnistic Logic by taking into account the resources used during the proof and program computation. In the past decades, it has been extended to various…
Patternshop: Editing Point Patterns by Image Manipulation
Xingchang Huang, Tobias Ritschel, Hans-Peter Seidel +2
Point patterns are characterized by their density and correlation. While spatial variation of density is well-understood, analysis and synthesis of spatially-varying correlation is…
Neighbor Joining And Leaf Status
Mathias Weller
The Neighbor Joining Algorithm is among the most fundamental algorithmic results in computational biology. However, its definition and correctness proof are not straightforward. In…
Pixel-wise Agricultural Image Time Series Classification: Comparisons and a Deformable Prototype-based Approach
Elliot Vincent, Jean Ponce, Mathieu Aubry
Improvements in Earth observation by satellites allow for imagery of ever higher temporal and spatial resolution. Leveraging this data for agricultural monitoring is key for addres…