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

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.

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.

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 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 thoroughly refereed conference proceedings of the First International Joint Conference on Electronic Voting, E-Vote-ID 2016, held in Bregenz, Austria, in October 2016. The 14 full papers presented were carefully reviewed and selected from 57 submissions. They represent a wide range of technological proposals for different voting settings (be it in polling stations, remote voting or even mobile voting) and case studies from different countries already using electronic voting or having conducted first trial elections.

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Environments for Multiagent Systems, E4MAS 2014 - 10 years later, held in Paris, France, in May 2014 as an associated event of AAMAS 2014, the 13th International Conference on Autonomous Agents and Multiagent Systems. The 6 revised full papers presented together with 1 roadmap paper and 7 invited papers were carefully reviewed and selected from 14 initial submissions. The papers are organized in topical sections on connecting agents, environments, and humans; environments for complex and stigmergic systems; virtual and simulated environments; and open agent environments and interoperability.

This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus; resolution; other calculi; and applications.

This book constitutes the refereed proceedings of the 8th International Conference on Knowledge Science, Engineering and Management, KSEM 2015, held in Chongqing, China, in October 2015. The 57 revised full papers presented together with 22 short papers and 5 keynotes were carefully selected and reviewed from 247 submissions. The papers are organized in topical sections on formal reasoning and ontologies; knowledge management and concept analysis; knowledge discovery and recognition methods; text mining and analysis; recommendation algorithms and systems; machine learning algorithms; detection methods and analysis; classification and clustering; mobile data analytics and knowledge management; bioinformatics and computational biology; and evidence theory and its application.