Filter by
Linguistics for the Age of AI
A human-inspired, linguistically sophisticated model of language understanding for intelligent agent systems. One of the original goals of artificial intelligence research was to endow intelligent agents with human-level natural language capabilities. Recent AI research, however, has focused on applying statistical and machine learning approaches to big data rather than attempting to model w…
- Edition
- Ed. 1
- ISBN/ISSN
- 9780262363136
- Collation
- -
- Series Title
- -
- Call Number
- 400 MCS l
Springer Handbook of Model-Based Science
This handbook offers the first comprehensive reference guide to the interdisciplinary field of model-based reasoning. It highlights the role of models as mediators between theory and experimentation, and as educational devices, as well as their relevance in testing hypotheses and explanatory functions. The Springer Handbook merges philosophical, cognitive and epistemological perspectives on mod…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-30526-4
- Collation
- Mathematics
- Series Title
- -
- Call Number
- 510
User Modeling, Adaptation and Personalization 23rd International Conference,…
This book constitutes the refereed proceedings of the 23rd International Conference on User Modeling, Adaptation and Personalization, UMAP 2015, held in Dublin, Ireland, in June/July 2015. The 25 long and 7 short papers of the research paper track were carefully reviewed and selected from 112 submissions. The papers reflect the conference theme "Contextualizing the World", highlighting the s…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20267-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Robot Operating System (ROS)
This second volume is a continuation of the successful first volume of this Springer book, and as well as addressing broader topics it puts a particular focus on unmanned aerial vehicles (UAVs) with Robot Operating System (ROS). Consisting of three types of chapters: tutorials, cases studies, and research papers, it provides comprehensive additional material on ROS and the aspects of developing…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-54927-9
- Collation
- Kedokteran/Robotik
- Series Title
- Studies in Computational Intelligence
- Call Number
- 629.8
Unsupervised Learning Algorithms
This book summarizes the state-of-the-art in unsupervised learning. The contributors discuss how with the proliferation of massive amounts of unlabeled data, unsupervised learning algorithms, which can automatically discover interesting and useful patterns in such data, have gained popularity among researchers and practitioners. The authors outline how these algorithms have found numerous appli…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24211-8
- Collation
- -
- Series Title
- -
- Call Number
- -
AI in the Wild: Sustainability in the Age of Artificial Intelligence
Examining the potential benefits and risks of using artificial intelligence to advance global sustainability. Drones with night vision are tracking elephant and rhino poachers in African wildlife parks and sanctuaries; smart submersibles are saving coral from carnivorous starfish on Australia's Great Barrier Reef; recycled cell phones alert Brazilian forest rangers to the sound of illegal lo…
- Edition
- -
- ISBN/ISSN
- 9780262359573
- Collation
- -
- Series Title
- -
- Call Number
- 004 DAU a
Optimising Emotions, Incubating Falsehoods: How to Protect the Global Civic B…
This open access book deconstructs the core features of online misinformation and disinformation. It finds that the optimisation of emotions for commercial and political gain is a primary cause of false information online. The chapters distil societal harms, evaluate solutions, and consider what must be done to strengthen societies as new biometric forms of emotion profiling emerge. Based on a …
- Edition
- Ed. 1
- ISBN/ISSN
- 9783031135514, 9783031135514
- Collation
- 280
- Series Title
- -
- Call Number
- 320 BAK o
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography