Priami Computational Methods in Systems Biology

International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings
2006
ISBN: 978-3-540-46167-8
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, Band 4210, 323 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Zielgruppe

Research

Autoren/Hrsg.

Priami, Corrado

Inhaltsverzeichnis

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.