Computational Methods in Systems Biology International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Priami, Corrado (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Lecture Notes in Bioinformatics, 4210
Temas:
Bioinformatics.
Computer simulation.
Software engineering.
Database management.
Computational and Systems Biology.
Computer Modelling.
Software Engineering.
Database Management.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares