Books in the Lecture Notes in Computer Science series

This book constitutes the thoroughly refereed conference proceedings of the International Workshop on Brain-inspired Computing, BrainComp 2013, held in Cetraro, Italy, in July 2013.

The two-volume set LNCS 8796 and 8797 constitutes the refereed proceedings of the 13th International Semantic Web Conference, ISWC 2014, held in Riva del Garda, in October 2014.

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering.

This book constitutes the proceedings of the 21st International Symposium on String Processing and Information Retrieval, SPIRE 2014, held in Ouro Preto, Brazil, in October 2014.

The two-volume set LNCS 8796 and 8797 constitutes the refereed proceedings of the 13th International Semantic Web Conference, ISWC 2014, held in Riva del Garda, in October 2014.

This book constitutes the proceedings of the 5th International Workshop on Human Behavior Understanding, HBU 2014, held in Zurich, Switzerland, in September 2014. The 9 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They are organized in topical sections named: social signals;

The two volumes LNCS 8814 and 8815 constitute the thoroughly refereed proceedings of the 11th International Conference on Image Analysis and Recognition, ICIAR 2014, held in Vilamoura, Portugal, in October 2014. document image analysis; medical image processing and analysis; retinal image analysis;

This book constitutes the refereed proceedings of the 6th IAPR TC3 International Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2014, held in Montreal, QC, Canada, in October 2014.

This book constitutes the proceedings of the 12th International Symposium on Smart Graphics, SG 2014, held in Taipei, Taiwan, in August 2014. The 14 full and 4 short papers presented in this volume were carefully reviewed and selected from 26 submissions. aesthetics and smart tools for artists; smart tools for 3D contents;

The focus of the papers was on the following: games for health, games for medical training, serious games for children, music and sound effects, games for other purposes, and game design and theories.

This book constitutes the proceedings of the 19th Nordic Conference on Secure IT Systems, held in Tromso, Norway, in October 2014. The 15 full papers presented in this volume were carefully reviewed and selected from 42 submissions. cloud, big data and virtualization security; network security and logging; and security in healthcare and biometrics.

This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. logics for uncertain reasoning;

This book constitutes the proceedings of the 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, held in Krakow, Poland, in September 2014. The volume also contains contributions from ACRI 2014 workshops on crowds and cellular automata;

The three-volume set LNCS 8149, 8150, and 8151 constitutes the refereed proceedings of the 16th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2013, held in Nagoya, Japan, in September 2013.

This book constitutes the refereed proceedings of the 5th International Conference of the CLEF Initiative, CLEF 2014, held in Sheffield, UK, in September 2014.

The papers are organized in topical sections on Models for Discrete Geometry, Discrete and Combinatorial Topology, Geometric Transforms, Discrete Shape Representation, Recognition and Analysis, Discrete Tomography, Morphological Analysis, Discrete Modelling and Visualization, Discrete and Combinatorial Tools for Image Segmentation and Analysis.

This book constitutes the refereed proceedings of the 9th International Workshop on Hybrid Metaheuristics, HM 2014, held in Hamburg, Germany, in June 2014.

This book constitutes the refereed proceedings of the 11th Extended Semantic Web Conference, ESWC 2014, held in Anissaras, Crete, Greece France, in May 2014. The 50 revised full papers presented together with three invited talks were carefully reviewed and selected from 204 submissions. social web and web science;

This book constitutes the refereed proceedings of the 10th International Workshop on OpenMP, held in Salvador, Brazil, in September 2014. understanding and verifying correctness of OpenMP programs; OpenMP memory extensions; experiences with OpenMP device constructs.

This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The papers offer new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.

This book constitutes the refereed proceedings of the Second International Conference on Statistical Language and Speech Processing, SLSP 2014, held in Grenoble, France, in October 2014.

The focus of the papers is on following topics: parallel programming models, compiler analysis techniques, parallel data structures and parallel execution models, to GPGPU and other heterogeneous execution models, code generation for power efficiency on mobile platforms, and debugging and fault tolerance for parallel systems.

This book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2014, held in Warsaw, Poland, in September 2014. The 81 full papers presented were carefully reviewed and selected from various submissions. They cover various important aspects of computer vision and graphics.

This book constitutes the refereed proceedings of the International Conference on Privacy in Statistical Databases, PSD 2014, held in Ibiza, Spain in September 2014 under the sponsorship of the UNESCO chair in Data Privacy.

This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Spatial Cognition, Spatial Cognition 2014, held in Bremen, Germany, in September 2014. The papers are organized in topical sections on spatial memory;