This book constitutes the refereed proceedings of the First International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2019, held as part of the 21st International Conference on Human-Computer Interaction, HCII 2019, in Orlando, FL, USA in July, 2019. The 1274 full papers and 209 posters presented at the HCII 2019 conferences were carefully reviewed and selected from 5029 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 application areas. The papers in this volume are organized in the following topical sections: interaction in autonomous and semiautonomous vehicles; driving experience; and mobility and transport.

This two-volume set LNCS 11590 and 11591 constitutes the refereed proceedings of the 6th International Conference on Learning and Collaboration Technologies, LCT 2019, held as part of the 21st International Conference on Human-Computer Interaction, HCII 2019, in Orlando, FL, USA in July 2019. The 1274 full papers and 209 posters presented at the HCII 2019 conferences were carefully reviewed and selected from 5029 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 papers in this volume are organized in the following topical sections: designing and evaluating learning experiences; theoretical and pedagogical approaches in technology-enhanced learning; cognitive and psychological issues in learning; and technology in STEM education.

This two-volume set LNCS 11590 and 11591 constitutes the refereed proceedings of the 6th International Conference on Learning and Collaboration Technologies, LCT 2019, held as part of the 21st International Conference on Human-Computer Interaction, HCII 2019, in Orlando, FL, USA in July 2019. The 1274 full papers 209 posters presented at the HCII 2019 conferences were carefully reviewed and selected from 5029 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 papers in this volume are organized in the following topical sections: mobile and ubiquitous learning; virtual reality and augmented reality systems for learning; and collaborative technology.

This book constitutes the proceedings of the 19th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 9 full papers presented together with 2 short papers were carefully reviewed and selected from 28 submissions. The papers addressed challenges in multiple application areas, such as the Internet-of-Things, cloud and edge computing, and mobile systems. Some papers focused on middleware for managing concurrency and consistency in distributed systems, including data replication and transactions.

This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full papers included in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections named: computational models; tools; exploring new frontiers; and coordination patterns.

This two-volume set LNICST 286-287 constitutes the post-conference proceedings of the First EAI International Conference on Artificial Intelligence for Communications and Networks, AICON 2019, held in Harbin, China, in May 2019. The 93 full papers were carefully reviewed and selected from 152 submissions. The papers are organized in topical sections on artificial intelligence, mobile network, deep learning, machine learning, wireless communication, cognitive radio, internet of things, big data, communication system, pattern recognition, channel model, beamforming, signal processing, 5G, mobile management, resource management, wireless position.

The three-volume set CCIS 1032, CCIS 1033, and CCIS 1034 contains the extended abstracts of the posters presented during the 21st International Conference on Human-Computer Interaction, HCII 2019, which took place in Orlando, Florida, in July 2019.The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was carefully reviewed and selected from 5029 submissions. The 208 papers presented in these three volumes are organized in topical sections as follows: Part I: design, development and evaluation methods and technique; multimodal Interaction; security and trust; accessibility and universal access; design and user experience case studies. Part II:interacting with games; human robot interaction; AI and machine learning in HCI; physiological measuring; object, motion and activity recognition; virtual and augmented reality; intelligent interactive environments. Part III: new trends in social media; HCI in business; learning technologies; HCI in transport and autonomous driving; HCI for health and well-being.

The two volumes LNAI 11649 and LNAI 11650 constitute the refereed proceedings of the 20th Annual Conference "Towards Autonomous Robotics", TAROS 2019, held in London, UK, in July 2019. The 74 full papers and 12 short papers presented were carefully reviewed and selected from 101 submissions. The papers present and discuss significant findings and advances in autonomous robotics research and applications. They are organized in the following topical sections: robotic grippers and manipulation; soft robotics, sensing and mobile robots; robotic learning, mapping and planning; human-robot interaction; and robotic systems and applications.

This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018.The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions. The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability.

The 3 volume-set LNCS 11566, 11567 + 11568 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 21st International Conference on Human-Computer Interaction, HCII 2019, which took place in Orlando, Florida, USA, in July 2019. A total of 1274 papers and 209 posters have been accepted for publication in the HCII 2019 proceedings from a total of 5029 submissions. The 125 papers included in this HCI 2019 proceedings were organized in topical sections as follows: Part I: design and evaluation methods and tools; redefining the human in HCI; emotional design, Kansei and aesthetics in HCI; and narrative, storytelling, discourse and dialogue. Part II: mobile interaction; facial expressions and emotions recognition; eye-gaze, gesture and motion-based interaction; and interaction in virtual and augmented reality. Part III: design for social challenges; design for culture and entertainment; design for intelligent urban environments; and design and evaluation case studies.

The 3 volume-set LNCS 11566, 11567 + 11568 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 21st International Conference on Human-Computer Interaction, HCII 2019, which took place in Orlando, Florida, USA, in July 2019. A total of 1274 papers and 209 posters have been accepted for publication in the HCII 2019 proceedings from a total of 5029 submissions. The 125 papers included in this HCI 2019 proceedings were organized in topical sections as follows: Part I: design and evaluation methods and tools; redefining the human in HCI; emotional design, Kansei and aesthetics in HCI; and narrative, storytelling, discourse and dialogue. Part II: mobile interaction; facial expressions and emotions recognition; eye-gaze, gesture and motion-based interaction; and interaction in virtual and augmented reality. Part III: design for social challenges; design for culture and entertainment; design for intelligent urban environments; and design and evaluation case studies.

The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019. The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was carefully reviewed and selected from 5029 submissions. DUXU 2019 includes a total of 167 regular papers, organized in the following topical sections: design philosophy; design theories, methods, and tools; user requirements, preferences emotions and personality; visual DUXU; DUXU for novel interaction techniques and devices; DUXU and robots; DUXU for AI and AI for DUXU; dialogue, narrative, storytelling; DUXU for automated driving, transport, sustainability and smart cities; DUXU for cultural heritage; DUXU for well-being; DUXU for learning; user experience evaluation methods and tools; DUXU practice; DUXU case studies.

This book constitutes the refereed post-conference proceedings of the 6th International Symposium on Computational Modeling of Objects Presented in Images, CompIMAGE 2018, held in Cracow, Poland, inJuly 2018.The 16 revised full papers presented in this book were carefully reviewed and selected from 30 submissions. The papers cover the following topics: digital geometry; digital tomography; and methods and applications.

This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Kosice, Slovakia, in July 2019. The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others.

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 thoroughly refereed post-conference proceedings of the First International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2018, held in Thessaloniki, Greece, on June 20-22, 2018. The 30 revised full papers along with 18 short papers presented were carefully reviewed and selected from 80 submissions.The papers are organized in topical sections on new technologies and teaching approaches to promote the strategies of self and co-regulation learning (new-TECH to SCRL); eLearning 2.0: trends, challenges and innovative perspectives; building critical thinking in higher education: meeting the challenge; digital tools in S and T learning; exploratory potentialities of emerging technologies in education; learning technologies; digital technologies and instructional design; big data in education and learning analytics.

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 provides an overview of crowdsourced data management. Covering all aspects including the workflow, algorithms and research potential, it particularly focuses on the latest techniques and recent advances. The authors identify three key aspects in determining the performance of crowdsourced data management: quality control, cost control and latency control. By surveying and synthesizing a wide spectrum of studies on crowdsourced data management, the book outlines important factors that need to be considered to improve crowdsourced data management. It also introduces a practical crowdsourced-database-system design and presents a number of crowdsourced operators. Self-contained and covering theory, algorithms, techniques and applications, it is a valuable reference resource for researchers and students new to crowdsourced data management with a basic knowledge of data structures and databases.

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.

The two-volume set LNAI 11288 and 11289 constitutes the proceedings of the 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, held in Guadalajara, Mexico, in October 2018. The total of 62 papers presented in these two volumes was carefully reviewed and selected from 149 submissions. The contributions are organized in topical as follows: Part I: evolutionary and nature-inspired intelligence; machine learning; fuzzy logic and uncertainty management. Part II: knowledge representation, reasoning, and optimization; natural language processing; and robotics and computer vision.

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.

Nonmonotonic reasoning is a discipline of computer science, epistemology, and cognition: It models inferences where classical logic is inadequate in symbolic AI, defines normative models for reasoning with defeasible information in epistemology, and models human reasoning under information change in cognition. Its building blocks are defeasible rules formalised as DeFinetti conditionals. In this thesis, Christian Eichhorn examines qualitative and semi-quantitative inference relations on top said conditionals, using the conditional structure of the knowledge base and Spohn's Ordinal Conditional Functions, using established properties. Converting network approaches from probabilistics, he shows how to approach the relations with regard to implementation.

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.

This book proposes a general methodology to introduce Global Navigation Satellite System (GNSS) integrity, starting from a rigorous mathematical description of the problem. It highlights the major issues that designers need to resolve during the development of GNSS-based systems requiring a certain level of confidence on the position estimates. Although it follows a general approach, the final chapters focus on the application of GNSS integrity to rail transportation, as an example. By describing the main requirements in the context of train position function, one of which is the safe function of any train control system, it shows the critical issues associated with the concept of safe position integrity. In particular, one case study clarifies the key differences between the avionic domain and the railway domain related to the application of GNSS technologies, and identifies a number of railway-signaling hazards linked with the use of such technology. Furthermore, it describes various railway-signaling techniques to mitigate such hazards to prepare readers for the future evolution of train control systems, also based on the GNSS technology. This unique book offers a valuable reference guide for engineers and researchers in the fields of satellite navigation and rail transportation.

The main target of this book is to raise the awareness about social networking systems design, implementation, security requirements, and approaches. The book entails related issues including computing, engineering, security, management, and organization policy. It interprets the design, implementation and security threats in the social networks and offers some solutions in this concern. It clarifies the authentication concept between servers to identity users. Most of the models that focus on protecting users' information are also included. This book introduces the Human-Interactive Security Protocols (HISPs) efficiently. Presenting different types of the social networking systems including the internet and mobile devices is one of the main targets of this book. This book includes the social network performance evaluation metrics. It compares various models and approaches used in the design of the social networks. This book includes various applications for the use of the social networks in the healthcare, e-commerce, crisis management, and academic applications. The book provides an extensive background for the development of social network science and its challenges. This book discusses the social networks integration to offer online services, such as instant messaging, email, file sharing, transferring patients' medical reports/images, location-based recommendations and many other functions. This book provides users, designers, engineers and managers with the valuable knowledge to build a better secured information transfer over the social networks. The book gathers remarkable materials from an international experts' panel to guide the readers during the analysis, design, implementation and security achievement for the social network systems. In this book, theories, practical guidance, and challenges are included to inspire designers and researchers. The book guides the engineers, designers, and researchers to exploit the intrinsic design of the social network systems.