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

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