Books in the Lecture Notes in Computer Science series

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.

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connected through networks has led to an evolution of data- and knowledge-management systems from centralized systems to decentralized systems enabling large-scale distributed applications providing high scalability. Current decentralized systems still focus on data and knowledge as their main resource. Feasibility of these systems relies basically on P2P (peer-to-peer) techniques and the support of agent systems with scaling and decentralized control. Synergy between grids, P2P systems, and agent technologies is the key to data- and knowledge-centered systems in large-scale environments.This, the 41st issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains seven revised, extended papers selected from the 4th International Conference on Future Data and Security Engineering, FDSE 2017, which was held in Ho Chi Minh City, Vietnam, in November/December 2017. The main focus of this special issue is on data and security engineering, as well as engineering applications.

This book constitutes the refereed proceedings of the 7th Computational Color Imaging Workshop, CCIW 2019, held in Chiba, Japan, in March 2019. The 22 full papers presented in this volume were carefully reviewed and selected from 34 submissions. The papers are organized in topical sections named: computational color imaging;

This book constitutes the refereed proceedings of the First International SIPAIM Workshop on Processing and Analysis of Biomedical Information, SaMBa 2018, held in conjunction with MICCAI 2018, in Granada, Spain, in September 2018. The 14 full papers presented were carefully reviewed and selected for inclusion in this volume.

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions.

This book constitutes the refereed proceedings of the 5th International Workshop and Challenge on Computational Methods and Clinical Applications for Spine Imaging, CSI 2018, held in conjunction with MICCAI 2018, in Granada, Spain, in September 2018. The 8 full papers presented together with 8 short papers and 1 keynote were carefully reviewed and selected for inclusion in this volume. Papers on novel methodology and clinical research, and also papers which demonstrate the performance of methods on the provided challenges, the aim is to cover both theoretical and very practical aspects of computerized spinal imaging.

This book constitutes the post-conference proceedings of the 4th International Conference on Machine Learning, Optimization, and Data Science, LOD 2018, held in Volterra, Italy, in September 2018.The 46 full papers presented were carefully reviewed and selected from 126 submissions.

This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.

This book constitutes the refereed post-conference proceedings of the 23rd Iberoamerican Congress on Pattern Recognition, CIARP 2018, held in Madrid, Spain, in November 2018The 112 papers presented were carefully reviewed and selected from 187 submissions The program was comprised of 6 oral sessions on the following topics: machine learning, computer vision, classification, biometrics and medical applications, and brain signals, and also on: text and character analysis, human interaction, and sentiment analysis

This book constitutes revised selected papers from two workshops held at the 18th European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2018, in Dublin, Ireland, in September 2018, namely:MIDAS 2018 - Third Workshop on Mining Data for Financial Applications andPAP 2018 - Second International Workshop on Personal Analytics and Privacy.The 12 papers presented in this volume were carefully reviewed and selected from a total of 17 submissions.

This book constitutes revised selected papers from the workshops Nemesis, UrbReas, SoGood, IWAISe, and Green Data Mining, held at the 18th European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2018, in Dublin, Ireland, in September 2018. The 20 papers presented in this volume were carefully reviewed and selected from a total of 32 submissions. The workshops included are:Nemesis 2018: First Workshop on Recent Advances in Adversarial Machine LearningUrbReas 2018: First International Workshop on Urban Reasoning from Complex Challenges in CitiesSoGood 2018: Third Workshop on Data Science for Social GoodIWAISe 2018: Second International Workshop on Artificial Intelligence in SecurityGreen Data Mining 2018: First International Workshop on Energy Efficient Data Mining and Knowledge Discovery

This book constitutes the refereed proceedings of the 13th International Conference on Language and Automata Theory and Applications, LATA 2019, held in St. Petersburg, Russia, in March 2019. The 31 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 98 submissions.

This open access book is about public open spaces, about people, and about the relationship between them and the role of technology in this relationship.

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Security for Information Technology and Communications, SecITC 2018, held in Bucharest, Romania, in November 2018. The 35 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions.

This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Accelerator Programming Using Directives, WACCPD 2018, held in Dallas, TX, USA, in November 2018. The 6 full papers presented have been carefully reviewed and selected from 12 submissions.

This book constitutes the proceedings of the Third Workshop on Face and Facial Expression Recognition from Real World Videos, FFER 2018, and the Second International Workshop on Deep Learning for Pattern Recognition, DLPR 2018, held at the 24th International Conference on Pattern Recognition, ICPR 2018, in Beijing, China, in August 2018.The 7 papers presented in this volume were carefully reviewed and selected from 9 submissions. They deal with topics such as histopathological images, action recognition, scene text detection, speech recognition, object classification, presentation attack detection, and driver drowsiness detection.

This book constitutes revised selected papers from the 21st International Conference on Information Security and Cryptology, ICISC 2018, held in Seoul, South Korea, in November 2018. The total of 21 papers presented in this volume were carefully reviewed and selected from 49 submissions.

This book constitutes the revised selected papers from the 13th International Conference on Risks and Security of Internet and Systems, CRiSIS 2018, held in Arcachon, France, in October 2018. The 12 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 34 submissions.

This book constitutes the refereed proceedings of the First International Workshop, IOSec 2018, sponsored by CIPSEC, held in Heraklion, Crete, Greece, in September 2018. The 12 full papers presented were carefully reviewed and selected from 22 submissions.

This book constitutes the refereed proceedings of the 30th Australasian Database Conference, ADC 2019, held in Sydney, NSW, Australia, in January/February 2019. The 9 full papers presented together with one demo paper were carefully reviewed and selected from 19 submissions.

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Statistical Atlases and Computational Models of the Heart: Atrial Segmentation and LV Quantification Challenges, STACOM 2018, held in conjunction with MICCAI 2018, in Granada, Spain, in September 2018. The 52 revised full workshop papers were carefully reviewed and selected from 60 submissions. The topics of the workshop included: cardiac imaging and image processing, machine learning applied to cardiac imaging and image analysis, atlas construction, statistical modelling of cardiac function across different patient populations, cardiac computational physiology, model customization, atlas based functional analysis, ontological schemata for data and results, integrated functional and structural analyses, as well as the pre-clinical and clinical applicability of these methods.

The three-volume set LNAI 11439, 11440, and 11441 constitutes the thoroughly refereed proceedings of the 23rd Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2019, held in Macau, China, in April 2019. The 137 full papers presented were carefully reviewed and selected from 542 submissions.

The three-volume set LNAI 11439, 11440, and 11441 constitutes the thoroughly refereed proceedings of the 23rd Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2019, held in Macau, China, in April 2019. The 137 full papers presented were carefully reviewed and selected from 542 submissions.

The three-volume set LNAI 11439, 11440, and 11441 constitutes the thoroughly refereed proceedings of the 23rd Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2019, held in Macau, China, in April 2019. The 137 full papers presented were carefully reviewed and selected from 542 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on High Performance Computing in Computational Science, VECPAR 2018, held in São Pedro, Brazil, in September 2018. The 17 full papers and one short paper included in this book were carefully reviewed and selected from 32 submissions presented at the conference. The papers cover the following topics: heterogeneous systems, shared memory systems and GPUs, and techniques including domain decomposition, scheduling and load balancing, with a strong focus on computational science applications.

The papers cover a wide range of important networking measurement and analysis topics from low layers of the network stack up to applications, using measurements at scales large and small, and covering important aspects of the network ecosystem such as routing, DNS, privacy, security, and performance.

This book constitutes the refereed post-conference proceedings of the 6th International Conference on Variable Neighborhood Search, ICVNS 2018, held in Sithonia, Greece, in October 2018.ICVNS 2018 received 49 submissions of which 23 full papers were carefully reviewed and selected.VNS is a metaheuristic based on systematic changes in the neighborhood structure within a search for solving optimization problems and related tasks. The main goal of ICVNS 2018 was to provide a stimulating environment in which researchers coming from various scientific fields could share and discuss their knowledge, expertise, and ideas related to the VNS metaheuristic and its applications.

This book constitutes the proceedings of the 14th International Conference on Information in Contemporary Society, iConference 2019, held in Washington, DC, USA, in March/April 2019.The 44 full papers and 33 short papers presented in this volume were carefully reviewed and selected from 133 submitted full papers and 88 submitted short papers. The papers are organized in the following topical sections: Scientific work and data practices; methodological concerns in (big) data research; concerns about "smart" interactions and privacy; identity questions in online communities; measuring and tracking scientific literature; limits and affordances of automation; collecting data about vulnerable populations; supporting communities through public libraries and infrastructure; information behaviors in academic environments; data-driven storytelling and modeling; online activism; digital libraries, curation and preservation; social-media text mining and sentiment analysis; data and information in the public sphere; engaging with multi-media content; understanding online behaviors and experiences; algorithms at work; innovation and professionalization in technology communities; information behaviors on Twitter; data mining and NLP; informing technology design through offline experiences; digital tools for health management; environmental and visual literacy; and addressing social problems in iSchool research.