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.

The goal of this book is to crystallize the emerging mobile computing technologies and trends by focusing on the most promising solutions in services computing. The book will provide clear proof that mobile technologies are playing an increasingly important and critical role in supporting toy computing. The goal of this book is to bring together academics and practitioners to describe the use and synergy between the above-mentioned technologies. This book is intended for researchers and students working in computer science and engineering, as well as toy industry technology providers, having particular interests in mobile services.

Succeed in managing Oracle Application Express (APEX) environments. This book focuses on creating the right combination of scalability, high-availability, backup and recovery, integrity, and resource control. The book covers everything from simple to enterprise-class deployments, with emphasis on enterprise-level requirements and coverage of cloud and hybrid-cloud scenarios. Many books cover how to develop applications in Oracle APEX. It's a tool with a fast-growing user-base as developers come to know how quick and easy it is to create new applications that run in a browser. However, just getting an application off the ground is only a small part of a bigger picture. Applications must be supported. They must be available when users need them. They must be robust against disaster and secure against malicious attack. These are the issues addressed in Oracle Application Express Administration. These are the issues that when tackled successfully lead to long term success in using Oracle APEX as a rapid application-development toolset. Readers of this book learn how to install the Oracle APEX engine in support of small-scale projects such as at the departmental level, and in support of enterprise-level projects accessed by thousands of users across dozens of time zones. Readers learn to take advantage of Oracle Database's underlying feature set in regards to application scalability and performance, integrity, security, high-availability, and robustness against failure and data loss. Oracle Application Express Administration also describes different cloud solutions, integration with Oracle E-Business Suite, and helps in taking advantage of multitenancy in Oracle Database 12c and beyond. Covers important enterprise considerations such as scalability, robustness, high-availability. Describes cloud-based application deployment scenarios Focuses on creating the right deployment environment for long-term success What You Will Learn Install, upgrade, and configure robust APEX environments Back up and recover APEX applications and their data Monitor and tune the APEX engine and its applications Benefit from new administration features in APEX 5.0 Run under multi-tenant architecture in Oracle Database 12c Manage the use of scarce resources with Resource Manager Secure your data with advanced security features Build high-availability into your APEX deployments Integrate APEX with Oracle E-Business Suite Who This Book Is For Architects, administrators, and developers who want to better understand how APEX works in a corporate environment. Readers will use this book to design deployment architectures around Oracle Database strengths like multi-tenancy, resource management, and high availability. The book is also useful to administrators responsible for installation and upgrade, backup and recovery, and the ongoing monitoring of the APEX engine and the applications built upon it.

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.

The two-volume set LNICST 150 and 151 constitutes the thoroughly refereed post-conference proceedings of the First International Internet of Things Summit, IoT360 2014, held in Rome, Italy, in October 2014. This volume contains 30 revised full papers carefully reviewed and selected from 51 submissions at the following three conferences: the First International Conference on Mobility and Smart Cities, Mobility IoT 2014; the First International Conference on Software-Defined and Virtualized Future Wireless Networks, SDWN 2014; and the First International Conference on Safety and Security in Internet of Things, SaSeIot 2014. This volume also includes 13 special contributions from recognized experts. The papers in this volume are dedicated to infrastructure-based solutions that will support the deployment of IoT services and applications in the future. They cover the following topics: sustainable solutions to the mobility and smart cities agenda; software defined techniques for supporting more flexible use of wireless and wireless sensor networks; opportunities and risks related to the safety and security in the IoT domain.

This book constitutes the refereed proceedings of the 4th International Symposium on Integrated Uncertainty in Knowledge Modeling and Decision Making, IUKM 2015, held in Nha Trang, Vietnam, in October 2015. The 40 revised full papers were carefully reviewed and selected from 58 submissions and are presented together with three keynote and invited talks. The papers provide a wealth of new ideas and report both theoretical and applied research on integrated uncertainty modeling and management

This three volume set LNAI 9244, 9245, and 9246 constitutes the refereed proceedings of the 8th International Conference on Intelligent Robotics and Applications, ICIRA 2015, held in Portsmouth, UK, in August 2015. The 60 papers included in the first volume are organized in topical sections on analysis and control for complex systems; marine vehicles and oceanic engineering; drives and actuators' modeling; biomechatronics in bionic dexterous hand; robot actuators and sensors; intelligent visual systems; estimation and identification; and adaptive control system.

This book takes a fresh look at biometrics and identity management, extending the dialogue beyond technical considerations, and exploring some of the broader societal and philosophical aspects surrounding the use of biometric applications. Features: presents a brief history of the development of biometrics, and describes some of the popularly held misconceptions surrounding the technology; investigates the challenges and possibilities of biometrics across third party infrastructures and on mobile computing devices; provides guidance on biometric systems design; explores the mechanisms necessary to enable identity intelligence, including logging mechanisms, data communications and data formats; discusses such usage issues as collaboration frameworks, and messaging and data translation; examines the impact of biometric technologies on society, covering issues of privacy and user factors; reviews the current situation in identity management, and predicts where these trends may take us in the future.

This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.

This book presents a significant advancement in the theory and practice of knowledge engineering, the discipline concerned with the development of intelligent agents that use knowledge and reasoning to perform problem solving and decision-making tasks. It covers the main stages in the development of a knowledge-based agent: understanding the application domain, modeling problem solving in that domain, developing the ontology, learning the reasoning rules, and testing the agent. The book focuses on a special class of agents: cognitive assistants for evidence-based reasoning that learn complex problem-solving expertise directly from human experts, support experts, and nonexperts in problem solving and decision making, and teach their problem-solving expertise to students. A powerful learning agent shell, Disciple-EBR, is included with the book, enabling students, practitioners, and researchers to develop cognitive assistants rapidly in a wide variety of domains that require evidence-based reasoning, including intelligence analysis, cybersecurity, law, forensics, medicine, and education.

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

This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015, held in Madrid, Spain, in June 2015. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 36 submissions. They are organized in topical sections on language technology, real-time applications, critical systems, and multicore and distributed systems.

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.

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

This book constitutes the refereed proceedings of the 17th International Conference on Information Security, ISC 2014, held in Hong Kong, China, in October 2014. The 20 revised full papers presented together with 16 short papers and two invited papers were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on public-key encryption, authentication, symmetric key cryptography, zero-knowledge proofs and arguments, outsourced and multi-party computations, implementation, information leakage, firewall and forensics, Web security, and android security.

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test derivation methods, monitoring and fault localization, model and system testing, and real-time systems.

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.

Answering the need for an accessible overview of the field, this text/reference presents a manageable introduction to both the theoretical and practical aspects of computer networks and network programming. Clearly structured and easy to follow, the book describes cutting-edge developments in network architectures, communication protocols, and programming techniques and models, supported by code examples for hands-on practice with creating network-based applications. Features: presents detailed coverage of network architectures; gently introduces the reader to the basic ideas underpinning computer networking, before gradually building up to more advanced concepts; provides numerous step-by-step descriptions of practical examples; examines a range of network programming techniques; reviews network-based data storage and multimedia transfer; includes an extensive set of practical code examples, together with detailed comments and explanations.

This book constitutes the proceedings of the 12th International Conference on Latent Variable Analysis and Signal Separation, LVA/ICS 2015, held in Liberec, Czech Republic, in August 2015. The 61 revised full papers presented - 29 accepted as oral presentations and 32 accepted as poster presentations - were carefully reviewed and selected from numerous submissions. Five special topics are addressed: tensor-based methods for blind signal separation; deep neural networks for supervised speech separation/enhancement; joined analysis of multiple datasets, data fusion, and related topics; advances in nonlinear blind source separation; sparse and low rank modeling for acoustic signal processing.

This three volume set LNAI 9244, 9245, and 9246 constitutes the refereed proceedings of the 8th International Conference on Intelligent Robotics and Applications, ICIRA 2015, held in Portsmouth, UK, in August 2015. The 61 papers included in the second volume are organized in topical sections on man-machine interaction; robot design, development and control; navigation and planning; robot motion analysis and planning; medical robot; prototyping; and manufacturing.