This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Intelligent Human Computer Interaction, IHCI 2017, held in Evry, France, in December 2017. The 15 papers presented together with three invited papers were carefully reviewed and selected from 25 submissions. The conference is forum for the presentation of technological advances and research results at the crossroads of human-computer interaction, artificial intelligence, signal processing and computer vision. This book is open access under a CC BY license.

This work presents a review of different indexing techniques designed to enhance the speed and efficiency of searches over large biometric databases. The coverage includes an extended Delaunay triangulation-based approach for fingerprint biometrics, involving a classification based on the type of minutiae at the vertices of each triangle. This classification is demonstrated to provide improved partitioning of the database, leading to a significant decrease in the number of potential matches during identification. This discussion is then followed by a description of a second indexing technique, which sorts biometric images based on match scores calculated against a set of pre-selected sample images, resulting in a rapid search regardless of the size of the database. The text also examines a novel clustering-based approach to indexing with decision-level fusion, using an adaptive clustering algorithm to compute a set of clusters represented by a 'leader' image, and then determining the index code from the set of leaders. This is shown to improve identification performance while using minimal resources.

This book constitutes the refereed proceedings of the 11th International Conference on Computer Vision Systems, ICVS 2017, held in Shenzhen, China, in July 2017. The 61 papers presented were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on visual control, visual navigation, visual inspection, image processing, human robot interaction, stereo system, image retrieval, visual detection, visual recognition, system design, and 3D vision / fusion.

This book constitutes the refereed proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2017, held in Boston, MA, USA, in November 2017. The 29 revised full papers presented together with 8 revised short papers were carefully reviewed and selected from 68 initial submissions. This year the Symposium was organized into three tracks reflecting major trends related to self-* systems: Stabilizing Systems: Theory and Practice: Distributed Computing and Communication Networks; and Computer Security and Information Privacy.

OpenGL, which has been bound in C, is a seasoned graphics library for scientists and engineers. As we know, Java is a rapidly growing language becoming the de facto standard of Computer Science learning and application development platform as many undergraduate computer science programs are adopting Java in place of C/C++. Released by Sun Microsystems in June 2003, the recent OpenGL binding with Java, JOGL, provides students, scientists, and engineers a new venue of graphics learning, research, and applications. Overview This book aims to be a shortcut to graphics theory and programming in JOGL. Specifically, it covers OpenGL programming in Java, using JOGL, along with concise computer graphics theories. It covers all graphics basics and several advanced topics without including some implementation details that are not necessary in graphics applications. It also covers some basic concepts in Java programming for C/C++ programmers. It is designed as a textbook for students who know programming basics already. It is an excellent shortcut to learn 3D graphics for scientists and engineers who understand Java programming. It is also a good reference for C/C++ graphics vi Preface programmers to learn Java and JOGL. This book is a companion to Guide to Graphics Software Tools (Springer-Verlag, New York, ISBN 0-387-95049-4), which covers a smaller graphics area with similar examples in C but has a comprehensive list of graphics software tools. Organization and Features This book concisely introduces graphics theory and programming in Java with JOGL.

This book constitutes the proceedings of the Third International Conference on Internet Science held in Florence, Italy, in September 2016. The 25 papers presented were carefully reviewed and selected for inclusion in this volume. They were organized in topical sections named: collective awareness and crowdsourcing platforms collaboration, privacy and conformity in virtual/social environments; internet interoperability, freedom and data analysis; smart cities and sociotechnical systems.

This book constitutes the proceedings of the 12th European Conference on Technology Enhanced Learning, EC-TEL 2017, held in Tallinn, Estonia, in September 2017. The 24 full papers, 23 short papers, 6 demo papers, and 22 poster papers presented in this volume were carefully reviewed and selected from 141 submissions. The theme for the 12th EC-TEL conference on Data Driven Approaches in Digital Education' aims to explore the multidisciplinary approaches thateectively illustrate how data-driven education combined with digital education systems can look like and what are the empirical evidences for the use of datadriven tools in educational practices.

This book constitutes the proceedings of the 19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017, held in Beijing, China, in September 2017. The 28 full papers presented in this volume were carefully reviewed and selected from 33 submissions. They deal with cutting-edge research in all major disciplines of Computer Algebra.

This book constitutes the refereed proceedings of the 14th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2017, held in Mallorca, Spain, in September 2017. The 31 full papers presented in this book together with 4 short papers were carefully reviewed and selected from 84 submissions. The papers cover a broad range of topics in the field of cooperative visualization; cooperative design; cooperative engineering; basic theories, methods and technologies that support CDVE; and cooperative applications.

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017. The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers.

This book constitutes the refereed proceedings of the 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, held in Grenoble, France, in August 2016. The 47 revised full papers presented together with 2 invited papers and one industrial paper were carefully reviewed and selected from 176 submissions. The papers are organized in 12 topical sections: Support Tools and Environments; Performance and Power Modeling, Prediction and Evaluation; Scheduling and Load Balancing; High Performance Architectures and Compilers; Parallel and Distributed Data Management and Analytics; Cluster and Cloud Computing; Distributed Systems and Algorithms; Parallel and Distributed Programming, Interfaces, Languages; Multicore and Manycore Parallelism; Theory and Algorithms for Parallel Computation and Networking; Parallel Numerical Methods and Applications; Accelerator Computing.

This book constitutes the refereed proceedings of the 19th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2016, held in Phuket, Thailand, in August 22-26, 2016. The 16 revised full papers presented together with two invited papers, 9 short papers and three extended abstracts were carefully reviewed and selected from 50 submissions. The intention of the papers is to showcase research in several domains, ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research.

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.

This book constitutes the refereed proceedings of the 40th Annual German Conference on Artificial Intelligence, KI 2017 held in Dortmund, Germany in September 2017. The 20 revised full technical papers presented together with 16 short technical communications were carefully reviewed and selected from 73 submissions. The conference cover a range of topics from, e. g., agents, robotics, cognitive sciences, machine learning, planning, knowledge representation, reasoning, and ontologies, with numerous applications in areas like social media, psychology, transportation systems and reflecting the richness and diversity of their field.

This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017. The 23 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: Advanced Implementations and Extensions; OpenMP Application Studies; Analyzing and Extending Tasking; OpenMP 4 Application Evaluation; Extended Parallelism Models: Performance Analysis and Tools; and Advanced Data Management with OpenMP.

This book constitutes the proceedings of the 15th International Conference on Smart Homes and Health Telematics, ICOST 2017, held in Paris, France, in August 2017. The 18 regular papers, 5 short papers together with 2 invited talks included in this volume were carefully reviewed and selected from numerous submissions. The conference features a dynamic program incorporating a range of design, development, deployment and evaluation of Smart Urban Environments, Assistive Technologies, Chronic Disease Management, Coaching and Health Telematics systems.

This book constitutes the refereed proceedings of the 16th International Conference on Ad-hoc, Mobile, and Wireless Networks, ADHOC-NOW 2017, held in Messina, Italy, in September 2017. The 22 full and 9 short papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions were organized in topical sections named: internet of things; security; smart city; ad-hoc networks; implementations and validations; wireless sensor networks; data management; wireless systems.

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017. The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and system testing including real time systems.

This book constitutes the refereed proceedings of the 14th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2017, held in Prague, Czech Republic, in August 2017. The 23 full papers together with 4 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The call for papers of the MobiWis 2017 included new and emerging areas such as: mobile web systems, recommender systems, security and authentication, context-awareness, mobile web and advanced applications, cloud and IoT, mobility management, mobile and wireless networks, and mobile web practice and experience.

This book constitutes the refereed proceedings of the 10th SIGSAND/PLAIS EuroSymposium 2017 titled Information Systems: Research, Development, Applications, and Education, held in Gdansk and Sopot, Poland, on September 27, 2017. The objective of the EuroSymposium on Systems Analysis and Design is to promote and develop high quality research on all issues related to analysis and design (SAND). It provides a forum for SAND researchers and practitioners in Europe and beyond to interact, collaborate, and develop their field. The 10 papers presented in this volume were carefully reviewed and selected from 45 submissions.They are organized in topical sections on data analytics, Web-based information systems, and information systems development.

The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017. The 313 full papers and 12 short papers included in the 6-volume proceedings set were carefully reviewed and selected from 1052 submissions. Apart from the general tracks, ICCSA 2017 included 43 international workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as computer graphics and virtual reality. Furthermore, this year ICCSA 2017 hosted the XIV International Workshop On Quantum Reactive Scattering. The program also featured 3 keynote speeches and 4 tutorials.

The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017. The 313 full papers and 12 short papers included in the 6-volume proceedings set were carefully reviewed and selected from 1052 submissions. Apart from the general tracks, ICCSA 2017 included 43 international workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as computer graphics and virtual reality. Furthermore, this year ICCSA 2017 hosted the XIV International Workshop On Quantum Reactive Scattering. The program also featured 3 keynote speeches and 4 tutorials.

This book constitutes the refereed proceedings of the 18th EPIA Conference on Artificial Intelligence, EPIA 2017, held in Porto, Portugal, in September 2017. The 69 revised full papers and 2 short papers presented were carefully reviewed and selected from a total of 177 submissions. The papers are organized in 16 tracks devoted to the following topics: agent-based modelling for criminological research (ABM4Crime), artificial intelligence in cyber-physical and distributed embedded systems (AICPDES), artificial intelligence in games (AIG), artificial intelligence in medicine (AIM), artificial intelligence in power and energy systems (AIPES), artificial intelligence in transportation systems (AITS), artificial life and evolutionary algorithms (ALEA), ambient intelligence and affective environments (AmIA), business applications of artificial intelligence (BAAI), intelligent robotics (IROBOT), knowledge discovery and business intelligence (KDBI), knowledge representation and reasoning (KRR), multi-agent systems: theory and applications (MASTA), software engineering for autonomous and intelligent systems (SE4AIS), social simulation and modelling (SSM), and text mining and applications (TeMA).

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.