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.

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.

This monograph presents a simple, innovative approach for the measurement and short-term prediction of highway travel times based on the fusion of inductive loop detector and toll ticket data. The methodology is generic and not technologically captive, allowing it to be easily generalized for other equivalent types of data. The book shows how Bayesian analysis can be used to obtain fused estimates that are more reliable than the original inputs, overcoming some of the drawbacks of travel-time estimations based on unique data sources. The developed methodology adds value and obtains the maximum (in terms of travel time estimation) from the available data, without recurrent and costly requirements for additional data. The application of the algorithms to empirical testing in the AP-7 toll highway in Barcelona proves that it is possible to develop an accurate real-time, travel-time information system on closed-toll highways with the existing surveillance equipment, suggesting that highway operators might provide their customers with such an added value with little additional investment in technology.

This volume is a collection of research studies on the modeling of emotions in complex autonomous systems. Several experts in the field are reporting their efforts and reviewing the literature in order to shed lights on how the processes of coding and decoding emotional states took place in humans, which are the physiological, physical, and psychological variables involved, invent new mathematical models and algorithms to describe them, and motivate these investigations in the light of observable societal changes and needs, such as the aging population and the cost of health care services. The consequences are the implementation of emotionally and socially believable machines, acting as helpers into domestic spheres, where emotions drive behaviors and actions. The contents of the book are highly multidisciplinary since the modeling of emotions in robotic socially believable systems requires a holistic perspective on topics coming from different research domains such as computer science, engineering, sociology, psychology, linguistic, and information communication. The book is of interest both to experts and students since last research works on a so complex multidisciplinary topic are described in a neat and didactical scientific language.

This book presents a domain of extreme industrial and scientific interest: the study of smart systems and structures. It presents polytope projects as comprehensive physical and cognitive architectures that support the investigation, fabrication and implementation of smart systems and structures. These systems feature multifunctional components that can perform sensing, control, and actuation. In light of the fact that devices, tools, methodologies and organizations based on electronics and information technology for automation, specific to the third industrial revolution, are increasingly reaching their limits, it is essential that smart systems be implemented in industry. Polytope projects facilitate the utilization of smart systems and structures as key elements of the fourth industrial revolution. The book begins by presenting polytope projects as a reference architecture for cyber-physical systems and smart systems, before addressing industrial process synthesis in Chapter 2. Flow-sheet trees, cyclic separations and smart configurations for multi-component separations are discussed here. In turn, Chapter 3 highlights periodic features for drug delivery systems and networks of chemical reactions, while Chapter 4 applies conditioned random walks to polymers and smart materials structures. Chapter 5 examines self-assembly and self-reconfiguration at different scales from molecular to micro systems. Smart devices and technologies are the focus of chapter 6. Modular micro reactor systems and timed automata are examined in selected case studies. Chapter 7 focuses on inferential engineering designs, concept-knowledge, relational concept analysis and model driven architecture, while Chapter 8 puts the spotlight on smart manufacturing, industry 4.0, reference architectures and models for new product development and testing. Lastly, Chapter 9 highlights the polytope projects methodology and the prospects for smart systems and structures. Focusing on process engineering and mathematical modeling for the fourth industrial revolution, the book offers a unique resource for engineers, scientists and entrepreneurs working in chemical, biochemical, pharmaceutical, materials science or systems chemistry, students in various domains of production and engineering, and applied mathematicians.

The present book is the result of a three year research project which investigated the creative act of composing by means of algorithmic composition. Central to the investigation are the compositional strategies of 12 composers, which were documented through a dialogic and cyclic process of modelling and evaluating musical materials. The aesthetic premises and compositional approaches configure a rich spectrum of diverse positions, which is reflected also in the kinds of approaches and methods used. These approaches and methods include the generation and evaluation of chord sequences using genetic algorithms, the application of morphing strategies to research harmonic transformations, an automatic classification of personal preferences via machine learning, and an application of mathematical music theory to the analysis and resynthesis of musical material. The second part of the book features contributions by Sandeep Bhagwati, William Brooks, David Cope, Darla Crispin, Nicolas Donin, and Guerino Mazzola. These authors variously consider the project from different perspectives, offer independent approaches, or provide more general reflections from their respective research fields.

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.

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.

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."

Over the last decade a number of research areas have contributed to the concept of advanced intelligent environments, these include ubiquitous computing, pervasive computing, embedded intelligence, intelligent user interfaces, human factors, intelligent buildings, mobile communications, domestic robots, intelligent sensors, artistic and architectural design and ambient intelligence. Undeniably, multimodal spoken language dialogue interaction is a key factor in ensuring natural interaction and therefore of particular interest for advanced intelligent environments. It will therefore represent one focus of the proposed book. The book will cover all key topics in the field of intelligent environments from a variety of leading researchers. It will bring together several perspectives in research and development in the area.

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.

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. "

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. "

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.

This book presents an overview of the differential evolution algorithm. In the last few years the evolutionary computation domain has developed rapidly, and differential evolution is one of the representatives of this domain. It is a recently invented evolutionary algorithm that is gaining more and more popularity. Originally proposed for continuous unconstraint optimization, it was enlarged both for mixed optimization and for handling nonlinear constraints. Later on, new strategies, tuning, and adaptation of control parameters, ways of hybridization were elaborated. Attempts at theoretical analysis were accomplished as well. Moreover, the algorithm has a huge number of practical applications in different areas of science and industry.

This book is a tribute to Professor Jacek Zurada, who is best known for his contributions to computational intelligence and knowledge-based neurocomputing. It is dedicated to Professor Jacek Zurada, Full Professor at the Computational Intelligence Laboratory, Department of Electrical and Computer Engineering, J.B. Speed School of Engineering, University of Louisville, Kentucky, USA, as a token of appreciation for his scientific and scholarly achievements, and for his longstanding service to many communities, notably the computational intelligence community, in particular neural networks, machine learning, data analyses and data mining, but also the fuzzy logic and evolutionary computation communities, to name but a few. At the same time, the book recognizes and honors Professor Zurada's dedication and service to many scientific, scholarly and professional societies, especially the IEEE (Institute of Electrical and Electronics Engineers), the world's largest professional technical professional organization dedicated to advancing science and technology in a broad spectrum of areas and fields. The volume is divided into five major parts, the first of which addresses theoretic, algorithmic and implementation problems related to the intelligent use of data in the sense of how to derive practically useful information and knowledge from data. In turn, Part 2 is devoted to various aspects of neural networks and connectionist systems. Part 3 deals with essential tools and techniques for intelligent technologies in systems modeling and Part 4 focuses on intelligent technologies in decision-making, optimization and control, while Part 5 explores the applications of intelligent technologies.

This book presents different methods for analyzing the body language (movement, position, use of personal space, silences, pauses and tone, the eyes, pupil dilation or constriction, smiles, body temperature and the like) for better understanding people's needs and actions, including biometric data gathering and reading. Different studies described in this book indicate that sufficiently much data, information and knowledge can be gained by utilizing biometric technologies. This is the first, wide-ranging book that is devoted completely to the area of intelligent decision support systems, biometrics technologies and their integrations. This book is designated for scholars, practitioners and doctoral and master's degree students in various areas and those who are interested in the latest biometric and intelligent decision making support problems and means for their resolutions, biometric and intelligent decision making support systems and the theory and practice of their integration and the opportunities for the practical use of biometric and intelligent decision making support.

Monte Carlo Methods in Fuzzy Optimization is a clear and didactic book about Monte Carlo methods using random fuzzy numbers to obtain approximate solutions to fuzzy optimization problems. The book includes various solved problems such as fuzzy linear programming, fuzzy regression, fuzzy inventory control, fuzzy game theory, and fuzzy queuing theory. The book will appeal to engineers, researchers, and students in Fuzziness and applied mathematics.

From an engineering standpoint, the increasing complexity of robotic systems and the increasing demand for more autonomously learning robots, has become essential. This book is largely based on the successful workshop "From motor to interaction learning in robots" held at the IEEE/RSJ International Conference on Intelligent Robot Systems. The major aim of the book is to give students interested the topics described above a chance to get started faster and researchers a helpful compandium.

This monograph is motivated by a significant number of vision based algorithms for Unmanned Aerial Vehicles (UAV) that were developed during research and development projects. Vision information is utilized in various applications like visual surveillance, aim systems, recognition systems, collision-avoidance systems and navigation. This book presents practical applications, examples and recent challenges in these mentioned application fields. The aim of the book is to create a valuable source of information for researchers and constructors of solutions utilizing vision from UAV. Scientists, researchers and graduate students involved in computer vision, image processing, data fusion, control algorithms, mechanics, data mining, navigation and IC can find many valuable, useful and practical suggestions and solutions. The latest challenges for vision based systems are also presented.

Information infrastructures are integrated solutions based on the fusion of information and communication technologies. They are characterized by the large amount of data that must be managed accordingly. An information infrastructure requires an efficient and effective information retrieval system to provide access to the items stored in the infrastructure. Terminological Ontologies: Design, Management and Practical Applications presents the main problems that affect the discovery systems of information infrastructures to manage terminological models, and introduces a combination of research tools and applications in Semantic Web technologies. This book specifically analyzes the need to create, relate, and integrate the models required for an infrastructure by elaborating on the problem of accessing these models in an efficient manner via interoperable services and components. Terminological Ontologies: Design, Management and Practical Applications is geared toward information management systems and semantic web professionals working as project managers, application developers, government workers and more. Advanced undergraduate and graduate level students, professors and researchers focusing on computer science will also find this book valuable as a secondary text or reference book.