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

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