Böcker i Lecture Notes in Computer Science-serien

This book constitutes the proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, held in Bucharest, Romania, in September 2016. They deal with cutting-edge research in all major disciplines of Computer Algebra.

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Combinatorial Optimization, ISCO 2016, held in Vietri sul Mare, Italy, in May 2016. They present original research on all aspects of combinatorial optimization, such as algorithms and complexity;

This book constitutes the refereed proceedings of the 9th International Conference on Trust and Trustworthy Computing, TRUST 2016, held in Vienna, Austria, in August 2016. The 8 full papers presented in this volume were carefully reviewed and selected from 25 submissions.

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Belief Functions, BELIEF 2016, held in Prague, Czech Republic, in September 2016. The 25 revised full papers presented in this book were carefully selected and reviewed from 33 submissions.

This book constitutes the proceedings of the 12th International Workshop on OpenMP, IWOMP 2016, held in Nara, Japan, in October 2016. They were organized in topical sections named: applications, locality, task parallelism, extensions, tools, accelerator programming, and performance evaluations and optimization.

This book constitutes the refereed proceedings of the 6th International Conference on Model and Data Engineering, MEDI 2016, held in Almeria, Spain, in September 2016. The 17 full papers and 10 short papers presented together with 2 invited talks were carefully reviewed and selected from 62 submissions.

This book constitutes the refereed proceedings of the 19th International Conference on Text, Speech, and Dialogue, TSD 2016, held in Brno, CzechRepublic, in September 2016. The 62 papers presented together with 3 abstracts of invited talks were carefully reviewed and selected from 127 submissions.

This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016.

This book constitutes the refereed proceedings of the International Conference on Privacy in Statistical Databases, PSD 2016, held in Dubrovnik, Croatia in September 2016 under the sponsorship of the UNESCO chair in Data Privacy. The scope of the conference is on following topics: tabular data protection; microdata and big data masking;

This book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SBLP 2016, held in Maringa, Brazil, in September 2016. The 12 papers presented in this volume were carefully reviewed and selected from 26 submissions.

This book constitutes the refereed proceedings of the 10th International Conference on Web Reasoning and Rule Systems, RR 2016, held in Aberdeen, Scotland, UK, in September 2016.The 10 full papers and 3 technical communications presented were carefully reviewed and selected from 17 submissions.

This two-volume set (LNAI 9875 and LNAI 9876) constitutes the refereed proceedings of the 8th International Conference on Collective Intelligence, ICCCI 2016, held in Halkidiki, Greece, in September 2016. The 108 full papers presented were carefully reviewed and selected from 277 submissions.

This two-volume set (LNAI 9875 and LNAI 9876) constitutes the refereed proceedings of the 8th International Conference on Collective Intelligence, ICCCI 2016, held in Halkidiki, Greece, in September 2016. The 108 full papers presented were carefully reviewed and selected from 277 submissions.

This book constitutes the refereed conference proceedings of the 15th IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2016, held in Swansea, UK, in September 2016The 47 full and 17 short papers presented were carefully reviewed and selected from 90 submissions.

This book constitutes the refereed proceedings of the 14th International Conference on Computational Methods in Systems Biology, CMSB 2016, held in Cambridge, UK, in September 2016. The topics include formalisms for modeling biological processes; frameworks for model verification, validation, analysis, and simulation of biological systems;

This book constitutes the proceedings of the 11th European Conference on Technology Enhanced Learning, EC-TEL 2016, held in Lyon, France, in September 2016. The 26 full papers, 23 short papers, 8 demo papers, and 33 poster papers presented in this volume were carefully reviewed and selected from 148 submissions.

This book constitutes the refereed proceedings of the 8th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2016, held in Guimaraes, Portugal, in September 5-8, 2016. The 14 revised full papers presented were carefully reviewed and selected from 31 submissions.

This book constitutes the refereed conference proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, CP 2016, held in Toulouse, France, in September 2016. The papers are grouped into the following tracks: technical track;

This book constitutes the proceedings of the 9th International Conference on Discrete Optimization and Operations Research, DOOR 2016, held in Vladivostok, Russia, in September 2016. The 39 full papers presented in this volume were carefully reviewed and selected from 181 submissions.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems.

This book constitutes the refereed proceedings of 3 workshops of the 17th International Conference on Web-Age Information Management, WAIM 2016, held in Nanchang, China, in June 2016.The three workshops were as follows: ΓÇó The International Workshop on Spatiotemporal Data Management and Mining for the Web (SDMMW 2016)ΓÇó The International Workshop on Semi-structured Big Data Management and Applications (SemiBDMA 2016).ΓÇó The International Workshop on Mobile Web Data Analytics (MWDA2016)

The main aim of the Patch-MI 2016 workshop is to promote methodological advances within the medical imaging field, with various applications in image segmentation, image denoising, image super-resolution, computer-aided diagnosis, image registration, abnormality detection, and image synthesis.

This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering, SSBSE 2016, held in Raleigh, NC, USA, in October 2016.The 13 revised full papers and 4 short papers presented together with 7 challenge track and 4 graduate student track papers were carefully reviewed and selected from 48 submissions. Search Based Software Engineering (SBSE) studies the application of meta-heuristic optimization techniques to various software engineering problems, ranging from requirements engineering to software testing and maintenance.

This book constitutes the proceedings of the 13th IFIP WG 10.3International Conference on Network and Parallel Computing, NPC 2016,held in Xi'an, China, in October 2016. The 17 full papers presented were carefully reviewed and selected from 99 submissions. data processing and big data;