The four-volume set LNCS 11746-11749 constitutes the proceedings of the 17th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2019, held in Paphos, Cyprus, in September 2019.The total of 111 full papers presented together with 55 short papers and 48 other papers in these books was carefully reviewed and selected from 385 submissions. The contributions are organized in topical sections named: Part I: accessibility design principles; assistive technology for cognition and neurodevelopment disorders; assistive technology for mobility and rehabilitation; assistive technology for visually impaired; co-design and design methods; crowdsourcing and collaborative work; cyber security and e-voting systems; design methods; design principles for safety/critical systems. Part II: e-commerce; education and HCI curriculum I; education and HCI curriculum II; eye-gaze interaction; games and gamification; human-robot interaction and 3D interaction; information visualization; information visualization and augmented reality; interaction design for culture and development I. Part III: interaction design for culture and development II; interaction design for culture and development III; interaction in public spaces; interaction techniques for writing and drawing; methods for user studies; mobile HCI; personalization and recommender systems; pointing, touch, gesture and speech-based interaction techniques; social networks and social media interaction. Part IV: user modelling and user studies; user experience; users' emotions, feelings and perception; virtual and augmented reality I; virtual and augmented reality II; wearable and tangible interaction; courses; demonstrations and installations; industry case studies; interactive posters; panels; workshops.

The two volume set LNCS 11678 and 11679 constitutes the refereed proceedings of the 18th International Conference on Computer Analysis of Images and Patterns, CAIP 2019, held in Salerno, Italy, in September 2019. The 106 papers presented were carefully reviewed and selected from 176 submissions The papers are organized in the following topical sections: Intelligent Systems; Real-time and GPU Processing; Image Segmentation; Image and Texture Analysis; Machine Learning for Image and Pattern Analysis; Data Sets and Benchmarks; Structural and Computational Pattern Recognition; Posters.

This book describes methods and tools that empower information providers to build and maintain knowledge graphs, including those for manual, semi-automatic, and automatic construction; implementation; and validation and verification of semantic annotations and their integration into knowledge graphs. It also presents lifecycle-based approaches for semi-automatic and automatic curation of these graphs, such as approaches for assessment, error correction, and enrichment of knowledge graphs with other static and dynamic resources. Chapter 1 defines knowledge graphs, focusing on the impact of various approaches rather than mathematical precision. Chapter 2 details how knowledge graphs are built, implemented, maintained, and deployed. Chapter 3 then introduces relevant application layers that can be built on top of such knowledge graphs, and explains how inference can be used to define views on such graphs, making it a useful resource for open and service-oriented dialog systems. Chapter 4 discusses applications of knowledge graph technologies for e-tourism and use cases for other verticals. Lastly, Chapter 5 provides a summary and sketches directions for future work. The additional appendix introduces an abstract syntax and semantics for domain specifications that are used to adapt schema.org to specific domains and tasks. To illustrate the practical use of the approaches presented, the book discusses several pilots with a focus on conversational interfaces, describing how to exploit knowledge graphs for e-marketing and e-commerce. It is intended for advanced professionals and researchers requiring a brief introduction to knowledge graphs and their implementation.

This book constitutes the refereed proceedings of the Second CCF International Conference on Artificial Intelligence, CCF-ICAI 2019, held in Xuzhou, China in August, 2019. The 23 papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on deep learning, image and video processing, NLP and recommender system, machine learning algorithms, and AI applications.

This book constitutes the refereed proceedings of the 16th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2019, held in Istanbul, Turkey, in August 2019. The 23 full papers presented together with 3 short papers were carefully reviewed and selected from 74 submissions. The papers of the MobiWIS 2019 deal with areas such as: mobile apps and services; web and mobile applications; security and privacy; wireless networks and cloud computing; intelligent mobile applications; and mobile web and practical applications.

This two-volume set of LNCS 11643 and LNCS 11644 constitutes - in conjunction with the volume LNAI 11645 - the refereed proceedings of the 15th International Conference on Intelligent Computing, ICIC 2019, held in Nanchang, China, in August 2019. The 217 full papers of the three proceedings volumes were carefully reviewed and selected from 609 submissions.The ICIC theme unifies the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. The theme for this conference is "Advanced Intelligent Computing Methodologies and Applications." Papers related to this theme are especially solicited, including theories, methodologies, and applications in science and technology.

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Collaborative Robotics, ICR 2019, held in Istanbul, Turkey, in August 2019. The 32 papers presented in this volume were carefully reviewed and selected from 46 submissions. They deal with challenges of human-robot interaction; robot control and behavior in social robotics and collaborative robotics; and applied robotic and cyber-physical systems.

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

This book constitutes the proceedings of the 21st International Conference on Passive and Active Measurement, PAM 2020, which was planned to be held in Eugene, Oregon, USA, in March 2020. Due to the Corona pandemic, the conference was organized as a virtual meeting. The 19 full papers presented in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: active measurement; security; best practices and conformance; domain names; topology and routing; topology - alias resolution; and Web.

This two-volume set (CCIS 1005 and CCIS 1006) constitutes the refereed proceedings of the 4th International Conference on Cognitive Systems and Signal Processing, ICCSIP2018, held in Beijing, China, in November and December 2018. The 96 revised full papers presented were carefully reviewed and selected from 169 submissions. The papers are organized in topical sections on vision and image; algorithms; robotics; human-computer interaction; deep learning; information processing and automatic driving.

This book constitutes the refereed proceedings of the 16th International Semantic Web Conference, ESWC 2019, held in Portoroz, Slovenia. The 39 revised full papers presented were carefully reviewed and selected from 134 submissions. The papers are organized in three tracks: research track, resources track, and in-use track and deal with the following topical areas: distribution and decentralisation, velocity on the Web, research of research, ontologies and reasoning, linked data, natural language processing and information retrieval, semantic data management and data infrastructures, social and human aspects of the Semantic Web, and, machine learning.

This book constitutes the refereed proceedings of the 17th International Symposium on Web and Wireless Geographical Information Systems, W2GIS 2019, held in Kyoto, Japan, in May 2019. The 10 full papers included in the volume together with a keynote paper and 3 work-in-progress papers were carefully reviewed and selected from 37 submissions. The papers discuss advances in theoretical, technical, and practical issues in the field of wireless and Internet technologies suited for the dissemination, usage, and processing of geo-referenced data. They cover topics such as Web technologies and techniques, paths and navigation, Web visualization, and novel applications.

This book constitutes the thoroughly refereed proceedings of the First International Conference on Machine Learning for Networking, MLN 2018, held in Paris, France, in November 2018. The 22 revised full papers included in the volume were carefully reviewed and selected from 48 submissions. They present new trends in the following topics: Deep and reinforcement learning; Pattern recognition and classification for networks; Machine learning for network slicing optimization, 5G system, user behavior prediction, multimedia, IoT, security and protection; Optimization and new innovative machine learning methods; Performance analysis of machine learning algorithms; Experimental evaluations of machine learning; Data mining in heterogeneous networks; Distributed and decentralized machine learning algorithms; Intelligent cloud-support communications, resource allocation, energy-aware/green communications, software defined networks, cooperative networks, positioning and navigation systems, wireless communications, wireless sensor networks, underwater sensor networks.

This two-volume set (CCIS 1005 and CCIS 1006) constitutes the refereed proceedings of the 4th International Conference on Cognitive Systems and Signal Processing, ICCSIP2018, held in Beijing, China, in November and December 2018. The 96 revised full papers presented were carefully reviewed and selected from 169 submissions. The papers are organized in topical sections on vision and image; algorithms; robotics; human-computer interaction; deep learning; information processing and automatic driving.

This book constitutes extended selected papers from the 16th Conference on Advanced Information Technologies for Management, AITM 2018, and the 13th Conference on Information Systems Management, ISM 2018, held as part of the Federated Conference on Computer Science and Information Systems, FedCSIS, which took place in Poznan, Poland, in September 2018. The total of 9 full and 3 short papers presented in this volume were carefully reviewed and selected from a total of 43 submissions. The papers selected to be included in this book contribute to the understanding of relevant trends of current research on information technology for management in business and public organizations. They were organized in topical sections named: information technology and systems for knowledge management, and information technology and systems for business transformation.

This book explores and discusses various aspects of intelligent systems technologies and their applications. It constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Intelligent Systems Technologies and Applications (ISTA'18), September 19-22, 2018, Bangalore, India. All submissions were evaluated on the basis of their significance, novelty, and technical quality. This book contains 20 papers selected for presentation at the Symposium. The book is chiefly intended for, and offers a valuable resource for, researchers and scientists engaged in various fields involving intelligent systems.

This book constitutes the thoroughly refereed proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2017, held in Funchal, Madeira, Portugal, in November 2017.The 19 full papers presented were carefully reviewed and selected from 157 submissions. The papers are organized in topical sections on knowledge discovery and information retrieval; knowledge engineering and ontology development; and knowledge management and information sharing.

This book offers comprehensive coverage of information retrieval by considering both Text Based Information Retrieval (TBIR) and Content Based Image Retrieval (CBIR), together with new research topics. The approach to TBIR is based on creating a thesaurus, as well as event classification and detection. N-gram thesaurus generation for query refinement offers a new method for improving the precision of retrieval, while event classification and detection approaches aid in the classification and organization of information using web documents for domain-specific retrieval applications. In turn, with regard to content based image retrieval (CBIR) the book presents a histogram construction method, which is based on human visual perceptions of color. The book's overarching goal is to introduce readers to new ideas in an easy-to-follow manner.

This book constitutes the refereed post-conference proceedings of the 5th Russian Supercomputing Days, RuSCDays 2019, held in Moscow, Russia, in September 2019. The 60 revised full papers presented were carefully reviewed and selected from 127 submissions. The papers are organized in the following topical sections: parallel algorithms; supercomputer simulation; HPC, BigData, AI: architectures, technologies, tools; and distributed and cloud computing.

This two-volume set (CCIS 1137 and CCIS 1138) constitutes the proceedings of the Third International Conference on Cyberspace Data and Intelligence, Cyber DI 2019, and the International Conference on Cyber-Living, Cyber-Syndrome, and Cyber-Health, CyberLife 2019, held under the umbrella of the 2019 Cyberspace Congress, held in Beijing, China, in December 2019. The 64 full papers presented together with 18 short papers were carefully reviewed and selected from 160 submissions. The papers are grouped in the following topics: Cyber Data, Information and Knowledge; Cyber and Cyber-enabled Intelligence; Communication and Computing; Cyber Philosophy, Cyberlogic and Cyber Science; and Cyber Health and Smart Healthcare.

This book constitutes the refereed proceedings of the Second International Conference on Innovative Technologies and Learning, ICITL 2019, held in Tromso, Norway, in December 2019. The 85 full papers presented together with 4 short papers were carefully reviewed and selected from 189 submissions. The papers are organized in the following topical sections: application and design of innovative learning software; artificial intelligence and data mining in education; augmented and virtual reality in education; computational thinking in education; design and framework of learning systems; educational data analytics techniques and adaptive learning applications; evaluation, assessment and test; innovative learning in education; mobile learning; new perspectives in education; online course and web-based environment; pedagogies to innovative technologies; social media learning; technologies enhanced language learning; and technology and engineering education.

This book constitutes the refereed proceedings of the 10th International Conference on Communication Systems and Networks, COMSNETS 2018, held in Banaglore, India, in January 2018.The 12 revised full papers presented in this book were carefully reviewed and selected from 134 submissions. They cover various topics in networking and communications systems.

This book constitutes the proceedings of the 7th International Conference on Analysis of Images, Social Networks and Texts, AIST 2018, held in Moscow, Russia, in July 2018. The 29 full papers were carefully reviewed and selected from 107 submissions (of which 26 papers were rejected without being reviewed). The papers are organized in topical sections on natural language processing; analysis of images and video; general topics of data analysis; analysis of dynamic behavior through event data; optimization problems on graphs and network structures; and innovative systems.

This book deals with integrated Web, mobile, and IoT technologies. Novel approaches and techniques, new tools and frameworks are needed to address the increasing complexity of the distributed computing paradigms that are coming and the applications therein.This volume contains selected and extended papers from a) the Web Technologies track at the 33rd ACM/SIGAPP Symposium On Applied Computing, b) the Web Technologies track at the 32nd ACM/SIGAPP Symposium On Applied Computing, and c) the Software Development for Mobile Devices, Wearables, and the Internet-of-Things Minitrack at the 51st Hawaii International Conference on System Sciences. Overall, it provides a uniform view of cutting-edge research in Web, mobile and IoT technologies.

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. The Australasian Database Conference is an annual international forum for sharing the latest research progresses and novel applications of database systems, data management, data mining and data analytics for researchers and practitioners in these areas from Australia, New Zealand and in the world