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

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