top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Computational methods in systems biology : 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings / / edited by Jun Pang, Joachim Niehren
Computational methods in systems biology : 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings / / edited by Jun Pang, Joachim Niehren
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Descrizione fisica 1 online resource (xviii, 270 pages) : illustrations (some color)
Disciplina 570.285
570.113
Altri autori (Persone) PangJun (Computer scientist)
NiehrenJoachim
Collana Lecture Notes in Bioinformatics
Soggetto topico Computational biology
Systems biology
ISBN 3-031-42697-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Formal Approach for Tuning Stochastic Oscillators -- Phenotype Control of Partially Specified Boolean Networks -- A More Expressive Spline Representation for SBML Models Improves Code Generation Performance in AMICI -- Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants -- Cell-Level Pathway Scoring Comparison with a Bconstrained Variational Autoencoder -- On Estimating Derivatives of Input Signals in Biochemistry -- Harissa: Stochastic Simulation and Inference of Gene Regulatory Networks Based on Transcriptional Bursting -- Approximate Constrained Lumping of Polynomial Differential Equations -- Core SBML and its Formal Semantics -- Average Sensitivity of Canalizing Multivalued Functions -- Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks -- SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks -- Condition for Periodic Attractor in 4-Dimensional Repressilators -- Attractor Identification in Asynchronous Boolean Dynamics with Network Reduction -- 3D Hybrid Cellular Automata for Cardiac Electrophysiology: a Concept Study -- Fridge Compiler: Optimal Circuits from Molecular Inventories -- Joint Distribution of Protein Concentration and Cell Volume Coupled by Feedback in Dilution.
Record Nr. UNISA-996550559903316
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computational methods in systems biology : 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings / / edited by Jun Pang, Joachim Niehren
Computational methods in systems biology : 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings / / edited by Jun Pang, Joachim Niehren
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Descrizione fisica 1 online resource (xviii, 270 pages) : illustrations (some color)
Disciplina 570.285
570.113
Altri autori (Persone) PangJun (Computer scientist)
NiehrenJoachim
Collana Lecture Notes in Bioinformatics
Soggetto topico Computational biology
Systems biology
ISBN 3-031-42697-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Formal Approach for Tuning Stochastic Oscillators -- Phenotype Control of Partially Specified Boolean Networks -- A More Expressive Spline Representation for SBML Models Improves Code Generation Performance in AMICI -- Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants -- Cell-Level Pathway Scoring Comparison with a Bconstrained Variational Autoencoder -- On Estimating Derivatives of Input Signals in Biochemistry -- Harissa: Stochastic Simulation and Inference of Gene Regulatory Networks Based on Transcriptional Bursting -- Approximate Constrained Lumping of Polynomial Differential Equations -- Core SBML and its Formal Semantics -- Average Sensitivity of Canalizing Multivalued Functions -- Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks -- SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks -- Condition for Periodic Attractor in 4-Dimensional Repressilators -- Attractor Identification in Asynchronous Boolean Dynamics with Network Reduction -- 3D Hybrid Cellular Automata for Cardiac Electrophysiology: a Concept Study -- Fridge Compiler: Optimal Circuits from Molecular Inventories -- Joint Distribution of Protein Concentration and Cell Volume Coupled by Feedback in Dilution.
Record Nr. UNINA-9910746092303321
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui