Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Online-Ressource
    Online-Ressource
    Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
    UID:
    gbv_1649190387
    Umfang: Online-Ressource
    ISBN: 9783540364818 , 3540006052
    Serie: Lecture Notes in Computer Science 2602
    Inhalt: This book constitutes the refereed proceedings of the International Workshop on Computational Methods in Systems Biology, CMSB 2003, held in Rovereto, Italy, in February 2003. The 11 revised full papers presented together with 2 invited papers, 7 position papers, and 11 abstracts were carefully reviewed and selected from 30 submissions. Among the topics addressed are modeling languages for systems biology, concurrency in biological systems, constraint programming, logical methods in systems biology, formal methods for the analysis of biomolecular systems, quantitative analysis of biomolecular systems, and simulation and modeling techniques for systems biology
    Anmerkung: Includes bibliographical references and index
    Weitere Ausg.: ISBN 9783540006053
    Weitere Ausg.: Buchausg. u.d.T. Computational methods in systems biology Berlin : Springer, 2003 ISBN 3540006052
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Biologisches System ; Mathematisches Modell ; Biologisches System ; Computersimulation ; Biologisches System ; Mathematisches Modell ; Biologisches System ; Computersimulation ; Biologisches System ; Datenverarbeitung ; Konferenzschrift ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    UID:
    gbv_361048866
    Umfang: IX, 214 S. , graph. Darst.
    ISBN: 3540006052
    Serie: Lecture notes in computer science 2602
    Anmerkung: Includes bibliographical references and index
    Weitere Ausg.: Erscheint auch als Online-Ausgabe Priami, Corrado Computational Methods in Systems Biology Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003 ISBN 9783540364818
    Weitere Ausg.: ISBN 3540006052
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Biologisches System ; Mathematisches Modell ; Computersimulation ; Datenverarbeitung ; Konferenzschrift
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    UID:
    kobvindex_ZLB13468224
    Umfang: IX, 214 Seiten , graph. Darst. , 24 cm
    ISBN: 3540006052
    Serie: Lecture notes in computer science 2602
    Anmerkung: Literaturangaben , Text engl.
    Sprache: Englisch
    Schlagwort(e): Biologisches System ; Mathematisches Modell ; Kongress ; Rovereto 〈2003〉 ; Biologisches System ; Computersimulation ; Kongress ; Rovereto 〈2003〉 ; Systembiologie ; Computersimulation ; Kongress ; Rovereto 〈2003〉 ; Kongress ; Konferenzschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    UID:
    almahu_9947920707102882
    Umfang: IX, 214 p. , online resource.
    ISBN: 9783540364818
    Serie: Lecture Notes in Computer Science, 2602
    Anmerkung: Invited Papers -- Cells as Computation -- Formal Modeling of C. elegans Development: A Scenario-Based Approach -- Regular Papers -- Causal ?-Calculus for Biochemical Modelling -- Graphs for Core Molecular Biology -- Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa -- Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing -- Multiscale Modeling of Alternative Splicing Regulation -- A Method for Estimating Metabolic Fluxes from Incomplete Isotopomer Information -- Dynamic Bayesian Network and Nonparametric Regression for Nonlinear Modeling of Gene Networks from Time Series Gene Expression Data -- Discrete Event Simulation for a Better Understanding of Metabolite Channeling - A System Theoretic Approach -- Mathematical Modeling of the Influence of RKIP on the ERK Signaling Pathway -- A Method to Identify Essential Enzymes in the Metabolism: Application to Escherichia Coli -- Symbolic Model Checking of Biochemical Networks -- Presentation Abstracts -- Coupled Oscillator Models for a Set of Communicating Cells -- Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude -- A Core Modeling Language for the Working Molecular Biologist (Abstract) -- Integrating Simulation Packages via Systems Biology Mark-Up Language -- Recreating Biopathway Databases towards Simulation -- How to Synthesize an Optimized Genetic ?-Switching System? A System-Theoretic Approach Based on SQP -- Simulation Sudy of the TNF? Mediated NF-?B Signaling Pathway -- Detection and Analysis of Unexpected State Components in Biological Systems -- Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis -- An Overview of Data Models for the Analysis of Biochemical Pathways -- Discrete Event Systems and Client-Server Model for Signaling Mechanisms -- Position Papers -- Enhanced Operational Semantics in Systems Biology -- Issues in Computational Methods for Functional Genomics and Systems Biology -- Integrating Biological Process Modelling with Gene Expression Data and Ontologies for Functional Genomics (Position Paper) -- Computer Simulation of Protocells -- How to Solve Semantic Puzzles of Systems Biology -- Evolution as Design Engineer -- Inference, Modeling and Simulation of Gene Networks.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540006053
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    UID:
    almahu_9948621283702882
    Umfang: IX, 214 p. , online resource.
    Ausgabe: 1st ed. 2003.
    ISBN: 9783540364818
    Serie: Lecture Notes in Computer Science, 2602
    Anmerkung: Invited Papers -- Cells as Computation -- Formal Modeling of C. elegans Development: A Scenario-Based Approach -- Regular Papers -- Causal ?-Calculus for Biochemical Modelling -- Graphs for Core Molecular Biology -- Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa -- Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing -- Multiscale Modeling of Alternative Splicing Regulation -- A Method for Estimating Metabolic Fluxes from Incomplete Isotopomer Information -- Dynamic Bayesian Network and Nonparametric Regression for Nonlinear Modeling of Gene Networks from Time Series Gene Expression Data -- Discrete Event Simulation for a Better Understanding of Metabolite Channeling - A System Theoretic Approach -- Mathematical Modeling of the Influence of RKIP on the ERK Signaling Pathway -- A Method to Identify Essential Enzymes in the Metabolism: Application to Escherichia Coli -- Symbolic Model Checking of Biochemical Networks -- Presentation Abstracts -- Coupled Oscillator Models for a Set of Communicating Cells -- Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude -- A Core Modeling Language for the Working Molecular Biologist (Abstract) -- Integrating Simulation Packages via Systems Biology Mark-Up Language -- Recreating Biopathway Databases towards Simulation -- How to Synthesize an Optimized Genetic ?-Switching System? A System-Theoretic Approach Based on SQP -- Simulation Sudy of the TNF? Mediated NF-?B Signaling Pathway -- Detection and Analysis of Unexpected State Components in Biological Systems -- Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis -- An Overview of Data Models for the Analysis of Biochemical Pathways -- Discrete Event Systems and Client-Server Model for Signaling Mechanisms -- Position Papers -- Enhanced Operational Semantics in Systems Biology -- Issues in Computational Methods for Functional Genomics and Systems Biology -- Integrating Biological Process Modelling with Gene Expression Data and Ontologies for Functional Genomics (Position Paper) -- Computer Simulation of Protocells -- How to Solve Semantic Puzzles of Systems Biology -- Evolution as Design Engineer -- Inference, Modeling and Simulation of Gene Networks.
    In: Springer Nature eBook
    Weitere Ausg.: Printed edition: ISBN 9783540006053
    Weitere Ausg.: Printed edition: ISBN 9783662208144
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    UID:
    gbv_547174861
    Umfang: graph. Darst.
    ISBN: 3540006052
    In: Computational methods in systems biology, Berlin : Springer, 2003, (2003), Seite 114-126, 3540006052
    In: year:2003
    In: pages:114-126
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Meinten Sie 3540001050?
Meinten Sie 3540002952?
Meinten Sie 3540003002?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz