This book constitutes the proceedings of the 13th International Symposium on Advanced Parallel Processing Technologies, APPT 2019, held in Tianjin, China, in August 2019. The 11 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections named: System Support for Neural Networks; Scheduling and File Systems; Optimization and Parallelization; Security and Algorithms.

The volume set LNAI 11740 until LNAI 11745 constitutes the proceedings of the 12th International Conference on Intelligent Robotics and Applications, ICIRA 2019, held in Shenyang, China, in August 2019. The total of 378 full and 25 short papers presented in these proceedings was carefully reviewed and selected from 522 submissions. The papers are organized in topical sections as follows: Part I: collective and social robots; human biomechanics and human-centered robotics; robotics for cell manipulation and characterization; field robots; compliant mechanisms; robotic grasping and manipulation with incomplete information and strong disturbance; human-centered robotics; development of high-performance joint drive for robots; modular robots and other mechatronic systems; compliant manipulation learning and control for lightweight robot. Part II: power-assisted system and control; bio-inspired wall climbing robot; underwater acoustic and optical signal processing for environmental cognition; piezoelectric actuators and micro-nano manipulations; robot vision and scene understanding; visual and motional learning in robotics; signal processing and underwater bionic robots; soft locomotion robot; teleoperation robot; autonomous control of unmanned aircraft systems. Part III: marine bio-inspired robotics and soft robotics: materials, mechanisms, modelling, and control; robot intelligence technologies and system integration; continuum mechanisms and robots; unmanned underwater vehicles; intelligent robots for environment detection or fine manipulation; parallel robotics; human-robot collaboration; swarm intelligence and multi-robot cooperation; adaptive and learning control system; wearable and assistive devices and robots for healthcare; nonlinear systems and control. Part IV: swarm intelligence unmanned system; computational intelligence inspired robot navigation and SLAM; fuzzy modelling for automation, control, and robotics; development of ultra-thin-film, flexible sensors, and tactile sensation; robotic technology for deep space exploration; wearable sensing based limb motor function rehabilitation; pattern recognition and machine learning; navigation/localization. Part V: robot legged locomotion; advanced measurement and machine vision system; man-machine interactions; fault detection, testing and diagnosis; estimation and identification; mobile robots and intelligent autonomous systems; robotic vision, recognition and reconstruction; robot mechanism and design. Part VI: robot motion analysis and planning; robot design, development and control; medical robot; robot intelligence, learning and linguistics; motion control; computer integrated manufacturing; robot cooperation; virtual and augmented reality; education in mechatronics engineering; robotic drilling and sampling technology; automotive systems; mechatronics in energy systems; human-robot interaction.

The volume set LNAI 11740 until LNAI 11745 constitutes the proceedings of the 12th International Conference on Intelligent Robotics and Applications, ICIRA 2019, held in Shenyang, China, in August 2019. The total of 378 full and 25 short papers presented in these proceedings was carefully reviewed and selected from 522 submissions. The papers are organized in topical sections as follows: Part I: collective and social robots; human biomechanics and human-centered robotics; robotics for cell manipulation and characterization; field robots; compliant mechanisms; robotic grasping and manipulation with incomplete information and strong disturbance; human-centered robotics; development of high-performance joint drive for robots; modular robots and other mechatronic systems; compliant manipulation learning and control for lightweight robot. Part II: power-assisted system and control; bio-inspired wall climbing robot; underwater acoustic and optical signal processing for environmental cognition; piezoelectric actuators and micro-nano manipulations; robot vision and scene understanding; visual and motional learning in robotics; signal processing and underwater bionic robots; soft locomotion robot; teleoperation robot; autonomous control of unmanned aircraft systems. Part III: marine bio-inspired robotics and soft robotics: materials, mechanisms, modelling, and control; robot intelligence technologies and system integration; continuum mechanisms and robots; unmanned underwater vehicles; intelligent robots for environment detection or fine manipulation; parallel robotics; human-robot collaboration; swarm intelligence and multi-robot cooperation; adaptive and learning control system; wearable and assistive devices and robots for healthcare; nonlinear systems and control. Part IV: swarm intelligence unmanned system; computational intelligence inspired robot navigation and SLAM; fuzzy modelling for automation, control, and robotics; development of ultra-thin-film, flexible sensors, and tactile sensation; robotic technology for deep space exploration; wearable sensing based limb motor function rehabilitation; pattern recognition and machine learning; navigation/localization. Part V: robot legged locomotion; advanced measurement and machine vision system; man-machine interactions; fault detection, testing and diagnosis; estimation and identification; mobile robots and intelligent autonomous systems; robotic vision, recognition and reconstruction; robot mechanism and design. Part VI: robot motion analysis and planning; robot design, development and control; medical robot; robot intelligence, learning and linguistics; motion control; computer integrated manufacturing; robot cooperation; virtual and augmented reality; education in mechatronics engineering; robotic drilling and sampling technology; automotive systems; mechatronics in energy systems; human-robot interaction.

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 21st International Workshop on Computer Algebra in Scientific Computing, CASC 2019, held in Moscow, Russia, in August 2019. The 28 full papers presented together with 2 invited talks were carefully reviewed and selected from 44 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CASs in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics.

The 2-volume set LNCS 11613 and 11614 constitutes the refereed proceedings of the 6th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2019, held in Santa Maria al Bagno, Italy, in June 2019. The 32 full papers and 35 short papers presented were carefully reviewed and selected from numerous submissions. The papers discuss key issues, approaches, ideas, open problems, innovative applications and trends in virtual and augmented reality, 3D visualization and computer graphics in the areas of medicine, cultural heritage, arts, education, entertainment, military and industrial applications. They are organized in the following topical sections: virtual reality; medicine; augmented reality; cultural heritage; education; and industry.

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 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 revised selected papers from the 6th International Conference on Robot Intelligence Technology and Applications, RiTA 2018, held in Putrajaya, Malaysia, in December 2018. The 20 full papers presented in this volume were carefully reviewed and selected from 80 submissions. The papers present studies on machine learning; optimization; modelling and simulation; path planning; neural networks; landmark recognition; and reinforcement 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 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 explores recent perspectives on type-2 fuzzy sets. Written as a tribute to Professor Jerry Mendel for his pioneering works on type-2 fuzzy sets and systems, it covers a wide range of topics, including applications to the Go game, machine learning and pattern recognition, as well as type-2 fuzzy control and intelligent systems. The book is intended as a reference guide for the type-2 fuzzy logic community, yet it aims also at other communities dealing with similar methods and applications.

This book constitutes the refereed post-conference proceedings of the 7th IFIP WG 13.2 International Conference on Human-Centered Software Engineering, HCSE 2018, held in Sophia Antipolis, France, in September 2018. The 11 full papers and 7 short papers presented together with 5 poster and demo papers were carefully reviewed and selected from 36 submissions. The papers focus on the interdependencies between user interface properties and contribute to the development of theories, methods, tools and approaches for dealing with multiple properties that should be taken into account when developing interactive systems. They are organized in the following topical sections: HCI education and training; model-based and model-driven approaches; task modeling and task-based approaches; tools and tool support; and usability evaluation and UI testing.

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 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 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

The three volume proceedings LNAI 11051 - 11053 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2018, held in Dublin, Ireland, in September 2018. The total of 131 regular papers presented in part I and part II was carefully reviewed and selected from 535 submissions; there are 52 papers in the applied data science, nectar and demo track. The contributions were organized in topical sections named as follows: Part I: adversarial learning; anomaly and outlier detection; applications; classification; clustering and unsupervised learning; deep learningensemble methods; and evaluation. Part II: graphs; kernel methods; learning paradigms; matrix and tensor analysis; online and active learning; pattern and sequence mining; probabilistic models and statistical methods; recommender systems; and transfer learning. Part III: ADS data science applications; ADS e-commerce; ADS engineering and design; ADS financial and security; ADS health; ADS sensing and positioning; nectar track; and demo track.

The three volume proceedings LNAI 11051 - 11053 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2018, held in Dublin, Ireland, in September 2018. The total of 131 regular papers presented in part I and part II was carefully reviewed and selected from 535 submissions; there are 52 papers in the applied data science, nectar and demo track. The contributions were organized in topical sections named as follows: Part I: adversarial learning; anomaly and outlier detection; applications; classification; clustering and unsupervised learning; deep learning; ensemble methods; and evaluation. Part II: graphs; kernel methods; learning paradigms; matrix and tensor analysis; online and active learning; pattern and sequence mining; probabilistic models and statistical methods; recommender systems; and transfer learning. Part III: ADS data science applications; ADS e-commerce; ADS engineering and design; ADS financial and security; ADS health; ADS sensing and positioning; nectar track; and demo track.

At the centre of the methodology used in this book is STEM learning variability space that includes STEM pedagogical variability, learners' social variability, technological variability, CS content variability and interaction variability. To design smart components, firstly, the STEM learning variability space is defined for each component separately, and then model-driven approaches are applied. The theoretical basis includes feature-based modelling and model transformations at the top specification level and heterogeneous meta-programming techniques at the implementation level. Practice includes multiple case studies oriented for solving the task prototypes, taken from the real world, by educational robots. These case studies illustrate the process of gaining interdisciplinary knowledge pieces identified as S-knowledge, T-knowledge, E-knowledge, M-knowledge or integrated STEM knowledge and evaluate smart components from the pedagogical and technological perspectives based on data gathered from one real teaching setting. Smart STEM-Driven Computer Science Education: Theory, Methodology and Robot-based Practices outlines the overall capabilities of the proposed approach and also points out the drawbacks from the viewpoint of different actors, i.e. researchers, designers, teachers and learners.

This unique book succinctly summarizes the need to measure how ontologies (one of the building blocks of the Semantic Web) are currently being utilized, providing insights for various stakeholders. Where possible it improves and reuses terms in existing vocabularies/ontologies, as recommended by the Linked Data community. Recent advances in the Semantic Web have led to a proliferation of Resource Description Framework (RDF) data, which employ ontologies to semantically describe the information on the Web making it equally understandable for both humans and machines. However, to create a network effect, it is important that selective ontologies are used by more data publishers to improve the value of that ontology. For this to happen, it is vital to discover what is being used from an ontology to semantically annotate the information on the Web specific to a given domain. Answers to such basic but crucial questions can only be achieved by ascertaining how ontologies in the current semantic web are being utilized and adopted. The proposed frameworks to obtain such insights are explained with real-world examples to provide a clear and detailed description of ontology usage analysis. Both theoretical and practical, the book is of value to academics and professionals working in industry. Specifically, it is of primary interest to researchers, graduate students and practitioners in the area of the Semantic Web and its various real-world applications.

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

With this book, Christopher Kormanyos delivers a highly practical guide to programming real-time embedded microcontroller systems in C++. It is divided into three parts plus several appendices. Part I provides a foundation for real-time C++ by covering language technologies, including object-oriented methods, template programming and optimization. Next, part II presents detailed descriptions of a variety of C++ components that are widely used in microcontroller programming. It details some of C++'s most powerful language elements, such as class types, templates and the STL, to develop components for microcontroller register access, low-level drivers, custom memory management, embedded containers, multitasking, etc. Finally, part III describes mathematical methods and generic utilities that can be employed to solve recurring problems in real-time C++. The appendices include a brief C++ language tutorial, information on the real-time C++ development environment and instructions for building GNU GCC cross-compilers and a microcontroller circuit. For this third edition, the most recent specification of C++17 in ISO/IEC 14882:2017 is used throughout the text. Several sections on new C++17 functionality have been added, and various others reworked to reflect changes in the standard. Also several new sample projects are introduced and existing ones extended, and various user suggestions have been incorporated. To facilitate portability, no libraries other than those specified in the language standard itself are used. Efficiency is always in focus and numerous examples are backed up with real-time performance measurements and size analyses that quantify the true costs of the code down to the very last byte and microsecond. The target audience of this book mainly consists of students and professionals interested in real-time C++. Readers should be familiar with C or another programming language and will benefit most if they have had some previous experience with microcontroller electronics and the performance and size issues prevalent in embedded systems programming.