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

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