index - Systèmes complexes, automates et pavages Accéder directement au contenu

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

129

Nombre de Notices déposées

44

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

Cartographie des collaborations

Tags

Algorithmic complexity Repetitions Algorithm Secret key agreement Busy beavers Sofic shifts Morphism Generalizations of Sturmian words Sturmian words S-adic conjecture Semiconductor lasers Bilinear systems Combinatorics on Words Palindromic length Complexity of majorants Real time Halting problem Expanders Algorithmic randomness Ideal gas law Combinatorics on words Entropy region Corpuscular concepts Canonical single-corpuscle thermodynamics Aperiodicity Shannon entropy Symmetries Computability Birkhoff's ergodic theorem Calculabilité Expander mixing lemma Algorithmic statistics Combinatorics Nanolaser Subword complexity Quasiperiodic Clusters Random bits Ammann tilings Entropy Information inequalities Proof complexity Analytical models Error-correcting codes Coding theory Complexité de Kolmogorov Normal sequences Cellular automata Arithmetical hierarchy 2D Two dimension words Factorization Symbolic dynamics Block complexity Automates cellulaires Minimal SFT Generic algorithms Secret sharing OBDD Cellular automaton Automata Algorithmique du texte Bilinear maps Classical gas theory Algorithmic learning theory Kolmogorov complexity Biological system modeling Non-Shannon-type information inequalities Information Theory Almost entropic points Quasiperiodicity Formal languages Tseitin formulas Biclique cover Tilings Langages formels Pavages Copy lemma S-adicity Mutual information Aperiodic tilings Kolmogorov structure function Algorithms Atmospheric modeling Complexity classes Morphisms Infinite words Universalité Algorithmic information theory Logic Linear complexity Cellular automata computation model generalization Linear programming Uniform recurrence Finite-state dimension Communication complexity Factor complexity Carnot principle Palindromes Kolmogorov Complexity