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
15 papers · 1 filter
Dissections, orientations, and trees, with applications to optimal mesh encoding and to random sampling
Eric Fusy, Dominique Poulalhon, Gilles Schaeffer
We present a bijection between some quadrangular dissections of an hexagon and unrooted binary trees, with interesting consequences for enumeration, mesh compression and graph samp…
Nonlinear diffusive-dispersive limits for multidimensional conservation laws
Joaquim M. Correia, Philippe G. LeFloch
We consider a class of multidimensional conservation laws with vanishing nonlinear diffusion and dispersion terms. Under a condition on the relative size of the diffusion and dispe…
On the strength of proof-irrelevant type theories
Benjamin Werner
We present a type theory with some proof-irrelevance built into the conversion rule. We argue that this feature is useful when type theory is used as the logical formalism underlyi…
Peek Arc Consistency
Manuel Bodirsky, Hubie Chen
This paper studies peek arc consistency, a reasoning technique that extends the well-known arc consistency technique for constraint satisfaction. In contrast to other more costly e…
Topological Observations on Multiplicative Additive Linear Logic
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
As an attempt to uncover the topological nature of composition of strategies in game semantics, we present a ``topological'' game for Multiplicative Additive Linear Logic without p…
Wireless Broadcast with Network Coding in Mobile Ad-Hoc Networks: DRAGONCAST
Song Yean Cho, Cédric Adjih
Network coding is a recently proposed method for transmitting data, which has been shown to have potential to improve wireless network performance. We study network coding for one…