The two-volume set LNCS 10295 and 10296 constitute the refereed proceedings of the 4th International Conference on Learning and Collaboration Technologies, LCT 2017, held as part of the 19th
This book constitutes the proceedings of two events held in conjunction with the CAiSE conferences and related to the areas of enterprise, business-process and information systems modeling: the 18th I
This book offers an inspiring and naïve view on language and reasoning. It presents a new approach to ordinary reasoning that follows the author’s former work on fuzzy logic. Starting from a pragmatic
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 triangu
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 Manage
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 Manage
This book covers computationally innovative methods and technologies including data collection and elicitation, data processing, data analysis, data visualizations, and data presentation. It explores
This book describes an innovative approach to the interaction between humans and a smart environment; an attempt to get a smart home to understand intuitive, multi-modal, human-centred communication.
This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued d
This book provides a uniform framework describing how fuzzy rough granular neural network technologies can be formulated and used in building efficient pattern recognition and mining models. It also d
This book focuses on the fields of fuzzy logic, bio-inspired algorithm; especially bee colony optimization algorithm and also considering the fuzzy control area. The main idea is that this areas toget
This unique volume explores cutting-edge management approaches to developing complex software that is efficient, scalable, sustainable, and suitable for distributed environments. Practical insights ar
This book presents the fundamental notions and advanced mathematical tools in the stochastic modeling of uncertainties and their quantification for large-scale computational models in sciences and eng
This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and
This book introduces readers to titanium matrix composites (TMCs) with novel network microstructures. The bottleneck problem of extreme brittleness and low strengthening effect surrounding TMCs fabric
This book offers a compendium of best practices in game dynamics. It covers a wide range of dynamic game elements ranging from player behavior over artificial intelligence to procedural content genera
This book constitutes the refereed proceedings of the 13th International Conference entitled Beyond Databases, Architectures and Structures, BDAS 2017, held in Ustron, Poland, in May/June 2017. It con
This book focuses on a combination of theoretical advances in the Internet of Things, cloud computing and its real-life applications to serve society. The book discusses technological innovations, aut
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contrib
This book and app is for practitioners, professionals, researchers, and students who want to learn how to make a plot within the R environment using ggplot2, step-by-step without coding.In widespread
This book focuses on the data mining, systems biology, and bioinformatics computational methods that can be used to summarize biological networks. Specifically, it discusses an array of techniques rel
This book provides a collection of concepts, algorithms, and techniques that effectively harness the power of Spatial Network Big Data. Reading this book is a first step towards understanding the imme
This two-volume set, LNAI 10234 and 10235, constitutes the thoroughly refereed proceedings of the 21st Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2017, held in J
This two-volume set, LNAI 10234 and 10235, constitutes the thoroughly refereed proceedings of the 21st Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2017, held in J
This second edition provides a systematic introduction to the work and views of the emerging patent-search research and innovation communities as well as an overview of what has been achieved and, per
This book constitutes the proceedings of the Third International Conference on Decision Support Systems, ICDSST 2017, held in Namur, Belgium, in May 2017. The EWG-DSS series of the International Confe
This book highlights recent research on metaheuristics for biomedical engineering, addressing both theoretical and applications aspects. Given the multidisciplinary nature of bio-medical image analysi
This book provides a practically-oriented introduction to high-level programming language implementation. It demystifies what goes on within a compiler and stimulates the reader's interest in compiler
This book initially reviews the major feature representation and extraction methods and effective learning and recognition approaches, which have broad applications in the context of intelligent image
This book addresses several important aspects of complex automated negotiations and introduces a number of modern approaches for facilitating agents to conduct complex negotiations. It demonstrates th
This book discusses a variety of methods for outlier ensembles and organizes them by the specific principles with which accuracy improvements are achieved. In addition, it covers the techniques with w
This book presents up-to-date information on Brain-computer Interfaces (BCI).BCIs are systems that record brain signals, extract features and translate them into computer commands. For instance, in BC
This is a graduate textbook of advanced tutorials on the theory of cryptography and computational complexity. In particular, the chapters explain aspects of garbled circuits, public-key cryptography,
This book thoroughly investigates the underlying theoretical basis of membrane computing models, and reveals their latest applications. In addition, to date there have been no illustrative case studie
This book addresses the latest research and applications of fuzzy management methods for business decisions. It showcases a broad set of applications and discusses topics such as measures for the qual
This book investigates the pressing issue of resource management for Internet of Things (IoT). The unique IoT ecosystem poses new challenges and calls for unique and bespoke solutions to deal with the
This book constitutes the thoroughly refereed proceedings of the 12th Italian Research Conference on Digital Libraries, IRCDL 2016, held in Firence, Italy, in February 2016. The 15 papers presented we
This book constitutes the refereed proceedings of the 39th European Conference on IR Research, ECIR 2017, held in Aberdeen, UK, in April 2017. The 36 full papers and 47 poster papers presented t
This book is concerned with emergence, interaction, art and computing. It introduces a new focus for emergence in interactive art: the emergent experience. Emergence literature is discussed and an org
This book challenges neurocentrism by advocating a systemic view of cognition based on investigating how action shapes the experience of thinking, placing interactivity at its heart. This systemic vie
