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

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