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.
Current Trends in Dynamical Systems in Biology and Natural Sciences [[electronic resource] /] / edited by Maira Aguiar, Carlos Braumann, Bob W. Kooi, Andrea Pugliese, Nico Stollenwerk, Ezio Venturino
| Current Trends in Dynamical Systems in Biology and Natural Sciences [[electronic resource] /] / edited by Maira Aguiar, Carlos Braumann, Bob W. Kooi, Andrea Pugliese, Nico Stollenwerk, Ezio Venturino |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 243 p. 70 illus., 40 illus. in color.) |
| Disciplina | 531.11 |
| Collana | SEMA SIMAI Springer Series |
| Soggetto topico |
Applied mathematics
Engineering mathematics Biomathematics Probabilities Dynamics Ergodic theory Computer mathematics Community ecology, Biotic Applications of Mathematics Mathematical and Computational Biology Probability Theory and Stochastic Processes Dynamical Systems and Ergodic Theory Computational Mathematics and Numerical Analysis Community & Population Ecology |
| ISBN | 3-030-41120-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 P. Freguglia et al., Modelling Ecological Systems from a Niche Theory to Lotka-Volterra equations -- 2 N. Petrovskaya and W. Zhang, Accurate Recognition of Spatial Patterns Arising in Spatio-Temporal Dynamics of Invasive Species -- 3 A. Andò and D. Breda, Collocation techniques for structured populations modeled by delay equations -- 4 H. Laurie et al., Herding induced by encounter rate, with predator pressure influencing prey response -- 5 N. M. Brites and C. A. Braumann, Harvesting policies with stepwise effort and logistic growth in a random environment -- 6 C. Corbacho et al., Mathematical modeling of the population dynamics of long-lived raptor species. Application to Eurasian black vulture colonies -- 7 C. Bianchi et al., On the role of inhibition processes in modeling control strategies for composting plants -- 8 A. Martiradonna et al., Optimal control of invasive species with budget constraint: qualitative analysis and numerical approximation -- 9 S. Aniţa et al., A Shape Optimization Problem Concerning the Regional Control of a Class of Spatially Structured Epidemics - Sufficiency Conditions -- 10 A. d’Onofrio and P. Manfredi, The interplay between voluntary vaccination and reduction of risky behavior: a general behavior-implicit SIR model for vaccine preventable infections -- 11 F. Florian and R. Vermiglio, PC-based sensitivity analysis of the basic reproduction number of population and epidemic models -- 12 M. J. Wieteska, Linear dynamics of mRNA expression and hormone concentration levels in primary cultures of bovine granulosa cells. . |
| Record Nr. | UNISA-996418263603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Current Trends in Dynamical Systems in Biology and Natural Sciences [[electronic resource] /] / edited by Maira Aguiar, Carlos Braumann, Bob W. Kooi, Andrea Pugliese, Nico Stollenwerk, Ezio Venturino
| Current Trends in Dynamical Systems in Biology and Natural Sciences [[electronic resource] /] / edited by Maira Aguiar, Carlos Braumann, Bob W. Kooi, Andrea Pugliese, Nico Stollenwerk, Ezio Venturino |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 243 p. 70 illus., 40 illus. in color.) |
| Disciplina | 531.11 |
| Collana | SEMA SIMAI Springer Series |
| Soggetto topico |
Applied mathematics
Engineering mathematics Biomathematics Probabilities Dynamics Ergodic theory Computer mathematics Community ecology, Biotic Applications of Mathematics Mathematical and Computational Biology Probability Theory and Stochastic Processes Dynamical Systems and Ergodic Theory Computational Mathematics and Numerical Analysis Community & Population Ecology |
| ISBN | 3-030-41120-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 P. Freguglia et al., Modelling Ecological Systems from a Niche Theory to Lotka-Volterra equations -- 2 N. Petrovskaya and W. Zhang, Accurate Recognition of Spatial Patterns Arising in Spatio-Temporal Dynamics of Invasive Species -- 3 A. Andò and D. Breda, Collocation techniques for structured populations modeled by delay equations -- 4 H. Laurie et al., Herding induced by encounter rate, with predator pressure influencing prey response -- 5 N. M. Brites and C. A. Braumann, Harvesting policies with stepwise effort and logistic growth in a random environment -- 6 C. Corbacho et al., Mathematical modeling of the population dynamics of long-lived raptor species. Application to Eurasian black vulture colonies -- 7 C. Bianchi et al., On the role of inhibition processes in modeling control strategies for composting plants -- 8 A. Martiradonna et al., Optimal control of invasive species with budget constraint: qualitative analysis and numerical approximation -- 9 S. Aniţa et al., A Shape Optimization Problem Concerning the Regional Control of a Class of Spatially Structured Epidemics - Sufficiency Conditions -- 10 A. d’Onofrio and P. Manfredi, The interplay between voluntary vaccination and reduction of risky behavior: a general behavior-implicit SIR model for vaccine preventable infections -- 11 F. Florian and R. Vermiglio, PC-based sensitivity analysis of the basic reproduction number of population and epidemic models -- 12 M. J. Wieteska, Linear dynamics of mRNA expression and hormone concentration levels in primary cultures of bovine granulosa cells. . |
| Record Nr. | UNINA-9910483545203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An Introduction to Mathematical Population Dynamics [[electronic resource] ] : Along the trail of Volterra and Lotka / / by Mimmo Iannelli, Andrea Pugliese
| An Introduction to Mathematical Population Dynamics [[electronic resource] ] : Along the trail of Volterra and Lotka / / by Mimmo Iannelli, Andrea Pugliese |
| Autore | Iannelli Mimmo |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 346 p.) |
| Disciplina | 570.285 |
| Collana | La Matematica per il 3+2 |
| Soggetto topico |
Biomathematics
Ecology Applied mathematics Engineering mathematics Mathematical and Computational Biology Theoretical Ecology/Statistics Applications of Mathematics |
| ISBN | 3-319-03026-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Malthus, Verhulst and all that -- 2 Delayed population models -- 3 Models of discrete-time population growth -- 4 Stochastic modeling of population growth -- 5 Spatial spread of a population -- 6 Prey-predator models -- 7 Competition among species -- 8 Mathematical modeling of epidemics -- 9 Models with several species and trophic levels -- 10 Appendices: A Basic theory of Ordinary Differential Equations; B Delay Equations; C Discrete dynamics; D Continuous-time Markov chains. |
| Record Nr. | UNINA-9910299973103321 |
Iannelli Mimmo
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Models and Methods for Living Systems [[electronic resource] ] : Levico Terme, Italy 2014 / / by Pasquale Ciarletta, Thomas Hillen, Hans Othmer, Luigi Preziosi, Dumitru Trucu ; edited by Luigi Preziosi, Mark Chaplain, Andrea Pugliese
| Mathematical Models and Methods for Living Systems [[electronic resource] ] : Levico Terme, Italy 2014 / / by Pasquale Ciarletta, Thomas Hillen, Hans Othmer, Luigi Preziosi, Dumitru Trucu ; edited by Luigi Preziosi, Mark Chaplain, Andrea Pugliese |
| Autore | Ciarletta Pasquale |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XI, 321 p. 111 illus., 78 illus. in color.) |
| Disciplina | 570.15118 |
| Collana | C.I.M.E. Foundation Subseries |
| Soggetto topico |
Biomathematics
Medicine Applied mathematics Engineering mathematics Mathematical and Computational Biology Biomedicine, general Applications of Mathematics |
| ISBN | 3-319-42679-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Cell-based, continuum and hybrid models of tissue dynamics -- The Diffusion Limit of Transport Equations in Biology -- Mathematical Models of the Interaction of Cells and Cell Aggregates with the Extracellular Matrix -- Mathematical modeling of morphogenesis in living materials -- Multiscale computational modelling and analysis of cancer invasion. |
| Record Nr. | UNISA-996466766203316 |
|
Ciarletta Pasquale
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical Models and Methods for Living Systems [[electronic resource] ] : Levico Terme, Italy 2014 / / by Pasquale Ciarletta, Thomas Hillen, Hans Othmer, Luigi Preziosi, Dumitru Trucu ; edited by Luigi Preziosi, Mark Chaplain, Andrea Pugliese
| Mathematical Models and Methods for Living Systems [[electronic resource] ] : Levico Terme, Italy 2014 / / by Pasquale Ciarletta, Thomas Hillen, Hans Othmer, Luigi Preziosi, Dumitru Trucu ; edited by Luigi Preziosi, Mark Chaplain, Andrea Pugliese |
| Autore | Ciarletta Pasquale |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XI, 321 p. 111 illus., 78 illus. in color.) |
| Disciplina | 570.15118 |
| Collana | C.I.M.E. Foundation Subseries |
| Soggetto topico |
Biomathematics
Medicine Applied mathematics Engineering mathematics Mathematical and Computational Biology Biomedicine, general Applications of Mathematics |
| ISBN | 3-319-42679-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Cell-based, continuum and hybrid models of tissue dynamics -- The Diffusion Limit of Transport Equations in Biology -- Mathematical Models of the Interaction of Cells and Cell Aggregates with the Extracellular Matrix -- Mathematical modeling of morphogenesis in living materials -- Multiscale computational modelling and analysis of cancer invasion. |
| Record Nr. | UNINA-9910156257903321 |
|
Ciarletta Pasquale
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Scalable Uncertainty Management [[electronic resource] ] : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009, Proceedings / / edited by Lluis Godo, Andrea Pugliese
| Scalable Uncertainty Management [[electronic resource] ] : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009, Proceedings / / edited by Lluis Godo, Andrea Pugliese |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 309 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical statistics Computer programming Software engineering Mathematical logic Artificial Intelligence Probability and Statistics in Computer Science Programming Techniques Software Engineering Mathematical Logic and Formal Languages |
| Soggetto genere / forma |
Kongress.
Washington (DC, 2009) |
| ISBN | 3-642-04388-7 |
| Classificazione |
DAT 655f
DAT 703f DAT 706f DAT 773f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | PrDB: Managing Large-Scale Correlated Probabilistic Databases (Abstract) -- Uncertainty in the Semantic Web -- Bridging the Gap between Abstract Argumentation Systems and Logic -- Modeling Unreliable Observations in Bayesian Networks by Credal Networks -- Interventions in Possibilistic Logic -- An Analysis of Sum-Based Incommensurable Belief Base Merging -- An Argument-Based Approach to Using Multiple Ontologies -- A Model Based on Possibilistic Certainty Levels for Incomplete Databases -- A Proposal for Making Argumentation Computationally Capable of Handling Large Repositories of Uncertain Data -- Making Sense of a Sequence of Events: A Psychologically Supported AI Implementation -- Explaining Inconsistencies in OWL Ontologies -- On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics -- Towards Relational Schema Uncertainty -- Aggregation of Trust for Iterated Belief Revision in Probabilistic Logics -- Fast and Accurate Prediction of the Destination of Moving Objects -- Weighted Description Logics Preference Formulas for Multiattribute Negotiation -- Probabilistic Planning with Imperfect Sensing Actions Using Hybrid Probabilistic Logic Programs -- Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics -- Finite Satisfiability in Infinite-Valued ?ukasiewicz Logic -- Compression of Probabilistic XML Documents -- Query Answering in Belief Logic Programming -- Towards Effective Elicitation of NIN-AND Tree Causal Models -- An Evidence-Theoretic k-Nearest Neighbor Rule for Multi-label Classification. |
| Record Nr. | UNISA-996465314303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Scalable Uncertainty Management [[electronic resource] ] : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009, Proceedings / / edited by Lluis Godo, Andrea Pugliese
| Scalable Uncertainty Management [[electronic resource] ] : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009, Proceedings / / edited by Lluis Godo, Andrea Pugliese |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 309 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical statistics Computer programming Software engineering Mathematical logic Artificial Intelligence Probability and Statistics in Computer Science Programming Techniques Software Engineering Mathematical Logic and Formal Languages |
| Soggetto genere / forma |
Kongress.
Washington (DC, 2009) |
| ISBN | 3-642-04388-7 |
| Classificazione |
DAT 655f
DAT 703f DAT 706f DAT 773f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | PrDB: Managing Large-Scale Correlated Probabilistic Databases (Abstract) -- Uncertainty in the Semantic Web -- Bridging the Gap between Abstract Argumentation Systems and Logic -- Modeling Unreliable Observations in Bayesian Networks by Credal Networks -- Interventions in Possibilistic Logic -- An Analysis of Sum-Based Incommensurable Belief Base Merging -- An Argument-Based Approach to Using Multiple Ontologies -- A Model Based on Possibilistic Certainty Levels for Incomplete Databases -- A Proposal for Making Argumentation Computationally Capable of Handling Large Repositories of Uncertain Data -- Making Sense of a Sequence of Events: A Psychologically Supported AI Implementation -- Explaining Inconsistencies in OWL Ontologies -- On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics -- Towards Relational Schema Uncertainty -- Aggregation of Trust for Iterated Belief Revision in Probabilistic Logics -- Fast and Accurate Prediction of the Destination of Moving Objects -- Weighted Description Logics Preference Formulas for Multiattribute Negotiation -- Probabilistic Planning with Imperfect Sensing Actions Using Hybrid Probabilistic Logic Programs -- Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics -- Finite Satisfiability in Infinite-Valued ?ukasiewicz Logic -- Compression of Probabilistic XML Documents -- Query Answering in Belief Logic Programming -- Towards Effective Elicitation of NIN-AND Tree Causal Models -- An Evidence-Theoretic k-Nearest Neighbor Rule for Multi-label Classification. |
| Record Nr. | UNINA-9910484801303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||