Transactions on Computational Systems Biology VII

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Priami, Corrado (Επιμελητής έκδοσης), Ingólfsdóttir, Anna (Επιμελητής έκδοσης), Mishra, Bud (Επιμελητής έκδοσης), Riis Nielson, Hanne (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4230
• Θέματα: Computer science.; Computers.; Algorithms.; Mathematical logic.; Bioinformatics.; Computer Science.; Computation by Abstract Devices.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.

Πίνακας περιεχομένων:

• Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA
• Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch
• From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits
• Translating SBML Models into the Stochastic ?-Calculus for Stochastic Simulation
• Graph Theory for Rule-Based Modeling of Biochemical Networks
• Adapting Biochemical Kripke Structures for Distributed Model Checking
• A Graphical Representation for Biological Processes in the Stochastic pi-Calculus
• On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems
• A Specification Language and a Framework for the Execution of Composite Models in Systems Biology
• A Specification Language and a Framework for the Execution of Composite Models in Systems Biology.