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.
Atlas of Diagnostic Pathology in Nonhuman Primates / / edited by Ivanela Kondova - Perseng, Keith G. Mansfield, Andrew D. Miller
| Atlas of Diagnostic Pathology in Nonhuman Primates / / edited by Ivanela Kondova - Perseng, Keith G. Mansfield, Andrew D. Miller |
| Autore | Kondova - Perseng Ivanela |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (267 pages) |
| Disciplina | 571.91981 |
| Altri autori (Persone) |
MansfieldKeith G
MillerAndrew D |
| Soggetto topico |
Veterinary medicine
Veterinary microbiology Physiology Diseases - Animal models Biological models Veterinary Science Veterinary Microbiology Animal Physiology Disease Models Biological Models |
| ISBN |
9783031412806
303141280X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Viral Diseases in Nonhuman Primates -- 2 Bacterial Diseases in Nonhuman Primates -- 3 Parasitic and Fungal Infections in Nonhuman Primates -- 4 Nutritional, Metabolic, and Toxic Disorders of Nonhuman Primates -- 5 Congenital Disorders of Nonhuman Primates -- 6 Age-Related Pathology in Nonhuman Primates -- 7 Other Non-infectious Conditions (Inflammatory/Degenerative/Proliferative, Immune-mediated/Idiopathic/Unknown) in Nonhuman Primates -- 8 Nonhuman Primate Neoplasia. |
| Record Nr. | UNINA-9910857791503321 |
Kondova - Perseng Ivanela
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Methods for Biological Models / / edited by Harendra Singh, Hemen Dutta
| Computational Methods for Biological Models / / edited by Harendra Singh, Hemen Dutta |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (254 pages) |
| Disciplina | 570.151 |
| Collana | Studies in Computational Intelligence |
| Soggetto topico |
Computational intelligence
Computer simulation Neural networks (Computer science) Biological models Computational Intelligence Computer Modelling Mathematical Models of Cognitive Processes and Neural Networks Biological Models |
| ISBN | 981-9950-01-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Exponential time-differencing method for the solution of diffusive HIV model -- 2. An effective technique for solving a model describing biological species living together -- 3. Neuro-Swarming Integrated Heuristic with an Interior-Point Scheme for Novel design of Lane-Emden Nonlinear Prediction Singular Differential Model -- 4. A fitted operator method for a system of delay model of tumor cells dynamics within their micro-environment -- 5. A Mathematical Model to Study Regulatory Properties and Dynamical Behaviour of Glycolytic Pathway using Bifurcation Analysis -- 6. On solutions of fractional biological models using reproducing kernel Hilbert space method -- 7. An operational matrix based method to find the solution of the fractional tumour immune vitamins model -- 8. Analysis of a fractional stage-structured model with Crowley-Martin type functional response by Lagrange polynomial based method -- 9. Qualitative Theory and Approximate Solution to Typhoid Fever Model Subject to Non Singular Kernel Type Derivative -- 10. Study of the SIRI epidemic model described by the Caputo derivative -- 11. Unlocking Biological systems through mathematical Modelling -- 12. Implementation of vaccination in epidemic model for COVID-19. |
| Record Nr. | UNINA-9910746977603321 |
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Methods in Systems Biology : 23rd International Conference, CMSB 2025, Lyon, France, September 10–12, 2025, Proceedings / / edited by François Fages, Sabine Pérès
| Computational Methods in Systems Biology : 23rd International Conference, CMSB 2025, Lyon, France, September 10–12, 2025, Proceedings / / edited by François Fages, Sabine Pérès |
| Autore | Fages François |
| Edizione | [1st ed. 2026.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 |
| Descrizione fisica | 1 online resource (655 pages) |
| Disciplina | 004.2 |
| Altri autori (Persone) | PérèsSabine |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Computer systems
Artificial intelligence Biological models Bioinformatics Computer System Implementation Artificial Intelligence Biological Models Computational and Systems Biology |
| ISBN | 3-032-01436-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- Boolean Networks. -- Computation of immediate neighbours of monotone Boolean functions. -- Three-State Gene Expression Model Parameterized for Single-Cell Multi-Omics Data. -- On Model Reductions of Boolean Networks. -- AEON 2025: Robust Control of Partially-Specified Boolean Networks (tool paper). -- Looking for Signs: Reasoning About FOBNNs Using SAT. -- Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks. -- Continuous and Hybrid models. -- Efficient stochastic simulation of gene regulatory networks using hybrid models of transcriptional bursting. -- Exploring Metastable Dynamics of Gene Regulatory Networks with ISOKANN. -- Rule-based models. -- Reachability Analysis for Parametric Rule-Based Models. -- A rule-based modeling approach for studying animal collectives: a case study of juvenile honeybee thermotaxis. -- A Formal Approach to Identify Structural Patterns in RNA. -- Model inference and machine learning. -- Kolmogorov-Arnold Network for Gene Regulatory Network Inference. -- Optimal input design for model selection in systems with cell-to-cell variability. -- Decoding Gene Regulation in Alzheimer’s disease with Transfer Learning and Explainable Machine Learning. -- Influence Graphs of Phytoplankton Species Interactions using Logical Learning. -- Evaluating PDE discovery methods for multiscale modeling of biological signals. -- Optimizing Feature Extraction Methods using Class Similarity Ratio for EMG-based Hand Gesture Classification. -- Population models and control. -- Eukaryotic ancestry in a finite world. -- Minimal metabolic exchanges for microbial communities in a chemostat at steady state. -- Seed inference in interacting microbial communities using combinatorial optimization. -- A model-free control strategy for selective disruption of parkinsonian brain oscillations. |
| Record Nr. | UNINA-9911047686003321 |
|
Fages François
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Methods in Systems Biology : 23rd International Conference, CMSB 2025, Lyon, France, September 10–12, 2025, Proceedings / / edited by François Fages, Sabine Pérès
| Computational Methods in Systems Biology : 23rd International Conference, CMSB 2025, Lyon, France, September 10–12, 2025, Proceedings / / edited by François Fages, Sabine Pérès |
| Autore | Fages François |
| Edizione | [1st ed. 2026.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 |
| Descrizione fisica | 1 online resource (655 pages) |
| Disciplina | 004.2 |
| Altri autori (Persone) | PérèsSabine |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Computer systems
Artificial intelligence Biological models Bioinformatics Computer System Implementation Artificial Intelligence Biological Models Computational and Systems Biology |
| ISBN | 3-032-01436-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- Boolean Networks. -- Computation of immediate neighbours of monotone Boolean functions. -- Three-State Gene Expression Model Parameterized for Single-Cell Multi-Omics Data. -- On Model Reductions of Boolean Networks. -- AEON 2025: Robust Control of Partially-Specified Boolean Networks (tool paper). -- Looking for Signs: Reasoning About FOBNNs Using SAT. -- Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks. -- Continuous and Hybrid models. -- Efficient stochastic simulation of gene regulatory networks using hybrid models of transcriptional bursting. -- Exploring Metastable Dynamics of Gene Regulatory Networks with ISOKANN. -- Rule-based models. -- Reachability Analysis for Parametric Rule-Based Models. -- A rule-based modeling approach for studying animal collectives: a case study of juvenile honeybee thermotaxis. -- A Formal Approach to Identify Structural Patterns in RNA. -- Model inference and machine learning. -- Kolmogorov-Arnold Network for Gene Regulatory Network Inference. -- Optimal input design for model selection in systems with cell-to-cell variability. -- Decoding Gene Regulation in Alzheimer’s disease with Transfer Learning and Explainable Machine Learning. -- Influence Graphs of Phytoplankton Species Interactions using Logical Learning. -- Evaluating PDE discovery methods for multiscale modeling of biological signals. -- Optimizing Feature Extraction Methods using Class Similarity Ratio for EMG-based Hand Gesture Classification. -- Population models and control. -- Eukaryotic ancestry in a finite world. -- Minimal metabolic exchanges for microbial communities in a chemostat at steady state. -- Seed inference in interacting microbial communities using combinatorial optimization. -- A model-free control strategy for selective disruption of parkinsonian brain oscillations. |
| Record Nr. | UNISA-996673175403316 |
|
Fages François
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Methods in Systems Biology : 22nd International Conference, CMSB 2024, Pisa, Italy, September 16–18, 2024, Proceedings / / edited by Roberta Gori, Paolo Milazzo, Mirco Tribastone
| Computational Methods in Systems Biology : 22nd International Conference, CMSB 2024, Pisa, Italy, September 16–18, 2024, Proceedings / / edited by Roberta Gori, Paolo Milazzo, Mirco Tribastone |
| Autore | Gori Roberta |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (268 pages) |
| Disciplina |
570.285
570.113 |
| Altri autori (Persone) |
MilazzoPaolo
TribastoneMirco |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Computer systems Artificial intelligence Biological models Computational and Systems Biology Computer System Implementation Artificial Intelligence Biological Models |
| ISBN | 3-031-71671-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910887805503321 |
|
Gori Roberta
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 |
Bioinformatics
Computer systems Artificial intelligence Biological models Computational and Systems Biology Computer System Implementation Artificial Intelligence Biological Models |
| ISBN |
9783031426971
3031426975 |
| 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 | ||
| ||
Computational Methods in Systems Biology : 20th International Conference, CMSB 2022, Bucharest, Romania, September 14–16, 2022, Proceedings / / edited by Ion Petre, Andrei Păun
| Computational Methods in Systems Biology : 20th International Conference, CMSB 2022, Bucharest, Romania, September 14–16, 2022, Proceedings / / edited by Ion Petre, Andrei Păun |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (324 pages) |
| Disciplina | 570.285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Computer systems Artificial intelligence Biological models Computational and Systems Biology Computer System Implementation Artificial Intelligence Biological Models |
| ISBN |
9783031150340
3031150341 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chemical Reaction Networks Algebraic Biochemistry: a Framework for On-line Analog Computation in Cells -- Abstract Simulation of Reaction Networks via Boolean Networks -- Abstraction-Based Segmental Simulation of Chemical Reaction Networks -- Qualitative dynamics of chemical reaction networks: an investigation using partial tropical equilibrations -- Boolean Networks Prioritization of candidate genes through Boolean networks -- Variable Stabilisation in Boolean Monotonic Model Pools -- Variable-Depth Simulation of Most Permissive Boolean Networks -- Minimal trap spaces of Logical models are maximal siphons of their Petri net encoding -- Continuous and Hybrid Models Stability versus Metastability in a Model of Skin Fages Exact linear reduction for rational dynamical systems -- Limit cycle analysis of a class of hybrid gene regulatory networks -- Machine Learning Bayesian learning of effective chemical master equations in crowded intracellular conditions -- Probabilistic Multivariate Early WarningSignals -- A Meta-Species Language for Chemical Reaction Networks -- Automated Generation of Conditional Moment Equations for Stochastic Reaction Networks -- An Extension of ERODE to Reduce Boolean Networks by Backward Boolean Equivalence -- 2.0: Modelling and Analysis of Regulated Rule-based Systems. |
| Record Nr. | UNINA-9910588598903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dynamic Models of Energy, Robotic, and Biological Systems : Systems, Design, and Validation / / by Jose de Jesus Rubio, Alejandro Zacarias, Jaime Pacheco
| Dynamic Models of Energy, Robotic, and Biological Systems : Systems, Design, and Validation / / by Jose de Jesus Rubio, Alejandro Zacarias, Jaime Pacheco |
| Autore | Rubio Jose de Jesus |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XX, 182 p. 111 illus., 84 illus. in color.) |
| Disciplina | 003.3 |
| Soggetto topico |
Computer simulation
Dynamics Biological models Robotics Computer Modelling Dynamical Systems Biological Models |
| ISBN | 3-031-85438-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | . Dynamic model of a wind turbine for the electric energy generation -- 2. An electricity generator based on the interaction of static and dynamic magnets -- 3. Dynamic model of an electric vehicle with energy recovery -- 4. Modeling and control of a fuel cell -- 5. Dynamic model with sensor and actuator for a transelevator -- 6. Dynamic model with sensor and actuator for an articulated robotic arm -- 7. Inverse dynamics model of a delta-type parallel robot -- 8. Acquisition system and approximation of brain signals -- 9. A method for online pattern recognition of abnormal eye movements -- 10. A method with neural networks for the classi.cation of fruits and vegeta-bles. |
| Record Nr. | UNINA-9911007467203321 |
|
Rubio Jose de Jesus
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Heat Transfer in Vivo / / by Alexander I. Zhmakin
| Heat Transfer in Vivo / / by Alexander I. Zhmakin |
| Autore | Zhmakin Alexander I |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (1408 pages) |
| Disciplina | 571.1 |
| Collana | Springer Series in Biophysics |
| Soggetto topico |
Physiology
Biophysics Biomolecules Biological models Regenerative medicine Animal Physiology Molecular Biophysics Biological Models Regenerative Medicine and Tissue Engineering |
| ISBN | 3-031-95459-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 -- Introduction. 2 -- Effects of Extreme Temperatures on Living Tissues. 3 -- Whole-body Models. 4 -- Regional Models— Skin and Deep Tissues. 5 -- Hyperthermia. 6 -- Cryomedicine. 7 -- Thermal Ablation in Silico. 8 -- Conclusions. -- Index. |
| Record Nr. | UNINA-9911018746703321 |
|
Zhmakin Alexander I
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Robert Rosen and Relational System Theory: An Overview / / by James Bryan Lennox
| Robert Rosen and Relational System Theory: An Overview / / by James Bryan Lennox |
| Autore | Lennox James Bryan |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (150 pages) |
| Disciplina | 570.11 |
| Collana | Anticipation Science |
| Soggetto topico |
Biology - Philosophy
Logic, Symbolic and mathematical Biological models Philosophy Philosophy of Biology Mathematical Logic and Foundations Biological Models |
| ISBN | 3-031-51116-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- 1. Introduction -- 2. Category Theory -- 3. The Modeling Relation in Science -- 4. Relational Models -- 5. Simple Systems and Complex Systems -- 6. Anticipatory Systems -- 7. (M, R) – Systems -- 8. The Realization Problem -- Appendix: J. S. Hofmeyr’s (F, A) – Systems -- Bibliography. |
| Record Nr. | UNINA-9910864186503321 |
|
Lennox James Bryan
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
