The three-volume set LNCS 9737-9739 constitutes the refereed proceedings of the 10th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2016, held as part of the 10th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, ON, Canada in July 2016, jointly with 15 other thematically similar conferences. The total of 1287 papers presented at the HCII 2016 conferences were carefully reviewed and selected from 4354 submissions. The papers included in the three UAHCI 2016 volumes address the following major topics: novel approaches to accessibility; design for all and eInclusion best practices; universal access in architecture and product design; personal and collective informatics in universal access; eye-tracking in universal access; multimodal and natural interaction for universal access; universal access to mobile interaction; virtual reality, 3D and universal access; intelligent and assistive environments; universal access to education and learning; technologies for ASD and cognitive disabilities; design for healthy aging and rehabilitation; universal access to media and games; and universal access to mobility and automotive.

This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016. The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions. They are organized in topical sections on concurrency and parallelism, testing and verification, program correctness and robustness, and real-time systems.

This book constitutes the refereed proceedings of the 15th International Conference on Practical Applications of Scalable Multi-Agent Systems, PAAMS 2017, held in Porto, Portugal, in June 2017. The 11 revised full papers, 11 short papers, and 17 Demo papers were carefully reviewed and selected from 63 submissions. The papers report on the application and validation of agent-based models, methods, and technologies in a number of key application areas, including day life and real world, energy and networks, human and trust, markets and bids, models and tools, negotiation and conversation, scalability and resources.

This book constitutes the proceedings of the second International Conference on Smart Cities, Smart-CT 2017, held in Malaga, Spain, in June 2017. The 16 papers presented in this volume were carefully reviewed and selected from 21 submissions. The topics covered include studies and tools to improve road traffic, energy consumption, logistics, frameworks to provide new services and take decisions in a holistic way, driving assistance, electric vehicles, public transport, and surveys on smart city concepts.

The two-volume set LNCS 10271 and 10272 constitutes the refereed proceedings of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, BC, Canada, in July 2017. The total of 1228 papers presented at the 15 colocated HCII 2017 conferences was carefully reviewed and selected from 4340 submissions. The papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. They 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 included in this volume cover the following topics: HCI theory and education; HCI, innovation and technology acceptance; interaction design and evaluation methods; user interface development; methods, tools, and architectures; multimodal interaction; and emotions in HCI.

The two-volume set LNCS 10271 and 10272 constitutes the refereed proceedings of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, BC, Canada, in July 2017. The total of 1228 papers presented at the 15 colocated HCII 2017 conferences was carefully reviewed and selected from 4340 submissions. The papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. They 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 included in this volume cover the following topics: games in HCI; mobile and wearable interaction; HCI, children and learning; and HCI in complex human environments.

The two-volume set LNCS 10286 + 10287 constitutes the refereed proceedings of the 8th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management, DHM 2017, held as part of HCI International 2017 in Vancouver, BC, Canada. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The 75 papers presented in these volumes were organized in topical sections as follows: Part I: anthropometry, ergonomics, design and comfort; human body and motion modelling; smart human-centered service system design; and human-robot interaction. Part II: clinical and health information systems; health and aging; health data analytics and visualization; and design for safety.

The three-volume set LNCS 10277-10279 constitutes the refereed proceedings of the11th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada in July 2017, jointly with 14 other thematically similar conferences. The total of 1228 papers presented at the HCII 2017 conferences were carefully reviewed and selected from 4340 submissions. The papers included in the three UAHCI 2017 volumes address the following major topics: Design for All Methods and Practice; Accessibility and Usability Guidelines and Evaluation; User and Context Modelling and Monitoring and Interaction Adaptation; Design for Children; Sign Language Processing; Universal Access to Virtual and Augmented Reality; Non Visual and Tactile Interaction; Gesture and Gaze-Based Interaction; Universal Access to Health and Rehabilitation; Universal Access to Education and Learning; Universal Access to Mobility; Universal Access to Information and Media; and Design for Quality of Life Technologies.

The three-volume set LNCS 10277-10279 constitutes the refereed proceedings of the11th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada in July 2017, jointly with 14 other thematically similar conferences. The total of 1228 papers presented at the HCII 2017 conferences were carefully reviewed and selected from 4340 submissions. The papers included in the three UAHCI 2017 volumes address the following major topics: Design for All Methods and Practice; Accessibility and Usability Guidelines and Evaluation; User and Context Modelling and Monitoring and Interaction Adaptation; Design for Children; Sign Language Processing; Universal Access to Virtual and Augmented Reality; Non Visual and Tactile Interaction; Gesture and Gaze-Based Interaction; Universal Access to Health and Rehabilitation; Universal Access to Education and Learning; Universal Access to Mobility; Universal Access to Information and Media; and Design for Quality of Life Technologies.

This book constitutes the refereed proceedings of the 6th International Symposium on End-User Development, IS-EUD 2017, held in Eindhoven, The Netherlands, in June 2017. The 10 full papers and 3 short papers presented were carefully reviewed and selected from 26 submissions. According to the theme of the conference "that was business, this is personal" the papers address the personal involvement and engagement of end-users, the application of end-user programming beyond the professional environment looking also at discretionary use of technologies. They also deal with topics covered by the broader area of end-user development such as domain specific tools, spreadsheets, and end user aspects.

The three-volume set LNCS 10277-10279 constitutes the refereed proceedings of the11th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada in July 2017, jointly with 14 other thematically similar conferences. The total of 1228 papers presented at the HCII 2017 conferences were carefully reviewed and selected from 4340 submissions. The papers included in the three UAHCI 2017 volumes address the following major topics: Design for All Methods and Practice; Accessibility and Usability Guidelines and Evaluation; User and Context Modelling and Monitoring and Interaction Adaptation; Design for Children; Sign Language Processing; Universal Access to Virtual and Augmented Reality; Non Visual and Tactile Interaction; Gesture and Gaze-Based Interaction; Universal Access to Health and Rehabilitation; Universal Access to Education and Learning; Universal Access to Mobility; Universal Access to Information and Media; and Design for Quality of Life Technologies.

The two volume set LNCS 10424 and 10425 constitutes the refereed proceedings of the 17th International Conference on Computer Analysis of Images and Patterns, CAIP 2017, held in Ystad, Sweden, in August 2017. The 72 papers presented were carefully reviewed and selected from 144 submissions The papers are organized in the following topical sections: Vision for Robotics; Motion and Tracking; Segmentation; Image/Video Indexing and Retrieval; Shape Representation and Analysis; Biomedical Image Analysis; Biometrics; Machine Learning; Image Restoration; and Poster Sessions.

Develop apps and games using the Leap Motion sensor. This book starts with a brief introduction to Leap Motion, then covers getting the Leap Motion working and setting up a Leap Motion development environment. Leap Motion for Developers also covers the life cycle of how you interact with Leap Motion and the workflow of making a complete app. You'll see how to use different programming languages for simple and steady development. The next part of the book walks through the basics of Leap Motion with Python and Java. We will then work on using Leap Motion with Unity, where we will build an app using Unity and then add different functionality to it. In the last part we cover Unreal 4, Processing, and JavaScript for Leap Motion. What You Will Learn Look at the basics of Leap Motion Develop apps for the Leap Motion sensor See how different languages work with Leap Motion Discover the future of Leap Motion Who This Book Is For Students, developers, game developers, and tech enthusiasts.

The two-volume set LNCS 10286 + 10287 constitutes the refereed proceedings of the 8th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management, DHM 2017, held as part of HCI International 2017 in Vancouver, BC, Canada. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The 75 papers presented in these volumes were organized in topical sections as follows: Part I: anthropometry, ergonomics, design and comfort; human body and motion modelling; smart human-centered service system design; and human-robot interaction. Part II: clinical and health information systems; health and aging; health data analytics and visualization; and design for safety.

This book constitutes the proceedings of the 10th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2017, held in Paris, France, in June 2017. The 26 full papers and 15 short papers presented were carefully reviewed and selected from 88 submissions. The papers feature research in a wide range of disciplines related to issues of context and contextual knowledge and discuss commonalities across and differences between the disciplines' approaches to the study of context. They are organized in the following topical sections: context in representation; context modeling of human activities; context in communication; context awareness; and various specific topics.

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017. The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality.

This book constitutes the proceedings of the 18th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2016, held in Munster, Germany, in April 2016. The 12 full papers and 3 short papers included in this volume were carefully reviewed and selected from 23 submissions. The papers deal with the fields of performance evaluation, dependability, and fault-tolerance of computer and communication systems. A relatively new topic of smart grids is also covered.

This book constitutes the refereed proceedings of the 13th European Conference on Ambient Intelligence, AmI 2017, held in Malaga, Spain, in April 2017. The 16 revised full papers presented together with 4 short papers and 1 keynote paper were carefully reviewed and selected from 48 submissions. The papers cover topics such as: Enabling technologies, methods and platforms; objectives and approaches of ambient intelligence and internet of things; from information design to interaction and experience design, and application areas of AmI and IoT.

Knowledge representation is a key area of modern AI, underlying the development of semantic networks. Description logics are languages that represent knowledge in a structured and formally well-understood way: they are the cornerstone of the Semantic Web. This is the first textbook describing this importan new topic and will be suitable for courses aimed at advanced undergraduate and beginning graduate students, or for self-study. It assumes only a basic knowledge of computer science concepts. After generla introducitons motivating and overviewing the subject, the authors describe a simple DL and how it works and can be used, utilizing a running example that recurs through the book. Methods of reasoning and their implementation and complexity are examined, Finally, the authors provide a non-trivial DL knowledge base and use it to illsutrate featues that have been introduced: this base is available for free online access in a form usable by modern ontology editors.

The two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European Conference on the Applications of Evolutionary Computation, EvoApplications 2017, held in Amsterdam, The Netherlands, in April 2017, colocated with the Evo* 2016 events EuroGP, EvoCOP, and EvoMUSART. The 46 revised full papers presented together with 26 poster papers were carefully reviewed and selected from 108 submissions. EvoApplications 2016 consisted of the following 13 tracks: EvoBAFIN (natural computing methods in business analytics and finance), EvoBIO (evolutionary computation, machine learning and data mining in computational biology), EvoCOMNET (nature-inspired techniques for telecommunication networks and other parallel and distributed systems), EvoCOMPLEX (evolutionary algorithms and complex systems), EvoENERGY (evolutionary computation in energy applications), EvoGAMES (bio-inspired algorithms in games), EvoIASP (evolutionary computation in image analysis, signal processing, and pattern recognition), EvoINDUSTRY (nature-inspired techniques in industrial settings), EvoKNOW (knowledge incorporation in evolutionary computation), EvoNUM (bio-inspired algorithms for continuous parameter optimization), EvoPAR (parallel implementation of evolutionary algorithms), EvoROBOT (evolutionary robotics), EvoSET (nature-inspired algorithms in software engineering and testing), and EvoSTOC (evolutionary algorithms in stochastic and dynamic environments).

The two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European Conference on the Applications of Evolutionary Computation, EvoApplications 2017, held in Amsterdam, The Netherlands, in April 2017, collocated with the Evo* 2016 events EuroGP, EvoCOP, and EvoMUSART. The 46 revised full papers presented together with 26 poster papers were carefully reviewed and selected from 108 submissions. EvoApplications 2016 consisted of the following 13 tracks: EvoBAFIN (natural computing methods in business analytics and finance), EvoBIO (evolutionary computation, machine learning and data mining in computational biology), EvoCOMNET (nature-inspired techniques for telecommunication networks and other parallel and distributed systems), EvoCOMPLEX (evolutionary algorithms and complex systems), EvoENERGY (evolutionary computation in energy applications), EvoGAMES (bio-inspired algorithms in games), EvoIASP (evolutionary computation in image analysis, signal processing, and pattern recognition), EvoINDUSTRY (nature-inspired techniques in industrial settings), EvoKNOW (knowledge incorporation in evolutionary computation), EvoNUM (bio-inspired algorithms for continuous parameter optimization), EvoPAR (parallel implementation of evolutionary algorithms), EvoROBOT (evolutionary robotics), EvoSET (nature-inspired algorithms in software engineering and testing), and EvoSTOC (evolutionary algorithms in stochastic and dynamic environments).

This book constitutes the proceedings of the Third Workshop on Video Analytics for Audience Measurement, VAAM 2016, and the Second International Workshop on Face and Facial Expression Recognition from Real World Videos, FFER 2016, held at the 23rd International Conference on Pattern Recognition, ICPR 2016, in Cancun, Mexico, in December 2016. The 11 papers presented in this volume were carefully reviewed and selected from 13 submissions. They deal with: re-identification; consumer behavior analysis; utilizing pupillary response for task difficulty measurement; logo detection; saliency prediction; classification of facial expressions; face recognition; face verification; age estimation; super resolution; pose estimation; and pain recognition.

Learn how to onboard ServiceNow ITSM tools by evangelizing, educating, and coordinating your organization's service desk, developers, and stakeholders. Drawing on his own story of lessons learned in spinning up the adoption of ServiceNow throughout the Al Jazeera Media Network, application architect Gabriele Kahlout shows IT service managers how to launch automated ServiceNow ticketing tools in seamless integration with their organization's existing email and Active Directory. Spinning Up ServiceNow: IT Service Managers' Guide to Successful User Adoption shows you how to orchestrate your IT service desks and developers to facilitate the adoption and consumption of IT services by all users, supporting their various business needs while optimizing human-computer interaction and minimizing stress and productivity loss arising from poor human-system design. What You'll Learn Quick-start ServiceNow in a matter of days with the minimum configuration required to start processing tickets via email Avoid the teething problems that can spoil your users' onboarding experience with ServiceNow Automate the process of scaling up new teams into ServiceNow Shape your users' experiences so that they retain their familiar bearings in email and Active Directory while welcoming the power of ServiceNow enhancements Create a strategy to avoid common pitfalls that sabotage ITSM programs Who This Book Is For IT managers charged with implementing ServiceNow ITSM suites in their organizations and business analysts determining the requirements for such implementation. The secondary readership is system administrators and developers involved in ITSM.

This book constitutes the proceedings of the 12th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, held in Toulouse, France, in May 2017. The 12 full papers presented together with 2 demo papers in this volumewere carefully reviewed and selected from 16 submissions. The volume features contributions in the theory or practice of intelligent transportation systems (ITS) and communication technologies for: Vehicles on road: e.g. cars, tracks and buses; Air: e.g. aircraft and unmanned aerial vehicles; and Rail: e.g. trains, metros and trams.

This book constitutes the proceedings of the 18th International Conference on Passive and Active Measurement, PAM 2017, held in Sydney, Australia, in March 2017. The 20 full papers presented in this volume were carefully reviewed and selected from 87 submissions. They are organized in topical sections on IPv6, Web and applications, security, performance, latency, characterization and troubleshooting, and wireless.