Filter by
Modality, Semantics and Interpretations
This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The cont…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-47196-8
- Collation
- VI, 188
- Series Title
- Logic in Asia: Studia Logica Library
- Call Number
- -
Methodologies and Intelligent Systems for Technology Enhanced Learning
The 6th International Conference in Methodologies and intelligent Systems for Technology Enhanced Learning held in Seville (Spain) is host by the University of Seville from 1st to 3rd June, 2016. The 6th edition of this conference expands the topics of the evidence-based TEL workshops series in order to provide an open forum for discussing intelligent systems for TEL, their roots in novel learn…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-40164-5
- Collation
- XV, 193
- Series Title
- Advances in Intelligent Systems and Computing
- Call Number
- -
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015 18t…
The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, held in Munich, Germany, in October 2015. Based on rigorous peer reviews, the program committee carefully selected 263 revised papers from 810 submissions for presentation in three volumes. The papers…
- Edition
- 1
- ISBN/ISSN
- 1611-3349
- Collation
- XXVII, 720
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015
The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, held in Munich, Germany, in October 2015. Based on rigorous peer reviews, the program committee carefully selected 263 revised papers from 810 submissions for presentation in three volumes. The papers…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-24553-9
- Collation
- XLVII, 740
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Game Theoretic Analysis of Congestion, Safety and Security
Maximizing reader insights into the roles of intelligent agents in networks, air traffic and emergency departments, this volume focuses on congestion in systems where safety and security are at stake, devoting special attention to applying game theoretic analysis of congestion to: protocols in wired and wireless networks; power generation, air transportation and emergency department overcrowd…
- Edition
- -
- ISBN/ISSN
- 978-3-319-13008-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Metacognition: Fundaments, Applications, and Trends
This book is devoted to the Metacognition arena. It highlights works that show relevant analysis, reviews, theoretical, and methodological proposals, as well as studies, approaches, applications, and tools that shape current state, define trends and inspire future research. As a result of the revision process fourteen manuscripts were accepted and organized into five parts as follows: · Con…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-11061-5
- Collation
- XIX, 367
- Series Title
- Intelligent Systems Reference Library
- Call Number
- -
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2015 1…
The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, held in Munich, Germany, in October 2015. Based on rigorous peer reviews, the program committee carefully selected 263 revised papers from 810 submissions for presentation in three volumes. The papers…
- Edition
- 1
- ISBN/ISSN
- 1611-3349
- Collation
- XXVII, 780
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Hybrid Museum Experiences Theory and Design
"So you’re the one getting this gift? Lucky you! Someone who knows you has visited the museum. They searched out things they thought you would care about, and they took photos and left messages for you." This is the welcoming message for the Gift app, designed to create a very personal museum visit. Hybrid Museum Experiences use new technologies to augment, expand or alter the physical experi…
- Edition
- -
- ISBN/ISSN
- 9789048552849
- Collation
- -
- Series Title
- -
- Call Number
- -
German Cinema in the Age of Neoliberalism
This book presents a new history of German film from 1980-2010, a period that witnessed rapid transformations, including intensified globalization, a restructured world economy, geopolitical realignment, and technological change, all of which have affected cinema in fundamental ways. Rethinking the conventional periodization of German film history, Baer posits 1980-rather than 1989-as a crucial…
- Edition
- -
- ISBN/ISSN
- 9789048551958
- Collation
- -
- Series Title
- -
- Call Number
- -
Flows and Frictions in Trans-Himalayan Spaces Histories of Networking and Bo…
Flows and Frictions in Trans-Himalayan Spaces traces movements and connections in a region known for its formidable obstacles to mobility. Eight original essays and a conceptual introduction engage with questions of networks and interconnection between people across a bordered landscape. Mobility among the extremely varied ecologies of south-western China, Myanmar and north-eastern India, with …
- Edition
- -
- ISBN/ISSN
- 9789048555581
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography