Filter by
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following t…
- Edition
- Ed. 1
- ISBN/ISSN
- 9783031131882, 9783031131882
- Collation
- 549
- Series Title
- Lecture Notes in Computer Science, 13372
- Call Number
- 006.3 COM c
Highlights of Practical Applications of Agents, Multi-Agent Systems, and Sust…
This book constitutes the refereed proceedings of the workshops which complemented the 13th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2015, held in Salamanca, Spain, in June 2015. The 36 revised full papers presented were carefully reviewed and selected from 91 submissions. This volume presents the papers that have been accepted for the followin…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19032-7
- Collation
- XVIII, 422
- Series Title
- -
- Call Number
- 004
Engineering Education 4.0 Excellent Teaching and Learning in Engineering Sci…
This book presents a collection of results from the interdisciplinary research project “ELLI” published by researchers at RWTH Aachen University, the TU Dortmund and Ruhr-Universität Bochum between 2011 and 2016. All contributions showcase essential research results, concepts and innovative teaching methods to improve engineering education. Further, they focus on a variety of areas, includ…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-46916-4
- Collation
- 83 b/w illustrations, 245 illustrations in colour
- Series Title
- -
- Call Number
- -
Rethinking Moral Status
Common-sense morality implicitly assumes that reasonably clear distinctions can be drawn between the ‘full’ moral status usually attributed to ordinary adult humans, the partial moral status attributed to non-human animals, and the absence of moral status, usually ascribed to machines and other artefacts. These assumptions were always subject to challenge; but they now come under renewed pr…
- Edition
- -
- ISBN/ISSN
- 9780192894076
- Collation
- -
- Series Title
- -
- Call Number
- -
Artificial Neural Network Modelling
This book covers theoretical aspects as well as recent innovative applications of Artificial Neural networks (ANNs) in natural, environmental, biological, social, industrial and automated systems. It presents recent results of ANNs in modelling small, large and complex systems under three categories, namely, 1) Networks, Structure Optimisation, Robustness and Stochasticity 2) Advances in Mo…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-28495-8
- Collation
- VII, 472
- Series Title
- Studies in Computational Intelligence
- Call Number
- 006.3 ART a
Artificial Life and Intelligent Agents: First International Symposium, ALIA 2…
This book constitutes the refereed proceedings of the First International Symposium on Artificial Life and Intelligent Agents, ALIA 2014, held in Bangor, UK, in November 2014. The 10 revised full papers were carefully reviewed and selected from 20 submissions. The papers are organized in topical sections on learning and evolution; human interaction; robotic simulation.
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-18084-7
- Collation
- XI, 141
- Series Title
- Communications in Computer and Information Science
- Call Number
- 006.3 ART a
Artificial Life and Computational Intelligence: First Australasian Conference…
This book constitutes the refereed proceedings of the First Australasian Conference on Artificial Life and Computational Intelligence, ACALCI 2015, held in Newcastle, NSW, Australia, in February 2015. The 34 revised full papers presented were carefully reviewed and selected from 63 submissions. The papers are organized in the following topical sections: philosophy and theory; game environments …
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-14803-8
- Collation
- XIV, 448
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 ART a
Artificial Intelligent Approaches in Petroleum Geosciences
This book presents several intelligent approaches for tackling and solving challenging practical problems facing those in the petroleum geosciences and petroleum industry. Written by experienced academics, this book offers state-of-the-art working examples and provides the reader with exposure to the latest developments in the field of intelligent methods applied to oil and gas research, explor…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-16531-8
- Collation
- XII, 290
- Series Title
- -
- Call Number
- 006.3 ART a
Artificial Intelligence in Theory and Practice IV: 4th IFIP TC 12 Internation…
This book constitutes the refereed proceedings of the 4th IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2015, Held as Part of WCC 2015, in Daejeon, South Korea, in October 2015. The 13 full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on artificial intelligence techniques in biomedicine, artific…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-25261-2
- Collation
- X, 148
- Series Title
- IFIP Advances in Information and Communication Technology
- Call Number
- 006.3 ART a
Artificial Intelligence in Medicine: 15th Conference on Artificial Intelligen…
This book constitutes the refereed proceedings of the 15th Conference on Artificial Intelligence in Medicine, AIME 2015, held in Pavia, Italy, in June 2015. The 19 revised full and 24 short papers presented were carefully reviewed and selected from 99 submissions. The papers are organized in the following topical sections: process mining and phenotyping; data mining and machine learning; tempor…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-19551-3
- Collation
- XVI, 345
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 ART a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography