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

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