A Finite Discrete-time Dynamical System (DDS) consists of a finite set X , called state space, and a function f, called next-state map (which associates to a state v the state f(v)). DDS are a formal tool for modelling phenomena that appear in Physics, Mathematics, Biology, and, of course, in Computer Science. While the mathematical formalisation a...
Un réseau véhiculaire est un réseau sans fil dynamique. Les véhicules composant ce réseau peuvent être équipés de différentes technologies de communication. Les échanges d'information peuvent donc avoir lieu avec une ou plusieurs de ces technologies. Dans cette seconde possibilité, le choix de la technologie de communication influe sur le débit dis...
Given a finite set of symbols and a list of rules specifying which of them can appear next to each other, one can build a -- possibly empty -- set of infinite lines of symbols in two directions obeying these rules, named configurations. A set of configurations is called a one-dimensional subshift, and it is the mathematical object at the core of sy...
La difficulté en transplantation hépatique est un sujet récent de la littérature médicale. Pour la définir, nous avons utilisé une définition proposée par Azoulay et al l’an dernier. Méthodes : une telle définition était la combinaison du nombre de culots globulaires transfusés, du temps d’ischémie froide et de la durée opératoire, au-dessus de la ...
Réflexions autour de la dialogique de la justice européenne
This thesis is divided into two main parts, although a common denominator can be found in the notion of non-determinism in automata, and its resolution. The first part focuses on a notion of limited non-determinism, which is explorable automata. These are automata for which the non-determinism can be resolved by building a finite number of simultan...
In this thesis, we consider two families of computational problems defined on graphs: proper edge-labellings and combinatorial games. We attack these problems in a similar (and classical) way: we show that they are computationally hard, and then find efficient algorithms for instances with specific structure.First we focus on problems related to pr...
La complexité du discours du droit a souvent été soulignée par les spécialistes du droit et les associations de consommateurs dans les pays anglophones et francophones. Ce constat a mené à la publication de recommandations pour encourager les expert.es du droit à utiliser un style clair (plain language), en suivant une série de règles rédactionnell...
International audience
Depuis le rapport du club de Rome de 1972, les contraintes environnementales dans lesquelles s'inscrit l'économie mondiale sont désormais reconnues cruciales dans l'évaluation des politiques publiques de transition. Dans ce contexte, la modélisation mathématique est un outil incontournable de compréhension des interactions économie-environnement et...
