Recherche

Recherche simple

Recherche avancée

Panier électronique

Afficher le contenu du panier

Consulter les notices sélectionnées

Vider le panier

Votre panier contient 10 notices

Connexion à la base

Identification

(Identifiez-vous pour accéder aux fonctions de mise à jour. Utilisez votre login-password de courrier électronique)

Entrepôt OAI-PMH

Soumettre une requête

	Consulter la notice détaillée
	Version complète en ligne
	Version complète en ligne accessible uniquement depuis l'Ircam
	Ajouter la notice au panier
	Retirer la notice du panier

English version

(full translation not yet available)

Liste complète des articles

Consultation des notices

Vue détaillée

Vue Refer

Vue Labintel

Vue BibTeX

%0 Journal Article
%A Giavitto, Jean-Lousi
%A Klaudel, Hanna
%A Pommereau, Franck
%T Integrated Regulatory Networks (IRNs): Spatially organized biochemical modules
%D 2012
%B Theoretical Computer Science
%N 431
%P 219-234
%F Giavitto12a
%K spatial computing
%K model checking
%K regulatory network
%X In this paper, we aim at modeling and analyzing the regulation processes in multi-cellular biological systems, in particular tissues. The modeling frame- work is a generalization of several existing formalisms. In particular, it can be seen as an extension of logical regulatory networks (`a la Thomas) with information about cells physical state and environment, e.g., their spatial re- lationships. The resulting formalisms, called integrated regulatory networks (IRNs) is equipped with a transition systems semantics that preserves the possibility of an enumerative and exhaustive state space exploration. This paper presents the modeling framework, its semantics, as well as a prototype implementation that allowed preliminary experiments on some applications related to biology.
%1 1
%2 3
%U http://articles.ircam.fr/textes/Giavitto12a/