Books in the Lecture Notes in Computer Science series

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.

This two-volume set LNCS 10909 and 10910 constitutes the refereed proceedings of the 10th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2018, held as part of HCI International 2018 in Las Vegas, NV, USA.HCII 2018 received a total of 4346 submissions, of which 1171 papers and 160 posters were accepted for publication after a careful reviewing process. The 65 papers presented in this volume were organized in topical sections named: interaction, navigation, and visualization in VAMR; embodiment, communication, and collaboration in VAMR; education, training, and simulation; VAMR in psychotherapy, exercising, and health; virtual reality for cultural heritage, entertainment, and games; industrial and military applications.

This two-volume set LNCS 10909 and 10910 constitutes the refereed proceedings of the 10th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2018, held as part of HCI International 2018 in Las Vegas, NV, USA.HCII 2018 received a total of 4346 submissions, of which 1171 papers and 160 posters were accepted for publication after a careful reviewing process. The 65 papers presented in this volume were organized in topical sections named: interaction, navigation, and visualization in VAMR; embodiment, communication, and collaboration in VAMR; education, training, and simulation; VAMR in psychotherapy, exercising, and health; virtual reality for cultural heritage, entertainment, and games; industrial and military applications.

The two volumes set LNCS 10913-10914 of SCSM 2018 constitutes the proceedings of the 10th International Conference on Social Computing and Social Media, SCSM 2018, held as part of the International Conference on Human-Computer Interaction, HCII 2018, held in Las Vegas, NV, USA, in July 2018.

This book constitutes the proceedings of the 14th International Conference on Bioinformatics Research and Applications, ISBRA 2018, held in Beijing, China, in June 2018.The 24 full and 10 short papers presented in this volume were carefully reviewed and selected from a total of 138 submissions. genomic data analysis; and RNA-Seq data analysis.

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018. The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions.

This book constitutes the proceedings of the 23rd International Conference on Implementation and Application of Automata, CIAA 2018, held in Charlottetown, PE, Canada, in July/August 2018.The 23 regular papers presented in this book together with 4 invited papers were carefully reviewed and selected from 39 initial submissions.

This book constitutes the proceedings of the 24th International Conference on Computing and Combinatorics, COCOON 2018, held in Qing Dao, China, in July 2018. They deal with the areas of algorithms, theory of computation, computational complexity, and combinatorics related to computing.

This book constitutes the refereed proceedings of the 30th International Conference on Advanced Information Systems Engineering, CAiSE 2018, held in Talinn, Estonia, in June 2018. The 37 papers presented in this volume were carefully reviewed and selected from 175 submissions. The papers are organized in topical sections on Process Execution, User-Oriented IS Development, Social Computing and Personalization, the Cloud and Data Services, Process Discovery, Decisions and the Blockchain, Process and Multi-level Modelling, Data Management and Visualization, Big Data and Intelligence, Data Modelling and Mining, Quality Requirements and Software, and Tutorials.

The two volumes set LNCS 10913-10914 of SCSM 2018 constitutes the proceedings of the 10th International Conference on Social Computing and Social Media, SCSM 2018, held as part of the International Conference on Human-Computer Interaction, HCII 2018, held in Las Vegas, NV, USA, in July 2018.

This two-volume set LNCS 10915 and 10916 constitutes the refereed proceedings of the 12h International Conference on Augmented Cognition, AC 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 proceedings of the 14th International Conference on Intelligent Tutoring Systems, IST 2018, held in Montreal, Canada, in June 2018.The 26 full papers and 22 short papers presented in this volume were carefully reviewed and selected from 120 submissions.

This two-volume set LNCS 10827 and LNCS 10828 constitutes the refereed proceedings of the 23rd International Conference on Database Systems for Advanced Applications, DASFAA 2018, held in Gold Coast, QLD, Australia, in May 2018.The 83 full papers, 21 short papers, 6 industry papers, and 8 demo papers were carefully selected from a total of 360 submissions. The papers are organized around the following topics: network embedding; recommendation; graph and network processing; social network analytics; sequence and temporal data processing; trajectory and streaming data; RDF and knowledge graphs; text and data mining; medical data mining; security and privacy; search and information retrieval; query processing and optimizations; data quality and crowdsourcing; learning models; multimedia data processing; and distributed computing.

This book constitutes the workshop proceedings of the 23rd International Conference on Database Systems for Advanced Applications, DASFAA 2018, held in Gold Coast, QLD, Australia, in May 2018.

This two-volume set LNCS 10827 and LNCS 10828 constitutes the refereed proceedings of the 23rd International Conference on Database Systems for Advanced Applications, DASFAA 2018, held in Gold Coast, QLD, Australia, in May 2018.The 83 full papers, 21 short papers, 6 industry papers, and 8 demo papers were carefully selected from a total of 360 submissions. The papers are organized around the following topics: network embedding; recommendation; graph and network processing; social network analytics; sequence and temporal data processing; trajectory and streaming data; RDF and knowledge graphs; text and data mining; medical data mining; security and privacy; search and information retrieval; query processing and optimizations; data quality and crowdsourcing; learning models; multimedia data processing; and distributed computing.

This book constitutes the refereed proceedings of the 10th International Conference on the Theory and Application of Diagrams, Diagrams 2018, held in Edinburgh, UK, in June 2018. The 26 revised full papers and 28 short papers presented together with 32 posters were carefully reviewed and selected from 124 submissions.

This book constitutes the proceedings of the 23rd International Conference on Conceptual Structures, ICCS 2018, held in Edinburgh, UK, in June 2018. The 10 full papers, 2 short papers and 2 posters presented were carefully reviewed and selected from 21 submissions. computer- human interaction and human cognition;

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 proceedings of the 14th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 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 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017.

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Statistical Atlases and Computational Models of the Heart: ACDC and MMWHS Challenges 2017, held in conjunction with MICCAI 2017, in Quebec, Canada, in September 2017.

The two-volume set LNCS 9623 + 9624 constitutes revised selected papers from the CICLing 2016 conference which took place in Konya, Turkey, in April 2016.

The two-volume set LNCS 9623 + 9624 constitutes revised selected papers from the CICLing 2016 conference which took place in Konya, Turkey, in April 2016.

This book constitutes the refereed proceedings of the 6th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2018, held in Hanoi, Vietnam, in March 2018.The 39 revised full papers presented in this book were carefully reviewed and selected from 76 initial submissions.

The two-volume set LNAI 10751 and 10752 constitutes the refereed proceedings of the 10th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2018, held in Dong Hoi City, Vietnam, in March 2018. Intelligent Systems and Algorithms in Information Sciences; Intelligent Computer Vision Systems and Applications;

This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016. The contributions represent a selection from a symposium, held in October 2016 at TU Berlin, commemorating Hartmut' s life and work as well as other invited papers in the areas he was active in.

This book constitutes revised selected papers from the Third International MICCAI Brainlesion Workshop, BrainLes 2017, as well as the International Multimodal Brain Tumor Segmentation, BraTS, and White Matter Hyperintensities, WMH, segmentation challenges, which were held jointly at the Medical Image computing for Computer Assisted Intervention Conference, MICCAI, in Quebec City, Canada, in September 2017. The 40 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: brain lesion image analysis; brain tumor image segmentation; and ischemic stroke lesion image segmentation.