Computational Methods in Systems Biology International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings /
Computational Methods in Systems Biology International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings / [electronic resource] :
edited by Corrado Priami.
- 1st ed. 2006.
- X, 323 p. online resource.
- Lecture Notes in Bioinformatics, 4210 2366-6331 ; .
- Lecture Notes in Bioinformatics, 4210 .
Modal Logics for Brane Calculus -- Deciding Behavioural Properties in Brane Calculi -- Probabilistic Model Checking of Complex Biological Pathways -- Type Inference in Systems Biology -- Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods -- A Formal Approach to Molecular Docking -- Feedbacks and Oscillations in the Virtual Cell VICE -- Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins -- Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets -- Regulatory Network Reconstruction Using Stochastic Logical Networks -- Identifying Submodules of Cellular Regulatory Networks -- Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks -- A Computational Model for Eukaryotic Directional Sensing -- Modeling Evolutionary Dynamics of HIV Infection -- Compositional Reachability Analysis of Genetic Networks -- Randomization and Feedback Properties of Directed Graphs Inspired by Gene Networks -- Computational Model of a Central Pattern Generator -- Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation -- Condition Transition Analysis Reveals TF Activity Related to Nutrient-Limitation-Specific Effects of Oxygen Presence in Yeast -- An In Silico Analogue of In Vitro Systems Used to Study Epithelial Cell Morphogenesis -- A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion -- Possibilistic Approach to Biclustering: An Application to Oligonucleotide Microarray Data Analysis.
9783540461678
10.1007/11885191 doi
Bioinformatics.
Computer simulation.
Software engineering.
Database management.
Computational and Systems Biology.
Computer Modelling.
Bioinformatics.
Software Engineering.
Database Management.
QH324.2-324.25
570.285 570.113
Modal Logics for Brane Calculus -- Deciding Behavioural Properties in Brane Calculi -- Probabilistic Model Checking of Complex Biological Pathways -- Type Inference in Systems Biology -- Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods -- A Formal Approach to Molecular Docking -- Feedbacks and Oscillations in the Virtual Cell VICE -- Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins -- Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets -- Regulatory Network Reconstruction Using Stochastic Logical Networks -- Identifying Submodules of Cellular Regulatory Networks -- Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks -- A Computational Model for Eukaryotic Directional Sensing -- Modeling Evolutionary Dynamics of HIV Infection -- Compositional Reachability Analysis of Genetic Networks -- Randomization and Feedback Properties of Directed Graphs Inspired by Gene Networks -- Computational Model of a Central Pattern Generator -- Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation -- Condition Transition Analysis Reveals TF Activity Related to Nutrient-Limitation-Specific Effects of Oxygen Presence in Yeast -- An In Silico Analogue of In Vitro Systems Used to Study Epithelial Cell Morphogenesis -- A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion -- Possibilistic Approach to Biclustering: An Application to Oligonucleotide Microarray Data Analysis.
9783540461678
10.1007/11885191 doi
Bioinformatics.
Computer simulation.
Software engineering.
Database management.
Computational and Systems Biology.
Computer Modelling.
Bioinformatics.
Software Engineering.
Database Management.
QH324.2-324.25
570.285 570.113