Books in the Lecture Notes in Computer Science series

Advanced database and web applications.-Big data.- Data mining.- Machine learning for database.- Data warehouse and OLAP.- Information retrieval.- Data model and query language.- Query processing.- Optimization.- Recommendation systems.- Data quality and credibility.- Multimedia databases.- Temporal and spatial databases.- Data streams and time-series data.- Semantic web and knowledge management.- Graph data management.- Social network analytics.- Bio and health informatics.- Blockchain and parallel/distributed systems.- Security.- Privacy and Trust.- Databases for emerging hardware.

Advanced database and web applications.-Big data.- Data mining.- Machine learning for database.- Data warehouse and OLAP.- Information retrieval.- Data model and query language.- Query processing.- Optimization.- Recommendation systems.- Data quality and credibility.- Multimedia databases.- Temporal and spatial databases.- Data streams and time-series data.- Semantic web and knowledge management.- Graph data management.- Social network analytics.- Bio and health informatics.- Blockchain and parallel/distributed systems.- Security.- Privacy and Trust.- Databases for emerging hardware.

Advanced database and web applications.-Big data.- Data mining.- Machine learning for database.- Data warehouse and OLAP.- Information retrieval.- Data model and query language.- Query processing.- Optimization.- Recommendation systems.- Data quality and credibility.- Multimedia databases.- Temporal and spatial databases.- Data streams and time-series data.- Semantic web and knowledge management.- Graph data management.- Social network analytics.- Bio and health informatics.- Blockchain and parallel/distributed systems.- Security.- Privacy and Trust.- Databases for emerging hardware.

Advanced database and web applications.-Big data.- Data mining.- Machine learning for database.- Data warehouse and OLAP.- Information retrieval.- Data model and query language.- Query processing.- Optimization.- Recommendation systems.- Data quality and credibility.- Multimedia databases.- Temporal and spatial databases.- Data streams and time-series data.- Semantic web and knowledge management.- Graph data management.- Social network analytics.- Bio and health informatics.- Blockchain and parallel/distributed systems.- Security.- Privacy and Trust.- Databases for emerging hardware.

This book constitutes the refereed proceedings of the 13th International Conference on Brain Informatics, BI 2020, held in Padua, Italy, in September 2020. The papers are organized in the following topical sections: cognitive and computational foundations of brain science;

Algorithmic.- Hypergraph Decompositions.- Multi-Agent Path Finding.- New Constraint Programming Model.- On-Demand Multimodal Transit Systems.- Integer programming techniques.- Constrained Clustering.- Deep Neural Networks.- ΓÇóInference and relaxation methods.- Innovative applications of CP/AI/OR techniques.

The 30-volume set, comprising the LNCS books 12346 until 12375, constitutes the refereed proceedings of the 16th European Conference on Computer Vision, ECCV 2020, which was planned to be held in Glasgow, UK, during August 23-28, 2020.

This two-volume set LNCS 12212 and 12213 constitutes the refereed proceedings of the Second International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020, in Copenhagen, Denmark, in July, 2020.* A total of 1439 full papers and 238 posters have been carefully reviewed and accepted for publication in HCII 2020. The papers cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. MobiTAS 2020 includes a total of 59 papers and they are organized in the following topical sections: Part I, Automated Driving and In-Vehicle Experience Design: UX topics in automated driving, and designing in-vehicle experiences.Part II, Driving Behavior, Urban and Smart Mobility: studies on driving behavior, and urban and smart mobility. *The conference was held virtually due to the COVID-19 pandemic.

This book constitutes the proceedings of the 13th International Conference on Cloud Computing, CLOUD 2020, held as part of SCF 2020, during September 18-20, 2020.

This book constitutes the proceedings of the International Conference on Internet of Things, ICIOT 2020, held virtually as part of SCF 2020, in Honolulu, HI, USA, in September 2020.

They cover topics in AI Modeling, AI Analysis, AI and Mobile Applications, AI Architecture, AI Management, AI Engineering, Mobile backend as a service (MBaaS), User experience of AI and mobile services.

This book constitutes the proceedings of the 9th International Conference on Big Data, BigData 2020, held as part of SCF 2020, during September 18-20, 2020. The conference was planned to take place in Honolulu, HI, USA and was changed to a virtual format due to the COVID-19 pandemic.The 16 full and 3 short papers presented were carefully reviewed and selected from 52 submissions. The topics covered are Big Data Architecture, Big Data Modeling, Big Data As A Service, Big Data for Vertical Industries (Government, Healthcare, etc.), Big Data Analytics, Big Data Toolkits, Big Data Open Platforms, Economic Analysis, Big Data for Enterprise Transformation, Big Data in Business Performance Management, Big Data for Business Model Innovations and Analytics, Big Data in Enterprise Management Models and Practices, Big Data in Government Management Models and Practices, and Big Data in Smart Planet Solutions. 

This book constitutes the proceedings of the International Conference on Edge Computing, EDGE 2020, held virtually as part of SCF 2020, in Honolulu, HI, USA, in September 2020.

This book constitutes the proceedings of the 16th International Workshop on Security and Trust Management, STM 2020, co-located with the 25th European Symposium on Research in Computer Security, ESORICS 2020. The conference was planned to take place in Guildford, UK, but had to be moved to an online format due to the COVID-19 pandemic.

Research Track.- Blockchain Based Full Privacy Preserving Public Procurement.- Comparison of Decentralization in DPoS and PoW Blockchains.- MULTAV: A Multi-Chain Token Backed Voting Framework for Decentralized Blockchain Governance.- Reducing Storage Requirement in Blockchain Networks Using Overlapping Data Distribution.- BBM: A Blockchain-based model for open banking via self-sovereign identity.- ProvNet: Networked Blockchain for Decentralized Secure Provenance.- On the verification of Smart Contract: A Systematic review.- Understanding and Handling Blockchain Uncertainties.- Application Track.- Upgradeability Concept for Collaborative Blockchain-based Business Process Execution Framework.- Analysis of Models for Decentralized and Collaborative AI on Blockchain.- ACCTP: Cross Chain Transaction Platform for High-Value Assets.- Lekana - Blockchain Based Archive Storage for Large-scale Cloud Systems.- Dynamic Role-Based Access Control for Decentralized Applications.- Blockchain Applications in Healthcare - A review and Future Perspective.- Short Paper Track.- Have I Been Exploited? A Registry of Vulnerable Ethereum Smart Contracts.-

This book constitutes the refereed proceedings of the 16th World Congress on Services, SERVICES 2020, held as part of the Services Conference Federation, SCF 2020, in Honolulu, HI, USA, in September 2020. The conference was held virtually due to the COVID-19 pandemic.The 5 full papers and 4 short papers presented were carefully reviewed and selected from 10 submissions. The papers cover topics in the field of software engineering foundations and applications with a focus on novel approaches for engineering requirements, design and architectures, testing, maintenance and evolution, model-driven development, software processes, metrics, quality assurance and new software economics models, search-based software engineering, benefiting day-to-day services sectors and derived through experiences, with appreciation to scale, pragmatism, transparency, compliance and/or dependability.

This book constitutes the proceedings of the International Conference on Cognitive Computing, ICCC 2020, held as part of SCF 2020 in Honolulu, HI, USA, in September 2020. The conference was held virtually due to the COVID-19 pandemic.

This book constitutes the proceedings of the 25th International Symposium on Foundations of Intelligent Systems, ISMIS 2020, held in Graz, Austria, in October 2020.

This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, SPIRE 2020, held in Orlando, FL, USA, in October 2020. The 17 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 32 submissions. information retrieval;

This book constitutes the 14th edition of the annual Multi-Agent Programming Contest, MAPC 2019, and presents its participants.The 2019 scenario and all its changes from previous competitions are described in the first contribution, together with a brief description and analysis of the five participating teams and a closer look at the matches.

The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The papers were organized in topical sections named: database and Web security; system security; network security; software security; machine learning security;

Knowledge Management.- Big Data, Databases.- Expert System.- Information System.- Information Retrieval.- Digital Libraries.- Mobile Computing.- Pervasive Computing.- Semantic.- Data Visualization.- Web Services.

The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The papers were organized in topical sections named: database and Web security; system security; network security; software security; machine learning security;

This book constitutes the refereed proceedings of the 17th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2020, held in Bratislava, Slovakia, in September 2020. The 11 full and 4 short papers presented were carefully reviewed and selected from 28 submissions.

This book constitutes extended, revised and selected papers from the 11th International Symposium of Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2019.

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions.

They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.

This book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, held in Warsaw, Poland, in September 2020. biomedical image processing; colour image processing; multispectral image processing; pattern recognition in image processing; hardware and architectures for image processing;

and environmental sensing technologies for visual impairmentPart II: accessibility of non-verbal communication: making spatial information accessible to people with disabilities; cognitive disabilities and accessibility - pushing the boundaries of inclusion using digital technologies and accessible eLearning environments;

This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, held in A'quila, Italy, in September 2020. In the Research Track, 12 full papers presented together with 5 short papers were carefully reviewed and selected from 103 submissions.