This book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November 2015. The 32 full papers and 10 short paper
This two volume set LNCS 10039 and 10040 constitutes the refereed post-conference proceedings of the Second International Conference on Cloud Computing and Security, ICCCS 2016, held in Nanjing, China
This book presents a unique selection of fully reviewed, extended papers originally presented at the Social Simulation Conference 2014 in Barcelona, Spain. Only papers on the simulation of historical
This book focuses on the recent developments of virtual reality (VR) and immersive technologies, what effect they are having on our modern, digitised society and explores how current developments and
Florian Neukart describes methods for interpreting signals in the human brain in combination with state of the art AI, allowing for the creation of artificial conscious entities (ACE). Key methods are
By focusing on the theory and techniques of tribological design and testing for bearings, this book systematically reviews the latest advances in applications for this field. It describes advanced tri
Digital forensics deals with the acquisition, preservation, examination, analysis and presentation of electronic evidence. Networked computing, wireless communications and portable electronic devices
This book proposes new algorithms to ensure secured communications and prevent unauthorized data exchange in secured multimedia systems. Focusing on numerous applications’ algorithms and scenarios, it
This book explores the factors that make digital disruption possible and the effects this has on existing business models. It takes a look at the industries that are most susceptible to disruption and
The book offers a detailed guide to temporal ordering, exploring open problems in the field and providing solutions and extensive analysis. It addresses the challenge of automatically ordering events
This book presents recent applications and approaches as well as challenges in digital forensic science. One of the evolving challenges that is covered in the book is the cloud forensic analysis which
Algorithms play an increasingly important role in nearly all fields of mathematics. This book allows readers to develop basic mathematical abilities, in particular those concerning the design and anal
This book constitutes the thoroughly refereed proceedings of the First International Conference of Advancements in Automation, Robotics and Sensing, ICAARS 2016, held in Coimbatore, India, in June 201
This volume presents a comprehensive treatment of Riemannian geometry as a mathematical and computational framework for many problems in machine learning, statistics, optimization, and computer vision
The purpose of law is to prevent the society from harm by declaring what conduct is criminal, and prescribing the punishment to be imposed for such conduct. The pervasiveness of the internet and its a
This book is a collection of articles written by Big Data experts to describe some of the cutting-edge methods and applications from their respective areas of interest, and provides the reader with a
This book gathers the proceedings of the 20th International Conference on Advanced Computer Systems 2016, held in Miedzyzdroje (Poland) on October 19–21, 2016. Addressing topics that include artificia
This book introduces state-of-the-art research on simulation and serious games for education. The major part of this book is based on selected work presented at the 2014 Asia-Europe Symposium on Simul
This textbook provides readers with the tools, techniques and cases required to excel with modern artificial intelligence methods. These embrace the family of neural networks, fuzzy systems and
This book focuses on new research challenges in intelligent information filtering and retrieval. It collects invited chapters and extended research contributions from DART 2014 (the 8th International
The book offers a comprehensive introduction to methods for solving multiple criteria decision making and group decision making problems with hesitant fuzzy information. It reports on the authors’ lat
This book explores and evaluates accounts and models of autistic reasoning and cognition from a computational standpoint. The author investigates the limitations and peculiarities of autistic reasonin
This book constitutes the thoroughly refereed proceedings of the 7th International Conference on e-Infrastructure and e-Services for Developing Countries, AFRICOMM 2015, held in Cotonou, Benin, in Dec
This book constitutes the refereed proceedings of the Second International Conference on Future Network Systems and Security, FNSS 2016, held in Paris, France, in November 2016.The 12 full papers and
This book introduces novel methodological approaches to discrete optimization, providing both theoretical insights and algorithmic discoveries which lead to improvements over state-of-the-art technolo
This book shines a beam of light towards tomorrow's network architectures and their emerging service environments, while considering the transformation that has already taken place. From the perspecti
This book constitutes the refereed proceedings of the 10th International Conference on Provable Security, ProvSec 2016, held in Nanjing, China, in November 2016. The 17 full papers and 6 short papers
This book is a comprehensive, unifying introduction to the field of mathematical analysis and the mathematics of computing. It develops the relevant theory at a modern level and it directly relates mo
This book focuses on applications of social network analysis in predictive policing. Data science is used to identify potential criminal activity by analyzing the relationships between offenders to
This work provides guidelines for the practical implementation of security architecture in a particular corporate cloud. The authors are mathematicians and specialists in data modeling and security. E
This undergraduate textbook introduces and explains computer architecture, through the design of a simple MIPS processor, a simple compiler for a C dialect (C0), and a small operating system kernel. A
This SpringerBrief provides an overview of contemporary innovative technologies and discusses their impact on our daily lives. Written from a technical perspective, and yet using language and terminol
This book is about concepts and methods for developing software for automatically analyzing images, with a focus on main application areas, mapping and image-based metrology. The first part of the boo
This book is intended to effectively address the main issues of today’s Internet, including security, inflexibility, and mobility problems, and provides a revolutionary approach to the Internet. At th
This compendium introduces game theory and gamification to a number of different domains and describes their professional application in information systems. It explains how playful functions can be i
This book presents advances and innovations in grouping genetic algorithms, enriched with new and unique heuristic optimization techniques. These algorithms are specially designed for solving industri
This book will help future scientists to become more intelligent users of computing technology in their practice of science. The content is suitable for introductory courses on the foundations of comp
Despite a plethora of scientific literature devoted to vision research and the trend toward integrative research, the borders between disciplines remain a practical difficulty. To address this problem
This book examines the possibilities of incorporating elements of user-centred design (UCD) such as user experience (UX) and usability with agile software development. It explores the difficulties and
This book offers postgraduate and early career researchers in accounting and information systems a guide to choosing, executing and reporting appropriate data analysis methods to answer their research