Sergei Verlan (Univ. Paris XIII)
Jeudi 05 juin 2008 - 10h30
- Salle Aurigny
Modélisation de la communication dirigée par la longueur dans le cadre du calcul moléculaire
Dans cette présentation nous considérons la technique de séparation des molécules par la longueur, gel electrophoresis, qui est souvent utilisée en laboratoires biochimiques. Nous montrons une formalisation de cette technique dans le cadre du calcul moléculaire et nous démontrons que le modèle obtenu a la puissance d'une machine de Turing. Enfin, on discute quelques restrictions naturelles et des généralisations du modèle obtenu qui peuvent être utilisées pour la recherche des transformations efficaces des molécules d'ADN en laboratoire.