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

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