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 [[electronic resource] ] : 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings / / edited by Luca Bortolussi, Guido Sanguinetti
| Computational Methods in Systems Biology [[electronic resource] ] : 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings / / edited by Luca Bortolussi, Guido Sanguinetti |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XI, 388 p. 487 illus., 87 illus. in color.) |
| Disciplina | 572.8 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Artificial intelligence Algorithms Mathematical logic Computer science—Mathematics Software engineering Computational Biology/Bioinformatics Artificial Intelligence Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Mathematics of Computing Software Engineering/Programming and Operating Systems |
| ISBN | 3-030-31304-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Regular Papers -- Sequential Reprogramming of Boolean Networks Made Practical -- Sequential Reprogramming of Biological Network Fate -- Control Variates for Stochastic Simulation of Chemical Reaction Networks -- Effective computational methods for hybrid stochastic gene networks -- On Chemical Reaction Network Design by a Nested Evolution Algorithm -- Designing Distributed Cell Classifier Circuits using a Genetic Algorithm -- Investigating a Hodgkin-Huxley type model for Drosophila larval neuromuscular junctions via particle swarm fitting -- Cell volume distributions in exponentially growing populations -- Transient Memory in Gene Regulation -- A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors -- Reachability design through Approximate Bayesian Computation -- Fast enumeration of non-isomorphic chemical reaction networks -- A large-scale assessment of exact model reduction in the BioModels repository -- Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints -- Tool Papers -- BRE:IN - A Backend for Reasoning about Interaction Networks with Temporal Logic -- The Kappa simulator made interactive -- Biochemical reaction networks with fuzzy kinetic parameters in Snoopy -- Compartmental Modeling Software: a fast, discrete stochastic framework for biochemical and epidemiological simulation -- Spike - reproducible simulation experiments with configuration file branching -- KAMIStudio: an environment for biocuration of cellular signalling knowledge -- A new version of DAISY to test structural identifiability of biological models -- Extended Abstracts (Posters and Highlight Talks) -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- Bayesian parameter estimation for stochastic reaction networks from steady-state observations -- Wasserstein Distances for Estimating Parameters in Stochastic Reaction Networks -- On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics -- Barbaric Robustness Monitoring Revisited for STL* in Parasim -- Symmetry breaking for GATA-1/PU.1 model -- Scalable Control of Asynchronous Boolean Networks -- Transcriptional response of SK-N-AS cells to methamidophos (Extended Abstract) -- Separators for polynomial dynamic systems with linear complexity -- Bounding First Passage Times in Chemical Reaction Networks -- Data-informed parameter synthesis for population Markov chains. |
| Record Nr. | UNISA-996466313003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Methods in Systems Biology : 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings / / edited by Luca Bortolussi, Guido Sanguinetti
| Computational Methods in Systems Biology : 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings / / edited by Luca Bortolussi, Guido Sanguinetti |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XI, 388 p. 487 illus., 87 illus. in color.) |
| Disciplina |
572.8
570.285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Artificial intelligence Algorithms Mathematical logic Computer science—Mathematics Software engineering Computational Biology/Bioinformatics Artificial Intelligence Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Mathematics of Computing Software Engineering/Programming and Operating Systems |
| ISBN | 3-030-31304-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Regular Papers -- Sequential Reprogramming of Boolean Networks Made Practical -- Sequential Reprogramming of Biological Network Fate -- Control Variates for Stochastic Simulation of Chemical Reaction Networks -- Effective computational methods for hybrid stochastic gene networks -- On Chemical Reaction Network Design by a Nested Evolution Algorithm -- Designing Distributed Cell Classifier Circuits using a Genetic Algorithm -- Investigating a Hodgkin-Huxley type model for Drosophila larval neuromuscular junctions via particle swarm fitting -- Cell volume distributions in exponentially growing populations -- Transient Memory in Gene Regulation -- A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors -- Reachability design through Approximate Bayesian Computation -- Fast enumeration of non-isomorphic chemical reaction networks -- A large-scale assessment of exact model reduction in the BioModels repository -- Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints -- Tool Papers -- BRE:IN - A Backend for Reasoning about Interaction Networks with Temporal Logic -- The Kappa simulator made interactive -- Biochemical reaction networks with fuzzy kinetic parameters in Snoopy -- Compartmental Modeling Software: a fast, discrete stochastic framework for biochemical and epidemiological simulation -- Spike - reproducible simulation experiments with configuration file branching -- KAMIStudio: an environment for biocuration of cellular signalling knowledge -- A new version of DAISY to test structural identifiability of biological models -- Extended Abstracts (Posters and Highlight Talks) -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- Bayesian parameter estimation for stochastic reaction networks from steady-state observations -- Wasserstein Distances for Estimating Parameters in Stochastic Reaction Networks -- On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics -- Barbaric Robustness Monitoring Revisited for STL* in Parasim -- Symmetry breaking for GATA-1/PU.1 model -- Scalable Control of Asynchronous Boolean Networks -- Transcriptional response of SK-N-AS cells to methamidophos (Extended Abstract) -- Separators for polynomial dynamic systems with linear complexity -- Bounding First Passage Times in Chemical Reaction Networks -- Data-informed parameter synthesis for population Markov chains. |
| Record Nr. | UNINA-9910349282103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modeling Conflict Dynamics with Spatio-temporal Data / / by Andrew Zammit-Mangion, Michael Dewar, Visakan Kadirkamanathan, Anaïd Flesken, Guido Sanguinetti
| Modeling Conflict Dynamics with Spatio-temporal Data / / by Andrew Zammit-Mangion, Michael Dewar, Visakan Kadirkamanathan, Anaïd Flesken, Guido Sanguinetti |
| Autore | Zammit-Mangion Andrew |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (82 p.) |
| Disciplina |
355.02
355.020727 |
| Collana | SpringerBriefs in Mathematical Methods |
| Soggetto topico |
Sociophysics
Econophysics Mathematics Social sciences Computational complexity Probabilities Signal processing Image processing Speech processing systems Data-driven Science, Modeling and Theory Building Mathematics in the Humanities and Social Sciences Complexity Probability Theory and Stochastic Processes Signal, Image and Speech Processing |
| ISBN | 3-319-01038-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Conflict Data Sets and Point Patterns -- Theory -- Modelling and Prediction in Conflict: Afghanistan. |
| Record Nr. | UNINA-9910438031203321 |
Zammit-Mangion Andrew
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pattern Recognition in Bioinformatics [[electronic resource] ] : 4th IAPR International Conference, PRIB 2009, Sheffield, UK, September 7-9, 2009, Proceedings / / edited by Visakan Kadirkamanathan, Guido Sanguinetti, Mark Girolami, Mahesan Niranjan, Josselin Noirel
| Pattern Recognition in Bioinformatics [[electronic resource] ] : 4th IAPR International Conference, PRIB 2009, Sheffield, UK, September 7-9, 2009, Proceedings / / edited by Visakan Kadirkamanathan, Guido Sanguinetti, Mark Girolami, Mahesan Niranjan, Josselin Noirel |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIV, 452 p.) |
| Disciplina | 570 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Life sciences
Pattern recognition Bioinformatics Health informatics Data mining Optical data processing Life Sciences, general Pattern Recognition Computational Biology/Bioinformatics Health Informatics Data Mining and Knowledge Discovery Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN | 3-642-04031-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Evolutionary Parameters in Sequence Families -- MProfiler: A Profile-Based Method for DNA Motif Discovery -- On Utilizing Optimal and Information Theoretic Syntactic Modeling for Peptide Classification -- Joint Tracking of Cell Morphology and Motion -- Multiclass Microarray Gene Expression Analysis Based on Mutual Dependency Models -- An Efficient Convex Nonnegative Network Component Analysis for Gene Regulatory Network Reconstruction -- Using Higher-Order Dynamic Bayesian Networks to Model Periodic Data from the Circadian Clock of Arabidopsis Thaliana -- Sequential Hierarchical Pattern Clustering -- Syntactic Pattern Recognition Using Finite Inductive Strings -- Evidence-Based Clustering of Reads and Taxonomic Analysis of Metagenomic Data -- Avoiding Spurious Feedback Loops in the Reconstruction of Gene Regulatory Networks with Dynamic Bayesian Networks -- Ligand Electron Density Shape Recognition Using 3D Zernike Descriptors -- Definition of Valid Proteomic Biomarkers: A Bayesian Solution -- Inferring Meta-covariates in Classification -- A Multiobjective Evolutionary Algorithm for Numerical Parameter Space Characterization of Reaction Diffusion Systems -- Knowledge-Guided Docking of WW Domain Proteins and Flexible Ligands -- Distinguishing Regional from Within-Codon Rate Heterogeneity in DNA Sequence Alignments -- A Hybrid Metaheuristic for Biclustering Based on Scatter Search and Genetic Algorithms -- Di-codon Usage for Gene Classification -- Counting Patterns in Degenerated Sequences -- Modelling Stem Cells Lineages with Markov Trees -- Bi-clustering of Gene Expression Data Using Conditional Entropy -- c-GAMMA:Comparative Genome Analysis of Molecular Markers -- Semi-supervised Prediction of Protein Interaction Sentences Exploiting Semantically Encoded Metrics -- Classification of Protein Interaction Sentences via Gaussian Processes -- MCMC Based Bayesian Inference for Modeling Gene Networks -- Efficient Optimal Multi-level Thresholding for Biofilm Image Segmentation -- A Pattern Classification Approach to DNA Microarray Image Segmentation -- Drugs and Drug-Like Compounds: Discriminating Approved Pharmaceuticals from Screening-Library Compounds -- Fast SCOP Classification of Structural Class and Fold Using Secondary Structure Mining in Distance Matrix -- Short Segment Frequency Equalization: A Simple and Effective Alternative Treatment of Background Models in Motif Discovery -- Bayesian Optimization Algorithm for the Non-unique Oligonucleotide Probe Selection Problem -- Microarray Time-Series Data Clustering via Multiple Alignment of Gene Expression Profiles -- Recursive Neural Networks for Undirected Graphs for Learning Molecular Endpoints -- Enhancing the Effectiveness of Fingerprint-Based Virtual Screening: Use of Turbo Similarity Searching and of Fragment Frequencies of Occurrence -- Patterns, Movement and Clinical Diagnosis of Abdominal Adhesions -- Class Prediction from Disparate Biological Data Sources Using an Iterative Multi-Kernel Algorithm -- Cross-Platform Analysis with Binarized Gene Expression Data. |
| Record Nr. | UNISA-996465322003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||