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.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The papers cover vastly dierent topics, but each fall in the intersection of the three primary topics of ESSLLI: Logic, Language and Computation. The 14 papers presented in this volume have been selected among 24 papers presented by talks or posters at the Student Sessions of the 30th edition of ESSLLI, held in 2018 in Sofia, Bulgaria.The Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic and Computation (LoCo), Logic and Language (LoLa), and Language and Computation (LaCo).

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 represents the Flight Operations Manual for a reusable microsatellite platform - the "Future Low-cost Platform" (FLP), developed at the University of Stuttgart, Germany. It provides a basic insight on the onboard software functions, the core data handling system and on the power, communications, attitude control and thermal subsystem of the platform. Onboard failure detection, isolation and recovery functions are treated in detail. The platform is suited for satellites in the 50-150 kg class and is baseline of the microsatellite "Flying Laptop" from the University. The book covers the essential information for ground operators to controls an FLP-based satellite applying international command and control standards (CCSDS and ECSS PUS). Furthermore it provides an overview on the Flight Control Center in Stuttgart and on the link to the German Space Agency DLR Ground Station which is used for early mission phases. Flight procedure and mission planning chapters complement the book.

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.