http://www.lif.univ-mrs.fr/Sycomore/ fr-fr Ce flux RSS informe des derniers articles en ligne sur Sycomore 2011-05-12T12:30:00Z hourly 3 2000-01-01T12:00+00:00 http://www.lif.univ-mrs.fr/Sycomore/Un-constrained-Linear-Information.html For each collection of n discrete random variables, we can define a vector of 2^n-1 entropies, one for each singleton, pair, triple etc. We study the subset of the Euclidian space R^2^n-1 consisting of all such vectors, and few other related entropy spaces, from a geometric point of view. We (...) Tarik Kaced 2011-05-12T12:30:00Z text/html fr http://www.lif.univ-mrs.fr/Sycomore/Mesurer-la-satisfaisabilite-par.html Nous présenterons le phénomène de transition de phase dans les problèmes de satisfaction de contraintes (CSP). Le calcul de la valeur du seuil (dans 3-SAT notamment) résiste depuis une vingtaine d'années. En particulier, nous montrerons l'intérêt de la méthode du premier moment pour (...) Tarik Kaced 2011-05-05T12:31:00Z text/html fr http://www.lif.univ-mrs.fr/Sycomore/Ensembles-pi-1-et-pavages.html Les pavages et la récursivité sont intimement liés : en 1964, Berger prouvait l'indécidabilité de la pavabilité du plan, par la suite, Hanf et Myers prouvèrent qu'il existe des jeux de tuiles n'admettant aucun pavage récursif. Puis Simpson prouva en 2008 que les degrés (...) Tarik Kaced 2011-04-07T12:30:00Z text/html fr http://www.lif.univ-mrs.fr/Sycomore/Kadanoff-sandpile-model-in-pursuit.html Sand pile models are dynamical systems describing the evolution from N stacked grains to a stable configuration. It uses local rules to depict grain moves and iterate it until reaching a stable configuration from which no rule can be applied. The main interest of sand piles relies in their Self (...) Tarik Kaced 2011-03-24T13:30:00Z text/html fr http://www.lif.univ-mrs.fr/Sycomore/TBA,178.html Nous commencerons par présenter un résultat de A. Shen montrant que quatre propriétés élémentaires de la complexité de Kolmogorov (la complexité pleine) suffisent à la caractériser. Après avoir présenté cette caractérisation, nous allons prouver qu'il est impossible de l'affaiblir (...) Tarik Kaced 2011-02-22T13:30:00Z text/html fr http://www.lif.univ-mrs.fr/Sycomore/TBA,177.html Spatial computing aims at providing a scalable framework where computation is distributed on a uniform computing medium and communication happen locally between nearest neighbors. We study the particular framework of cellular automata, using a regular grid and synchronous update. As a first (...) Tarik Kaced 2011-02-10T13:25:00Z text/html fr http://www.lif.univ-mrs.fr/Sycomore/TBA,176.html Un système dynamique auto-organisant peut être décrit de la manière suivante : avec des conditions initiales aléatoires, l'évolution du système laisse apparaître des structures régulières, qui sont toujours les mêmes. On s'intéresse ici à certains automates cellulaires 1D présentant (...) Tarik Kaced 2011-02-03T13:25:00Z text/html fr http://www.lif.univ-mrs.fr/Sycomore/TBA,175.html In this talk we present three algorithmic problems for probabilistic automata on finite words : the Emptiness Problem, the Isolation Problem and the Value 1 Problem. The Emptiness Problem asks, given some probability 0\leq\lambda\leq 1, whether there exists a word accepted with probability (...) Tarik Kaced 2011-01-27T13:25:00Z text/html fr http://www.lif.univ-mrs.fr/Sycomore/Etude-combinatoire-de-la-dynamique.html Les réseaux d'automates booléens sont des systèmes dynamiques discrets largement utilisés dans la modélisation de phénomènes réels (régulations biologiques, en particulier, génétiques, circuits logiques, propagation d'épidémies...). Pour développer notre compréhension de leur (...) Tarik Kaced 2011-01-20T13:30:00Z text/html fr http://www.lif.univ-mrs.fr/Sycomore/Theoreme-de-Rice-pour-les.html à venir Tarik Kaced 2010-11-25T13:10:00Z text/html fr