[GIT] ppl/w3ppl(master): Added RizkBFS09.

Module: ppl/w3ppl Branch: master Commit: 988de0b3db74f9e9c9ade6e1833667b32b949550 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=988de0b3db7...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Jun 20 08:52:00 2009 +0200
Added RizkBFS09.
---
htdocs/Documentation/ppl_citations.bib | 40 ++++++++++++++++++++++++++++++++ 1 files changed, 40 insertions(+), 0 deletions(-)
diff --git a/htdocs/Documentation/ppl_citations.bib b/htdocs/Documentation/ppl_citations.bib index 580609f..78aa524 100644 --- a/htdocs/Documentation/ppl_citations.bib +++ b/htdocs/Documentation/ppl_citations.bib @@ -1991,6 +1991,46 @@ cost." }
+@Article{RizkBFS09, + Author = "A. Rizk and G. Batt and F. Fages and S. Soliman", + Title = "A General Computational Method for Robustness Analysis + with Applications to Synthetic Gene Networks", + Journal = "Bioinformatics", + Publisher = "Oxford University Press", + Volume = 25, + Number = "12", + Pages = "i169--i178", + Year = 2009, + Note = "Paper accepted for presentation at the 2009 ISMB/ECCB Conference, + Stockholm, Sweden, June 27--July 2, 2009", + Abstract = "\textbf{Motivation:} Robustness is the capacity of a + system to maintain a function in the face of + perturbations. It is essential for the correct + functioning of natural and engineered biological + systems. Robustness is generally defined in an \emph{ad hoc}, + problem-dependent manner, thus hampering the fruitful + development of a theory of biological robustness, + recently advocated by Kitano. + + \textbf{Results:} In this article, we propose a general + definition of robustness that applies to any biological + function expressible in temporal logic LTL (linear + temporal logic), and to broad model classes and + perturbation types. Moreover, we propose a computational + approach and an implementation in BIOCHAM 2.8 for the + automated estimation of the robustness of a given + behavior with respect to a given set of + perturbations. The applicability and biological relevance + of our approach is demonstrated by testing and improving + the robustness of the timed behavior of a synthetic + transcriptional cascade that could be used as a + biological timer for synthetic biology applications. + + \textbf{Availability:} Version 2.8 of BIOCHAM and the + transcriptional cascade model are available at + \url{http://contraintes.inria.fr/BIOCHAM/%7D" +} + @Inproceedings{SankaranarayananIG07, Author = "S. Sankaranarayanan and F. Ivancic and A. Gupta", Title = "Program Analysis Using Symbolic Ranges",
participants (1)
-
Roberto Bagnara