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

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