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

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