Trustworthy Ubiquitous Computing covers aspects of trust in ubiquitous computing environments. The aspects of context, privacy, reliability, usability and user experience related to "emerged and exciting new computing paradigm of Ubiquitous Computing", includes pervasive, grid, and peer-to-peer computing including sensor networks to provide secure computing and communication services at anytime and anywhere. Marc Weiser presented his vision of disappearing and ubiquitous computing more than 15 years ago. The big picture of the computer introduced into our environment was a big innovation and the starting point for various areas of research. In order to totally adopt the idea of ubiquitous computing several houses were build, equipped with technology and used as laboratory in order to find and test appliances that are useful and could be made available in our everyday life. Within the last years industry picked up the idea of integrating ubiquitous computing and already available products like remote controls for your house were developed and brought to the market. In spite of many applications and projects in the area of ubiquitous and pervasive computing the success is still far away. One of the main reasons is the lack of acceptance of and confidence in this technology. Although researchers and industry are working in all of these areas a forum to elaborate security, reliability and privacy issues, that resolve in trustworthy interfaces and computing environments for people interacting within these ubiquitous environments is important. The user experience factor of trust thus becomes a crucial issue for the success of a UbiComp application. The goal of this book is to provide a state the art of Trustworthy Ubiquitous Computing to address recent research results and to present and discuss the ideas, theories, technologies, systems, tools, applications and experiences on all theoretical and practical issues.

The World Wide Web can be considered a huge library that in consequence needs a capable librarian responsible for the classification and retrieval of documents as well as the mediation between library resources and users. Based on this idea, the concept of the "Librarian of the Web" is introduced which comprises novel, librarian-inspired methods and technical solutions to decentrally search for text documents in the web using peer-to-peer technology. The concept's implementation in the form of an interactive peer-to-peer client, called "WebEngine", is elaborated on in detail. This software extends and interconnects common web servers creating a fully integrated, decentralised and self-organising web search system on top of the existing web structure. Thus, the web is turned into its own powerful search engine without the need for any central authority. This book is intended for researchers and practitioners having a solid background in the fields of Information Retrieval and Web Mining.

This book comprises chapters on research work done around the globe in the area of artificial intelligence (AI) applications in sheet metal forming. The first chapter offers an introduction to various AI techniques and sheet metal forming, while subsequent chapters describe traditional procedures/methods used in various sheet metal forming processes, and focus on the automation of those processes by means of AI techniques, such as KBS, ANN, GA, CBR, etc. Feature recognition and the manufacturability assessment of sheet metal parts, process planning, strip-layout design, selecting the type and size of die components, die modeling, and predicting die life are some of the most important aspects of sheet metal work. Traditionally, these activities are highly experience-based, tedious and time consuming. In response, researchers in several countries have applied various AI techniques to automate these activities, which are covered in this book. This book will be useful for engineers working in sheet metal industries, and will serve to provide future direction to young researchers and students working in the area.

Artificial Intelligence and Scientific Method examines the remarkable advances made in the field of AI over the past twenty years, discussing their profound implications for philosophy. Taking a clear, non-technical approach, Donald Gillies focuses on two key topics within AI: machine learning in the Turing tradition and the development of logic programming and its connection with non-monotonic logic. Demonstrating how current views on scientific method are challenged by this recent research, he goes on to suggest a new framework for the study of logic. He draws on work by such seminal thinkers as Bacon, Godel, Popper, Penrose, and Lucas to address the hotly contested question of whether computers might become intellectually superior to human beings. These topics will attract a wide readership from followers of advances in artificial intelligence, to students and scholars of the history and philosophy of science.

Applying computational intelligence for product design is a fast-growing and promising research area in computer sciences and industrial engineering. However, there is currently a lack of books, which discuss this research area. This book discusses a wide range of computational intelligence techniques for implementation on product design. It covers common issues on product design from identification of customer requirements in product design, determination of importance of customer requirements, determination of optimal design attributes, relating design attributes and customer satisfaction, integration of marketing aspects into product design, affective product design, to quality control of new products. Approaches for refinement of computational intelligence are discussed, in order to address different issues on product design. Cases studies of product design in terms of development of real-world new products are included, in order to illustrate the design procedures, as well as the effectiveness of the computational intelligence based approaches to product design. This book covers the state-of-art of computational intelligence methods for product design, which provides a clear picture to post-graduate students in industrial engineering and computer science. It is particularly suitable for researchers and professionals working on computational intelligence for product design. It provides concepts, techniques and methodologies, for product designers in applying computational intelligence to deal with product design.

This book presents the proceedings of Workshops and Posters at the 13th International Conference on Spatial Information Theory (COSIT 2017), which is concerned with all aspects of space and spatial environments as experienced, represented and elaborated by humans, other animals and artificial agents. Complementing the main conference proceedings, workshop papers and posters investigate specialized research questions or challenges in spatial information theory and closely related topics, including advances in the conceptualization of specific spatio-temporal domains and diverse applications of spatial and temporal information.

"Team Cooperation in a Network of Multi-Vehicle Unmanned Systems" develops a framework for modeling and control of a network of multi-agent unmanned systems in a cooperative manner and with consideration of non-ideal and practical considerations. The main focus of this book is the development of synthesis-based algorithms rather than on conventional analysis-based approaches to the team cooperation, specifically the team consensus problems. The authors provide a set of modified design-based consensus algorithms whose optimality is verified through introduction of performance indices. "

The model-based investigation of motions of anthropomorphic systems is an important interdisciplinary research topic involving specialists from many fields such as Robotics, Biomechanics, Physiology, Orthopedics, Psychology, Neurosciences, Sports, Computer Graphics and Applied Mathematics. This book presents a study of basic locomotion forms such as walking and running is of particular interest due to the high demand on dynamic coordination, actuator efficiency and balance control. Mathematical models and numerical simulation and optimization techniques are explained, in combination with experimental data, which can help to better understand the basic underlying mechanisms of these motions and to improve them. Example topics treated in this book are * Modeling techniques for anthropomorphic bipedal walking systems * Optimized walking motions for different objective functions * Identification of objective functions from measurements * Simulation and optimization approaches for humanoid robots * Biologically inspired control algorithms for bipedal walking * Generation and deformation of natural walking in computer graphics * Imitation of human motions on humanoids * Emotional body language during walking * Simulation of biologically inspired actuators for bipedal walking machines * Modeling and simulation techniques for the development of prostheses * Functional electrical stimulation of walking.

This book describes analytical techniques for optimizing knowledge acquisition, processing, and propagation, especially in the contexts of cyber-infrastructure and big data. Further, it presents easy-to-use analytical models of knowledge-related processes and their applications. The need for such methods stems from the fact that, when we have to decide where to place sensors, or which algorithm to use for processing the data-we mostly rely on experts' opinions. As a result, the selected knowledge-related methods are often far from ideal. To make better selections, it is necessary to first create easy-to-use models of knowledge-related processes. This is especially important for big data, where traditional numerical methods are unsuitable. The book offers a valuable guide for everyone interested in big data applications: students looking for an overview of related analytical techniques, practitioners interested in applying optimization techniques, and researchers seeking to improve and expand on these techniques.

The integrated and advanced science research topic Man-Machine-Environment system engineering (MMESE) was first established in China by Professor Shengzhao Long in 1981, with direct support from one of the greatest modern Chinese scientists, Xuesen Qian. In a letter to Shengzhao Long from October 22nd, 1993, Xuesen Qian wrote: You have created a very important modern science and technology in China
MMESE primarily focuses on the relationship between man, machines and the environment, studying the optimum combination of man-machine-environment systems. In this system, man refers to people in the workplace (e.g. operators, decision-makers); machine is the general name for any object controlled by man (including tools, machinery, computers, systems and technologies), and environment describes the specific working conditions under which man and machine interact (e.g. temperature, noise, vibration, hazardous gases etc.). The three goals of optimization of Man-Machine-Environment systems are to ensure safety, efficiency and economy.
"Proceedings of the 13th International Conference on Man-Machine-Environment System Engineering" are an academic showcase of the best papers selected from more than 400 submissions, introducing readers to the top research topics and the latest developmental trends in the theory and application of MMESE.
These proceedings are interdisciplinary studies on the concepts and methods of physiology, psychology, system engineering, computer science, environment science, management, education, and other related disciplines. Researchers and professionals working in these interdisciplinary fields and researchers on MMESE related topics will benefit from these proceedings."

Semantics in Adaptive and Personalised Services, initially strikes one as a specific and perhaps narrow domain. Yet, a closer examination of the term reveals much more. On one hand there is the issue of semantics. Nowadays, this most often refers to the use of OWL, RDF or some other XML based ontology description language in order to represent the entities of problem. Still, semantics may also very well refer to the consideration of the meanings and concepts, rather than arithmetic measures, regardless of the representation used. On the other hand, there is the issue of adaptation, i.e. automated re-configuration based on some context. This could be the network and device context, the application context or the user context; we refer to the latter case as personalization. From a different perspective, there is the issue of the point of view from which to examine the topic. There is the point of view of tools, referring to the algorithms and software tools one can use, the point of view of the methods, referring to the abstract methodologies and best practices one can follow, as well as the point of view of applications, referring to successful and pioneering case studies that lead the way in research and innovation. Or at least so we thought.

Based on the above reasoning, the editors identified key researchers and practitioners in each of the aforementioned categories and invited them to contribute a corresponding work to this book. However, as the authors' contributions started to arrive, the editors also started to realize that although these categories participate in each chapter to different degrees, none of them can ever be totally obsolete from them. Moreover, it seems that theory and methods are inherent in the development of tools and applications and inversely the application is also inherent in the motivation and presentation of tools and methods.

"Intelligent Routines II: Solving Linear Algebra and Differential Geometry with Sage" contains numerous of examples and problems as well as many unsolved problems. This book extensively applies the successful software Sage, which can be found free online http: //www.sagemath.org/. Sage is a recent and popular software for mathematical computation, available freely and simple to use. This book is useful to all applied scientists in mathematics, statistics and engineering, as well for late undergraduate and graduate students of above subjects. It is the first such book in solving symbolically with Sage problems in Linear Algebra and Differential Geometry. Plenty of SAGE applications are given at each step of the exposition.

This volume presents a collection of research studies on sophisticated and functional computational instruments able to recognize, process, and store relevant situated interactional signals, as well as, interact with people, displaying reactions (under conditions of limited time) that show abilities of appropriately sensing and understanding environmental changes, producing suitable, autonomous, and adaptable responses to various social situations. These social robotic autonomous systems will improve the quality of life of their end-users while assisting them on several needs, ranging from educational settings, health care assistance, communicative disorders, and any disorder impairing either their physical, cognitive, or social functional activities. The multidisciplinary themes presented in the volume will be interesting for experts and students coming from different research fields and with different knowledge and backgrounds. The research reported is particularly relevant for academic centers, and Research & Development Institutions.

The book covers a comprehensive overview of the theory, methods, applications and tools of cognition and recognition. The book is a collection of best selected papers presented in the International Conference on Cognition and Recognition 2016 (ICCR 2016) and helpful for scientists and researchers in the field of image processing, pattern recognition and computer vision for advance studies. Nowadays, researchers are working in interdisciplinary areas and the proceedings of ICCR 2016 plays a major role to accumulate those significant works at one place. The chapters included in the proceedings inculcates both theoretical as well as practical aspects of different areas like nature inspired algorithms, fuzzy systems, data mining, signal processing, image processing, text processing, wireless sensor networks, network security and cellular automata.

This book adheres to the vision that in the future compelling user experiences will be key differentiating benefits of products and services. Evaluating the user experience plays a central role, not only during the design process, but also during regular usage: for instance a video recorder that recommends TV programs that fit your current mood, a product that measures your current level of relaxation and produces advice on how to balance your life, or a module that alerts a factory operator when he is getting drowsy. Such systems are required to assess and interpret user experiences (almost) in real-time, and that is exactly what this book is about. How to achieve this? What are potential applications of psychophysiological measurements? Are real-time assessments based on monitoring of user behavior possible? If so, which elements are critical? Are behavioral aspects important? Which technology can be used? How important are intra-individual differences? What can we learn from products already on the market? The book gathers a group of invited authors from different backgrounds, such as technology, academy and business. This is a mosaic of their work, and that of Philips Research, in the assessment of user experience, covering the full range from academic research to commercial propositions..

Presenting current trends in the development and applications of intelligent systems in engineering, this monograph focuses on recent research results in system identification and control. The recurrent neurofuzzy and the fuzzy cognitive network (FCN) models are presented.Both models are suitable for partially-known or unknown complex time-varying systems. Neurofuzzy Adaptive Control contains rigorous proofs of its statements which result in concrete conclusions for the selection of the design parameters of the algorithms presented. The neurofuzzy model combines concepts from fuzzy systems and recurrent high-order neural networks to produce powerful system approximations that are used for adaptive control. The FCN modelstems from fuzzy cognitive maps and uses the notion of concepts and their causal relationships to capture the behavior of complex systems. The book shows how, with the benefit of proper training algorithms, these models are potent system emulators suitable for use in engineering systems.All chapters are supported by illustrative simulation experiments, while separate chapters are devoted to the potential industrial applications of each model including projects in:

contemporary power generation;

process control and

conventional benchmarking problems.

Researchers and graduate students working in adaptive estimation and intelligent control will find Neurofuzzy Adaptive Control of interest both for the currency of its models and because it demonstrates their relevance for real systems. The monograph also shows industrial engineers how to test intelligent adaptive control easily using proven theoretical results."

Global optimization is a branch of applied mathematics and numerical analysis that deals with the task of finding the absolutely best set of admissible conditions to satisfy certain criteria / objective function(s), formulated in mathematical terms. Global optimization includes nonlinear, stochastic and combinatorial programming, multiobjective programming, control, games, geometry, approximation, algorithms for parallel architectures and so on. Due to its wide usage and applications, it has gained the attention of researchers and practitioners from a plethora of scientific domains. Typical practical examples of global optimization applications include: Traveling salesman problem and electrical circuit design (minimize the path length); safety engineering (building and mechanical structures); mathematical problems (Kepler conjecture); Protein structure prediction (minimize the energy function) etc. Global Optimization algorithms may be categorized into several types: Deterministic (example: branch and bound methods), Stochastic optimization (example: simulated annealing). Heuristics and meta-heuristics (example: evolutionary algorithms) etc. Recently there has been a growing interest in combining global and local search strategies to solve more complicated optimization problems. This edited volume comprises 17 chapters, including several overview Chapters, which provides an up-to-date and state-of-the art research covering the theory and algorithms of global optimization. Besides research articles and expository papers on theory and algorithms of global optimization, papers on numerical experiments and on real world applications were also encouraged. The book is divided into 2 main parts.

Robotic automation has become ubiquitous in the modern manufacturing landscape, spanning an overwhelming range of processes and applications-- from small scale force-controlled grinding operations for orthopedic joints to large scale composite manufacturing of aircraft fuselages. Smart factories, seamlessly linked via industrial networks and sensing, have revolutionized mass production, allowing for intelligent, adaptive manufacturing processes across a broad spectrum of industries. Against this background, an emerging group of researchers, designers, and fabricators have begun to apply robotic technology in the pursuit of architecture, art, and design, implementing them in a range of processes and scales. Coupled with computational design tools the technology is no longer relegated to the repetitive production of the assembly line, and is instead being employed for the mass-customization of non-standard components. This radical shift in protocol has been enabled by the development of new design to production workflows and the recognition of robotic manipulators as multi-functional fabrication platforms, capable of being reconfigured to suit the specific needs of a process.

The emerging discourse surrounding robotic fabrication seeks to question the existing norms of manufacturing and has far reaching implications for the future of how architects, artists, and designers engage with materialization processes. This book presents the proceedings of Rob-Arch2014, the second international conference on robotic fabrication in architecture, art, and design. It includes a Foreword by Sigrid Brell-Cokcan and Johannes Braumann, Association for Robots in Architecture. The work contained traverses a wide range of contemporary topics, from methodologies for incorporating dynamic material feedback into existing fabrication processes, to novel interfaces for robotic programming, to new processes for large-scale automated construction. The latent argument behind this research is that the term file-to-factory must not be a reductive celebration of expediency but instead a perpetual challenge to increase the quality of feedback between design, matter, and making. "

This book presents and develops new reinforcement learning methods that enable fast and robust learning on robots in real-time. Robots have the potential to solve many problems in society, because of their ability to work in dangerous places doing necessary jobs that no one wants or is able to do. One barrier to their widespread deployment is that they are mainly limited to tasks where it is possible to hand-program behaviors for every situation that may be encountered. For robots to meet their potential, they need methods that enable them to learn and adapt to novel situations that they were not programmed for. Reinforcement learning (RL) is a paradigm for learning sequential decision making processes and could solve the problems of learning and adaptation on robots. This book identifies four key challenges that must be addressed for an RL algorithm to be practical for robotic control tasks. These RL for Robotics Challenges are: 1) it must learn in very few samples; 2) it must learn in domains with continuous state features; 3) it must handle sensor and/or actuator delays; and 4) it should continually select actions in real time. This book focuses on addressing all four of these challenges. In particular, this book is focused on time-constrained domains where the first challenge is critically important. In these domains, the agent's lifetime is not long enough for it to explore the domains thoroughly, and it must learn in very few samples.

The "Smart Innovation, Systems and Technologies" book series encompasses the topics of knowledge, intelligence, innovation and sustainability. The aim of the series is to make available a platform for the publication of books on all aspects of single and multi-disciplinary research on these themes in order to make the latest results available in a readily-accessible form.

This book is devoted to the Intelligent and Adaptive Educational-Learning Systems . It privileges works that highlight key achievements and outline trends to inspire future research. After a rigorous revision process twenty manuscripts were accepted and organized into four parts: "Modeling," "Content, Virtuality" and "Applications."

This volume is of interest to researchers, practitioners, professors and postgraduate students aimed to update their knowledge and find out targets for future work in the field of artificial intelligence on education. "

As technology continues to develop, certain innovations are beginning to cover a wide range of applications, specifically mobile robotic systems. The boundaries between the various automation methods and their implementations are not strictly defined, with overlaps occurring. Specificity is required regarding the research and development of android systems and how they pertain to modern science. Control and Signal Processing Applications for Mobile and Aerial Robotic Systems is a pivotal reference source that provides vital research on the current state of control and signal processing of portable robotic designs. While highlighting topics such as digital systems, control theory, and mathematical methods, this publication explores original inquiry contributions and the instrumentation of mechanical systems in the industrial and scientific fields. This book is ideally designed for technicians, engineers, industry specialists, researchers, academicians, and students seeking current research on today's execution of mobile robotic schemes.

Calculus has been used in solving many scientific and engineering problems. For optimization problems, however, the differential calculus technique sometimes has a drawback when the objective function is step-wise, discontinuous, or multi-modal, or when decision variables are discrete rather than continuous. Thus, researchers have recently turned their interests into metaheuristic algorithms that have been inspired by natural phenomena such as evolution, animal behavior, or metallic annealing.

This book especially focuses on a music-inspired metaheuristic algorithm, harmony search. Interestingly, there exists an analogy between music and optimization: each musical instrument corresponds to each decision variable; musical note corresponds to variable value; and harmony corresponds to solution vector. Just like musicians in Jazz improvisation play notes randomly or based on experiences in order to find fantastic harmony, variables in the harmony search algorithm have random values or previously-memorized good values in order to find optimal solution.

Wagman offers a critical analysis of current theory and research in the psychological and computational sciences, directed toward the elucidation of scientific discovery processes and structures. It discusses human scientific discovery processes, analyzes computer scientific discovery processes, and makes a comparative evaluation of the two. This work examines the scientific reasoning of the discoverers of the inhibition mechanism of gene control; scientific discovery heuristics used at different developmental levels; artificial intelligence and mathematical discovery; the ECHO system; the evolution of artificial intelligence discovery systems; the PAULI system; and the KEKADA system. It concludes with an examination of the extent to which computational discovery systems can emulate a set of 10 types of scientific problems.

Computational intelligence encompasses a wide variety of techniques that allow computation to learn, to adapt, and to seek. That is, they may be designed to learn information without explicit programming regarding the nature of the content to be retained, they may be imbued with the functionality to adapt to maintain their course within a complex and unpredictably changing environment, and they may help us seek out truths about our own dynamics and lives through their inclusion in complex system modeling. These capabilities place our ability to compute in a category apart from our ability to erect suspension bridges, although both are products of technological advancement and reflect an increased understanding of our world. In this book, we show how to unify aspects of learning and adaptation within the computational intelligence framework. While a number of algorithms exist that fall under the umbrella of computational intelligence, with new ones added every year, all of them focus on the capabilities of learning, adapting, and helping us seek. So, the term unified computational intelligence relates not to the individual algorithms but to the underlying goals driving them. This book focuses on the computational intelligence areas of neural networks and dynamic programming, showing how to unify aspects of these areas to create new, more powerful, computational intelligence architectures to apply to new problem domains.