pour voir l'appel à contributions, cliquer ici, fichier .pdf
dates butoir :

• soumissions : 31 décembre 2010
• notification de décision : 1er mai 2011
• si acceptation, version r&eactute;visée : 1er juillet 2011
• décision finale pour une version révisée : 1er octobre 2011

thèmes de recherche :

(en construction)

Aujourd'hui

1. machines de Turing
   • machines détermnistes non-effaçantes
   • machines s'auto-décrivant
   • étude descriptive du mouvement de la tête de la machine sur son ruban
   
   
2. calculs moléculaires
   • modèle des tubes à essai
   • modèles à répartition distribuée dans le temps rapport technique, ps file
     article présenté à DNA6, dans LNCS 2054, fichier ps
     article présenté à DNA7, dans LNCS 2340, fichier ps
     article présenté à SCI'2001, fichier ps
     article présenté à Curta de Arges, août 2001, fichier ps
     article présenté à DNA9, dans LNCS 2943, fichier ps
     
   • systèmes P, systèmes à membranes ;
     article dans Fundamenta Informaticae, 59
     article présenté à Tarragone pour WMC'03, juillet 2003, dans LNCS 2933, fichier ps
     
   
   
3. pavages hyperboliques
   • une tuile pentagonale à la Wang
   • les grilles réguliès rectangles du plan hyperbolique
     JUCS, 9,5, rapport technique, fichier ps
     
   • les infinigones et infinigrilles du plan hyperbolique
     article dans Fundamenta Informaticae, 56 ,
     rapport technique, fichier ps
   • le pavage de l'espace hyperbolique 4D par le polyèdre à 120 faces
     article dans JUCS, 10,9 , également accessible ici : rapport technique, fichier .ps
     
     
   • le problème du pavage du plan hyperbolique à origine contrainte généralisée est indécidable, nouveau fichier compressé par gzip : rapport technique, fichier .ps.gzip
     
     et aussi une version .pdf : rapport technique, fichier .pdf
     
     
   • le problème du pavage du plan hyperbolique est indécidable, nouveau fichier compressé par gzip : rapport technique, fichier .ps.gzip
     
     et aussi une version .pdf : rapport technique, fichier .pdf
     
     et un nouveau complément : fichier .pdf très similaire à "aXiv:07050086"
     une synthèse des articles précédents est maintenant publiée dans le Bulletin of the EATCS, vol. 93
     voir aussi, un dépôt sur le site d'arXiv: ici, article arXiv:0706.4161
     et l'article complet est ici : pour un fichier .pdf
     un article complet est actuellement sous presse à TCS : cliquez ici pour accéder au site de TCS où vous inquerez doi:10.1016/j.tcs.2008.04.038, ou bien insérez Margenstern dans le champ 'author'
   
   
4. automates cellulaires en géométrie hyperbolique
   • la pentagrille du plan hyperbolique
     JUCS, 5,9 , JUCS, 6,12, TCS site
     rapport technique, fichier ps
     
     
   • le pavage dodécaédral rectangle de l'espace hyperbolique 3D
     article dans Fundamenta Informaticae, 58 ,
     rapport technique, fichier ps
     
   • NOUVEAU! Un livre :
     Cellular Automata in Hyperbolic spaces, vol. 1: Theory, Old City Publishing, Philadelphia, 422p.,
     disponible ici pour commander
     ainsi que sur amazon.fr et sur amazon.com
     
   • nouveau résultat :
     l'injectivité de la fonction globale d'un automate cellulaire sur l'heptagrille ternaire est indécidable ; voir l'article sur arXiv, article arXiv:0806.1602v2
     une version abrégée est accessible ici sous forme d'un fichier .pdf
     
5. Simulations par un automate cellulaire hyperbolique sur une grille triangulaire,
   voir les transparents ici.

Naguère

1. l'analyse constructive à la Markov
2. une extension simple du calcul des prédicats
3. les nombres pratiques