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

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