index - Systèmes complexes, automates et pavages

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

136

Nombre de Notices déposées

47

Politique des éditeurs en matière de dépôt dans une archive ouverte

Cartographie des collaborations

Tags

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