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.
Building and Solving Mathematical Programming Models : 50 Practical Examples / / by José Manuel García Sánchez
| Building and Solving Mathematical Programming Models : 50 Practical Examples / / by José Manuel García Sánchez |
| Autore | García Sánchez José Manuel |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (408 pages) |
| Disciplina | 519.7 |
| Collana | International Series in Operations Research & Management Science |
| Soggetto topico |
Operations research
Management science Computer science - Mathematics Model theory Mathematical optimization Operations Research and Decision Theory Operations Research, Management Science Mathematical Applications in Computer Science Model Theory Optimization |
| ISBN |
9783030976262
9783030976255 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction to Modeling Methodology -- 2. Building and Solving Models with LINGO -- 3. Low-Level Problems -- 4. Low-Medium Level Problems -- 5. Medium Level Problems -- 6. Medium-High Level Problems -- 7. High-Level Problems. . |
| Record Nr. | UNINA-9910568265003321 |
García Sánchez José Manuel
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Essays on the Extended Evolutionary Synthesis : Formalizations and Expansions / / by Rodrick Wallace
| Essays on the Extended Evolutionary Synthesis : Formalizations and Expansions / / by Rodrick Wallace |
| Autore | Wallace Rodrick |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (177 pages) |
| Disciplina | 576.8 |
| Collana | SpringerBriefs in Evolutionary Biology |
| Soggetto topico |
Evolution (Biology)
Psychology Model theory Evolutionary Biology Evolutionary Theory Behavioral Sciences and Psychology Model Theory |
| ISBN |
9783031298790
9783031298783 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 On the majortransitions -- 1.1 Introduction -- 1.2 Symmetry and symmetry-breaking -- 1.3 Resources -- 1.4 Cognition in non ergodic systems -- 1.5 Theprebiotic`bigbang' -- 1.6 Biological`recombination transparency' -- 1.7 A simple application -- 1.8 Specialization and cooperation: multiple workspaces -- 1.9 Discussion -- 1.10 Mathematical Appendix -- 1.11 References -- 2 On the Extended Evolutionary Synthesis -- 2.1 Introduction -- 2.2 First notions -- 2.3 The basic theory -- 2.4 Examples -- 2.5 More theory:selection pressureas shadowprice -- 2.6 Extending the models -- 2.7 Discussion -- 2.8 Mathematical Appendix -- 2.9 References -- 3O On regulation -- 3.1 Introduction -- 3.2 Theory -- 3.3 Applications -- 3.4 Discussion -- 3.5 Mathematical Appendix -- 3.6 References -- 4 Punctuated regulation as an evolutionary mechanism -- 4.1 Introduction -- 4.2 Fisher Zeros reconsidered -- 4.3 Extinction I:Simple noise-induced transitions -- 4.4 Extinction II: More complicatednoise-induced transitions -- 4.5 Extinction III: Environmental shadow price -- 4.6 Discussion -- 4.7 Mathematical Appendix -- 4.8 References -- 5 Institutional dynamics under selection pressure and uncertainty -- 5.1 Introduction -- 5.2 A Rate Distortion Theorem model of control -- 5.3 Selection pressure dynamics -- 5.4 Destabilization by delay -- 5.5 Extending the Data Rate Theorem -- 5.6 Moving on -- 5.7 Reconsideringcognition\textit{AnSich -- 5.8 Changingtheviewpoint -- 5.9 Discussion -- 5. References -- 6O n`Speciation':Fragmentsizeininformationsystemphasetransitions -- 6.1 Introduction -- 6.2`Simple'phasetransition -- 6.3 Phasetransitionsinnetworksofinformation-exchangemodules -- 6.4 Discussion -- 6.5 MathematicalAppendix:`Biological'renormalizations -- 6.6 References -- 7 Adaptingcognitionmodelstobiomolecularcondensatedynamics -- 7.1 Introduction -- 7.2 Resources -- 7.3 Cognition -- 7.4 PhasetransitionsI:Fisherzeros -- 7.5 Cognitive`reactionrate' -- 7.6 PhasetransitionsII:Signaltransductionandnoise -- 7.7 Discussion -- 7.8 MathematicalAppendix:Groupoids -- 7.9 References -- 8 EvolutionaryExaptation:Sharedinterbrainactivityinsocialcommunication -- 8.1 Introduction -- 8.2 Correlation -- 8.3 Cognition -- 8.4 Dynamics -- 8.5 Cognitionrate -- 8.6 Anexample -- 8.7 Cooperation:Multipleworkspaces -- 8.8 Networktopologyisimportant -- 8.9 Timeandresourceconstraintsareimportant -- 8.10 Furthertheoreticaldevelopment -- 8.11 Discussion -- 8.12 MathematicalAppendix -- 8.13 References -- 9 Afterward. |
| Record Nr. | UNINA-9910726288803321 |
|
Wallace Rodrick
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods : FCMTCCT2 2022, Almería, Spain, July 11–15, Invited and Selected Contributions / / edited by Alexander Martsinkovsky
| Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods : FCMTCCT2 2022, Almería, Spain, July 11–15, Invited and Selected Contributions / / edited by Alexander Martsinkovsky |
| Autore | Martsinkovsky Alexander |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (256 pages) |
| Disciplina | 512.6 |
| Collana | Springer Proceedings in Mathematics & Statistics |
| Soggetto topico |
Algebra, Homological
System theory Control theory Model theory Algebra Differential equations Category Theory, Homological Algebra Systems Theory, Control Model Theory Differential Equations |
| ISBN |
9783031530630
3031530632 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | W. Fajardo, O. Lezama, C. Payares, A. Reyes and C. Rodríguez, Introduction to Algebraic Analysis on Ore Extensions -- S. Breaz and G. C. Modoi, Derived equivalences induced by good silting complexes -- M. Cerqua and A. Facchini, Pre-Lie algebras, their multiplicative lattice, and idempotent endomorphisms -- G. Nadareishvili, Relative homological algebra for bivariant K-theory -- S. Posur, An abelian ambient category for behaviors in algebraic systems theory -- M. Prest, Definable categories and monoidal categories -- J. Trlifaj, Flat Mittag-Leffler Modules, and their Relative and restricted versions. |
| Record Nr. | UNINA-9910855386903321 |
|
Martsinkovsky Alexander
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Institution-independent Model Theory / / by Răzvan Diaconescu
| Institution-independent Model Theory / / by Răzvan Diaconescu |
| Autore | Diaconescu Răzvan |
| Edizione | [2nd ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2025 |
| Descrizione fisica | 1 online resource (568 pages) |
| Disciplina | 511.3 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Logic, Symbolic and mathematical
Machine theory Logic Model theory Mathematical Logic and Foundations Formal Languages and Automata Theory Model Theory Lògica Teoria de màquines Teoria de models Llenguatges formals |
| Soggetto genere / forma | Llibres electrònics. |
| ISBN | 9783031688546 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | - Introduction -- Part I Basics -- Categories -- Institutions -- Theories and Models -- Internal Logic -- Part II Advanced Topics -- Model Ultraproducts -- Saturated Models -- Preservation and Axiomatizability -- Interpolation -- Definability -- Part III Extensions -- Institutions with Proofs -- Models with States -- Many-valued Truth Institutions -- Part IV Applications to Computing -- Grothendieck Institutions -- Specification -- Logic Programming. |
| Record Nr. | UNINA-9910986146103321 |
|
Diaconescu Răzvan
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model Validation and Uncertainty Quantification, Volume 3 : Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023 / / edited by Roland Platz, Garrison Flynn, Kyle Neal, Scott Ouellette
| Model Validation and Uncertainty Quantification, Volume 3 : Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023 / / edited by Roland Platz, Garrison Flynn, Kyle Neal, Scott Ouellette |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (207 pages) |
| Disciplina | 624.171 |
| Collana | Conference Proceedings of the Society for Experimental Mechanics Series |
| Soggetto topico |
Engineering mathematics
Engineering - Data processing Computer science Civil engineering Model theory Mathematical statistics - Data processing Mathematical and Computational Engineering Applications Models of Computation Civil Engineering Model Theory Statistics and Computing |
| ISBN |
87-438-0409-8
87-438-0041-6 3-031-37003-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910760298303321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model Validation and Uncertainty Quantification, Volume 3 : Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021 / / edited by Zhu Mao
| Model Validation and Uncertainty Quantification, Volume 3 : Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021 / / edited by Zhu Mao |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (187 pages) |
| Disciplina |
624.1
624.171015118 |
| Collana | Conference Proceedings of the Society for Experimental Mechanics Series |
| Soggetto topico |
Statics
Buildings - Design and construction Model theory Buildings - Repair and reconstruction Buildings - Maintenance Mechanical Statics and Structures Building Construction and Design Model Theory Building Repair and Maintenance |
| ISBN |
87-438-0381-4
87-438-0013-0 3-030-77348-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Effect of Inspection Errors in Optimal Maintenance Decisions for Deteriorating Quoin Blocks in Miter Gates -- Chapter 2. Model Uncertainty Quantification and Updating of a Boundary Condition Model of a Miter Gate Using Strain Measurements -- Chapter 3. Fusion of Test and Analysis: Artemis I Booster to Mobile Launcher Interface Validation -- Chapter 4. Quantifying the Benefits of Structural Health Monitoring using Value of Information and Decision Risk Modeling -- Chapter 5. Error Localization Examples: Looking for a Needle in a Haystack -- Chapter 6. WaveImage Bridges the Gap Between Measurement and Simulation. An Application Example of How to Create a Modal Digital Twin using FE Model Updating -- Chapter 7. Virtual Sensing for Wind Turbine Blade Full Field Response Estimation in Operational Modal Analysis -- Chapter 8. Dynamics of a Non-Linear Oscillator: Dependencies on Extrinsic Conditions and Model Form Uncertainty -- Chapter 9. Uncertainty Quantification of a Cantilevered Pipeline Conveying Fluid with Motion Limiting Constraints -- Chapter 10. Playability of a 1734 Guarneri Cello: Info-Gap Robustness Analysis of Uncertainty -- Chapter 11. Uncertainty Quantification of Axially-Loaded Beams with Boundary Condition Imperfections -- Chapter 12. Parameter Uncertainties Effects on the Buckling Characteristics of Cylindrical Structures in Thermal Environment -- Chapter 13. The Beginnings of an Error-Based Framework for Digital Twins of Dynamic Systems -- Chapter 14. Hierarchical Bayesian Model Updating for Nonlinear Structures Using Response Time Histories -- Chapter 15. SLS Integrated Modal Test Uncertainty Quantification using the Hybrid Parametric Variation Method -- Chapter 16. A Forward Model Driven Structural Health Monitoring Paradigm: Damage Detection -- Chapter 17. Best Paper: Uncertainty Quantification of Inducer Eigenvalues using Conditional Assessment of Models and Modal Test of Simpler Systems -- Chapter 18. Application of Speaker Recognition x-Vectors to Structural Health Monitoring -- Chapter 19. Equation Discovery Using an Efficient Variational Bayesian Approach with Spike and Slab Priors -- Chapter 20. Bayesian Finite Element Model Updating Using an Improved Evolution Markov Chain Algorithm -- Chapter 21. Using Dead and Thermal Loads to Capture Behavioral Changes of a Cable-stayed Bridge -- Chapter 22. Vibration-Based Damage Detection Framework of Large Scale Structural Systems. |
| Record Nr. | UNINA-9910522920603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
QSPR/QSAR Analysis Using SMILES and Quasi-SMILES / / edited by Alla P. Toropova, Andrey A. Toropov
| QSPR/QSAR Analysis Using SMILES and Quasi-SMILES / / edited by Alla P. Toropova, Andrey A. Toropov |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (470 pages) |
| Disciplina | 542.85 |
| Collana | Challenges and Advances in Computational Chemistry and Physics |
| Soggetto topico |
Chemistry - Data processing
Quantum theory Computer simulation Chemistry, Physical and theoretical Model theory Computational Chemistry Quantum Simulations Theoretical Chemistry Model Theory |
| ISBN | 3-031-28401-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I - Theoretical conceptions -- Fundamentals of mathematical modeling of chemicals through QSPR/QSAR -- Molecular descriptors in QSPR/QSAR modeling -- Application of SMILES to cheminformatics and generation of optimum SMILES descriptors using CORAL software -- Part II - SMILES based descriptors -- All SMILES Variational Autoencoder for Molecular Property Prediction and Optimization -- SMILES based bioactivity descriptors to model the anti-Dengue virus activity: A case study -- Part III - SMILES for QSPR/QSAR with optimal descriptors -- QSPR models for prediction of redox potentials using optimal descriptors -- Building up QSPR for polymers endpoints by using SMILES-based optimal descriptors -- Part IV - Quasi-SMILES for QSPR/QSAR -- Quasi-SMILES based QSPR/QSAR modeling -- Quasi-SMILES Based Mathematical Model for the Prediction of Percolation Threshold for Conductive Polymer Composites -- On the possibility to build up the QSAR model of different kinds of inhibitory activity for a large list of Human Intestinal Transporter using quasi-SMILES -- Quasi-SMILES as a tool for peptide QSAR modelling -- Part V - SMILES and quasi-SMILES for QSPR/QSAR -- SMILES and quasi-SMILES descriptors in QSAR/QSPR modeling of diverse materials properties in safety and environment application -- SMILES and quasi-SMILES in QSAR Modeling for Prediction of Physicochemical and Biochemical Properties -- Part VI - Possible ways of nano-QSPR/nano-QSAR evolution -- The CORAL software as a tool to develop models for nanomaterials’ endpoints -- Employing Quasi-SMILES notation in development of nano-QSPR models for nanofluids -- Part VII - Possible ways of QSPR/QSAR evolution in the future -- On complementary approaches of assessing the predictive potential of QSPR/QSAR-models -- CORAL: Predictions of Quality of Rice based on Retention index using a combination of Correlation intensity index and Consensus modelling. |
| Record Nr. | UNINA-9910731465303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
