Böcker i Lecture Notes in Computer Science-serien

The overall program covers various aspects of robotics, including navigation, planning, sensing and perception, flying and swarm robots, ethics, humanoid robotics, human-robot interaction, and social robotics.

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016.The 10 revised full papers were carefully reviewed and selected from 13 submissions. Also included are an invited paper and two keynote talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on High Performance Computing in Science and Engineering, HPCSE 2015, held in Solan, Czech Republic, in May 2015. The 14 papers presented in this volume were carefully reviewed and selected from 21 submissions.

The three-volume set LNCS 9746, 9747, and 9748 constitutes the proceedings of the 5th International Conference on Design, User Experience, and Usability, DUXU 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, Canada, in July 2016, jointly with 13 other thematically similar conferences.

The two-volume set LNCS 9734 and 9735 constitutes the refereed proceedings of the Human Interface and the Management of Information thematic track, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, Canada, in July 2016. HCII 2016 received a total of 4354 submissions of which 1287 papers were accepted for publication after a careful reviewing process. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas This volume contains papers addressing the following major topics: information presentation; big data visualization; information analytics; discovery and exploration; interaction design, human-centered design; haptic, tactile and multimodal interaction.

This book constitutes the refereed proceedings of the 10th International Conference on E-Learning and Games, Edutainment 2016, held in Hangzhou, China, in April 2016. The 36 full papers presented were carefully reviewed and selected from 60 submissions. They are organized in the following topical sections: E-learning and game;

The two-volume set LNCS 9722 and LNCS 9723 constitutes the refereed proceedings of the 21st Australasian Conference on Information Security and Privacy, ACISP 2016, held in Melbourne, VIC, Australia, in July 2016. The papers of Part I (LNCS 9722) are organized in topical sections on National Security Infrastructure; Social Network Security;

The three-volume set LNCS 9737-9739 constitutes the refereed proceedings of the10th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2016, held as part of the 10th International Conference on Human-ComputerInteraction, HCII 2016, in Toronto, ON, Canada in July 2016, jointly with 15other thematically similar conferences. The total of 1287 papers presented at the HCII 2016 conferences were carefully reviewed and selected from 4354 submissions. The papers included in the three UAHCI 2016 volumes address the following major topics: novel approaches to accessibility; design for all and eInclusion best practices; universal access in architecture and product design; personal and collective informatics in universal access; eye-tracking in universal access; multimodal and natural interaction for universal access; universal access to mobile interaction; virtual reality, 3D and universal access; intelligent and assistive environments; universal access to education and learning; technologies for ASD and cognitive disabilities; design for healthy aging and rehabilitation; universal access to media and games; and universal access to mobility and automotive.

This book constitutes the refereed proceedings of the 7th International Conference on Digital Human Modelling: Applications in Health, Safety, Ergonomics and Risk Management, DHM 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016 and received a total of 4354 submissions, of which 1287 papers were accepted for publication after a careful reviewing process. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. This volume contains papers addressing the following major topics: anthropometry, ergonomics, design and comfort; physiology and anatomy models; motion prediction and recognition; quality and safety in healthcare; design for health; work design and support; modeling human behavior and cognition.

The three-volume set LNCS 9737-9739 constitutes the refereed proceedings of the 10th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2016, held as part of the 10th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, ON, Canada in July 2016, jointly with 15 other thematically similar conferences. The total of 1287 papers presented at the HCII 2016 conferences were carefully reviewed and selected from 4354 submissions. The papers included in the three UAHCI 2016 volumes address the following major topics: novel approaches to accessibility; design for all and eInclusion best practices; universal access in architecture and product design; personal and collective informatics in universal access; eye-tracking in universal access; multimodal and natural interaction for universal access; universal access to mobile interaction; virtual reality, 3D and universal access; intelligent and assistive environments; universal access to education and learning; technologies for ASD and cognitive disabilities; design for healthy aging and rehabilitation; universal access to media and games; and universal access to mobility and automotive. 

The three-volume set LNCS 9737-9739 constitutes the refereed proceedings of the 10th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2016, held as part of the 10th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, ON, Canada in July 2016, jointly with 15 other thematically similar conferences. The total of 1287 papers presented at the HCII 2016 conferences were carefully reviewed and selected from 4354 submissions. The papers included in the three UAHCI 2016 volumes address the following major topics: novel approaches to accessibility; design for all and eInclusion best practices; universal access in architecture and product design; personal and collective informatics in universal access; eye-tracking in universal access; multimodal and natural interaction for universal access; universal access to mobile interaction; virtual reality, 3D and universal access; intelligent and assistive environments; universal access to education and learning; technologies for ASD and cognitive disabilities; design for healthy aging and rehabilitation; universal access to media and games; and universal access to mobility and automotive.

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods).The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were carefully reviewed and selected from 79 submissions. The papers have been organized in topical sections on satisfiability of Boolean formulas, satisfiability modulo theory, rewriting, arithmetic reasoning and mechanizing mathematics, first-order logic and proof theory, first-order theorem proving, higher-order theorem proving, modal and temporal logics, non-classical logics, and verification.

This book constitutes the refereed proceedings of the 4th International Conference on Games and Learning Alliance, GALA 2015, held in Rome, Italy, in December 2015. The 33 revised full papers and 15 short papers presented were carefully reviewed and selected from 102 submissions.

This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 2016. The 18 revised full papers and 19 invited papers and invited extended abstracts were carefully reviewed and selected from 40 submissions.

This book constitutes the proceedings of the 8th International Conference on Cross-Cultural Design, CCD 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016 and received a total of 4354 submissions, of which 1287 papers and 186 poster papers were accepted for publication after a careful reviewing process. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas.The 81 papers presented in the CCD 2016 proceedings are organized in topical sections as follows: culture and user experience; cross-cultural product and service design; cultural ergonomics; culture and mobile interaction; culture in smart environments; cross-cultural design for health, well-being and inclusion; and culture for e-commerce and business.

This book constitutes the refereed proceedings of the 13th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016.The total of 1287 regular papers and 186 poster papers presented at the HCII 2016 conferences was carefully reviewed and selected from 4354 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The 47 contributions included in the EPCE proceedings were organized in the following topical sections: mental workload and performance; interaction and cognition; team cognition; cognition in complex and high risk environments; and cognition in aviation.

This two-volume set, LNCS 9658 and 9659, constitutes the thoroughly refereed proceedings of the 17th International Conference on Web-Age Information Management, WAIM 2016, held in Nanchang, China, in June 2016.

This volume constitutes the refereed proceedings of the 10th International Conference on Foundations of Augmented Cognition, AC 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, which took place in Toronto, Canada, in July 2016.

This volume constitutes the refereed proceedings of the 10th International Conference on Foundations of Augmented Cognition, AC 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, which took place in Toronto, Canada, in July 2016.

The two LNCS volume set 9754-9755 constitutes the refereed proceedings of the Second International Conference on Human Aspects of IT for the Aged Population, ITAP 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016, jointly with 14 other thematically conferences. The total of 1287 papers and 186 poster papers presented at the HCII 2016 conferences were carefully reviewed and selected from 4354 submissions. LNCS 9754, Design for Aging (Part I), addresses the following major topics: designing for and with the elderly; technology use and acceptance by older users; psychological and cognitive aspects of interaction and aging; mobile and wearable technologies for the elderly. LNCS 9755, Healthy and Active Aging (Part II), addresses these major topics: smart and assistive environments; aging and social media; aging, learning, training and games; and aging, mobility and driving.

The two LNCS volume set 9754-9755 constitutes the refereed proceedings of the Second International Conference on Human Aspects of IT for the Aged Population, ITAP 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016, jointly with 14 other thematically conferences. The total of 1287 papers and 186 poster papers presented at the HCII 2016 conferences were carefully reviewed and selected from 4354 submissions. LNCS 9754, Design for Aging (Part I), addresses the following major topics: designing for and with the elderly; technology use and acceptance by older users; psychological and cognitive aspects of interaction and aging; mobile and wearable technologies for the elderly. LNCS 9755, Healthy and Active Aging (Part II), addresses these major topics: smart and assistive environments; aging and social media; aging, learning, training and games; and aging, mobility and driving.

This two-volume set, LNCS 9658 and 9659, constitutes the thoroughly refereed proceedings of the 17th International Conference on Web-Age Information Management, WAIM 2016, held in Nanchang, China, in June 2016. The 80 full research papers presented together with 8 demonstrations were carefully reviewed and selected from 266 submissions.

This book constitutes the refereed proceedings of the 9th International Conference on Social, Cultural, and Behavioral Modeling & Prediction and Behavior Representation in Modeling and Simulation, SBP-BRiMS 2016, held in Washington, DC, USA, in June/July 2016.The 38 full papers presented were carefully reviewed and selected from 78 submissions. The goal of this conference was to build a new community of social cyber scholars by bringing together and fostering interaction between members of the scientific, corporate, government and military communities interested in understanding, forecasting and impacting human socio-cultural behavior. For this three challenges have to be met: deep understanding, socio-cognitive reasoning, and re-usable computational technology. Thus papers come from a wide number of disciplines: computer science, psychology, sociology, communication science, public health, bioinformatics, political science, and organizational science.

This book constitutes the refereed proceedings of the 8th International Conference on Social Computing and Social Media, SCSM 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016.

This volume constitutes the refereed proceedings of the 8th International Conference on HCI in Virtual, Augmented and Mixed Reality, VAMR 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, which took place in Toronto, Canada, in July 2016. HCII 2016 received a total of 4354 submissions, of which 1287 papers were accepted for publication after a careful reviewing process. The 70 papers presented in this volume are organized in topical sections named: Usability, User Experience and Design in VAMR, Perception, Cognition, Psychology and Behaviour in VAMR, Multimodal Interaction in VAMR, Novel Devices and Technologies in VAMR, VAMR Applications in Aviation, Space and the Military, Medicine, Health and Well-Being Applications of VAMR, VAMR in Industry, Design and Engineering, Novel Virtual Environments.

The three-volume set LNCS 10288, 10289, and 10290 constitutes the proceedings of the 6th International Conference on Design, User Experience, and Usability, DUXU 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada, in July 2017, jointly with 14 other thematically similar conferences. The total of 1228 papers presented at the HCII 2017 conferences were carefully reviewed and selected from 4340 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The total of 168 contributions included in the DUXU proceedings were carefully reviewed and selected for inclusion in this three-volume set. LNCS 10288:The 56 papers included in this volume are organized in topical sections on design thinking and design philosophy; aesthetics and perception in design; user experience evaluation methods and tools; user centered design in the software development lifecycle; DUXU education and training. LNCS 10289: The 56 papers included in this volume are organized in topical sections on persuasive and emotional design; mobile DUXU; designing the playing experience; designing the virtual, augmented and tangible experience; wearables and fashion technology. LNCS 10290: The 56 papers included in this volume are organized in topical sections on information design; understanding the user; DUXU for children and young users; DUXU for art, culture, tourism and environment; DUXU practice and case studies.

The three-volume set LNCS 10288, 10289, and 10290 constitutes the proceedings of the 6th International Conference on Design, User Experience, and Usability, DUXU 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada, in July 2017, jointly with 14 other thematically similar conferences. The total of 1228 papers presented at the HCII 2017 conferences were carefully reviewed and selected from 4340 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The total of 168 contributions included in the DUXU proceedings were carefully reviewed and selected for inclusion in this three-volume set. LNCS 10288:The 56 papers included in this volume are organized in topical sections on design thinking and design philosophy; aesthetics and perception in design; user experience evaluation methods and tools; user centered design in the software development lifecycle; DUXU education and training. LNCS 10289: The 56 papers included in this volume are organized in topical sections on persuasive and emotional design; mobile DUXU; designing the playing experience; designing the virtual, augmented and tangible experience; wearables and fashion technology. LNCS 10290: The 56 papers included in this volume are organized in topical sections on information design; understanding the user; DUXU for children and young users; DUXU for art, culture, tourism and environment; DUXU practice and case studies.