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

45

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

Cartographie des collaborations

Tags

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