Bøker i Lecture Notes in Computer Science-serien

This book constitutes the refereed proceedings of the 15th Annual Conference on Theory and Applications of Models of Computation, TAMC 2019, held in Kitakyushu, Japan, in April 2019. The 43 revised full papers were carefully reviewed and selected from 60 submissions.

This book constitutes the refereed proceedings of the 7th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2019, held in Nara, Japan, in March 2019. The 37 revised full papers presented were carefully reviewed and selected from 93 submissions.

The two-volume set LNAI 11431 and 11432 constitutes the refereed proceedings of the 11th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2019, held in Yogyakarta, Indonesia, in April 2019.The total of 124 full papers accepted for publication in these proceedings were carefully reviewed and selected from 309 submissions.

This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016.The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions.

The two-volume set LNAI 11431 and 11432 constitutes the refereed proceedings of the 11th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2019, held in Yogyakarta, Indonesia, in April 2019.The total of 124 full papers accepted for publication in these proceedings were carefully reviewed and selected from 309 submissions.

This book constitutes the refereed proceedings of the 15th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2018, held in Pisa, Italy, in September 2018.

This book constitutes the refereed proceedings of the 40th German Conference on Pattern Recognition, GCPR 2018, held in Stuttgart, Germany, in October 2018. The 48 revised full papers presented were carefully reviewed and selected from 118 submissions.

This book constitutes revised selected papers from the 19th International Conference on Membrane Computing (CMC19), CMC 2018, which was held in Dresden, Germany, in September 2018.

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on the Security of Industrial Control Systems and Cyber-Physical Systems, CyberICPS 2018, and the Second International Workshop on Security and Privacy Requirements Engineering, SECPRE 2018, held in Barcelona, Spain, in September 2018, in conjunction with the 23rd European Symposium on Research in Computer Security, ESORICS 2018.The CyberICPS Workshop received 15 submissions from which 8 full papers were selected for presentation. They cover topics related to threats, vulnerabilities and risks that cyber-physical systems and industrial control systems face; cyber attacks that may be launched against such systems; and ways of detecting and responding to such attacks. From the SECPRE Workshop 5 full papers out of 11 submissions are included. The selected papers deal with aspects of security and privacy requirements assurance and evaluation; and security requirements elicitation and modelling.

The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution.

This book constitutes the post-conference proceedings of the 14th International Conference on Information Security and Cryptology, Inscrypt 2018, held in Fuzhou, China, in December 2018.The 31 full papers presented together with 5 short papers and 1 invited paper were carefully reviewed and selected from 93 submissions. The papers cover topics in the field of blockchain and crypto currency; lattice-based cryptology; symmetric cryptology; applied cryptography; information security; assymetric encryption; and foundations.

This book constitutes the refereed post-conference proceedings of International Workshops: Polystores and other Systems for Heterogeneous Data, Poly 2018, and Data Management and Analytics for Medicine and Healthcare, DMAH 2018, in Rio de Janeiro, Brazil, in August 2018, held in conjunction with the 44th International Conference on Very Large Data Bases, VLDB 2018. The 11 regular papers presented together with 2 invited papers and 1 abstract of a keynote talk were carefully reviewed and selected from 16 initial submissions. The Poly 2018 Workshop focus on growing a larger and more diverse research agenda around data system solutions for heterogeneous data. The DMAH 2018 Workshop aims to foster exchange of information and discussions on innovative data management and analytics technologies.

This book constitutes the revised post-conference proceedings of the 16th European Conference on Multi-Agent Systems, EUMAS 2018, held at Bergen, Norway, in December 2018. The 18 full papers presented in this volume were carefully reviewed and selected from a total of 34 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Meeting on Computational. The papers deal with the application of computational intelligence to open problems in bioinformatics, biostatistics, systems and synthetic biology, medical informatics, computational approaches to life sciences in general.

This book constitutes revised selected papers from the 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, held in Helsinki, Finland, in August 2018.The 15 full papers presented in this volume were carefully reviewed and selected from 39 submissions.

This book constitutes the thoroughly refereed proceedings of the 21st IAPR International Conference on Discrete Geometry for Computer Imagery, DGCI 2019, held in Marne-la-Vallee, France, in March 2019. The 38 full papers were carefully selected from 50 submissions.

This book constitutes the refereed proceedings of the First International Workshop on Quantum Technology and Optimization Problems, QTOP 2019, held in Munich, Germany, in March 2019.The 18 full papers presented together with 1 keynote paper in this volume were carefully reviewed and selected from 21 submissions.

This book constitutes the proceedings of the Third International Conference on Codes, Cryptology and Information Security, C2SI 2019, held in Rabat, Morocco, in April 2019. The 19 regular papers presented together with 5 invited talks were carefully reviewed and selected from 90 submissions.

This book constitutes revised selected papers from the 10th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2019, held in Darmstadt, Germany, in April 2019. They were organized in topical sections named: Side-Channel Attacks;

This open access book was prepared as a Final Publication of the COST Action IC1406 "High-Performance Modelling and Simulation for Big Data Applications (cHiPSet)" project.Long considered important pillars of the scientific method, Modelling and Simulation have evolved from traditional discrete numerical methods to complex data-intensive continuous analytical optimisations. Resolution, scale, and accuracy have become essential to predict and analyse natural and complex systems in science and engineering. When their level of abstraction raises to have a better discernment of the domain at hand, their representation gets increasingly demanding for computational and data resources.On the other hand, High Performance Computing typically entails the effective use of parallel and distributed processing units coupled with efficient storage, communication and visualisation systems to underpin complex data-intensive applications in distinct scientific and technical domains.It is then arguably required to have a seamless interaction of High Performance Computing with Modelling and Simulation in order to store, compute, analyse, and visualise large data sets in science and engineering. Funded by the European Commission, cHiPSet has provided a dynamic trans-European forum for their members and distinguished guests to openly discuss novel perspectives and topics of interests for these two communities. This cHiPSet compendium presents a set of selected case studies related to healthcare, biological data, computational advertising, multimedia, finance, bioinformatics, and telecommunications.

This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018. The papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging.

This book constitutes the refereed post-conference proceedings of the First International Workshop on Artificial Intelligence in Health, AIH 2018, in Stockholm, Sweden, in July 2018.

This book constitutes the refereed proceedings of the Cryptographer''s Track at the RSA Conference 2019, CT-RSA 2019, held in San Francisco, CA, USA, in March 2019.The 28 papers presented in this volume were carefully reviewed and selected from 75 submissions.CT-RSA is the track devoted to scientific papers on cryptography, public-key to symmetric-key cryptography and from crypto- graphic protocols to primitives and their implementation security.

This book constitutes the refereed proceedings of the 10th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2019 held in East Lansing, MI, USA, in March 2019. The 59 revised full papers were carefully reviewed and selected from 76 submissions.

This book constitutes the post-conference proceedings of the 12th International Workshop on Fuzzy Logic and Applications, WILF 2018, held in Genoa, Italy, in September 2018. The 17 revised full papers and 9 short papers were carefully reviewed and selected from 26 submissions.

This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019. The 13 full papers and 9 short papers in this volume were carefully reviewed and selected from 66 submissions.

This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018. The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Smart Card Research and Advanced Applications, CARDIS 2018, held in Monpellier, France, in November 2018.The 13 revised full papers presented in this book were carefully reviewed and selected from 28 submissions.CARDIS has provided a space for security experts from industry and academia to exchange on security of smart cards and related applications.

Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. Recognizing the convergence of embedded and general-purpose computer systems, this journal publishes original research on systems targeted at specific computing tasks as well as systems with broad application bases. The scope of the journal therefore covers all aspects of computer architecture, code generation and compiler optimization methods of interest to researchers and practitioners designing future embedded systems.This 5th issue contains extended versions of papers by the best paper award candidates of IC-SAMOS 2009 and the SAMOS 2009 Workshop, colocated events of the 9th International Symposium on Systems, Architectures, Modeling and Simulation, SAMOS 2009, held in Samos, Greece, in 2009. The 7 papers included in this volume were carefully reviewed and selected. The papers cover research on embedded processor hardware/software design and integration and present challenging research trends.

This book constitutes the refereed proceedings of 3 workshops held at the 22nd International Conference on Financial Cryptography and Data Security, FC 2018, in Nieuwport, Curacao, in March 2018. The 23 full papers presented together with 2 short papers were carefully reviewed and selected from 52 submissions.