Bøker i Lecture Notes in Computer Science-serien

This book constitutes the proceedings of the International Conference on Brain Informatics and Health, BIH 2014, held in Warsaw, Poland, in August 2014, as part of 2014 Web Intelligence Congress, WIC 2014. brain data analytics; health data analytics; brain informatics and data management;

This book - in conjunction with the volumes LNAI 8589 and LNBI 8590 - constitutes the refereed proceedings of the 10th International Conference on Intelligent Computing, ICIC 2014, held in Taiyuan, China, in August 2014. The papers are organized in topical sections such as evolutionary computation and learning;

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Combinatorial Optimization, ISCO 2014, held in Lisbon, Portugal, in March 2014. They present original research on all aspects of combinatorial optimization, such as algorithms and complexity;

This book - in conjunction with the volumes LNCS 8588 and LNAI 8589 - constitutes the refereed proceedings of the 10th International Conference on Intelligent Computing, ICIC 2014, held in Taiyuan, China, in August 2014. The 58 papers of this volume were carefully reviewed and selected from numerous submissions.

This book constitutes the refereed proceedings of the 14th Industrial Conference on Advances in Data Mining, ICDM 2014, held in St. Petersburg, Russia, in July 2014.

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

This book constitutes the thoroughly refereed proceedings of the 22nd International Conference on User Modeling, Adaption and Personalization, held in Aalborg, Denmark, in July 2014. The papers cover the following topics: large scale personalization, adaptation and recommendation; Personalization for individuals, groups and populations;

This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 68 submissions.

This book constitutes the refereed proceedings of the 6th International Conference on Social Computing and Social Media, SCSM 2014, held as part of the 16th International Conference on Human-Computer Interaction, HCII 2014, in Heraklion, Crete, Greece in June 2014, jointly with 13 other thematically conferences.

This book constitutes the refereed proceedings of the 17th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2014, held in Bonn, Germany, in June 2014.

This book constitutes the refereed proceedings of the 9th International Workshop on Databases in Networked Information Systems, DNIS 2014, held in Aizu-Wakamatsu, Japan, March 2014. business data analytics and visualization; business data analytics in sciences; business data analytics in astronomy.

This book constitutes the proceedings of the First OpenSHMEM Workshop, held in Annapolis, MD, USA, in March 2014. The 12 technical papers and 2 short position papers presented in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections named: OpenSHMEM implementations and evaluations;

This book constitutes the proceedings of the 27th International Conference on Architecture of Computing Systems, ARCS 2014, held in Lubeck, Germany, in February 2014. The 20 papers presented in this volume were carefully reviewed and selected from 44 submissions. system design; system design and sensor systems;

The papers included in these two volumes cover a diverse range of topics including: applications of multimedia modelling, interactive retrieval, image and video collections, 3D and augmented reality, temporal analysis of multimedia content, compression and streaming.

This book constitutes the refereed proceedings of the 7th International Conference on Combinatorial Optimization and Applications, COCOA 2013, held in Chengdu, China, in December 2013. The papers feature original research in the areas of combinatorial optimization and its applications.

The two-volume set LNCS 8297 and LNCS 8298 constitutes the proceedings of the 4th International Conference on Swarm, Evolutionary and Memetic Computing, SEMCCO 2013, held in Chennai, India, in December 2013. They cover cutting-edge research on swarm, evolutionary and memetic computing, neural and fuzzy computing and its application.

This book constitutes the proceedings of the 5th International Symposium on Cyberspace Safety and Security, CSS 2013, held in Zhangjiajie, China, in November 2013. The papers are organized in topical sections named: data and applications security; network and communications security; and cloud security and cyberspace safety.

This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The papers are organized in topical sections on code verification, elegant proofs, proof libraries, certified transformations and security.

They address topics related to graph-theoretic and algorithmic aspects of related complex networks, including citation networks, social networks, biological networks, molecular networks and other networks arising from the Internet.

This book constitutes the refereed proceedings of the 13th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2013, held in Turin, Italy, in December 2013.

This book constitutes the thoroughly refereed joint post-proceedings of the Third International Workshop on Mining Ubiquitous and Social Environments, MUSE 2012, held in Bristol, UK, in September 2012, and the Third International Workshop on Modeling Social Media, MSM 2012, held in Milwaukee, WI, USA, in June 2012.

This book constitutes the refereed proceedings of the 16th International Conference on Passive and Active Measurement, PAM 2015, held in New York, NY, USA, in March 2015.

This book constitutes the carefully refereed post-proceedings of the 6th Symposium on Foundations and Practice of Security, FPS 2013, held in La Rochelle, France, in October 2013.

The accepted papers address topics such as rule-based programming and rule-based systems including production rules systems, logic programming rule engines, and business rules engines/business rules management systems; and research on inference rules, transformation rules, decision rules, production rules, and ECA rules.

This book constitutes the refereed proceedings of the First International Conference on Statistical Language and Speech Processing, SLSP 2013, held in Tarragona, Spain, in July 2013. The papers cover a wide range of topics in the fields of computational language and speech processing and the statistical methods that are currently in use.

This book constitutes the refereed proceedings of the 5th International Conference on Augmented Cognition, AC 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences.

This book constitutes the refereed proceedings of the 9th International Conference on Data Integration in the Life Sciences, DILS 2013, held in Montreal, QC, Canada, in July 2013.

Here is the second of a two-volume set (LNCS 8021 and 8022) that constitutes the refereed proceedings of the 5th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation 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 total of 88 contributions included in the VAMR proceedings were carefully reviewed and selected for inclusion in this two-volume set. Thepapers included in this volume are organized in the following topical sections: healthcare and medical applications; virtual and augmented environments for learning and education; business, industrial and military applications; culture and entertainment applications.