Bøker i Lecture Notes in Computer Science-serien

This book constitutes revised selected papers from the six International Workshops on Behavior Modelling - Foundations and Applications, BM-FA, which took place annually between 2009 and 2014. new ways of behaviour modelling: events in modelling;

This book constitutes the proceedings of the 13th International Conference on Parallel Computing Technologies, PaCT 2015, held in Petrozavodsk, Russia, during August / September 2015. The 37 full papers and 14 short papers presented were carefully reviewed and selected from 87 submissions.

This book constitutes the proceedings of the 11th International Conference on Data Integration in the Life Sciences, DILS 2015, held in Los Angeles, CA, USA, in July 2015. They are organized in topical sections named: data integration technologies; ontology and knowledge engineering for data integration; biomedical data standards and coding;

The Algorithms and Data Structures Symposium - WADS (formerly Workshop on Algorithms And Data Structures), which alternates with the Scandinavian Workshop on Algorithm Theory, is intended as a forum for researchers in the area of design and analysis of algorithms and data structures.

This book constitutes the refereed proceedings of the 14th International Conference on Unconventional Computation and Natural Computation, UCNC 2015, held in Auckland, New Zealand, in August/September 2015. The papers cover a wide range of topics including among others molecular (DNA) computing;

This volume contains the lecture notes of the 11th Reasoning Web Summer School 2015, held in Berlin, Germany, in July/August 2015. In 2015, the theme of the school was Web Logic Rules. This Summer School is devoted to this perspective, and provides insight into the semantic Web, linked data, ontologies, rules, and logic.

This book constitutes the proceedings of the 4th Joint International Semantic Technology Conference, JIST 2014, held in Chiang Mai, Thailand, in November 2014. The theme of the JIST 2014 conference was "Open Data and Semantic Technology".

This book constitutes the refereed proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015, held in Nice, France in March 2015. algorithms for semi-structured data mining, algorithms on automata and words; trees, tree languages and tree automata;

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Numerical Methods and Applications, NMA 2014, held in Borovets, Bulgaria, in August 2014. advanced numerical methods for scientific computing; advanced numerical techniques for PDEs and applications;

This book constitutes revised selected papers from the refereed proceedings of the First Human Centered Computing Conference, HCC 2014, that consolidated and further develops the successful ICPCA/SWS conferences on Pervasive Computing and the Networked World.

This book is dedicated to Professor Martin Wirsing on the occasion of his emeritation from Ludwig-Maximilians-Universitat in Munich, Germany. The remaining five sections consist of groups of scientific papers written by colleagues and collaborators of Professor Wirsing, which have been grouped and ordered according to his scientific evolution.

This book constitutes the proceedings of the Second International Conference on Internet Science, INSCIE 2015, held in Brussels, Belgium, in May 2015. They were organized in topical sections named: internet and society; internet and governance; and internet and innovation.

This book constitutes the refereed proceedings of the 22nd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2015, held in Albena, Bulgaria, in May 2015.

This book constitutes the refereed proceedings of the 5th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2015, held in Lege-Cap Ferret, France, in May 2015. The papers are organized in the following topical sections: scale space and partial differential equation methods;

This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions.

The papers cover a wide range of topics in the analysis of biological systems, networks and data such as model checking, stochastic analysis, hybrid systems, circadian clock, time series data, logic programming, and constraints solving ranging from intercellular to multiscale.

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions.

This book constitutes the proceedings of the 12th International Conference on Spatial Information Theory, COSIT 2015, held in Santa Fee, NM, USA, in October 2015. The 22 papers presented in this book were carefully reviewed and selected from 52 full paper submissions.

This book constitutes the proceedings of the International Conference on Brain Informatics and Health, BIH 2015, held in London, UK, in August/September 2015. The 42 full papers presented were carefully reviewed and selected from 82 submissions.

This book constitutes the refereed proceedings of the Workshops held at the ICWL 2013 International Conference on Web Based Learning in Kenting, Taiwan, in October 2013. 2013 International Workshop on Smart Living and Learning, IWSLL 2013; 2013 International Workshop on Cloud Computing for Web-Based Learning, IWCL 2013;

This book constitutes the refereed post-conference proceedings of the 6th TPC Technology Conference, TPCTC 2014, held in Hangzhou, China, in September 2014.

This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014. The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions.

Yaacov's research has had a major impact not only within the walls of academia, but also in the daily life of lay users of such technology that originated from his research. Yaacov Choueka began his research career in the theory of computer science, dealing with basic questions regarding the relation between mathematical logic and automata theory.

This book constitutes the refereed proceedings of the 8th International Conference on Combinatorial Optimization and Applications, COCOA 2014, held on the island of Maui, Hawaii, USA, in December 2014. Topics covered include classic combinatorial optimization; geometric optimization; network optimization; optimization in graphs;