853 citations
- Sorbonne UniversitéFR398 papers
- Centre National de la Recherche ScientifiqueFR380 papers
- Université Paris CitéFR136 papers
- Université Pierre-et-Marie-CurieFR97 papers
- University of EdinburghGB89 papers
- Institut national de recherche en sciences et technologies du numériqueFR85 papers
- Université Paris-SaclayFR67 papers
- University of OxfordGB54 papers
- École PolytechniqueFR50 papers
- Sorbonne Paris CitéFR48 papers
- Massachusetts Institute of TechnologyUS45 papers
- Universidade Federal do Rio de JaneiroBR45 papers
19 papers · 1 filter
Computing solutions of linear Mahler equations
Frédéric Chyzak, Thomas Dreyfus, Philippe Dumas +1
Mahler equations relate evaluations of the same function at iterated th powers of the variable. They arise in particular in the study of automatic sequences and in the compl…
Static Analysis of Communicating Processes using Symbolic Transducers
Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall
We present a general model allowing static analysis based on abstract interpretation for systems of communicating processes. Our technique, inspired by Regular Model Checking, repr…
A Near-Linear Approximation Scheme for Multicuts of Embedded Graphs with a Fixed Number of Terminals
Vincent Cohen-Addad, Éric Colin de Verdière, Arnaud de Mesmay
For an undirected edge-weighted graph and a set of pairs of vertices called pairs of terminals, a multicut is a set of edges such that removing these edges from disconn…
Multi-view Generative Adversarial Networks
Mickaël Chen, Ludovic Denoyer
Learning over multi-view data is a challenging problem with strong practical applications. Most related studies focus on the classification point of view and assume that all the vi…
SPECTRA -- a Maple library for solving linear matrix inequalities in exact arithmetic
Mohab Safey El Din, Didier Henrion, Simone Naldi +2
This document describes our freely distributed Maple library {\sc spectra}, for Semidefinite Programming solved Exactly with Computational Tools of Real Algebra. It solves linear m…
Optimizing egalitarian performance in the side-effects model of colocation for data center resource management
Fanny Pascual, Krzysztof Rzadca
In data centers, up to dozens of tasks are colocated on a single physical machine. Machines are used more efficiently, but tasks' performance deteriorates, as colocated tasks compe…