Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computational methods in systems biology : 20th International Conference, CMSB 2022, Bucharest, Romania, September 14-16, 2022, proceedings. / / Ion Petre and Andrei Păun (editors)
| Computational methods in systems biology : 20th International Conference, CMSB 2022, Bucharest, Romania, September 14-16, 2022, proceedings. / / Ion Petre and Andrei Păun (editors) |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (324 pages) |
| Disciplina | 570.285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Computational biology |
| ISBN | 3-031-15034-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910588598903321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational methods in systems biology : 20th International Conference, CMSB 2022, Bucharest, Romania, September 14-16, 2022, proceedings. / / Ion Petre and Andrei Păun (editors)
| Computational methods in systems biology : 20th International Conference, CMSB 2022, Bucharest, Romania, September 14-16, 2022, proceedings. / / Ion Petre and Andrei Păun (editors) |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (324 pages) |
| Disciplina | 570.285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Computational biology |
| ISBN | 3-031-15034-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996485667703316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on computational systems biology XI : computational models for cell processes / / Corrado Priami, Ralph-Johan Back, Ion Petre (eds.)
| Transactions on computational systems biology XI : computational models for cell processes / / Corrado Priami, Ralph-Johan Back, Ion Petre (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
| Descrizione fisica | 1 online resource (VIII, 335 p.) |
| Disciplina | 572/.6 |
| Altri autori (Persone) |
PriamiCorrado
BackRalph-Johan PetreIon |
| Collana | Lecture notes in computer science. Lecture notes in bioinformatics |
| Soggetto topico |
Computatinal biology
Bioinformatics |
| ISBN | 3-642-04186-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computational Models for Cell Processes -- Process Algebra Modelling Styles for Biomolecular Processes -- Simple, Enhanced and Mutual Mobile Membranes -- Bio-PEPA with Events -- In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition -- Qualitative and Quantitative Analysis of a Bio-PEPA Model of the Gp130/JAK/STAT Signalling Pathway -- Rule-Based Modelling and Model Perturbation -- Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments -- A Projective Brane Calculus with Activate, Bud and Mate as Primitive Actions -- Accepting Networks of Non-inserting Evolutionary Processors -- Discrete Modeling of Biochemical Signaling with Memory Enhancement -- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back -- Computing Equilibrium Points of Genetic Regulatory Networks -- Code, Context, and Epigenetic Catalysis in Gene Expression. |
| Record Nr. | UNINA-9910484573603321 |
| Berlin ; ; New York, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Computational Systems Biology XIII [[electronic resource] /] / edited by Ralph-Johan Back, Ion Petre, Erik de Vink
| Transactions on Computational Systems Biology XIII [[electronic resource] /] / edited by Ralph-Johan Back, Ion Petre, Erik de Vink |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (VII, 193 p.) |
| Disciplina | 570.285 |
| Collana | Transactions on Computational Systems Biology |
| Soggetto topico |
Bioinformatics
Computer simulation Computers Artificial intelligence Algorithms Mathematical statistics Computational Biology/Bioinformatics Simulation and Modeling Computation by Abstract Devices Artificial Intelligence Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science |
| ISBN | 3-642-19748-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Evolutionary Dynamics of a Population of Cells with a Toxin Suppressor Gene -- Translation from the Quantified Implicit Process Flow Abstraction in SBGN-PD Diagrams to Bio-PEPA Illustrated on the Cholesterol Pathway -- Impulse-Based Dynamic Simulation of Deformable Biological Structures -- Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach -- Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis -- Genetically Regulated Metabolic Networks: Gale-Nikaido Modules and Differential Inequalities -- Cultural Epigenetics: On the Heritability of Complex Diseases -- Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework. |
| Record Nr. | UNISA-996465388403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Computational Systems Biology XIV [[electronic resource] ] : Special Issue on Computational Models for Cell Processes / / edited by Ion Petre, Erik de Vink
| Transactions on Computational Systems Biology XIV [[electronic resource] ] : Special Issue on Computational Models for Cell Processes / / edited by Ion Petre, Erik de Vink |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (X, 233 p. 67 illus.) |
| Disciplina | 570.285 |
| Collana | Transactions on Computational Systems Biology |
| Soggetto topico |
Bioinformatics
Computer simulation Computers Artificial intelligence Algorithms Mathematical statistics Computational Biology/Bioinformatics Simulation and Modeling Computation by Abstract Devices Artificial Intelligence Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science |
| ISBN | 3-642-35524-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein -- Quasi Product Form Approximation for Markov Models of Reaction Networks -- Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study -- On Approximative Reachability Analysis of Biochemical Dynamical Systems -- Minimal Reaction Systems -- Complex Functional Rates in Rule-Based Languages for Biochemistry -- Probabilistic Model Checking of the PDGF Signaling Pathway -- Self-assembly Models of Variable Resolution -- Metabolic Constraints on the Evolution of Genetic Codes: Did Multiple ‘Preaerobic’ Ecosystem Transitions Entrain Richer Dialects via Serial Endosymbiosis?. |
| Record Nr. | UNISA-996465938703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Unconventional Computation [[electronic resource] ] : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings / / edited by Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg
| Unconventional Computation [[electronic resource] ] : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings / / edited by Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 247 p. 76 illus., 13 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Machine theory Artificial intelligence Bioinformatics Theory of Computation Formal Languages and Automata Theory Artificial Intelligence Computer Science Logic and Foundations of Programming Computational and Systems Biology |
| ISBN | 3-642-21341-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465609903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Unveiling Dynamics and Complexity [[electronic resource] ] : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings / / edited by Jarkko Kari, Florin Manea, Ion Petre
| Unveiling Dynamics and Complexity [[electronic resource] ] : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings / / edited by Jarkko Kari, Florin Manea, Ion Petre |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIII, 401 p. 57 illus.) |
| Disciplina | 511.352 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Artificial intelligence Pattern recognition systems Computer science—Mathematics Discrete mathematics Machine theory Theory of Computation Artificial Intelligence Automated Pattern Recognition Discrete Mathematics in Computer Science Formal Languages and Automata Theory |
| ISBN | 3-319-58741-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Algorithmics for biology -- Combinatorics and algorithmics on words -- Computability in analysis, algebra, and geometry.-Cryptography and information theory -- Formal languages and automata theory -- History and philosophy of computing. |
| Record Nr. | UNISA-996466200703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings / / edited by Jarkko Kari, Florin Manea, Ion Petre
| Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings / / edited by Jarkko Kari, Florin Manea, Ion Petre |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIII, 401 p. 57 illus.) |
| Disciplina | 511.352 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Artificial intelligence Pattern recognition systems Computer science—Mathematics Discrete mathematics Machine theory Theory of Computation Artificial Intelligence Automated Pattern Recognition Discrete Mathematics in Computer Science Formal Languages and Automata Theory |
| ISBN | 3-319-58741-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Algorithmics for biology -- Combinatorics and algorithmics on words -- Computability in analysis, algebra, and geometry.-Cryptography and information theory -- Formal languages and automata theory -- History and philosophy of computing. |
| Record Nr. | UNINA-9910483707203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||