L’équipe ESCAPE travaille dans le domaine de l’informatique théorique et est composée de spécialistes de domaines différents mais connexes : calculabilité, complexité, logique. Ses membres se retrouvent dans les objets qu’ils étudient, et typiquement, ces objets sont les pavages, les automates cellulaires, les machines de Turing. Ils se retrouvent aussi dans les paradigmes qu’ils adoptent : la spécialité de l’équipe est de travailler sur ces objets d’un point de vue « modèle de calcul », mais nous nous intéressons aussi largement à la « théorie des jeux algorithmiques ». Nous cherchons à comprendre aussi bien l’émergence de la notion de calcul que la puissance ou à la robustesse des modèles considérés. Nos travaux ont un impact hors de notre champ scientifique propre : en mathématiques dans le domaine des systèmes dynamiques discrets, en logique, et ils commencent à avoir un impact en physique statistique.

Open Access Files

93 %

Nombre de Fichiers déposés

136

Nombre de Notices déposées

49

Politique des éditeurs en matière de dépôt dans une archive ouverte

Cartographie des collaborations

Tags

Entropy Automata Secret sharing Logic Minimal SFT Ammann tilings Halting problem Palindromic length Finite-state dimension Network coding Factor complexity Quasiperiodic Error-correcting codes Mutual information Bilinear maps Guessing games Information inequalities Shannon inequalities Semiconductor lasers Copy lemma Universalité Almost entropic points Corpuscular concepts Linear programming Sturmian words S-adic conjecture Atmospheric modeling Kolmogorov structure function Algorithms Algorithmic information theory Symmetries Algorithmic statistics Analytical models Combinatorics on words Expanders Repetitions Algorithmique du texte Kolmogorov Complexity Classical gas theory Biclique cover Combinatorics on Words Bilinear systems Algorithmic complexity Cellular automaton Algorithmic randomness Infinite words Quasiperiodicity Symbolic dynamics Multiple unicast Arithmetical hierarchy Information-theoretic cryptography Palindromes Algorithmic learning theory Ideal gas law Tilings Normal sequences Generic algorithms Shannon entropy Complexité de Kolmogorov 2D Théorie de l'information Entropy region Secret key agreement Subword complexity Property preserving morphisms Computability OBDD Aperiodicity Aperiodic tilings Kolmogorov complexity Langages formels Non-Shannon-type information inequalities Real time Two dimension words Factorization Communication complexity Nanolaser Proof complexity Partage de secret Kolmorogov complexity Algorithm Generalizations of Sturmian words Canonical single-corpuscle thermodynamics Linear complexity Automates cellulaires Formal languages Tseitin formulas Cellular automata Morphism Morphisms S-adicity Approximation Information Theory Random bits Uniform recurrence Pavages Information theory Sofic shifts Expander mixing lemma Entropie de Shannon