Books in the Lecture Notes in Computer Science series

This book constitutes the refereed proceedings of the First International Conference on Dynamic Data-Driven Environmental Systems Science, DyDESS 2014, held in Cambridge, MA, USA, in November 2014.The 24 revised full papers and 7 short papers were carefully reviewed and selected from 62 submissions and cover topics on sensing, imaging and retrieval  for the oceans, atmosphere, space, land, earth and planets that is informed by the environmental context;  algorithms for modeling and simulation, downscaling, model reduction, data assimilation, uncertainty quantification and statistical learning; methodologies for planning and control, sampling and adaptive observation, and efficient coupling of these algorithms into information-gathering and observing system designs; and applications of methodology to environmental estimation, analysis and prediction including climate, natural hazards, oceans, cryosphere, atmosphere, land, space, earth and planets.

This book constitutes the refereed proceedings of the 4th International Symposium on Integrated Uncertainty in Knowledge Modeling and Decision Making, IUKM 2015, held in Nha Trang, Vietnam, in October 2015. The 40 revised full papers were carefully reviewed and selected from 58 submissions and are presented together with three keynote and invited talks. The papers provide a wealth of new ideas and report both theoretical and applied research on integrated uncertainty modeling and management

This book constitutes revised selected papers from the 41st International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2015, held in Garching, Germany, in June 2015. The 32 papers presented in this volume were carefully reviewed and selected from 79 submissions. structural graph theory; graph drawing;

This book constitutes the refereed proceedings of the 13th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2016, held in Porto, Portugal, in September 2016 in conjunction with DEXA 2016. The papers are organized in the following topical sections: security, privacy and trust in eServices;

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2015, held in Naples, Italy, in September, 2015. The 21 revised full papers presented were carefully reviewed and selected from 24 submissions.

This book constitutes the refereed proceedings of the 13th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2016, held in Vienna, Austria, in August 2016. They were organization in topical sections named: mobile Web - practice and experience; advanced Web and mobile systems; mobile Web and applications;

This book constitutes the proceedings of the 20th International Conference on Theory and Practice of Digital Libraries, TPDL 2016, held in Hannover, Germany, in September 2016. The 28 full papers, 5 posters and 8 short papers presented in this volume were carefully reviewed and selected from 93 submissions.

This book constitutes the proceedings of the 18th International Conference on Speech and Computer, SPECOM 2016, held in Budapest, Hungary, in August 2016. The 85 papers presented in this volume were carefully reviewed and selected from 154 submissions.

This book constitutes the proceedings of the First International Conference on Interactive Collaborative Robotics, ICR 2016, held in Budapest, Hungary, in August 2016.The 29 papers presented in this volume were carefully reviewed and selected from 48 submissions.

The papers are organized in topical sections on Mining Big Data, Applications of Big Data Mining, Big Data Indexing and Searching, Big Data Learning and Security, Graph Databases and Data Warehousing, Data Intelligence and Technology.

informal learning environments, learning as a side effect of interactions; empirical studies of learning with technologies, understanding human learning on the web; adaptive support for learning, models of learners, diagnosis and feedback; ontological modeling, semantic web technologies and standards for learning;

This book constitutes the proceedings of the 16th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2016, held in Heraklion, Crete, Greece, in June 2016. The 13 papers presented together with 3 short papers in this volume were carefully reviewed and selected from 34 submissions.

This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June2016, as part of the 11th International Federated Conference onDistributed Computing Techniques, DisCoTec 2016.The 18 revised full papers presented were carefully reviewed andselected from 44 submissions. The papers present a wide range of topicson distributed computing models and formal specification, testing, andverification methods.

The 3-volume set LNCS 9731, 9732, and 9733 constitutes the refereed proceedings of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016.

This book constitutes the refereed proceedings of the Third International Conference on Learning and Collaboration Technologies, LCT 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, Canada, in July 2016, in conjunction with 14 thematically similar conferences.

This book constitutes the proceedings of the 6th International Workshop on Computational Topology in Image Context, CTIC 2016, held in Marseille, France, in June 2016. The 24 papers presented in this volume were carefully reviewed and selected from 35 submissions.

This book constitutes the refereed proceedings of the 14th International Conference on Practical Applications of Scalable Multi-agent Systems, PAAMS 2016, held in Sevilla, Spain, in June 2016.The 9 revised full papers, 10 short papers, and 16 Demo papers were carefully reviewed and selected from 58 submissions (39 full paper and 19 Demo paper submissions. The papers report on the application and validation of agent-based models, methods, and technologies in a number of key application areas, including day life and real world, energy and networks, human and trust, markets and bids, models and tools, negotiation and conversation, scalability and resources. 

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on New Frontiers in Mining Complex Patterns, NFMCP 2015, held in conjunction with ECML-PKDD 2015 in Porto, Portugal, in September 2015.The 15 revised full papers presented together with  one invited talk were carefully reviewed and selected from 19 submissions. They illustrate advanced data mining techniques which preserve the informative richness of complex data and allow for efficient and effective identification of complex information units present in such data. The papers are organized in the following sections: data stream mining, classification, mining complex data, and sequences.

This book constitutes the refereed conference proceedings of the 14th IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2015, held in Delft, The Netherlands, in October 2015. The 40 revised full papers presented together with 1 keynote panel were carefully reviewed and selected from 65 submissions.

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions.

This book constitutes the refereed proceedings of the 37th German Conference on Pattern Recognition, GCPR 2015, held in Aachen, Germany, in October 2015. The 45 revised full papers and one Young Researchers Forum presented were carefully reviewed and selected from 108 submissions. biomedical image analysis and applications;

This book constitutes the proceedings of the 4th International Workshop on Symbiotic Interaction, Symbiotic 2015, held in Berlin, Germany, in October 2015. The 11 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 23 submissions.

This book constitutes the proceedings of the 17th International System Design Language Forum, SDL 2015, held in Berlin, Germany, in October 2015. The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 26 submissions. specification and description language; domain specific languages;