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

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