Computational Methods in Systems Biology [[electronic resource] ] : International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings / / edited by Corrado Priami |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (X, 323 p.) |
Disciplina | 572.80285 |
Collana | Lecture Notes in Bioinformatics |
Soggetto topico |
Bioinformatics
Computer simulation Bioinformatics Computational biology Software engineering Database management Computational Biology/Bioinformatics Simulation and Modeling Computer Appl. in Life Sciences Software Engineering Database Management |
ISBN | 3-540-46167-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996466258603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational Methods in Systems Biology [[electronic resource] ] : International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings / / edited by Corrado Priami |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (X, 323 p.) |
Disciplina | 572.80285 |
Collana | Lecture Notes in Bioinformatics |
Soggetto topico |
Bioinformatics
Computer simulation Bioinformatics Computational biology Software engineering Database management Computational Biology/Bioinformatics Simulation and Modeling Computer Appl. in Life Sciences Software Engineering Database Management |
ISBN | 3-540-46167-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910483429603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational Methods in Systems Biology [[electronic resource] ] : First International Workshop, CMSB 2003, Roverto, Italy, February 24–26, 2003 / / edited by Corrado Priami |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (IX, 214 p.) |
Disciplina | 572.8/0285 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Life sciences
Computers Algorithms Mathematical logic Computer simulation Bioinformatics Life Sciences, general Computation by Abstract Devices Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Simulation and Modeling |
ISBN | 3-540-36481-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910143879403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational Methods in Systems Biology [[electronic resource] ] : First International Workshop, CMSB 2003, Roverto, Italy, February 24–26, 2003 / / edited by Corrado Priami |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (IX, 214 p.) |
Disciplina | 572.8/0285 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Life sciences
Computers Algorithms Mathematical logic Computer simulation Bioinformatics Life Sciences, general Computation by Abstract Devices Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Simulation and Modeling |
ISBN | 3-540-36481-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996465293503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Global Computing [[electronic resource] ] : IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers / / edited by Corrado Priami, Paola Quaglia |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (VIII, 376 p.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer networks Computer programming Operating systems (Computers) Artificial intelligence Software Engineering Computer Communication Networks Programming Techniques Operating Systems Artificial Intelligence |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Symbolic Equivalences for Open Systems -- Specifying and Verifying UML Activity Diagrams Via Graph Transformation -- Mobile UML Statecharts with Localities -- Communities: Concept-Based Querying for Mobile Services -- Towards a Formal Treatment of Secrecy Against Computational Adversaries -- For-LySa: UML for Authentication Analysis -- Performance Analysis of a UML Micro-business Case Study -- Efficient Information Propagation Algorithms in Smart Dust and NanoPeer Networks -- The Kell Calculus: A Family of Higher-Order Distributed Process Calculi -- A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi -- A Generic Membrane Model (Note) -- A Framework for Structured Peer-to-Peer Overlay Networks -- Verifying a Structured Peer-to-Peer Overlay Network: The Static Case -- A Physics-Style Approach to Scalability of Distributed systems -- BGP-Based Clustering for Scalable and Reliable Gossip Broadcast -- Trust Lifecycle Management in a Global Computing Environment -- The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies -- The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. |
Record Nr. | UNISA-996465771403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Global Computing [[electronic resource] ] : IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers / / edited by Corrado Priami, Paola Quaglia |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (VIII, 376 p.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer networks Computer programming Operating systems (Computers) Artificial intelligence Software Engineering Computer Communication Networks Programming Techniques Operating Systems Artificial Intelligence |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Symbolic Equivalences for Open Systems -- Specifying and Verifying UML Activity Diagrams Via Graph Transformation -- Mobile UML Statecharts with Localities -- Communities: Concept-Based Querying for Mobile Services -- Towards a Formal Treatment of Secrecy Against Computational Adversaries -- For-LySa: UML for Authentication Analysis -- Performance Analysis of a UML Micro-business Case Study -- Efficient Information Propagation Algorithms in Smart Dust and NanoPeer Networks -- The Kell Calculus: A Family of Higher-Order Distributed Process Calculi -- A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi -- A Generic Membrane Model (Note) -- A Framework for Structured Peer-to-Peer Overlay Networks -- Verifying a Structured Peer-to-Peer Overlay Network: The Static Case -- A Physics-Style Approach to Scalability of Distributed systems -- BGP-Based Clustering for Scalable and Reliable Gossip Broadcast -- Trust Lifecycle Management in a Global Computing Environment -- The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies -- The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. |
Record Nr. | UNINA-9910483498703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems [[electronic resource] ] : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers / / edited by Corrado Priami |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (XVIII, 253 p.) |
Disciplina | 005 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer communication systems Computer programming Programming languages (Electronic computers) Operating systems (Computers) Software Engineering/Programming and Operating Systems Software Engineering Computer Communication Networks Programming Techniques Programming Languages, Compilers, Interpreters Operating Systems |
ISBN | 3-540-40042-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | UML for Global Computing -- Reflecting Mobile Ambients into the ?-Calculus -- Extensible Objects: A Tutorial -- The Klaim Project: Theory and Practice -- Ambient Calculi with Types: A Tutorial -- Facets of Security -- A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism -- Performance Evaluation for Global Computation. |
Record Nr. | UNINA-9910144212503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems [[electronic resource] ] : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers / / edited by Corrado Priami |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (XVIII, 253 p.) |
Disciplina | 005 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer communication systems Computer programming Programming languages (Electronic computers) Operating systems (Computers) Software Engineering/Programming and Operating Systems Software Engineering Computer Communication Networks Programming Techniques Programming Languages, Compilers, Interpreters Operating Systems |
ISBN | 3-540-40042-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | UML for Global Computing -- Reflecting Mobile Ambients into the ?-Calculus -- Extensible Objects: A Tutorial -- The Klaim Project: Theory and Practice -- Ambient Calculi with Types: A Tutorial -- Facets of Security -- A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism -- Performance Evaluation for Global Computation. |
Record Nr. | UNISA-996465817703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Programming Languages with Applications to Biology and Security [[electronic resource] ] : Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday / / edited by Chiara Bodei, Gianluigi Ferrari, Corrado Priami |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XII, 375 p. 77 illus. in color.) |
Disciplina | 005.13 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Application software Computer networks Computer programming Algorithms Computer Science Logic and Foundations of Programming Software Engineering Computer and Information Systems Applications Computer Communication Networks Programming Techniques |
ISBN | 3-319-25527-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466277603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Programming Languages with Applications to Biology and Security [[electronic resource] ] : Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday / / edited by Chiara Bodei, Gianluigi Ferrari, Corrado Priami |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XII, 375 p. 77 illus. in color.) |
Disciplina | 005.13 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Application software Computer networks Computer programming Algorithms Computer Science Logic and Foundations of Programming Software Engineering Computer and Information Systems Applications Computer Communication Networks Programming Techniques |
ISBN | 3-319-25527-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484751403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|