1.1k citations
- École PolytechniqueFR461 papers
- Centre National de la Recherche ScientifiqueFR295 papers
- Institut national de recherche en sciences et technologies du numériqueFR118 papers
- Centre Inria de SaclayFR62 papers
- Institut Polytechnique de ParisFR60 papers
- CRANFR28 papers
- Université Paris CitéFR28 papers
- Université Paris-SaclayFR26 papers
- Sorbonne UniversitéFR25 papers
- Université de LorraineFR18 papers
- Université Paris-SudFR17 papers
- École Normale Supérieure de LyonFR14 papers
38 papers · 1 filter
Elimination of unknowns for systems of algebraic differential-difference equations
Wei Li, Alexey Ovchinnikov, Gleb Pogudin +1
We establish effective elimination theorems for differential-difference equations. Specifically, we find a computable function of the natural number parameters and …
The Query Complexity of a Permutation-Based Variant of Mastermind
Peyman Afshani, Manindra Agrawal, Benjamin Doerr +3
We study the query complexity of a permutation-based variant of the guessing game Mastermind. In this variant, the secret is a pair which consists of a binary string $z \in…
Unboxing Mutually Recursive Type Definitions in OCaml
Simon Colin, Rodolphe Lepigre, Gabriel Scherer
In modern OCaml, single-argument datatype declarations (variants with a single constructor, records with a single field) can sometimes be `unboxed'. This means that their memory re…
Working Principles of Binary Differential Evolution
Benjamin Doerr, Weijie Zheng
We conduct a first fundamental analysis of the working principles of binary differential evolution (BDE), an optimization heuristic for binary decision variables that was derived b…
Production-Driven Patch Generation
Thomas Durieux, Youssef Hamadi, Martin Monperrus
We present an original concept for patch generation: we propose to do it directly in production. Our idea is to generate patches on-the-fly based on automated analysis of the failu…
A Tight Runtime Analysis for the EA
Denis Antipov, Benjamin Doerr
Despite significant progress in the theory of evolutionary algorithms, the theoretical understanding of evolutionary algorithms which use non-trivial populations remains challengin…