Computational Methods in Systems Biology International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings / [electronic resource] :
edited by Corrado Priami.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
- X, 323 p. Also available online. online resource.
- Lecture Notes in Computer Science, 4210 0302-9743 ; .
- Lecture Notes in Computer Science, 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
Computer science.
Software engineering.
Database management.
Computer simulation.
Bioinformatics.
Biology--Data processing.
Computer Science.
Simulation and Modeling.
Bioinformatics.
Computer Appl. in Life Sciences.
Software Engineering.
Database Management.
Computation by Abstract Devices.
QA76.9.C65
003.3
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
Computer science.
Software engineering.
Database management.
Computer simulation.
Bioinformatics.
Biology--Data processing.
Computer Science.
Simulation and Modeling.
Bioinformatics.
Computer Appl. in Life Sciences.
Software Engineering.
Database Management.
Computation by Abstract Devices.
QA76.9.C65
003.3