Bøker i Lecture Notes in Computer Science-serien

This book constitutes the refereed proceedings of the 19th Iberoamerican Congress on Pattern Recognition, CIARP 2014, held in Puerto Vallarta, Jalisco, Mexico, in November 2014. The papers are organized in topical sections on image coding, processing and analysis; pattern recognition and machine learning; neural networks for pattern recognition;

This book constitutes the refereed proceedings of the 14th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2014, held in Santiago de Chile, Chile, in November 2014. The papers are organized in the following topical sections: knowledge engineering, knowledge representation and probabilistic reasoning;

This book constitutes the refereed proceedings of the 6th International Conference on Social Robotics, ICSR 2014, held in Sydney, NSW, Australia, in October 2014. knowledge representation and reasoning frameworks for robot social intelligence; cognitive architectures that support social intelligence for robots;

This book constitutes the refereed proceedings of the 11th International Conference on Artificial Evolution, EA 2013, held in Bordeaux, France, in October 2013.

This book constitutes the refereed proceedings of the 17 International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2015, held in Edmonton, AB, Canada, in August 2015. The 16 regular papers presented together with 8 brief announcements and 3 keynote lectures were carefully reviewed and selected from 38 submissions.

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions.

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions.

This book constitutes the refereed proceedings of the 9th International RuleML Symposium, RuleML 2015, held in Berlin, Germany, in August 2015.The 25 full papers, 4 short papers, 2 full keynote papers, 2 invited research track overview papers, 1 invited paper, 1 invited abstracts presented were carefully reviewed and selected from 63 submissions. The papers cover the following topics: general RuleML track; complex event processing track, existential rules and datalog+/- track; legal rules and reasoning track; rule learning track; industry track.

the focus of this workshop was on following topics: side-channel attacks, FPGA countermeasures, timing attacks and countermeasures, fault attacks, countermeasures, and Hands-on Side-channel analysis.

They cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.

This book constitutes the refereed proceedings of the 9th Brazilian Symposium on Bioinformatics, BSB 2014, held in Belo Horizonte, Brazil, in October 2014. The 18 revised full papers presented were carefully reviewed and selected from 32 submissions. The papers cover all aspects of bioinformatics and computational biology.

This book constitutes the refereed proceedings of workshops, held at the 33rd International Conference on Conceptual Modeling, ER 2014, in Atlanta, GA, USA in October 2014.

This book constitutes the refereed proceedings of the 6th International Workshop on Software Engineering for Resilient Systems, SERENE 2014, held in Budapest, Hungary, in October 2014. The 11 revised technical papers presented together with one project paper and one invited talk were carefully reviewed and selected from 22 submissions.

This book constitutes the refereed proceedings of the 4th International Symposium on Model-Based Safety and Assessment, IMBSA 2014, held in Munich, Germany, in October 2014.

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Information Security and Cryptology, Inscrypt 2013, held in Guangzhou, China, in November 2013. The 21 revised full papers presented together with 4 short papers were carefully reviewed and selected from 93 submissions.

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.