Böcker i Lecture Notes in Computer Science-serien

This book constitutes the conference proceedings of the 6th International Conference on Algorithmic Decision Theory, ADT 2019, held in Durham, NC, USA, in October 2019.

This book constitutes the refereed proceedings of the 18th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ADHOC-NOW 2019, held in Luxembourg, in October 2019. The 37 full and 10 short papers presented were carefully reviewed and selected from 64 submissions. performance improvement of wireless and sensor networks;

This book constitutes the refereed proceedings of the 18th International Conference on Cryptology and Network Security, CANS 2019, held in Fuzhou, China, in October 2019. The 21 full papers and 8 short papers were carefully reviewed and selected from 55 submissions. The papers focus on topics such as homomorphic encryption;

This book constitutes the proceedings of the 6th International Conference on Cryptology and Security in Latin America, LATINCRYPT 2019, held in Santiago di Chile, Chile, in October 2019.

The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. secure protocols; blockchain and smart contracts. Part II: software security;

This volume constitutes the refereed proceedings of the 14th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2019, held in Leon, Spain, in September 2019. The 64 full papers published in this volume were carefully reviewed and selected from 134 submissions.

The four-volume set LNCS 11746-11749 constitutes the proceedings of the 17th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2019, held in Paphos, Cyprus, in September 2019.The total of 111 full papers presented together with 55 short papers and 48 other papers in these books was carefully reviewed and selected from 385 submissions. The contributions are organized in topical sections named:Part I: accessibility design principles; assistive technology for cognition and neurodevelopment disorders; assistive technology for mobility and rehabilitation; assistive technology for visually impaired; co-design and design methods; crowdsourcing and collaborative work; cyber security and e-voting systems; design methods; design principles for safety/critical systems.Part II: e-commerce; education and HCI curriculum I; education and HCI curriculum II; eye-gaze interaction; games and gamification; human-robot interaction and 3D interaction; information visualization; information visualization and augmented reality; interaction design for culture and development I. Part III: interaction design for culture and development II; interaction design for culture and development III; interaction in public spaces; interaction techniques for writing and drawing; methods for user studies; mobile HCI; personalization and recommender systems; pointing, touch, gesture and speech-based interaction techniques; social networks and social media interaction.Part IV: user modelling and user studies; user experience; users' emotions, feelings and perception; virtual and augmented reality I; virtual and augmented reality II; wearable and tangible interaction; courses; demonstrations and installations; industry case studies; interactive posters; panels; workshops.

The four-volume set LNCS 11746-11749 constitutes the proceedings of the 17th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2019, held in Paphos, Cyprus, in September 2019.The total of 111 full papers presented together with 55 short papers and 48 other papers in these books was carefully reviewed and selected from 385 submissions. The contributions are organized in topical sections named:Part I: accessibility design principles; assistive technology for cognition and neurodevelopment disorders; assistive technology for mobility and rehabilitation; assistive technology for visually impaired; co-design and design methods; crowdsourcing and collaborative work; cyber security and e-voting systems; design methods; design principles for safety/critical systems.Part II: e-commerce; education and HCI curriculum I; education and HCI curriculum II; eye-gaze interaction; games and gamification; human-robot interaction and 3D interaction; information visualization; information visualization and augmented reality; interaction design for culture and development I. Part III: interaction design for culture and development II; interaction design for culture and development III; interaction in public spaces; interaction techniques for writing and drawing; methods for user studies; mobile HCI; personalization and recommender systems; pointing, touch, gesture and speech-based interaction techniques; social networks and social media interaction.Part IV: user modelling and user studies; user experience; users' emotions, feelings and perception; virtual and augmented reality I; virtual and augmented reality II; wearable and tangible interaction; courses; demonstrations and installations; industry case studies; interactive posters; panels; workshops.

This book constitutes the refereed proceedings of five workshops and an industrial session held at the 20th International Conference on Image Analysis and Processing, ICIAP 2019, in Trento, Italy, in September 2019: Second International Workshop on Recent Advances in Digital Security: Biometrics and Forensics (BioFor 2019);

The 10 papers included in this State-of-the Art Survey present recent advances made by a large team of researchers working on the same US Department of Defense Multidisciplinary University Research Initiative (MURI) project during 2013-2019.

This book constitutes the proceedings of the 4th International Conference on Electronic Voting, E-Vote-ID 2019, held in Bregenz, Austria, in October 2019.

This book constitutes the proceedings of the 16th International Conference on Quantitative Evaluation Systems, QEST 2019, held in Glasgow, UK, in September 2019. The 17 full papers presented together with 2 short papers were carefully reviewed and selected from 40 submissions.

This book constitutes the refereed proceedings of the 19th EPIA Conference on Artificial Intelligence, EPIA 2019, held in Funchal, Madeira, Portugal, in September 2019. The 119 revised full papers and 6 short papers presented were carefully reviewed and selected from a total of 252 submissions. The papers are organized in 18 tracks devoted to the following topics: AIEd - Artificial Intelligence in Education, AI4G - Artificial Intelligence for Games, AIoTA - Artificial Intelligence and IoT in Agriculture, AIL - Artificial Intelligence and Law, AIM - Artificial Intelligence in Medicine, AICPDES - Artificial Intelligence in Cyber-Physical and Distributed Embedded Systems, AIPES - Artificial Intelligence in Power and Energy Systems, AITS - Artificial Intelligence in Transportation Systems, ALEA - Artificial Life and Evolutionary Algorithms, AmIA - Ambient Intelligence and Affective Environments, BAAI - Business Applications of Artificial Intelligence, GAI- General AI, IROBOT - Intelligent Robotics, KDBI - Knowledge Discovery and Business Intelligence, KRR - Knowledge Representation and Reasoning, MASTA - Multi-Agent Systems: Theory and Applications, SSM - Social Simulation and Modelling, TeMA - Text Mining and Applications.

This year the 21st International Conference on Human-Computer Interaction, HCII 2019, which was held in Orlando, Florida, USA, in July 2019, introduced the additional option of "late-breaking work", which applied both for papers and posters with the corresponding volumes of the proceedings.

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.

This book constitutes the proceedings of the 22nd International Conference on Information Security, ISC 2019, held in New York City, NY, USA, in September 2019. The 23 full papers presented in this volume were carefully reviewed and selected from 86 submissions. Crypto I: Secure Computation and Storage; Machine Learning and Security;

This book constitutes the refereed proceedings of the Third International Conference on Computational and Corpus-Based Phraseology, Europhras 2019, held in Malaga, Spain, in September 2019.The 31 full papers presented in this book were carefully reviewed and selected from 116 submissions. The papers in this volume cover a number of topics including general corpus-based approaches to phraseology, phraseology in translation and cross-linguistic studies, phraseology in language teaching and learning, phraseology in specialized languages, phraseology in lexicography, cognitive approaches to phraseology, the computational treatment of multiword expressions, and the development, annotation, and exploitation of corpora for phraseological studies.

This book constitutes the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019.The 44 full papers presented in this volume were carefully reviewed and selected from 118 submissions. multi-agent and parallel CP track;

This book constitutes the refereed proceedings of the 13th European Conference on Software Architecture, ECSA 2019, held in Paris, France, in September 2019. In the Research Track, 11 full papers presented together with 4 short papers were carefully reviewed and selected from 63 submissions.

The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. secure protocols; blockchain and smart contracts.Part II: software security;

This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.The 19 revised full papers and 13 short papers presented in this book were carefully reviewed and selected from 62 submissions.

The four-volume set LNCS 11746-11749 constitutes the proceedings of the 17th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2019, held in Paphos, Cyprus, in September 2019.The total of 111 full papers presented together with 55 short papers and 48 other papers in these books was carefully reviewed and selected from 385 submissions. The contributions are organized in topical sections named:Part I: accessibility design principles; assistive technology for cognition and neurodevelopment disorders; assistive technology for mobility and rehabilitation; assistive technology for visually impaired; co-design and design methods; crowdsourcing and collaborative work; cyber security and e-voting systems; design methods; design principles for safety/critical systems.Part II: e-commerce; education and HCI curriculum I; education and HCI curriculum II; eye-gaze interaction; games and gamification; human-robot interaction and 3D interaction; information visualization; information visualization and augmented reality; interaction design for culture and development I. Part III: interaction design for culture and development II; interaction design for culture and development III; interaction in public spaces; interaction techniques for writing and drawing; methods for user studies; mobile HCI; personalization and recommender systems; pointing, touch, gesture and speech-based interaction techniques; social networks and social media interaction.Part IV: user modelling and user studies; user experience; users' emotions, feelings and perception; virtual and augmented reality I; virtual and augmented reality II; wearable and tangible interaction; courses; demonstrations and installations; industry case studies; interactive posters; panels; workshops.The chapter 'Experiencing Materialized Reading: Individuals' Encounters with Books' is open access under a CC BY 4.0 license at link.springer.com.The chapter 'What Is Beautiful Continues to Be Good: People Images and Algorithmic Inferences on Physical Attractiveness' is open access under a CC BY 4.0 license at link.springer.com.

This book constitutes the proceedings of the 14th European Conference on Technology Enhanced Learning, EC-TEL 2019, held in Delft, The Netherlands, in September 2019. The 41 research papers and 50 demo and poster papers presented in this volume were carefully reviewed and selected from 149 submissions.

The four-volume set LNCS 11746-11749 constitutes the proceedings of the 17th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2019, held in Paphos, Cyprus, in September 2019.The total of 111 full papers presented together with 55 short papers and 48 other papers in these books was carefully reviewed and selected from 385 submissions. The contributions are organized in topical sections named:Part I: accessibility design principles; assistive technology for cognition and neurodevelopment disorders; assistive technology for mobility and rehabilitation; assistive technology for visually impaired; co-design and design methods; crowdsourcing and collaborative work; cyber security and e-voting systems; design methods; design principles for safety/critical systems.Part II: e-commerce; education and HCI curriculum I; education and HCI curriculum II; eye-gaze interaction; games and gamification; human-robot interaction and 3D interaction; information visualization; information visualization and augmented reality; interaction design for culture and development I. Part III: interaction design for culture and development II; interaction design for culture and development III; interaction in public spaces; interaction techniques for writing and drawing; methods for user studies; mobile HCI; personalization and recommender systems; pointing, touch, gesture and speech-based interaction techniques; social networks and social media interaction.Part IV: user modelling and user studies; user experience; users' emotions, feelings and perception; virtual and augmented reality I; virtual and augmented reality II; wearable and tangible interaction; courses; demonstrations and installations; industry case studies; interactive posters; panels; workshops.The chapter 'Analyzing Accessibility Barriers Using Cost-Benefit Analysis to Design Reliable Navigation Services for Wheelchair Users' is open access under a CC BY 4.0 license.

The development of "intelligent" systems that can take decisions and perform autonomously might lead to faster and more consistent decisions. A limiting factor for a broader adoption of AI technology is the inherent risks that come with giving up human control and oversight to "intelligent" machines. For sensitive tasks involving critical infrastructures and affecting human well-being or health, it is crucial to limit the possibility of improper, non-robust and unsafe decisions and actions. Before deploying an AI system, we see a strong need to validate its behavior, and thus establish guarantees that it will continue to perform as expected when deployed in a real-world environment. In pursuit of that objective, ways for humans to verify the agreement between the AI decision structure and their own ground-truth knowledge have been explored. Explainable AI (XAI) has developed as a subfield of AI, focused on exposing complex AI models to humans in a systematic and interpretable manner.The 22 chapters included in this book provide a timely snapshot of algorithms, theory, and applications of interpretable and explainable AI and AI techniques that have been proposed recently reflecting the current discourse in this field and providing directions of future development. The book is organized in six parts: towards AI transparency; methods for interpreting AI systems; explaining the decisions of AI systems; evaluating interpretability and explanations; applications of explainable AI; and software for explainable AI.

This book constitutes the proceedings of the Third International Conference on Physiological Computing Systems, PhyCS 2016, held in Lisbon, Portugal, in July 2016. The 12 papers presented in this volume were carefully reviewed and selected from numerous submissions.

This book constitutes the refereed proceedings of the 13th International Conference on Reachability Problems, RP 2019, held in Brussels, Belgium, in September 2019.The 14 full papers presented were carefully reviewed and selected from 26 submissions. The papers cover topics such as reachability for infinite state systems;

This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019. The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions.

The proceedings set LNCS 11727, 11728, 11729, 11730, and 11731 constitute the proceedings of the 28th International Conference on Artificial Neural Networks, ICANN 2019, held in Munich, Germany, in September 2019.

The proceedings set LNCS 11727, 11728, 11729, 11730, and 11731 constitute the proceedings of the 28th International Conference on Artificial Neural Networks, ICANN 2019, held in Munich, Germany, in September 2019.