Böcker i Lecture Notes in Computer Science-serien

This bookconstitutes the refereed proceedings of the workshops held at the 17thAsia-Pacific Web Conference, APWeb 2015, in Guangzhou, China, in September2015. The 15 fullpapers were carefully reviewed and selected from various submissions.

This book constitutes the thoroughly refereedpost-conference proceedings of the 22nd International Workshop onAlgebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia,Romania.The 8 revised papers presented were carefully reviewed and selected from 13presentations and focus together with one invited paper on foundations ofalgebraic specification, approaches to formal specification including processcalculi and models of concurrent, distributed and mobile computing,specification languages, methods, and environments, semantics of conceptualmodeling methods and techniques, model-driven development, graphtransformations, term rewriting and proof systems, integration of formalspecification techniques, formal testing and quality assurance, validation, andverification.

This bookconstitutes the proceedings of the 12th International Conference on DistributedComputing and Internet Technology, ICDCIT 2016, held in Bhubaneswar, India, inJanuary 2016. The 6 fullpapers, 7 short papers and 11 poster papers presented in this volume werecarefully reviewed and selected from 129 submissions.

This book constitutes the thoroughly refereed post-conference proceedingsof the 4th International Conference on Pattern Recognition, ICPRAM 2015,held in Lisbon, Portugal, in January 2015. The 20 revised full papers were carefully reviewed and selectedfrom 145 submissions and describe up-to-date applications of patternrecognition techniques to real-world problems, interdisciplinaryresearch, experimental and/or theoretical studies yielding new insightsthat advance pattern recognition methods.

The two-volume set LNCS 9516 and 9517 constitutes the thoroughly refereed proceedings of the 22nd International Conference on Multimedia Modeling, MMM 2016, held in Miami, FL, USA, in January 2016. The 32 revised full papers and 52 poster papers were carefully reviewed and selected from 117 submissions.

The two-volume set LNCS 9516 and LNCS 9517 constitutesthe refereed proceedings of the 22nd International Conference on MultimediaModeling, MMM 2016, held in Miami, FL, USA, in January 2016. The 32 revised full papers and 52 poster papers presentedwere carefully reviewed and selected from 117 submissions.

The three volume-set, LNCS 9814, LNCS 9815, and LNCS 9816, constitutes the refereed proceedings of the 36th Annual International Cryptology Conference, CRYPTO 2016, held in Santa Barbara, CA, USA, in August 2016. The 70 revised full papers presented were carefully reviewed and selected from 274 submissions.

The three volume-set, LNCS 9814, LNCS 9815, and LNCS 9816, constitutes the refereed proceedings of the 36th Annual International Cryptology Conference, CRYPTO 2016, held in Santa Barbara, CA, USA, in August 2016. The 70 revised full papers presented were carefully reviewed and selected from 274 submissions.

The three volume-set, LNCS 9814, LNCS 9815, and LNCS 9816, constitutes the refereed proceedings of the 36th Annual International Cryptology Conference, CRYPTO 2016, held in Santa Barbara, CA, USA, in August 2016. The 70 revised full papers presented were carefully reviewed and selected from 274 submissions.

Over the years, both the summer school and the book series have represented a reference point for graduate students and young researchers from academia and industry, interested to approach the field, investigate open problems, and follow priority lines of research.

This book constitutes the thoroughly refereed post-workshop proceedings at PAKDD Workshops 2016, held in conjunction with PAKDD, the 20th Pacific-Asia Conference on Knowledge Discovery and Data Mining in Auckland, New Zealand, in April 2016. The 23 revised papers presented were carefully reviewed and selected from 38 submissions.

This LNAI 9549 constitutes the refereed proceedings of the First International Workshop in Cultural Robotics 2015, held as part of the 24th International Symposium on Robot and Human Interactive Communication held in Kobe, Japan, in August/September 2015.

This book constitutes the refereed proceedings of the 14th Pacific Rim Conference on Artificial Intelligence, PRICAI 2016, held in Phuket, Thailand, in August 2016. The 53 regular papers and 15 short papers presented in this volume were carefully reviewed and selected from 161 submissions.

This book constitutes the proceedings of the 11th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2016, held in Bozeman, MT, USA, in August 2016.The 50 full papers and 9 invited papers presented werde carefully reviewed and selected from 148 submissions.

This book constitutes the proceedings of the 14th International Workshop on Knowledge Management and Acquisition for Intelligent Systems, PKAW 2016, held in Phuket, Thailand, in August 2016. They deal with knowledge acquisition and machine learning; knowledge acquisition and natural language processing;

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2015.

This book constitutes the proceedings of the 9th International Conference on Social Computing and Social Media, SCSM 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. 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 two volumes set of SCSM 2017 presents 67 papers which are organized in the following topical sections: user experience and behavior in social media, costumer behavior and social media, social issues in social media, social media for communication, learning and aging, opinion mining and sentiment analysis, social data and analytics.

This book constitutes the proceedings of the 9th International Conference on Social Computing and Social Media, SCSM 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, Canada, in July 2017.

The two-volume set LNCS 10297 + 10298 constitutes the refereed proceedings of the Third International Conference on Human Aspects of IT for the Aged Population, ITAP 2017, held as part of HCI International 2017 in Vancouver, BC, Canada. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The 83 papers presented in the two volumes of ITAP 2017 were organized in topical sections as follows: Part I: aging and technology acceptance; user-centred design for the elderly; product design for the elderly; aging and user experience; digital literacy and training. Part II: mobile and wearable interaction for the elderly; aging and social media; silver and intergenerational gaming; health care and assistive technologies and services for the elderly; aging and learning, working and leisure. 

The two-volume set LNCS 10297 + 10298 constitutes the refereed proceedings of the Third International Conference on Human Aspects of IT for the Aged Population, ITAP 2017, held as part of HCI International 2017 in Vancouver, BC, Canada. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The 83 papers presented in the two volumes of ITAP 2017 were organized in topical sections as follows: Part I: aging and technology acceptance; user-centred design for the elderly; product design for the elderly; aging and user experience; digital literacy and training. Part II: mobile and wearable interaction for the elderly; aging and social media; silver and intergenerational gaming; health care and assistive technologies and services for the elderly; aging and learning, working and leisure. 

The two-volume set LNCS 10273 and 10274 constitutes the refereed proceedings of the thematic track on Human Interface and the Management of Information, held as part of the 19th HCI International 2017, in Vancouver, BC, Canada, in July 2017.HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process.The 102 papers presented in these volumes were organized in topical sections as follows: Part I: Visualization Methods and Tools; Information and Interaction Design; Knowledge and Service Management; Multimodal and Embodied Interaction.Part II: Information and Learning; Information in Virtual and Augmented Reality; Recommender and Decision Support Systems; Intelligent Systems; Supporting Collaboration and User Communities; Case Studies.

The two-volume set LNCS 10295 and 10296 constitute the refereed proceedings of the 4th International Conference on Learning and Collaboration Technologies, LCT 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada, in July 2017, in conjunction with 15 thematically similar conferences. The 1228 papers presented at the HCII 2017 conferences were carefully reviewed and selected from 4340 submissions.The papers 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 are organized in the following topical sections: STEM education; diversity in learning; learning analytics; and improving the learning and collaboration experience.

This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organized in topical sections named: semantics of programming languages; categorical models and logics; concurrent, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and type theory, proof theory and implicit computational complexity. The book also contains one full paper invited talk.

This book constitutes the proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering, FASE 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.

This book constitutes the proceedings of the 24th European Symposium on Programming, ESOP 2015, which took place in London, UK, in April 2015, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 33 papers presented in this volume were carefully reviewed and selected from 113 submissions.

This book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, in London, UK, in April 2015. The 11 papers presented in this volume were carefully reviewed and selected from 34 submissions.

The two volumes LNCS 9041 and 9042 constitute the proceedings of the 16th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2015, held in Cairo, Egypt, in April 2015. natural language generation and text summarization; information retrieval, question answering, and information extraction;

The two volumes LNCS 9041 and 9042 constitute the proceedings of the 16th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2015, held in Cairo, Egypt, in April 2015. natural language generation and text summarization; information retrieval, question answering, and information extraction;