Böcker i Lecture Notes in Computer Science-serien

The First A4Cloud Summer School has been one of the first events in the area of accountability and security in the cloud. It was organized by the EU-funded A4Cloud project, in collaboration with the European projects CIRRUS, Coco Cloud, CUMULUS, and SPECS.

This book constitutes the refereed proceedings of the 7th International Workshop on Traffic Monitoring and Analysis, TMA 2015, held in Barcelona, Spain, in April 2015. The 16 full papers presented in this volume were carefully reviewed and selected from 54 submissions.

This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathematical logic; graphy theory;

This book constitutes the proceedings of the 12th European Conference on Multi-Agent Systems, EUMAS 2014, held in Prague, Czech Republic, in December 2014. The 21 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 79 submissions.

This book constitutes the thoroughly refereed post- conference proceedings of the Ninth International Conference on Risks and Security of Internet Systems, CRiSIS 2014, held in Trento, Italy, in August 2014.

This book constitutes the refereed proceedings of the Third International Symposium on Statistical Learning and Data Sciences, SLDS 2015, held in Egham, Surrey, UK, April 2015.

This book constitutes the thoroughly refereed post-proceedings of the 7th Symposium on Foundations and Practice of Security, FPS 2014, held in Montreal, QC, Canada, in November 2014. The 18 revised full papers presented together with 5 short papers and 2 position papers were carefully reviewed and selected from 48 submissions.

This book constitutes the thoroughly refereedpost-conference proceedings of the 25th International Symposium on Logic-BasedProgram Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, inJuly 2015. The 21 revised full papers presented together with 3invited talks were carefully reviewed and selected from 30 submissions.

This bookconstitutes the proceedings of the 7th International Conference on SocialInformatics, SocInfo 2015, held in Beijing, China, in December 2015. The 19papers presented in this volume were carefully reviewed and selected from 42submissions. They cover topics such as user modeling, opinion mining, userbehavior, and crowd sourcing.

This bookconstitutes revised selected papers from the third ECML PKDD Workshop on DataAnalytics for Renewable Energy Integration, DARE 2015, held in Porto, Portugal,in September 2015. The 10 papers presented in this volume were carefully reviewed and selected forinclusion in this book.

This book constitutes the refereed proceedings of the SecondInternational Conference on Internet of Vehicles, IOV 2015, held inChengdu, China, in December 2015. The 40 full papers presented were carefully reviewed and selected from128 submissions.

This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields. It covers aspects from educational and game theories, human-computer interaction, computer graphics, artificial intelligence, and systems design. The 24 papers presented in this 11th issue were organized in four parts dealing with: object reconstruction and management; graphics; VR/AR; and applications.

This book constitutes the refereed proceedings of the 18th International Conference on Information Security, ISC 2015, held in Trondheim, Norway, in September 2015. The papers cover a wide range of topics in the area of cryptography and cryptanalysis and are organized in the following topical sections: signatures;

This book constitutes the refereed proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015, held in Madrid, Spain, in August/September 2015. The 19 papers presented in this volume were carefully reviewed and selected from 39 submissions. modelling techniques, software performance, and simulation techniques.

This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA.

This book constitutes the proceedings of the 12th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2015, held in Skoevde, Sweden, in September 2015. They discuss theory and tools for modeling decisions, as well as applications that encompass decision making processes and information fusion techniques.

The selected contributions covered cutting-edge aspects of Cloud Computing and Internet of Things, sensor networks, parallel and distributed computing, advanced networking, smart cities and smart buildings, Big Data and social networks.

The two-volume set LNCS 9279 and 9280 constitutes the refereed proceedings of the 18th International Conference on Image Analysis and Processing, ICIAP 2015, held in Genoa, Italy, in September 2015.

The two-volume set LNCS 9279 and 9280 constitutes the refereed proceedings of the 18th International Conference on Image Analysis and Processing, ICIAP 2015, held in Genoa, Italy, in September 2015.

This book constitutes the refereed proceedings of seven workshops held at the 18th International Conference on Image Analysis and Processing, ICIAP 2015, in Genoa, Italy, in September 2015: International Workshop on Recent Advances in Digital Security: Biometrics and Forensics, BioFor 2015;

This book constitutes the refereed conference proceedings of the 21st International Conference on Principles and Practice of Constraint Programming, CP 2015, held in Cork, Ireland, in August/September 2015.

This book constitutes the proceedings of the 11th International Symposium on Advanced Parallel Processing Technologies, APPT 2015, held in Jinan, China, in August 2015. They deal with the recent advances in big data processing; parallel architectures and systems; parallel software; parallel algorithms and applications;

The two volume set LNCS 9256 and 9257 constitutes the refereed proceedings of the 16th International Conference on Computer Analysis of Images and Patterns, CAIP 2015, held in Valletta, Malta, in September 2015.

This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of Jose Meseguer to honor him on the occasion of his 65th birthday.

This book constitutes the thoroughly refereedpost-workshop proceedings of the First International Workshop on Patch-based Techniquesin Medical Images, Patch-MI 2015, which was held in conjunction with MICCAI2015, in Munich, Germany, in October 2015.The 25 full papers presented in this volume werecarefully reviewed and selected from 35 submissions. The topics covered are suchas image segmentation of anatomical structures or lesions; image enhancement;computer-aided prognostic and diagnostic; multi-modality fusion; mono and multimodal image synthesis; image retrieval; dynamic, functional physiologic andanatomic imaging; super-pixel/voxel in medical image analysis; sparsedictionary learning and sparse coding; analysis of 2D, 2D+t, 3D, 3D+t, 4D, and4D+t data.

This book constitutes the refereed proceedings of the 13th International Conference on Applied Cryptography and Network Security, ACNS 2015, held in New York, NY, USA, in June 2015. They are organized in topical sections on secure computation: primitives and new models;