Books in the Lecture Notes in Computer Science series

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions.

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions.

This book constitutes the proceedings of the 15th International Workshop on Algorithms and Models for the Web Graph, WAW 2018, held in Moscow, Russia in May 2018. The 11 full papers presented in this volume were carefully reviewed and selected from various submissions.

This book constitutes the thoroughly refereed post-conference proceedings of five international workshops held in the framework of the 8th Pacific-Rim Symposium on Image and Video Technology, PSIVT 2017, in Wuhan, China, in November 2017: Workshop on Human Behavior Analysis;

The two-volume set LNCS 10893 and 10894 constitutes the refereed proceedings of the 11th International Conference EuroHaptics 2018, held in Pisa, Italy, in June 2018. The 95 papers (40 oral presentations and 554 poster presentations) presented were carefully reviewed and selected from 138 submissions.

The two-volume set LNCS 10893 and 10894 constitutes the refereed proceedings of the 11th International Conference EuroHaptics 2018, held in Pisa, Italy, in June 2018. The 95 papers (40 oral presentations and 554 poster presentations) presented were carefully reviewed and selected from 138 submissions.

This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers were carefully reviewed and selected from 24 submissions.

This book constitutes the refereed proceedings of the 15th International Symposium on Neural Networks, ISNN 2018, held in Minsk, Belarus in June 2018.The 98 revised regular papers presented in this volume were carefully reviewed and selected from 214 submissions.

This book constitutes the proceedings of the 17th International Conference on Unconventional Computation and Natural Computation, UCNC 2018, held in Fontainebleau, France, in June 2018. chaos and dynamical systems based computing; granular, fuzzy and rough computing; cellular, evolutionary, molecular, neural, and quantum computing;

This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: actor-based coordination, tuple- based coordination, agent-oriented techniques, constraints- based coordination, and finally coordination based on shared spaces.

This book constitutes the refereed proceedings of the 8th International Conference on Machines, Computations, and Universality, MCU 2018, held in Fontainebleau, France, in June 2018.The 9 revised full papers presented together with 5 invited talks were carefully reviewed and selected from numerous submissions. MCU explores computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models, concurrent systems, etc.) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing, etc.).

This book constitutes the refereed proceedings of the 8th International Workshop on Biomedical Image Registration, WBIR 2018, held in Leiden, The Netherlands, in June 2018. The 11 full and poster papers included in this volume were carefully reviewed and selected from 17 submitted papers.

This two-volume set LNCS 10911 and 10912 constitutes the refereed proceedings of the 10th International Conference on Cross-Cultural Design, CCD 2018, held as part of HCI International 2018 in Las Vegas, NV, USA, in July 2018.The total of 1170 papers and 195 posters included in the 30 HCII 2018 proceedings volumes was carefully reviewed and selected from 4373 submissions.The 37 regular papers presented in this volume were organized in topical sections named: culture, learning and games; culture and creativity; cross-cultural design for social change and development.

This book constitutes the proceedings of the 10th Mexican Conference on Pattern Recognition, MCPR 2018, held in Puebla, Mexico, in June 2018. The 28 papers presented in this volume were carefully reviewed and selected from 44 submissions. They were organized in topical sections named: pattern recognition principles;

This book contains revised selected papers presented at 4 workshops held at the 16th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2017, in Mumbai, India, in September 2017. The workshops are: Workshop on Dealing with Conflicting User Interface Properties in User-Centered Development Processes (IFIP WG 13.2 and 13.5), Workshop on Cross Cultural Differences in Designing for Accessibility and Universal Design Organizers (IFIP WG 13.3), Human Work Interaction Design Meets International Development (IFIP WG 13.6), and Beyond Computers: Wearables, Humans, and Things - WHAT! (IFIP WG 13.7).The 15 full papers included in this volume were carefully reviewed and selected from numerous submissions. They show advances in the field of HCI dealing with topics such as human-centered computing, user interface design, evolutionary user interface prototyping, end-user development systems, accessibility design, human work interaction design, and wearables.

This two-volume set LNCS 10904 and 10905 constitutes the refereed proceedings of the 20th International Conference on Human Interface and the Management of Information, HIMI 2018, held as part of HCI International 2018 in Las Vegas, NV, USA, in July 2018.The total of 1170 papers and 195 posters included in the 30 HCII 2018 proceedings volumes was carefully reviewed and selected from 4373 submissions.The 53 papers presented in this volume were organized in topical sections named: interacting with information; information and learning; information in aviation and transport; intelligent systems; and sevice management.

This two-volume set LNCS 10904 and 10905 constitutes the refereed proceedings of the 20th International Conference on Human Interface and the Management of Information, HIMI 2018, held as part of HCI International 2018 in Las Vegas, NV, USA, in July 2018.The total of 1170 papers and 195 posters included in the 30 HCII 2018 proceedings volumes was carefully reviewed and selected from 4373 submissions.The 56 papers presented in this volume were organized in topical sections named: information visualization; multimodal interaction; information in virtual and augmented reality; information and vision; and text and data mining and analytics.

This book constitutes the proceedings of the 4th International Conference onHuman Aspects of IT for the Aged Population, ITAP 2018, held as part of the 20th International Conference, HCI International 2018, which took place in Las Vegas, Nevada, in July 2018.

This book constitutes the refereed proceedings of the 29th Australasian Database Conference, ADC 2018, held in Gold Coast, QLD, Australia, in May 2018.The 23 full papers plus 6 short papers presented together with 3 demo papers were carefully reviewed and selected from 53 submissions. The Australasian Database Conference is an annual international forum for sharing the latest research advancements and novel applications of database systems, data-driven applications, and data analytics between researchers and practitioners from around the globe, particularly Australia and New Zealand.

This book constitutes the refereed proceedings of the 23rd International Conference on Applications of Natural Language to Information Systems, NLDB 2018, held in Paris, France, in June 2018. The 18 full papers, 26 short papers, and 9 poster papers presented were carefully reviewed and selected from 99 submissions.

This book constitutes the proceedings of the 5th InternationalConference on Algorithms for Computational Biology, AlCoB 2018, held in Hong Kong, China, in June 2018. The 11 full papers presented together with 1 invited paper were carefully reviewed and selected from 20 submissions.

The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title "Computing and Software Science: State of the Art and Perspectives". They are organized in two parts:The first part, Computation and Complexity, presents a collection of expository papers on fashionable themes in algorithmics, optimization, and complexity.The second part, Methods, Languages and Tools for Future System Development, aims at sketching the methodological evolution that helps guaranteeing that future systems meet their increasingly critical requirements.Chapter 3 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the refereed post-conference proceedings of the 48th International Simulation and Gaming Association Conference, ISAGA 2018, held in Delft, The Netherlands, in July 2018. The 19 revised full papers included in the volume were carefully reviewed and selected from 27 submissions.

The contributions are organized in topical sections named: HCI and Design, Design Foundations, Design Foundations, Design in Healthcare, Advances in Data Science and Analytics, ICT for Development, Designing Cybersecurity, and Design Applications.

The three-volume set LNCS 10918, 10919, and 10290 constitutes the proceedings of the 7th International Conference on Design, User Experience, and Usability, DUXU 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, in Las Vegas, NV, USA in July 2018.

This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 15th International Conference on Service-Oriented Computing, ICSOC 2017, held in Málaga, Spain, in November 2017.The ICSOC 2017 workshop track consisted of three workshops on a wide range of topics that fall into the general area of service computing: ASOCA 2017: The Second Workshop on Adaptive Service-Oriented and Cloud Applications ISyCC 2016: The Second Workshop on IoT Systems Provisioning and Management in Cloud ComputingWESOACS 2017: The 13th International Workshop on Engineering Service-Oriented Applications and Cloud Services

This two-volume set LNCS 10924 and 10925 constitute the refereed proceedings of the 5th International Conference on Learning and Collaboration Technologies, LCT 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, in Las Vegas, NV, USA in July 2018.

This book constitutes the refereed proceedings of the 5th International Conference on HCI in Business, Government and Organizations, HCIBGO 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, in Las Vegas, NV, USA.The 1171 full papers and 160 posters presented at the 14 co-located HCII 2018 conferences were carefully reviewed and selected from a total of 4346 submissions. The 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 papers included in this volume cover the following topics: information systems in business; electronic commerce and consumer behavior; social media and social communities in business; social innovation; and business analytics and visualization.  

This book constitutes the refereed proceedings of the 18th International Conference on Web Engineering, ICWE 2018, held in Cáceres, Spain, in June 2018.The 18 full research papers and 17 short papers presented together with 2 practice papers, 6 demonstration papers, and 5 tutorials were carefully reviewed and selected from 103 submissions. The papers cover research areas such as Web application modeling and engineering; Web infrastructures and architectures; execution models; human computation and crowdsourcing applications; Web application composition and mashups; Social Web applications; Semantic Web applications; Web of Things applications; big data and data analytics; and security, privacy, and identity.

This double volume set ( LNAI 10863-10864) constitutes the refereed proceedings of the 25th International Workshop, EG-ICE 2018, held in Lausanne, Switzerland, in June 2018.