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.
Beyond Quantity : Research with Subsymbolic AI / / ed. by Alexander Waibel, Jens Schröter, Fabian Retkowski, Markus Ramsauer, Anna Echterhölter, Andreas Sudmann
| Beyond Quantity : Research with Subsymbolic AI / / ed. by Alexander Waibel, Jens Schröter, Fabian Retkowski, Markus Ramsauer, Anna Echterhölter, Andreas Sudmann |
| Pubbl/distr/stampa | Bielefeld : , : transcript Verlag, , [2023] |
| Descrizione fisica | 1 online resource (360 p.) |
| Collana | KI-Kritik |
| Soggetto topico | SOCIAL SCIENCE / Media Studies |
| Soggetto non controllato |
Artificial Neural Networks
Computer Sciences Digital Media Digitalization Machine Learning Media Studies Research on Research Sociology of Media Sociology of Science Subsymbolic AI Technology |
| ISBN | 3-8394-6766-7 |
| Classificazione | ST 300 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Acknowledgements -- Introduction -- Research with Subsymbolic AI -- When Achilles met the tortoise -- From algorithmic thinking to thinking machines -- A new canary in the coal mine? -- Cross-interactions between AI and epistemology -- AI and the work of patterns -- Artificial Intelligence in medicine -- Subsymbolic, hybrid and explainable AI -- AI-based approaches in Cultural Heritage -- Interfaces of AI -- Media and the transformative potential of AI in the scientific field -- Putting the AI into social science -- Science in the era of ChatGPT, large language models and generative AI -- The current state of summarization -- Opacity and reproducibility in data processing -- AI in mathematics -- Artificial Intelligence as a cultural technique -- List of contributors -- Editorial |
| Record Nr. | UNISA-996565570303316 |
| Bielefeld : , : transcript Verlag, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computing nature : Turing centenary perspective / / Gordana Dodig-Crnkovic and Raffaela Giovagnoli (eds.)
| Computing nature : Turing centenary perspective / / Gordana Dodig-Crnkovic and Raffaela Giovagnoli (eds.) |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer, c2013 |
| Descrizione fisica | 1 online resource (vi, 269 pages) : illustrations (some color) |
| Disciplina | 577.5609 |
| Altri autori (Persone) |
Dodig CrnkovicGordana <1955->
GiovagnoliRaffaela |
| Collana | Studies in applied philosophy, epistemology and rational ethics |
| Soggetto topico |
Natural computation
Electronic data processing |
| ISBN | 3-642-37225-2 |
| Classificazione |
004
ST 300 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From the Contents: Computing Nature – A Network of Networks of Concurrent Information Processes -- A Framework for Computing Like Nature -- The Coordination of Probabilistic Inference in Neural Systems.-Neurobiological Computation and Synthetic Intelligence.-Nature-like Computation and a Measure of Programmability -- Alan Turing’s Legacy: Info-Computational Philosophy of Nature -- Dualism of Selective and Structural Information in Modelling Dynamics of Information -- Intelligence And Reference. Formal Ontology Of The Natural Computation -- Representation: Analytic Pragmatism and AI -- Salient Features and Key Frames: An Interdisciplinary Perspective on Object Representation. |
| Record Nr. | UNINA-9910438043203321 |
| Berlin ; ; Heidelberg, : Springer, c2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An elementary introduction to statistical learning theory [[electronic resource] /] / Sanjeev Kulkarni, Gilbert Harman
| An elementary introduction to statistical learning theory [[electronic resource] /] / Sanjeev Kulkarni, Gilbert Harman |
| Autore | Kulkarni Sanjeev |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Hoboken, N.J., : Wiley, c2011 |
| Descrizione fisica | 1 online resource (235 p.) |
| Disciplina |
006.3/1
006.31 |
| Altri autori (Persone) | HarmanGilbert |
| Collana | Wiley series in probability and statistics |
| Soggetto topico |
Machine learning - Statistical methods
Pattern recognition systems |
| ISBN |
1-283-09868-7
9786613098689 1-118-02346-3 1-118-02347-1 1-118-02343-9 |
| Classificazione | ST 300 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
An Elementary Introduction to Statistical Learning Theory; Contents; Preface; 1 Introduction: Classification, Learning, Features, and Applications; 1.1 Scope; 1.2 Why Machine Learning?; 1.3 Some Applications; 1.3.1 Image Recognition; 1.3.2 Speech Recognition; 1.3.3 Medical Diagnosis; 1.3.4 Statistical Arbitrage; 1.4 Measurements, Features, and Feature Vectors; 1.5 The Need for Probability; 1.6 Supervised Learning; 1.7 Summary; 1.8 Appendix: Induction; 1.9 Questions; 1.10 References; 2 Probability; 2.1 Probability of Some Basic Events; 2.2 Probabilities of Compound Events
2.3 Conditional Probability2.4 Drawing Without Replacement; 2.5 A Classic Birthday Problem; 2.6 Random Variables; 2.7 Expected Value; 2.8 Variance; 2.9 Summary; 2.10 Appendix: Interpretations of Probability; 2.11 Questions; 2.12 References; 3 Probability Densities; 3.1 An Example in Two Dimensions; 3.2 Random Numbers in [0,1]; 3.3 Density Functions; 3.4 Probability Densities in Higher Dimensions; 3.5 Joint and Conditional Densities; 3.6 Expected Value and Variance; 3.7 Laws of Large Numbers; 3.8 Summary; 3.9 Appendix: Measurability; 3.10 Questions; 3.11 References 4 The Pattern Recognition Problem4.1 A Simple Example; 4.2 Decision Rules; 4.3 Success Criterion; 4.4 The Best Classifier: Bayes Decision Rule; 4.5 Continuous Features and Densities; 4.6 Summary; 4.7 Appendix: Uncountably Many; 4.8 Questions; 4.9 References; 5 The Optimal Bayes Decision Rule; 5.1 Bayes Theorem; 5.2 Bayes Decision Rule; 5.3 Optimality and Some Comments; 5.4 An Example; 5.5 Bayes Theorem and Decision Rule with Densities; 5.6 Summary; 5.7 Appendix: Defining Conditional Probability; 5.8 Questions; 5.9 References; 6 Learning from Examples; 6.1 Lack of Knowledge of Distributions 6.2 Training Data6.3 Assumptions on the Training Data; 6.4 A Brute Force Approach to Learning; 6.5 Curse of Dimensionality, Inductive Bias, and No Free Lunch; 6.6 Summary; 6.7 Appendix: What Sort of Learning?; 6.8 Questions; 6.9 References; 7 The Nearest Neighbor Rule; 7.1 The Nearest Neighbor Rule; 7.2 Performance of the Nearest Neighbor Rule; 7.3 Intuition and Proof Sketch of Performance; 7.4 Using more Neighbors; 7.5 Summary; 7.6 Appendix: When People use Nearest Neighbor Reasoning; 7.6.1 Who Is a Bachelor?; 7.6.2 Legal Reasoning; 7.6.3 Moral Reasoning; 7.7 Questions; 7.8 References 8 Kernel Rules8.1 Motivation; 8.2 A Variation on Nearest Neighbor Rules; 8.3 Kernel Rules; 8.4 Universal Consistency of Kernel Rules; 8.5 Potential Functions; 8.6 More General Kernels; 8.7 Summary; 8.8 Appendix: Kernels, Similarity, and Features; 8.9 Questions; 8.10 References; 9 Neural Networks: Perceptrons; 9.1 Multilayer Feedforward Networks; 9.2 Neural Networks for Learning and Classification; 9.3 Perceptrons; 9.3.1 Threshold; 9.4 Learning Rule for Perceptrons; 9.5 Representational Capabilities of Perceptrons; 9.6 Summary; 9.7 Appendix: Models of Mind; 9.8 Questions; 9.9 References 10 Multilayer Networks |
| Record Nr. | UNINA-9910139455203321 |
Kulkarni Sanjeev
|
||
| Hoboken, N.J., : Wiley, c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An elementary introduction to statistical learning theory / / Sanjeev Kulkarni, Gilbert Harman
| An elementary introduction to statistical learning theory / / Sanjeev Kulkarni, Gilbert Harman |
| Autore | Kulkarni Sanjeev |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Hoboken, N.J., : Wiley, c2011 |
| Descrizione fisica | 1 online resource (235 p.) |
| Disciplina | 006.3/1 |
| Altri autori (Persone) | HarmanGilbert |
| Collana | Wiley series in probability and statistics |
| Soggetto topico |
Machine learning - Statistical methods
Pattern recognition systems |
| ISBN |
1-283-09868-7
9786613098689 1-118-02346-3 1-118-02347-1 1-118-02343-9 |
| Classificazione | ST 300 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
An Elementary Introduction to Statistical Learning Theory; Contents; Preface; 1 Introduction: Classification, Learning, Features, and Applications; 1.1 Scope; 1.2 Why Machine Learning?; 1.3 Some Applications; 1.3.1 Image Recognition; 1.3.2 Speech Recognition; 1.3.3 Medical Diagnosis; 1.3.4 Statistical Arbitrage; 1.4 Measurements, Features, and Feature Vectors; 1.5 The Need for Probability; 1.6 Supervised Learning; 1.7 Summary; 1.8 Appendix: Induction; 1.9 Questions; 1.10 References; 2 Probability; 2.1 Probability of Some Basic Events; 2.2 Probabilities of Compound Events
2.3 Conditional Probability2.4 Drawing Without Replacement; 2.5 A Classic Birthday Problem; 2.6 Random Variables; 2.7 Expected Value; 2.8 Variance; 2.9 Summary; 2.10 Appendix: Interpretations of Probability; 2.11 Questions; 2.12 References; 3 Probability Densities; 3.1 An Example in Two Dimensions; 3.2 Random Numbers in [0,1]; 3.3 Density Functions; 3.4 Probability Densities in Higher Dimensions; 3.5 Joint and Conditional Densities; 3.6 Expected Value and Variance; 3.7 Laws of Large Numbers; 3.8 Summary; 3.9 Appendix: Measurability; 3.10 Questions; 3.11 References 4 The Pattern Recognition Problem4.1 A Simple Example; 4.2 Decision Rules; 4.3 Success Criterion; 4.4 The Best Classifier: Bayes Decision Rule; 4.5 Continuous Features and Densities; 4.6 Summary; 4.7 Appendix: Uncountably Many; 4.8 Questions; 4.9 References; 5 The Optimal Bayes Decision Rule; 5.1 Bayes Theorem; 5.2 Bayes Decision Rule; 5.3 Optimality and Some Comments; 5.4 An Example; 5.5 Bayes Theorem and Decision Rule with Densities; 5.6 Summary; 5.7 Appendix: Defining Conditional Probability; 5.8 Questions; 5.9 References; 6 Learning from Examples; 6.1 Lack of Knowledge of Distributions 6.2 Training Data6.3 Assumptions on the Training Data; 6.4 A Brute Force Approach to Learning; 6.5 Curse of Dimensionality, Inductive Bias, and No Free Lunch; 6.6 Summary; 6.7 Appendix: What Sort of Learning?; 6.8 Questions; 6.9 References; 7 The Nearest Neighbor Rule; 7.1 The Nearest Neighbor Rule; 7.2 Performance of the Nearest Neighbor Rule; 7.3 Intuition and Proof Sketch of Performance; 7.4 Using more Neighbors; 7.5 Summary; 7.6 Appendix: When People use Nearest Neighbor Reasoning; 7.6.1 Who Is a Bachelor?; 7.6.2 Legal Reasoning; 7.6.3 Moral Reasoning; 7.7 Questions; 7.8 References 8 Kernel Rules8.1 Motivation; 8.2 A Variation on Nearest Neighbor Rules; 8.3 Kernel Rules; 8.4 Universal Consistency of Kernel Rules; 8.5 Potential Functions; 8.6 More General Kernels; 8.7 Summary; 8.8 Appendix: Kernels, Similarity, and Features; 8.9 Questions; 8.10 References; 9 Neural Networks: Perceptrons; 9.1 Multilayer Feedforward Networks; 9.2 Neural Networks for Learning and Classification; 9.3 Perceptrons; 9.3.1 Threshold; 9.4 Learning Rule for Perceptrons; 9.5 Representational Capabilities of Perceptrons; 9.6 Summary; 9.7 Appendix: Models of Mind; 9.8 Questions; 9.9 References 10 Multilayer Networks |
| Record Nr. | UNINA-9910818427003321 |
|
Kulkarni Sanjeev
|
||
| Hoboken, N.J., : Wiley, c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Genesis redux [[electronic resource] ] : essays in the history and philosophy of artificial life / / edited by Jessica Riskin
| Genesis redux [[electronic resource] ] : essays in the history and philosophy of artificial life / / edited by Jessica Riskin |
| Pubbl/distr/stampa | Chicago, : University of Chicago Press, 2007 |
| Descrizione fisica | 1 online resource (408 p.) |
| Disciplina | 113/.8 |
| Altri autori (Persone) | RiskinJessica |
| Soggetto topico | Artificial life |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-282-53748-2
9786612537486 0-226-72083-7 |
| Classificazione | ST 300 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- List of Contributors -- List of Illustrations -- Acknowledgments -- 1. Introduction: The Sistine Gap -- 2. The Imitation of Life in Ancient Greek Philosophy -- 3. The Devil as Automaton: Giovanni Fontana and the Meanings of a Fifteenth-Century Machine -- 4. Infinite Gesture: Automata and the Emotions in Descartes and Shakespeare -- 5. Abstracting from the Soul: The Mechanics of Locomotion -- 6. The Anatomy of Artificial Life: An Eighteenth-Century Perspective -- 7. The Homunculus and the Mandrake: Art Aiding Nature versus Art Faking Nature -- 8. Sex Ratio Theory, Ancient and Modern: An Eighteenth- Century Debate about Intelligent Design and the Development of Models in Evolutionary Biology -- 9. The Gender of Automata in Victorian Britain -- 10. Techno-Humanism: Requiem for the Cyborg -- 11. Nanobots and Nanotubes: Two Alternative Biomimetic Paradigms of Nanotechnology -- 12. Creating Insight: Gestalt Theory and the Early Computer -- 13. Perpetual Devotion: A Sixteenth-Century Machine That Prays -- 14. Motions and Passions: Music-Playing Women Automata and the Culture of Affect in Late Eighteenth-Century Germany -- 15. An Archaeology of Artificial Life, Underwater -- 16. Booting Up Baby -- 17. Body Language: Lessons from the Near-Human -- Index |
| Record Nr. | UNINA-9910456835903321 |
| Chicago, : University of Chicago Press, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Genesis redux [[electronic resource] ] : essays in the history and philosophy of artificial life / / edited by Jessica Riskin
| Genesis redux [[electronic resource] ] : essays in the history and philosophy of artificial life / / edited by Jessica Riskin |
| Pubbl/distr/stampa | Chicago, : University of Chicago Press, 2007 |
| Descrizione fisica | 1 online resource (408 p.) |
| Disciplina | 113/.8 |
| Altri autori (Persone) | RiskinJessica |
| Soggetto topico | Artificial life |
| Soggetto non controllato | artificial life, creation, mechanism, consciousness, inanimate, robots, machines, science, technology, intelligence, antiquity, ancient greece, philosophy, giovanni fontana, automata, descartes, shakespeare, locomotion, emotion, mechanics, mandrake, homunculus, art, nature, evolutionary biology, intelligent design, sex ratio, nanotechnology, cyborg, computer, gestalt theory, prayer, affect, religion, spirituality, language, nonfiction |
| ISBN |
1-282-53748-2
9786612537486 0-226-72083-7 |
| Classificazione | ST 300 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- List of Contributors -- List of Illustrations -- Acknowledgments -- 1. Introduction: The Sistine Gap -- 2. The Imitation of Life in Ancient Greek Philosophy -- 3. The Devil as Automaton: Giovanni Fontana and the Meanings of a Fifteenth-Century Machine -- 4. Infinite Gesture: Automata and the Emotions in Descartes and Shakespeare -- 5. Abstracting from the Soul: The Mechanics of Locomotion -- 6. The Anatomy of Artificial Life: An Eighteenth-Century Perspective -- 7. The Homunculus and the Mandrake: Art Aiding Nature versus Art Faking Nature -- 8. Sex Ratio Theory, Ancient and Modern: An Eighteenth- Century Debate about Intelligent Design and the Development of Models in Evolutionary Biology -- 9. The Gender of Automata in Victorian Britain -- 10. Techno-Humanism: Requiem for the Cyborg -- 11. Nanobots and Nanotubes: Two Alternative Biomimetic Paradigms of Nanotechnology -- 12. Creating Insight: Gestalt Theory and the Early Computer -- 13. Perpetual Devotion: A Sixteenth-Century Machine That Prays -- 14. Motions and Passions: Music-Playing Women Automata and the Culture of Affect in Late Eighteenth-Century Germany -- 15. An Archaeology of Artificial Life, Underwater -- 16. Booting Up Baby -- 17. Body Language: Lessons from the Near-Human -- Index |
| Record Nr. | UNINA-9910781066703321 |
| Chicago, : University of Chicago Press, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Genesis redux : essays in the history and philosophy of artificial life / / edited by Jessica Riskin
| Genesis redux : essays in the history and philosophy of artificial life / / edited by Jessica Riskin |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Chicago, : University of Chicago Press, 2007 |
| Descrizione fisica | 1 online resource (408 p.) |
| Disciplina | 113/.8 |
| Altri autori (Persone) | RiskinJessica |
| Soggetto topico | Artificial life |
| ISBN |
1-282-53748-2
9786612537486 0-226-72083-7 |
| Classificazione | ST 300 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- List of Contributors -- List of Illustrations -- Acknowledgments -- 1. Introduction: The Sistine Gap -- 2. The Imitation of Life in Ancient Greek Philosophy -- 3. The Devil as Automaton: Giovanni Fontana and the Meanings of a Fifteenth-Century Machine -- 4. Infinite Gesture: Automata and the Emotions in Descartes and Shakespeare -- 5. Abstracting from the Soul: The Mechanics of Locomotion -- 6. The Anatomy of Artificial Life: An Eighteenth-Century Perspective -- 7. The Homunculus and the Mandrake: Art Aiding Nature versus Art Faking Nature -- 8. Sex Ratio Theory, Ancient and Modern: An Eighteenth- Century Debate about Intelligent Design and the Development of Models in Evolutionary Biology -- 9. The Gender of Automata in Victorian Britain -- 10. Techno-Humanism: Requiem for the Cyborg -- 11. Nanobots and Nanotubes: Two Alternative Biomimetic Paradigms of Nanotechnology -- 12. Creating Insight: Gestalt Theory and the Early Computer -- 13. Perpetual Devotion: A Sixteenth-Century Machine That Prays -- 14. Motions and Passions: Music-Playing Women Automata and the Culture of Affect in Late Eighteenth-Century Germany -- 15. An Archaeology of Artificial Life, Underwater -- 16. Booting Up Baby -- 17. Body Language: Lessons from the Near-Human -- Index |
| Record Nr. | UNINA-9910820295603321 |
| Chicago, : University of Chicago Press, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of satisfiability [[electronic resource] /] / edited by Armin Biere ... [et al.]
| Handbook of satisfiability [[electronic resource] /] / edited by Armin Biere ... [et al.] |
| Pubbl/distr/stampa | Amsterdam, The Netherlands ; ; Washington, DC, : IOS Press, c2009 |
| Descrizione fisica | 1 online resource (980 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | BiereArmin |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Propositional calculus
Decision making Computer algorithms Algebra, Boolean |
| ISBN |
1-4416-1678-0
1-60750-376-X 600-00-1439-2 |
| Classificazione |
ST 125
ST 300 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Contents; Part I. Theory and Algorithms; Chapter 1. A History of Satisfiability; Chapter 2. CNF Encodings; Chapter 3. Complete Algorithms; Chapter 4. CDCL Solvers; Chapter 5. Look-Ahead Based SAT Solvers; Chapter 6. Incomplete Algorithms; Chapter 7. Fundaments of Branching Heuristics; Chapter 8. Random Satisfiability; Chapter 9. Exploiting Runtime Variation in Complete Solvers; Chapter 10. Symmetry and Satisfiability; Chapter 11. Minimal Unsatisfiability and Autarkies; Chapter 12. Worst-Case Upper Bounds; Chapter 13. Fixed-Parameter Tractability
Part II. Applications and ExtensionsChapter 14. Bounded Model Checking; Chapter 15. Planning and SAT; Chapter 16. Software Verification; Chapter 17. Combinatorial Designs by SAT Solvers; Chapter 18. Connections to Statistical Physics; Chapter 19. MaxSAT; Chapter 20. Model Counting; Chapter 21. Non-Clausal SAT and ATPG; Chapter 22. Pseudo-Boolean and Cardinality Constraints; Chapter 23. QBF Theory; Chapter 24. QBFs reasoning; Chapter 25. SAT Techniques for Modal and Description Logics; Chapter 26. Satisfiability Modulo Theories; Chapter 27. Stochastic Boolean Satisfiability; Subject Index Cited Author IndexContributing Authors and Affiliations |
| Record Nr. | UNINA-9910778077003321 |
| Amsterdam, The Netherlands ; ; Washington, DC, : IOS Press, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of satisfiability / / edited by Armin Biere ... [et al.]
| Handbook of satisfiability / / edited by Armin Biere ... [et al.] |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam, The Netherlands ; ; Washington, DC, : IOS Press, c2009 |
| Descrizione fisica | 1 online resource (980 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | BiereArmin |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Propositional calculus
Decision making Computer algorithms Algebra, Boolean |
| ISBN |
1-4416-1678-0
1-60750-376-X 600-00-1439-2 |
| Classificazione |
ST 125
ST 300 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Contents; Part I. Theory and Algorithms; Chapter 1. A History of Satisfiability; Chapter 2. CNF Encodings; Chapter 3. Complete Algorithms; Chapter 4. CDCL Solvers; Chapter 5. Look-Ahead Based SAT Solvers; Chapter 6. Incomplete Algorithms; Chapter 7. Fundaments of Branching Heuristics; Chapter 8. Random Satisfiability; Chapter 9. Exploiting Runtime Variation in Complete Solvers; Chapter 10. Symmetry and Satisfiability; Chapter 11. Minimal Unsatisfiability and Autarkies; Chapter 12. Worst-Case Upper Bounds; Chapter 13. Fixed-Parameter Tractability
Part II. Applications and ExtensionsChapter 14. Bounded Model Checking; Chapter 15. Planning and SAT; Chapter 16. Software Verification; Chapter 17. Combinatorial Designs by SAT Solvers; Chapter 18. Connections to Statistical Physics; Chapter 19. MaxSAT; Chapter 20. Model Counting; Chapter 21. Non-Clausal SAT and ATPG; Chapter 22. Pseudo-Boolean and Cardinality Constraints; Chapter 23. QBF Theory; Chapter 24. QBFs reasoning; Chapter 25. SAT Techniques for Modal and Description Logics; Chapter 26. Satisfiability Modulo Theories; Chapter 27. Stochastic Boolean Satisfiability; Subject Index Cited Author IndexContributing Authors and Affiliations |
| Record Nr. | UNINA-9910822485403321 |
| Amsterdam, The Netherlands ; ; Washington, DC, : IOS Press, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Machine learning for sustainable development / / edited by Kamal Kant Hiran [and three others]
| Machine learning for sustainable development / / edited by Kamal Kant Hiran [and three others] |
| Pubbl/distr/stampa | Berlin ; ; Boston : , : De Gruyter, , [2021] |
| Descrizione fisica | 1 online resource (XIII, 201 p.) |
| Disciplina | 338.927 |
| Collana | De Gruyter Frontiers in Computational Intelligence |
| Soggetto topico |
Sustainable development
Machine learning |
| ISBN |
1-5231-5446-2
3-11-070251-7 |
| Classificazione | ST 300 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- About editors -- List of contributors -- Chapter 1. A framework for applying artificial intelligence (AI) with Internet of nanothings (IoNT) -- Chapter 2 Opportunities and challenges in transforming higher education through machine learning -- Chapter 3 Efficient renewable energy integration: a pertinent problem and advanced time series data analytics solution -- Chapter 4 A comprehensive review on the application of machine learning techniques for analyzing the smart meter data -- Chapter 5 Application of machine learning algorithms for facial expression analysis -- Chapter 6 Prediction of quality analysis for crop based on machine learning model -- Chapter 7 Data model recommendations for real-time machine learning applications: a suggestive approach -- Chapter 8 Machine learning for sustainable agriculture -- Chapter 9 Application of machine learning in SLAM algorithms -- Chapter 10 Machine learning for weather forecasting -- Chapter 11 Applications of conventional machine learning and deep learning for automation of diagnosis: case study -- Index |
| Record Nr. | UNINA-9910554227403321 |
| Berlin ; ; Boston : , : De Gruyter, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
