30 citations
- Laboratoire d'Informatique Fondamentale d'Orléans11 papers
- Laboratoire d’Informatique Fondamentale de MarseilleFR5 papers
- Bank for International SettlementsCH1 paper
- Center for Economic and Policy ResearchUS1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Computer Science Laboratory of Lille1 paper
- Coral Reef AllianceUS1 paper
- École PolytechniqueFR1 paper
- Heidelberg UniversityDE1 paper
- Institut de Mécanique et d'Ingénierie de BordeauxFR1 paper
- Institut de Recherche en Informatique et Systèmes AléatoiresFR1 paper
- Institut für Regionale Innovation und SozialforschungDE1 paper
16 papers
Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis
Siva Anantharaman, Sabine Frittella, Benjamin Nguyen
We introduce a logical framework named Distributed Labeled Tagged Transition System (DLTTS), using concepts from Probabilistic Automata, Probabilistic Concurrent Systems, and Proba…
Strict Self-Assembly of Discrete Self-Similar Fractal Shapes
Florent Becker
This paper gives a (polynomial time) algorithm to decide whether a given Discrete Self-Similar Fractal Shape can be assembled in the aTAM model.In the positive case, the constructi…
Effects of carbon pricing and other climate policies on CO2 emissions
Emanuel Kohlscheen, Richhild Moessner, Elod Takats
We provide ex-post empirical analysis of the effects of climate policies on carbon dioxide emissions at the aggregate national level. Our results are based on a comprehensive datab…
Mixed-Strategy Equilibria in the War of Attrition under Uncertainty
Jean-Paul Décamps, Fabien Gensbittel, Thomas Mariotti
We study a generic family of two-player continuous-time nonzero-sum stopping games modeling a war of attrition with symmetric information and stochastic payoffs that depend on an h…
On Turedo Hierarchies and Intrinsic Universality
Samuel Nalin, Guillaume Theyssier
This paper is about turedos, which are Turing machine whose head can move in the plane (or in a higher-dimensional space) but only in a selfavoiding way, by putting marks (letters)…
Common and Distinct Components in Data Fusion
Age K. Smilde, Ingrid Mage, Tormod Naes +5
In many areas of science multiple sets of data are collected pertaining to the same system. Examples are food products which are characterized by different sets of variables, bio-p…