This book presents a study in knowledge discovery in data with knowledge understood as a set of relations among objects and their properties. Relations in this case are implicative decision rules and the paradigm in which they are induced is that of computing with granules defined by rough inclusions, the latter introduced and studied within rough mereology, the fuzzified version of mereology. In this book basic classes of rough inclusions are defined and based on them methods for inducing granular structures from data are highlighted. The resulting granular structures are subjected to classifying algorithms, notably k—nearest neighbors and bayesian classifiers. Experimental results are given in detail both in tabular and visualized form for fourteen data sets from UCI data repository. A striking feature of granular classifiers obtained by this approach is that preserving the accuracy of them on original data, they reduce substantially the size of the granulated data set as well as the set of granular decision rules. This feature makes the presented approach attractive in cases where a small number of rules providing a high classification accuracy is desirable. As basic algorithms used throughout the text are explained and illustrated with hand examples, the book may also serve as a textbook.

This book documents recent advances in the field of modeling, simulation, control, security and reliability of Cyber- Physical Systems (CPS) in power grids. The aim of this book is to help the reader gain insights into working of CPSs and understand their potential in transforming the power grids of tomorrow. This book will be useful for all those who are interested in design of cyber-physical systems, be they students or researchers in power systems, CPS modeling software developers, technical marketing professionals and business policy-makers.

The aim of this book is to explain to high-performance computing (HPC) developers how to utilize the Intel® Xeon Phi™ series products efficiently. To that end, it introduces some computing grammar, programming technology and optimization methods for using many-integrated-core (MIC) platforms and also offers tips and tricks for actual use, based on the authors’ first-hand optimization experience. The material is organized in three sections. The first section, “Basics of MIC�, introduces the fundamentals of MIC architecture and programming, including the specific Intel MIC programming environment. Next, the section on “Performance Optimization� explains general MIC optimization techniques, which are then illustrated step-by-step using the classical parallel programming example of matrix multiplication. Finally, “Project development� presents a set of practical and experience-driven methods for using parallel computing in application projects, including how to determine if a serial or parallel CPU program is suitable for MIC and how to transplant a program onto MIC. This book appeals to two main audiences: First, software developers for HPC applications – it will enable them to fully exploit the MIC architecture and thus achieve the extreme performance usually  required in biological genetics, medical imaging, aerospace, meteorology and other areas of HPC. Second, students and researchers engaged in parallel and high-performance computing – it will guide them on how to push the limits of system performance for HPC applications.

Presenting techniques, case-studies and methodologies that combine the use of simulation approaches with optimization techniques for facing problems in manufacturing, logistics, or aeronautical problems, this book provides solutions to common industrial problems in several fields, which range from manufacturing to aviation problems, where the common denominator is the combination of simulation’s flexibility with optimization techniques’ robustness. Providing readers with a comprehensive guide to tackle similar issues in industrial environments, this text explores novel ways to face industrial problems through hybrid approaches (simulation-optimization) that benefit from the advantages of both paradigms, in order to give solutions to important problems in service industry, production processes, or supply chains, such as scheduling, routing problems and resource allocations, among others.

This book contains all refereed papers that were accepted to the first edition of the Asia-Pacific conference on « Complex Systems Design & Management » (CSD&M Asia 2014) that took place in Singapore from December 10 to December 12, 2014 (Website: http://www.2014.csdm-asia.net/). These proceedings cover the most recent trends in the emerging field of Complex Systems, both from an academic and a professional perspective. A special focus is put on Designing Smart cities. The CSD&M Asia 2014 conference is organized under the guidance of the Center of Excellence on Systems Architecture, Management, Economy and Strategy, CESAMES, non-profit organization, address: CESAMES, 8 rue de Hanovre, 75002 Paris, France ( Website : http://www.cesames.net/en).

This book investigates the functional adequacy as well as the affective impression made by feedback messages on mobile devices. It presents an easily adoptable experimental setup to examine context effects on various feedback messages and applies it to auditory, tactile and auditory-tactile feedback messages. This approach provides insights into the relationship between the affective impression and functional applicability of these messages as well as an understanding of the influence of unimodal components on the perception of multimodal feedback messages. The developed paradigm can also be extended to investigate other aspects of context and used to investigate feedback messages in modalities other than those presented. The book uses questionnaires implemented on a Smartphone, which can easily be adopted for field studies to broaden the scope even wider. Finally, the book offers guidelines for the design of system feedback.

(Preliminary) The book is a comprehensive collection of the most recent and significant research and applications in the field of fuzzy logic. It covers fuzzy structures, systems, rules, operations as well as important applications, e.g in decision making, environmental prediction and prevention, and communication. It is dedicated to Enric Trillas as an acknowledgement for his pioneering research in the field. The book include a foreword by Lotfi A. Zadeh.

This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing and simulation semantics and characterising bisimulations from metric, logical, and algorithmic perspectives. Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the use of many mathematical techniques to solve problems in computer science, which is intended to be accessible to postgraduate students in Computer Science and Mathematics. It can also be used by researchers and practitioners either for advanced study or for technical reference.

Providing a comprehensive overview of various methods and applications in decision engineering, this book presents chapters written by a range experts in the field. It presents conceptual aspects of decision support applications in various areas including finance, vendor selection, construction, process management, water management and energy, agribusiness , production scheduling and control, and waste management. In addition to this, a special focus is given to methods of multi-criteria decision analysis. Decision making in organizations is a recurrent theme and is essential for business continuity.  Managers from various fields including public, private, industrial, trading or service sectors are required to make decisions. Consequently managers need the support of these structured methods in order to engage in effective decision making. This book provides a valuable resource for graduate students, professors and researchers of decision analysis, multi-criteria decision analysis and group decision analysis. It is also intended for production engineers, civil engineers and engineering consultants.

This book presents the proceedings of the Seventh International Conference on Management Science and Engineering Management (ICMSEM2013) held from November 7 to 9, 2013 at Drexel University, Philadelphia, Pennsylvania, USA and organized by the International Society of Management Science and Engineering Management, Sichuan University (Chengdu, China) and Drexel University (Philadelphia, Pennsylvania, USA). The goals of the Conference are to foster international research collaborations in Management Science and Engineering Management as well as to provide a forum to present current research findings. The selected papers cover various areas in management science and engineering management, such as Decision Support Systems, Multi-Objective Decisions, Uncertain Decisions, Computational Mathematics, Information Systems, Logistics and Supply Chain Management, Relationship Management, Scheduling and Control, Data Warehousing and Data Mining, Electronic Commerce, Neural Networks, Stochastic Models and Simulation, Fuzzy Programming, Heuristics Algorithms, Risk Control, Organizational Behavior, Green Supply Chains, and Carbon Credits. The proceedings introduce readers to novel ideas on and different problem-solving methods in Management Science and Engineering Management. We selected excellent papers from all over the world, integrating their expertise and ideas in order to improve research on Management Science and Engineering Management.

Is it possible to guide the process of self-organisation towards specific patterns and outcomes? Wouldn’t this be self-contradictory? After all, a self-organising process assumes a transition into a more organised form, or towards a more structured functionality, in the absence of centralised control. Then how can we place the guiding elements so that they do not override rich choices potentially discoverable by an uncontrolled process? This book presents different approaches to resolving this paradox. In doing so, the presented studies address a broad range of phenomena, ranging from autopoietic systems to morphological computation, and from small-world networks to information cascades in swarms. A large variety of methods is employed, from spontaneous symmetry breaking to information dynamics to evolutionary algorithms, creating a rich spectrum reflecting this emerging field. Demonstrating several foundational theories and frameworks, as well as innovative practical implementations, Guided Self-Organisation: Inception, will be an invaluable tool for advanced students and researchers in a multiplicity of fields across computer science, physics and biology, including information theory, robotics, dynamical systems, graph theory, artificial life, multi-agent systems, theory of computation and machine learning.

Neuro-robotics is one of the most multidisciplinary fields of the last decades, fusing information and knowledge from neuroscience, engineering and computer science. This book focuses on the results from the strategic alliance between Neuroscience and Robotics that help the scientific community to better understand the brain as well as design robotic devices and algorithms for interfacing humans and robots. The first part of the book introduces the idea of neuro-robotics, by presenting state-of-the-art bio-inspired devices. The second part of the book focuses on human-machine interfaces for performance augmentation, which can seen as augmentation of abilities of healthy subjects or assistance in case of the mobility impaired. The third part of the book focuses on the inverse problem, i.e. how we can use robotic devices that physically interact with the human body, in order (a) to understand human motor control and (b) to provide therapy to neurologically impaired people or people with disabilities.

The book reports on the latest theories on artificial neural networks, with a special emphasis on bio-neuroinformatics methods. It includes twenty-three papers selected from among the best contributions on bio-neuroinformatics-related issues, which were presented at the International Conference on Artificial Neural Networks, held in Sofia, Bulgaria, on September 10-13, 2013 (ICANN 2013). The book covers a broad range of topics concerning the theory and applications of artificial neural networks, including recurrent neural networks, super-Turing computation and reservoir computing, double-layer vector perceptrons, nonnegative matrix factorization, bio-inspired models of cell communities, Gestalt laws, embodied theory of language understanding, saccadic gaze shifts and memory formation, and new training algorithms for Deep Boltzmann Machines, as well as dynamic neural networks and kernel machines. It also reports on new approaches to reinforcement learning, optimal control of discrete time-delay systems, new algorithms for prototype selection, and group structure discovering. Moreover, the book discusses one-class support vector machines for pattern recognition, handwritten digit recognition, time series forecasting and classification, and anomaly identification in data analytics and automated data analysis. By presenting the state-of-the-art and discussing the current challenges in the fields of artificial neural networks, bioinformatics and neuroinformatics, the book is intended to promote the implementation of new methods and improvement of existing ones, and to support advanced students, researchers and professionals in their daily efforts to identify, understand and solve a number of open questions in these fields.

This book examines optimization problems that in practice involve random model parameters. It details the computation of robust optimal solutions, i.e., optimal solutions that are insensitive with respect to random parameter variations, where appropriate deterministic substitute problems are needed. Based on the probability distribution of the random data and using decision theoretical concepts, optimization problems under stochastic uncertainty are converted into appropriate deterministic substitute problems. Due to the probabilities and expectations involved, the book also shows how to apply approximative solution techniques. Several deterministic and stochastic approximation methods are provided: Taylor expansion methods, regression and response surface methods (RSM), probability inequalities, multiple linearization of survival/failure domains, discretization methods, convex approximation/deterministic descent directions/efficient points, stochastic approximation and gradient procedures and differentiation formulas for probabilities and expectations. In the third edition, this book further develops stochastic optimization methods. In particular, it now shows how to apply stochastic optimization methods to the approximate solution of important concrete problems arising in engineering, economics and operations research.

This book is the second volume on Cooperative Robots and Sensor Networks. The primary objective of this book is to provide an up-to-date reference for cutting-edge studies and research trends related to mobile robots and wireless sensor networks, and in particular for the coupling between them. Indeed, mobile robots and wireless sensor networks have enabled great potentials and a large space for ubiquitous and pervasive applications. Robotics and wireless sensor networks have mostly been considered as separate research fields and little work has investigated the marriage between these two technologies. However, these two technologies share several features, enable common cyber-physical applications and provide complementary support to each other. The book consists of ten chapters, organized into four parts. The first part of the book presents three chapters related to localization of mobile robots using wireless sensor networks. Two chapters presented new solutions based Extended Kalman Filter and Particle Filter for localizing the robots using range measurements with the sensor network. The third chapter presents a survey on mobility-assisted localization techniques in wireless sensor networks. The second part of the book deals with cooperative robots and sensor networks applications. One chapter presents a comprehensive overview of major applications coupling between robots and sensor networks and provides real-world examples of their cooperation. Two other chapters present applications for underwater robots and sensor networks.

Founded in 2004, the Games for Health Project supports community, knowledge and business development efforts to use cutting-edge games and game technologies to improve health and health care. The Games for Health Conference brings together researchers, medical professionals and game developers to share information about the impact of games, playful interaction and game technologies on health, health care and policy. Over two days, more than 400 attendees participate in over 60 sessions provided by an international array of 80+ speakers, cutting across a wide range of activities in health and health care. Topics include exergaming, physical therapy, disease management, health behavior change, biofeedback, rehab, epidemiology, training, cognitive health, nutrition and health education.

This book covers diverse aspects of advanced computer and communication engineering, focusing specifically on industrial and manufacturing theory and applications of electronics, communications, computing and information technology. Experts in research, industry, and academia present the latest developments in technology, describe applications involving cutting-edge communication and computer systems and explore likely future directions. In addition, access is offered to numerous new algorithms that assist in solving computer and communication engineering problems. The book is based on presentations delivered at ICOCOE 2014, the 1st International Conference on Communication and Computer Engineering. It will appeal to a wide range of professionals in the field, including telecommunication engineers, computer engineers and scientists, researchers, academics and students.

This book presents and discusses mathematical models, numerical methods and computational techniques used for solving coupled problems in science and engineering. It takes a step forward in the formulation and solution of real-life problems with a multidisciplinary vision, accounting for all of the complex couplings involved in the physical description. Simulation of multifaceted physics problems is a common task in applied research and industry. Often a suitable solver is built by connecting together several single-aspect solvers into a network. In this book, research in various fields was selected for consideration: adaptive methodology for multi-physics solvers, multi-physics phenomena and coupled-field solutions, leading to computationally intensive structural analysis. The strategies which are used to keep these problems computationally affordable are of special interest, and make this an essential book.

When discussing classification, support vector machines are known to be a capable and efficient technique to learn and predict with high accuracy within a quick time frame. Yet, their black box means to do so make the practical users quite circumspect about relying on it, without much understanding of the how and why of its predictions. The question raised in this book is how can this ‘masked hero’ be made more comprehensible and friendly to the public: provide a surrogate model for its hidden optimization engine, replace the method completely or appoint a more friendly approach to tag along and offer the much desired explanations? Evolutionary algorithms can do all these and this book presents such possibilities of achieving high accuracy, comprehensibility, reasonable runtime as well as unconstrained performance.

Legged robots are a promising locomotion system, capable of performing tasks that conventional vehicles cannot. Even more exciting is the fact that this is a rapidly developing field of study for researchers from a variety of disciplines. However, only a few books have been published on the subject of multi-legged robots. The main objective of this book is to describe some of the major control issues concerning walking robots that the authors have faced over the past 10 years. A second objective is to focus especially on very large hydraulically driven hexapod robot locomotion weighing more than 2,000 kg, making this the first specialized book on this topic. The 10 chapters of the book touch on diverse relevant topics such as design aspects, implementation issues, modeling for control, navigation and control, force and impedance control-based walking, fully autonomous walking, walking and working tasks of hexapod robots, and the future of walking robots. The construction machines of the future will very likely resemble hydraulically driven hexapod robots like the ones described in this book – no longer science fiction but now a reality.

This book presents the state of the art technology in Serious Games which is driven extensive by applications and research in simulation. The topics in this book include: (1) Fashion simulation; (2) Chinese calligraphy ink diffusion simulation; (3) Rehabilitation (4) Long vehicle turning simulation; (5) Marine traffic conflict control; (6) CNC simulation; (7) Special needs education. The book also addresses the fundamental issues in Simulation and Serious Games such as rapid collision detection, game engines or game development platforms. The target audience for this book includes scientists, engineers and practitioners involved in the field of Serious Games and Simulation. The major part of this book comprises of papers presented at the 2012 Asia-Europe Workshop on Serious Games and Simulation held in Nanyang Technological University, Singapore (May 9, 2012). All the contributions have been peer reviewed and by scientific committee members with report about quality, content and originality.

This book presents effective ways to partition mobile devices such that the enterprise system access and its information are completely separated from the personal information. For those using mobile devices for personal and business purposes, the ability to keep the data secure and separate is critical. The applications for security in smart platforms range from personal email accounts to global enterprise systems. Several approaches for mobile virtualization are described, all creating secure and secluded environments for enterprise information. The authors present a reference architecture that allows for integration with existing enterprise mobile device management systems and provides a lightweight solution for containerizing mobile applications. This solution is then benchmarked with several of the existing mobile virtualization solutions across a range of mobile devices. Virtualization Techniques for Mobile Systems is an excellent resource for researchers and professionals working in mobile systems. Advanced-level students studying computer science and electrical engineering will also find the content helpful.

This volume deals with the very novel issue of cyber laundering. The book investigates the problem of cyber laundering legally and sets out why it is of a grave legal concern locally and internationally. The book looks at the current state of laws and how they do not fully come to grips with the problem. As a growing practice in these modern times, and manifesting through technological innovations, cyber laundering is the birth child of money laundering and cybercrime. It concerns how the internet is used for 'washing' illicit proceeds of crime. In addition to exploring the meaning and ambits of the problem with concrete real-life examples, more importantly, a substantial part of the work innovates ways in which the dilemma can be curbed legally. This volume delves into a very grey area of law, daring a yet unthreaded territory and scouring undiscovered paths where money laundering, cybercrime, information technology and international law converge. In addition to unearthing such complexity, the hallmark of this book is in the innovative solutions and dynamic remedies it postulates.

How does one determine how similar two maps are? This book aims at the theory of spatial similarity relations and its application in automated map generalization, including the definitions, classification and features of spatial similarity relations. Included also are calculation models of spatial similarity relations between arbitrary individual objects and between arbitrary object groups, and the application of the theory in the automation of the algorithms and procedures in map generalization.

Information architecture has changed dramatically since the mid-1990s and earlier conceptions of the world and the internet being different and separate have given way to a much more complex scenario in the present day. In the post-digital world that we now inhabit the digital and the physical blend easily and our activities and usage of information takes place through multiple contexts and via multiple devices and unstable, emergent choreographies. Information architecture now is steadily growing into a channel- or medium-specific multi-disciplinary framework, with contributions coming from architecture, urban planning, design and systems thinking, cognitive science, new media, anthropology. All these have been heavily reshaping the practice: conversations about labelling, websites, and hierarchies are replaced by conversations about sense-making, place-making, design, architecture, cross media, complexity, embodied cognition and their application to the architecture of information spaces as places we live in in an increasingly large part of our lives. Via narratives, frameworks, references, approaches and case-studies this book explores these changes and offers a way to reconceptualize the shifting role and nature of information architecture where information permeates digital and physical space, users are producers and products are increasingly becoming complex cross-channel or multi-channel services.