This monograph addresses the state of the art of reduced order methods for modeling and computational reduction of complex parametrized systems, governed by ordinary and/or partial differential equations, with a special emphasis on real time computing techniques and applications in computational mechanics, bioengineering and computer graphics. Several topics are covered, including: design, optimization, and control theory in real-time with applications in engineering; data assimilation, geometry registration, and parameter estimation with special attention to real-time computing in biomedical engineering and computational physics; real-time visualization of physics-based simulations in computer science; the treatment of high-dimensional problems in state space, physical space, or parameter space; the interactions between different model reduction and dimensionality reduction approaches; the development of general error estimation frameworks which take into account both model and discretization effects. This book is primarily addressed to computational scientists interested in computational reduction techniques for large scale differential problems.

The book presents a snapshot of the state-of-art in the field of turbulence modeling and covers the latest developments concerning direct numerical simulations, large eddy simulations, compressible turbulence, coherent structures, two-phase flow simulation and other related topics. It provides readers with a comprehensive review of both theory and applications, describing in detail the authors’ own experimental results. The book is based on the proceedings of the third Turbulence and Interactions Conference (TI 2012), which was held on June 11-14 in La Saline-les-Bains, La Réunion, France and includes both keynote lectures and outstanding contributed papers presented at the conference. This multifaceted collection, which reflects the conference´s emphasis on the interplay of theory, experiments and computing in the process of understanding and predicting the physics of complex flows and solving related engineering problems, offers a practice-oriented guide for students, researchers and professionals in the field of computational fluid dynamics, turbulence modeling and related areas.  

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.

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.

The first volume of the proceedings of the 7th conference on "Finite Volumes for Complex Applications" (Berlin, June 2014) covers topics that include convergence and stability analysis, as well as investigations of these methods from the point of view of compatibility with physical principles. It collects together the focused invited papers, as well as the reviewed contributions from internationally leading researchers in the field of analysis of finite volume and related methods. Altogether, a rather comprehensive overview is given of the state of the art in the field.  The finite volume method in its various forms is a space discretization technique for partial differential equations based on the fundamental physical principle of conservation. Recent decades have brought significant success in the theoretical understanding of the method. Many finite volume methods preserve further qualitative or asymptotic properties, including maximum principles, dissipativity, monotone decay of free energy, and asymptotic stability. Due to these properties, finite volume methods belong to the wider class of compatible discretization methods, which preserve qualitative properties of continuous problems at the discrete level. This structural approach to the discretization of partial differential equations becomes particularly important for multiphysics and multiscale applications. Researchers, PhD and masters level students in numerical analysis, scientific computing and related fields such as partial differential equations will find this volume useful, as will engineers working in numerical modeling and simulations.

Recent achievements in hardware and software development, such as multi-core CPUs and DRAM capacities of multiple terabytes per server, enabled the introduction of a revolutionary technology: in-memory data management. This technology supports the flexible and extremely fast analysis of massive amounts of enterprise data. Professor Hasso Plattner and his research group at the Hasso Plattner Institute in Potsdam, Germany, have been investigating and teaching the corresponding concepts and their adoption in the software industry for years. This book is based on an online course that was first launched in autumn 2012 with more than 13,000 enrolled students and marked the successful starting point of the openHPI e-learning platform. The course is mainly designed for students of computer science, software engineering, and IT related subjects, but addresses business experts, software developers, technology experts, and IT analysts alike. Plattner and his group focus on exploring the inner mechanics of a column-oriented dictionary-encoded in-memory database. Covered topics include - amongst others - physical data storage and access, basic database operators, compression mechanisms, and parallel join algorithms. Beyond that, implications for future enterprise applications and their development are discussed. Step by step, readers will understand the radical differences and advantages of the new technology over traditional row-oriented, disk-based databases. In this completely revised 2nd edition, we incorporate the feedback of thousands of course participants on openHPI and take into account latest advancements in hard- and software. Improved figures, explanations, and examples further ease the understanding of the concepts presented. We introduce advanced data management techniques such as transparent aggregate caches and provide new showcases that demonstrate the potential of in-memory databases for two diverse industries: retail and life sciences.

This book covers original research and the latest advances in symbolic, algebraic and geometric computation; computational methods for differential and difference equations, symbolic-numerical computation; mathematics software design and implementation; and scientific and engineering applications based on features, invited talks, special sessions and contributed papers presented at the 9th (in Fukuoka, Japan in 2009) and 10th (in Beijing China in 2012) Asian Symposium on Computer Mathematics (ASCM). Thirty selected and refereed articles in the book present the conference participants’ ideas and views on researching mathematics using computers.

Distributed robotics is a rapidly growing and maturing interdisciplinary research area lying at the intersection of computer science, network science, control theory, and electrical and mechanical engineering. The goal of the Symposium on Distributed Autonomous Robotic Systems (DARS) is to exchange and stimulate research ideas to realize advanced distributed robotic systems. This volume of proceedings includes 31 original contributions presented at the 2012 International Symposium on Distributed Autonomous Robotic Systems (DARS 2012) held in November 2012 at the Johns Hopkins University in Baltimore, MD USA. The selected papers in this volume are authored by leading researchers from Asia, Europa, and the Americas, thereby providing a broad coverage and perspective of the state-of-the-art technologies, algorithms, system architectures, and applications in distributed robotic systems. The book is organized into five parts, representative of critical long-term and emerging research thrusts in the multi-robot community: Coordination for Perception, Coverage, and Tracking; Task Allocation and Coordination Strategies; Modular Robots and Novel Mechanisms and Sensors; Formation Control and Planning for Robot Teams; and Learning, Adaptation, and Cognition for Robot Teams.

Offers a unique multidisciplinary overview of how humans interact with soft objects and how multiple sensory signals are used to perceive material properties, with an emphasis on object deformability. The authors describe a range of setups that have been employed to study and exploit sensory signals involved in interactions with compliant objects as well as techniques to simulate and modulate softness – including a psychophysical perspective of the field. Multisensory Softness focuses on the cognitive mechanisms underlying the use of multiple sources of information in softness perception. Divided into three sections, the first Perceptual Softness deals with the sensory components and computational requirements of softness perception, the second Sensorimotor Softness looks at the motor components of the interaction with soft objects and the final part Artificial Softness focuses on the identification of exploitable guidelines to help replicate softness in artificial environments.

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.

Optimal Design of Distributed Control and Embedded Systems focuses on the design of special control and scheduling algorithms based on system structural properties as well as on analysis of the influence of induced time-delay on systems performances. It treats the optimal design of distributed and embedded control systems (DCESs) with respect to communication and calculation-resource constraints, quantization aspects, and potential time-delays induced by the associated communication and calculation model. Particular emphasis is put on optimal control signal scheduling based on the system state. In order to render this complex optimization problem feasible in real time, a time decomposition is based on periodicity induced by the static scheduling is operated. The authors present a co-design approach which subsumes the synthesis of the optimal control laws and the generation of an optimal schedule of control signals on real-time networks as well as the execution of control tasks on a single processor. The authors also operate a control structure modification or a control switching based on a thorough analysis of the influence of the induced time-delay system influence on stability and system performance in order to optimize DCES performance in case of calculation and communication resource limitations. Although the richness and variety of classes of DCES preclude a completely comprehensive treatment or a single “best� method of approaching them all, this co-design approach has the best chance of rendering this problem feasible and finding the optimal or some sub-optimal solution. The text is rounded out with references to such applications as car suspension and unmanned vehicles. Optimal Design of Distributed Control and Embedded Systems will be of most interest to academic researchers working on the mathematical theory of DCES but the wide range of environments in which they are used also promotes the relevance of the text for control practitioners working in the avionics, automotive, energy-production, space exploration and many other industries.

Presenting the first definitive study of the subject, this Handbook of Biometric Anti-Spoofing reviews the state of the art in covert attacks against biometric systems and in deriving countermeasures to these attacks. Topics and features: provides a detailed introduction to the field of biometric anti-spoofing and a thorough review of the associated literature; examines spoofing attacks against five biometric modalities, namely, fingerprints, face, iris, speaker and gait; discusses anti-spoofing measures for multi-model biometric systems; reviews evaluation methodologies, international standards and legal and ethical issues; describes current challenges and suggests directions for future research; presents the latest work from a global selection of experts in the field, including members of the TABULA RASA project.

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.

In the last two decades fractional differential equations have been used more frequently in physics, signal processing, fluid mechanics, viscoelasticity, mathematical biology, electro chemistry and many others. It opens a new and more realistic way to capture memory dependent phenomena and irregularities inside the systems by using more sophisticated mathematical analysis. This monograph is based on the authors’ work on stabilization and control design for continuous and discrete fractional order systems. The initial two chapters and some parts of the third chapter are written in tutorial fashion, presenting all the basic concepts of fractional order system and a brief overview of sliding mode control of fractional order systems. The other parts contain deal with robust finite time stability of fractional order systems, integral sliding mode control of fractional order systems, co-operative control of multi-agent systems modeled as fractional differential equation, robust stabilization of discrete fractional order systems, high performance control using soft variable structure control and contraction analysis by integer and fractional order infinitesimal variations.

This book studies how technological solutions can be used to alleviate the current state of legal systems, with their clogged up courtrooms and inefficient conflict resolution methods. It reviews the shortcomings and disadvantages of traditional and alternative conflict resolution methods and turns to Artificial Intelligence for problem-solving techniques and solutions. The book is divided into four parts. The first part presents a general and systematic analysis of the current state of the legal systems, identifying the main problems and their causes. It then moves on to present UM Court: a framework for testing and prototyping conflict resolution services. This framework was developed with the objective of using Artificial Intelligence techniques to build a service environment for conflict resolution. The third part of the book takes a step into the future by analyzing the use of Intelligent Environments in the support of conflict management and resolution. It describes the approach taken and the experiments performed in the Intelligent Systems Lab of the University of Minho. The final part of the book contains the conclusions and shows the potential advantages of the use of Intelligent Environments as a way to implement better conflict resolution procedures (virtual or real), in which all the participants have access to more and better information and are able to take better informed decisions.

Cognitive Science is a discipline that brings together research in natural and artificial systems and this is clearly reflected in the diverse contributions to From Animals to Robots and Back. In tribute to Aaron Sloman and his pioneering work in Cognitive Science and Artificial Intelligence, the editors have collected a unique collection of cross-disciplinary papers that include work on: ·        intelligent robotics; ·        philosophy of cognitive science; ·        emotional research ·        computational vision; ·        comparative psychology; and ·        human-computer interaction. Key themes such as the importance of taking an architectural view in approaching cognition, run through the text. Drawing on the expertize of leading international researchers, contemporary debates in the study of natural and artificial cognition are addressed from complementary and contrasting perspectives with key issues being outlined at various levels of abstraction. From Animals to Robots and Back, will give readers with backgrounds in the study of both natural and artificial cognition an important window on the state of the art in cognitive systems research.

Most of the research efforts dealing with airline scheduling have been done on off-line plan optimization. However, nowadays, with the increasingly complex and huge traffic at airports, the real challenge is how to react to unexpected events that may cause plan-disruptions, leading to flight delays. Moreover these disruptive events usually affect at least three different dimensions of the situation: the aircraft assigned to the flight, the crew assignment and often forgotten, the passengers’ journey and satisfaction. This book includes answers to this challenge and proposes the use of the Multi-agent System paradigm to rapidly compose a multi-faceted solution to the disruptive event taking into consideration possible preferences of those three key aspects of the problem. Negotiation protocols taking place between agents that are experts in solving the different problem dimensions, combination of different utility functions and not less important, the inclusion of the human in the automatic decision-making loop make MASDIMA, the system described in this book, well suited for real-life plan-disruption management applications.

This volume contains revised and extended research articles written by prominent researchers participating in the international conference on Advances in Engineering Technologies and Physical Science was held in Hong Kong, 13-15 March, 2013. Topics covered include engineering physics, engineering mathematics, scientific computing, control theory, automation, artificial intelligence, electrical engineering, and industrial applications. The book offers the state of art of tremendous advances in engineering technologies and physical science and applications, and also serves as an excellent reference work for researchers and graduate students working with/on engineering technologies and physical science and applications.

This book is for researchers, engineers, and students who are willing to understand how humanoid robots move and be controlled. The book starts with an overview of the humanoid robotics research history and state of the art. Then it explains the required mathematics and physics such as kinematics of multi-body system, Zero-Moment Point (ZMP) and its relationship with body motion. Biped walking control is discussed in depth, since it is one of the main interests of humanoid robotics. Various topics of the whole body motion generation are also discussed. Finally multi-body dynamics is presented to simulate the complete dynamic behavior of a humanoid robot. Throughout the book, Matlab codes are shown to test the algorithms and to help the reader´s understanding.

This volume deals with the so-called new Information and Communication Technologies (ICT) and their interrelationship with Muslims and the interpretation of Islam. This volume taps into what has been labelled Media Studies 2.0, which has been characterized by an intensified focus on everyday meanings and ‘lay’ users – in contrast to earlier emphases on experts or self-acclaimed experts. This lay adoption of ICT and the subsequent digital ‘literacy’ is not least noticeable among Muslim communities. According to some global estimates, one in ten internet users is a Muslim. This volume offers an ethnography of ICT in Muslim communities. The contributors to this volume also demonstrate a new kind of moderation with regard to more sweeping and avant-gardistic claims, which have characterized the study of ICT previously. This moderation has been combined with a keen attention to the empirical material but also deliberations on new quantitative and qualitative approaches to ICT, Muslims and Islam, for instance the digital challenges and changes wrought on the Qur’an, Islam’s sacred scripture. As such this volume will also be relevant for people interested in the study of ICT and the blooming field of digital humanities. Scholars of Islam and the Islamic world have always be engaged and entangled in their object of study. The developments within ICT have also affected how scholars take part in and influence public Islamic and academic discussions. This complicated issue provides basis for a number of meta-reflexive studies in this volume. It will be essential for students and scholars within Islamic studies but will also be of interest for anthropologists, sociologists and others with a humanistic interest in ICT, religion and Islam.

Develops insights into solving complex problems in engineering, biomedical sciences, social science and economics based on artificial intelligence. Some of the problems studied are in interstate conflict, credit scoring, breast cancer diagnosis, condition monitoring, wine testing, image processing and optical character recognition. The author discusses and applies the concept of flexibly-bounded rationality which prescribes that the bounds in Nobel Laureate Herbert Simon’s bounded rationality theory are flexible due to advanced signal processing techniques, Moore’s Law and artificial intelligence. Artificial Intelligence Techniques for Rational Decision Making examines and defines the concepts of causal and correlation machines and applies the transmission theory of causality as a defining factor that distinguishes causality from correlation. It develops the theory of rational counterfactuals which are defined as counterfactuals that are intended to maximize the attainment of a particular goal within the context of a bounded rational decision making process. Furthermore, it studies four methods for dealing with irrelevant information in decision making: Theory of the marginalization of irrelevant information Principal component analysis Independent component analysis Automatic relevance determination method In addition it studies the concept of group decision making and various ways of effecting group decision making within the context of artificial intelligence. Rich in methods of artificial intelligence including rough sets, neural networks, support vector machines, genetic algorithms, particle swarm optimization, simulated annealing, incremental learning and fuzzy networks, this book will be welcomed by researchers and students working in these areas.

This contributed volume is a result of discussions held at ABICT’13(4th International Workshop on Advances in Business ICT) in Krakow, September 8-11, 2013. The book focuses on Advances in Business ICT approached from a multidisciplinary perspective and demonstrates different ideas and tools for developing and supporting organizational creativity, as well as advances in decision support systems.This book is an interesting resource for researchers, analysts and IT professionals including software designers. The book comprises eleven chapters presenting research results on business analytics in organization, business processes modeling, problems with processing big data, nonlinear time structures and nonlinear time ontology application, simulation profiling, signal processing (including change detection problems), text processing and risk analysis.

This research monograph presents selected areas of applications in the field of control systems engineering using computational intelligence methodologies. A number of applications and case studies are introduced. These methodologies are increasing used in many applications of our daily lives. Approaches include, fuzzy-neural multi model for decentralized identification, model predictive control based on time dependent recurrent neural network development of cognitive systems, developments in the field of Intelligent Multiple Models based Adaptive Switching Control, designing military training simulators using modelling, simulation, and analysis for operational analyses and training, methods for modelling of systems  based on the application of Gaussian processes, computational intelligence techniques for process control and image segmentation technique based on modified particle swarm optimized-fuzzy entropy.

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.