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

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