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

128

Nombre de Notices déposées

45

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

Cartographie des collaborations

Tags

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