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

This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields. It covers aspects from educational and game theories, human-computer interaction, computer graphics, artificial intelligence, and systems design. The 25 papers presented in the 13th issue were organized in topical sections named: learning games and visualization; virtual reality and applications; 3D graphics technology, multimedia computing, and others.

Learn how to build a data science technology stack and perform good data science with repeatable methods. You will learn how to turn data lakes into business assets. The data science technology stack demonstrated in Practical Data Science is built from components in general use in the industry. Data scientist Andreas Vermeulen demonstrates in detail how to build and provision a technology stack to yield repeatable results. He shows you how to apply practical methods to extract actionable business knowledge from data lakes consisting of data from a polyglot of data types and dimensions. What You'll Learn Become fluent in the essential concepts and terminology of data science and data engineering Build and use a technology stack that meets industry criteria Master the methods for retrieving actionable business knowledge Coordinate the handling of polyglot data types in a data lake for repeatable results Who This Book Is For Data scientists and data engineers who are required to convert data from a data lake into actionable knowledge for their business, and students who aspire to be data scientists and data engineers

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 proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.

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 provides a concise study of eye gaze tracking as a direct controller of electronic displays and interfaces inside cars and other vehicles. The author explores the prospect of controlling a vehicle's internal system via the drivers' eye gaze and for the vehicles to analyse and respond to a drivers' change in cognitive load too. New algorithms tackling micro-saccadic eye movements and the inaccuracy in eye gaze tracking for controlling on-screen pointers are presented and explored. Multimodal fusion algorithms involving eye gaze and finger tracking systems are presented and validated and important results have been obtained on gaze controlled interfaces and visual responses whilst encountering oncoming road hazards. A set of user trials to validate the algorithms involving driving simulators are also presented by the author. Exploring the Use of Eye Gaze Controlled Interfaces in Automotive Environments would of great importance to researchers and designers alike, within the fields of automotive design and engineering, human-computer interaction (HCI) and intelligent interfaces.

This book is about the harmonious synthesis of functional programming and numerical computation. It shows how the expressiveness of OCaml allows for fast and safe development of data science applications. Step by step, the authors build up to use cases drawn from many areas of Data Science, Machine Learning, and AI, and then delve into how to deploy at scale, using parallel, distributed, and accelerated frameworks to gain all the advantages of cloud computing environments. To this end, the book is divided into three parts, each focusing on a different area. Part I begins by introducing how basic numerical techniques are performed in OCaml, including classical mathematical topics (interpolation and quadrature), statistics, and linear algebra. It moves on from using only scalar values to multi-dimensional arrays, introducing the tensor and Ndarray, core data types in any numerical computing system. It concludes with two more classical numerical computing topics, the solution of Ordinary Differential Equations (ODEs) and Signal Processing, as well as introducing the visualization module we use throughout this book. Part II is dedicated to advanced optimization techniques that are core to most current popular data science fields. We do not focus only on applications but also on the basic building blocks, starting with Algorithmic Differentiation, the most crucial building block that in turn enables Deep Neural Networks. We follow this with chapters on Optimization and Regression, also used in building Deep Neural Networks. We then introduce Deep Neural Networks as well as topic modelling in Natural Language Processing (NLP), two advanced and currently very active fields in both industry and academia. Part III collects a range of case studies demonstrating how you can build a complete numerical application quickly from scratch using Owl. The cases presented include computer vision and recommender systems. This book aims at anyone with a basic knowledge of functional programming and a desire to explore the world of scientific computing, whether to generally explore the field in the round, to build applications for particular topics, or to deep-dive into how numerical systems are constructed. It does not assume strict ordering in reading - readers can simply jump to the topic that interests them most.

This book constitutes revised selected papers from the thoroughly refereed proceedings of the Second International Human Centered Computing Conference, HCC 2016, that consolidated and further develops the successful ICPCA/SWS conferences on Pervasive Computing and the Networked World, and which was held in Colombo, Sri Lanka, in January 2016. The 58 full papers and 30 short papers presented in this volume together with one keynote talk were carefully reviewed and selected from 211 submissions. These proceedings present research papers investigating into a variety of aspects towards human centric intelligent societies. They cover the categories: infrastructure and devices; service and solution; data and knowledge; and community.

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 First International Conference on Interactive Collaborative Robotics, ICR 2016, held in Budapest, Hungary, in August 2016.The 29 papers presented in this volume were carefully reviewed and selected from 48 submissions.

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.

The two-volume set LNCS 9774 and 9775 constitutes the refereed proceedings of the 10th International Conference EuroHaptics 2016, held in London, UK, in July 2016. The 100 papers (36 oral presentations and 64 poster presentations) presented were carefully reviewed and selected from 162 submissions. These proceedings reflect the multidisciplinary nature of EuroHaptics and cover topics such as perception of hardness and softness; haptic devices; haptics and motor control; tactile cues; control of haptic interfaces; thermal perception; robotics and sensing; applications.

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 10th International Workshop on Hybrid Metaheuristics, HM 2016, held in Plymouth, UK, in June 2016. The 15 revised full papers presented were carefully reviewed and selected from 43 submissions. The selected papers are of interest for all the researchers working on integrating metaheuristics with other areas for solving both optimization and constraint satisfaction problems. They represent as well a sample of current research demonstrating how metaheuristics can be integrated with integer linear programming and other operational research techniques for tackling difficult and relevant problems.

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 volume contains the lecture notes of the five courses and one seminar given at the School on Engineering Trustworthy Software Systems (SETSS 2014), held in September 2014 at Southwest University in Chongqing, China. The material is useful for postgraduate students, researchers, academics and industrial engineers who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems. The common themes of the courses include the design and use of theories, techniques and tools for software specification and modeling, analysis and verification. The courses cover sequential programming, component- and object software, hybrid systems and cyber-physical systems with challenges of termination, security, safety, security, fault-tolerance and real-time requirements. The techniques include model checking, correctness by construction through refinement and model transformations, synthesis and computer algebra.

In 25 concise steps, you will learn the basics of blockchain technology. No mathematical formulas, program code, or computer science jargon are used. No previous knowledge in computer science, mathematics, programming, or cryptography is required. Terminology is explained through pictures, analogies, and metaphors. This book bridges the gap that exists between purely technical books about the blockchain and purely business-focused books. It does so by explaining both the technical concepts that make up the blockchain and their role in business-relevant applications. What You'll Learn What the blockchain is Why it is needed and what problem it solves Why there is so much excitement about the blockchain and its potential Major components and their purpose How various components of the blockchain work and interact Limitations, why they exist, and what has been done to overcome them Major application scenarios Who This Book Is For Everyone who wants to get a general idea of what blockchain technology is, how it works, and how it will potentially change the financial system as we know it

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 thoroughly refereed post-conference proceedings of the 11th International Workshop on Radio Frequency Identification held in New York, USA, in June 2015. The 10 revised full papers were carefully reviewed and selected from 23 submissions and are organized in topical sections on PUFs and applications, side-channels and countermeasures, RFID system attacks, and efficient implementations.

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.