Search all wikis and blogs »

Search results in info3

Application de la logique de Hoare aux réseaux de régulation génétique - Bilan

Au fil des articles que j'ai postés sur ce blog ces derniers mois, j'ai tenté de présenter les notions importantes relatives à mon sujet de Master R...

Application de la logique de Hoare aux réseaux de régulation génétique - Article 5 : Les logiques temporelles

Ce dernier article sera l'occasion de vous présenter une autre méthode permettant l'analyse des réseaux de régulation génétique : il s'agit des logi...

Application de la logique de Hoare aux réseaux de régulation génétique - Article 4 : Opérateurs de la logique de Hoare

Dans mon précédent article, je vous avais présenté la logique de Hoare sans faire de lien avec mon sujet de Master. Ce lien sera l'objet de mon prés...

Application de la logique de Hoare aux réseaux de régulation génétique - Article 1 : Les GRG

Afin de présenter plus en détail le sujet et effectuer une introduction au domaine des graphes de régulation en bio-informatique, je commencerai par...

Application de la logique de Hoare aux réseaux de régulation génétique - Article 3 : La logique de Hoare

Bien que mes précédents articles traitaient de bio-informatique (et plus précisément du modèle de réseau de régulation génétique), celui-ci sera dav...

Application de la logique de Hoare aux réseaux de régulation génétique - Article 2 : Les RRG

Dans mon dernier article, je vous avais présenté les graphes de régulation génétique, qui permettent de représenter les interactions (activation ou in...

Application de la logique de Hoare aux réseaux de régulation génétique - Présentation

Le sujet du Master Recherche que j'effectue en parallèle à mon Cursus Ingénieur consiste à réaliser un programme portant sur l'application de la logiq...