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

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.

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

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.

This book includes the post-conference proceedings of the 21st RoboCup International Symposium, held in Nagoya, Japan, in September 2017. The 33 full revised papers and 9 papers from the winning teams presented were carefully reviewed and selected from 58 submissions. The papers are orginazed on topical sections on Robotics, Artificial intelligence, Environment perception, State estimation and much more.

This book constitutes the proceedings of the 20th International Workshop on Computer Algebra in Scientific Computing, CASC 2018, held in Lille, France, in September 2018. The 24 full papers of this volume presented with an abstract of an invited talk and one paper corresponding to another invited talk were carefully reviewed and selected from 29 submissions. They deal with cutting-edge research in all major disciplines of computer algebra in sciences such as physics, chemistry, life sciences, and engineering. Chapter "Positive Solutions of Systems of Signed Parametric Polynomial Inequalities" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the refereed conference proceedings of the First International Conference on Emerging Technologies in Computing, iCEtiC 2018, held in London, UK, in August 2018. The 26 revised full papers were reviewed and selected from more than 59 submissions and are organized in topical sections covering Cloud, IoT and distributed computing, software engineering, communications engineering and vehicular technology, AI, expert systems and big data analytics, Web information systems and applications, security, database system, economics and business engineering, mLearning and eLearning.

This book constitutes the refereed post-conference proceedings of the First International Conference on Smart Cities, Infrastructures, Technologies and Applications, SCITA 2017, held in Jeddah, Saudi Arabia, in November 2017. The 35 revised full papers were carefully reviewed and selected from 62 submissions. The papers are grouped in topical sections: infrastructure track, e-governance and transportation track, healthcare track, applications track.

This book constitutes the refereed proceedings of the 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, held in Frankfurt/Main, Germany, in August 2018.The 21 papers presented were carefully reviewed and selected from 39 submissions. They cover the main areas in animat research, including the animat approach and methodology, perception and motor control, action selection and navigation, learning and adaptation, and collective and social behavior.

This book constitutes the proceedings of the 4rd International Conference on e-Learning, e-Education, and Online Training, eLEOT 2018, held in Shanghai, China, in April 2018. The 49 revised full papers presented were carefully reviewed and selected from 120 submissions. They focus on most recent and innovative trends in this broad area, ranging from distance education to collaborative learning, from interactive learning environments to the modelling of STEM (Science, Technology, Mathematics, Engineering) curricula.

This volume constitutes the proceedings of the 7th International Conference on BIGDATA 2018, held as Part of SCF 2018 in Seattle, WA, USA in June 2018. The 22 full papers together with 10 short papers published in this volume were carefully reviewed and selected from 97 submissions. They are organized in topical sections such as Data analysis, data as a service, services computing, data conversion, data storage, data centers, dataflow architectures, data compression, data exchange, data modeling, databases, and data management.

This book constitutes the proceedings of the 15th International Workshop on Knowledge Management and Acquisition for Intelligent Systems, PKAW 2018, held in Nanjing, China, in August 2018. The 15 full papers and 7 short papers included in this volume were carefully reviewed and selected from 51 initial submissions. They cover the methods and tools as well as the applications related to developing a knowledge base, healthcare, financial systems, and intelligent systems.

This book constitutes the proceedings of the 13th International Conference on Queueing Theory and Network Applications, QTNA 2018, held in Tsukuba, Japan in July 2018.The 8 full papers together with 10 short papers included in this volume were carefully reviewed and selected from 57 initial submissions. All the papers to be presented disseminate the latest results covering up-to-date research fields such as performance modeling and analysis of telecommunication systems, retrial and vacation queueing models, optimization of queueing systems, modeling of social systems, application of machine learning in queueing models.

This two-volume set LNCS 10909 and 10910 constitutes the refereed proceedings of the 10th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2018, held as part of HCI International 2018 in Las Vegas, NV, USA. HCII 2018 received a total of 4346 submissions, of which 1171 papers and 160 posters were accepted for publication after a careful reviewing process. The 65 papers presented in this volume were organized in topical sections named: interaction, navigation, and visualization in VAMR; embodiment, communication, and collaboration in VAMR; education, training, and simulation; VAMR in psychotherapy, exercising, and health; virtual reality for cultural heritage, entertainment, and games; industrial and military applications.

The three-volume set LNCS 10918, 10919, and 10290 constitutes the proceedings of the 7th International Conference on Design, User Experience, and Usability, DUXU 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, in Las Vegas, NV, USA in July 2018. The total of 1171 papers presented at the HCII 2018 conferences were carefully reviewed and selected from 4346 submissions. The papers cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of applications areas. The total of 165 contributions included in the DUXU proceedings were carefully reviewed and selected for inclusion in this three-volume set. The 60 papers included in this volume are organized in topical sections on emotion, motivation, and persuasion design, DUXU and children, DUXU in automotive and transport, and DUXU in culture and art.

This two-volume set LNCS 10909 and 10910 constitutes the refereed proceedings of the 10th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2018, held as part of HCI International 2018 in Las Vegas, NV, USA. HCII 2018 received a total of 4346 submissions, of which 1171 papers and 160 posters were accepted for publication after a careful reviewing process. The 65 papers presented in this volume were organized in topical sections named: interaction, navigation, and visualization in VAMR; embodiment, communication, and collaboration in VAMR; education, training, and simulation; VAMR in psychotherapy, exercising, and health; virtual reality for cultural heritage, entertainment, and games; industrial and military applications.

The three-volume set LNCS 10918, 10919, and 10290 constitutes the proceedings of the 7th International Conference on Design, User Experience, and Usability, DUXU 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, in Las Vegas, NV, USA in July 2018. The total of 1171 papers presented at the HCII 2018 conferences were carefully reviewed and selected from 4346 submissions. The papers cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of applications areas. The total of 165 contributions included in the DUXU proceedings were carefully reviewed and selected for inclusion in this three-volume set. The 50 papers included in this volume are organized in topical sections on design, education and creativity, GUI, visualization and image design, multimodal DUXU, and mobile DUXU.