Computational Intelligence (CI) community has developed hundreds of algorithms for intelligent data analysis, but still many hard problems in computer vision, signal processing or text and multimedia understanding, problems that require deep learning techniques, are open. Modern data mining packages contain numerous modules for data acquisition, pre-processing, feature selection and construction, instance selection, classification, association and approximation methods, optimization techniques, pattern discovery, clusterization, visualization and post-processing. A large data mining package allows for billions of ways in which these modules can be combined. No human expert can claim to explore and understand all possibilities in the knowledge discovery process. This is where algorithms that learn how to learnl come to rescue. Operating in the space of all available data transformations and optimization techniques these algorithms use meta-knowledge about learning processes automatically extracted from experience of solving diverse problems. Inferences about transformations useful in different contexts help to construct learning algorithms that can uncover various aspects of knowledge hidden in the data. Meta-learning shifts the focus of the whole CI field from individual learning algorithms to the higher level of learning how to learn. This book defines and reveals new theoretical and practical trends in meta-learning, inspiring the readers to further research in this exciting field.

Focused on renewable energy systems and the development of information and communication technologies (ICTs) for their integration in smart grids, this book presents recent advances and methods that help to ensure that power generation from renewable sources remains stable, that power losses are minimized, and that the reliable functioning of these power generation units is maintained. The book highlights key topics and technologies for renewable energy systems including the intelligent control of power generators, power electronics that connect renewable power generation units to the grid, and fault diagnosis for power generators and power electronics. In particular, the following topics are addressed: * Modeling and control of power generators (PMSGs, DFIGs); * Modeling and control of power electronics (converters, inverters); * Modeling and fault diagnosis of the transmission and distribution Grid; and * Modelling and control of distributed power generation units (interconnected synchronous generators or photovoltaic units). Because of the above coverage, members of the wider engineering community will find that the nonlinear control and estimation methods presented provide essential insights into the functioning of renewable energy power systems, while the academic community will find the book a valuable textbook for undergraduate or graduate courses on renewable energy systems.

While ambient intelligence has long been relegated to the realm of science fiction, creating smart technology that is increasingly responsive to individuals and environments is, in many ways, becoming reality, as the body of research and opportunity for practical application in this field continues to grow. Innovative Applications of Ambient Intelligence: Advances in Smart Systems provides perspectives on the convergence of ubiquitous computing, intelligent systems research, and context awareness with the aim of encouraging the further development of ambient intelligence frameworks and research. Focusing on interaction and communication in smart environments, as well as the successful development and design of ambient interfaces and platforms, this book aims to further the continuously growing dialogue on the promise of ambient computing.

This book reviews the algorithms for processing geometric data, with a practical focus on important techniques not covered by traditional courses on computer vision and computer graphics. Features: presents an overview of the underlying mathematical theory, covering vector spaces, metric space, affine spaces, differential geometry, and finite difference methods for derivatives and differential equations; reviews geometry representations, including polygonal meshes, splines, and subdivision surfaces; examines techniques for computing curvature from polygonal meshes; describes algorithms for mesh smoothing, mesh parametrization, and mesh optimization and simplification; discusses point location databases and convex hulls of point sets; investigates the reconstruction of triangle meshes from point clouds, including methods for registration of point clouds and surface reconstruction; provides additional material at a supplementary website; includes self-study exercises throughout the text.

Can we make machines that think and act like humans or other natural intelligent agents? The answer to this question depends on how we see ourselves and how we see the machines in question. Classical AI and cognitive science had claimed that cognition is computation, and can thus be reproduced on other computing machines, possibly surpassing the abilities of human intelligence. This consensus has now come under threat and the agenda for the philosophy and theory of AI must be set anew, re-defining the relation between AI and Cognitive Science. We can re-claim the original vision of general AI from the technical AI disciplines; we can reject classical cognitive science and replace it with a new theory (e.g. embodied); or we can try to find new ways to approach AI, for example from neuroscience or from systems theory. To do this, we must go back to the basic questions on computing, cognition and ethics for AI. The 30 papers in this volume provide cutting-edge work from leading researchers that define where we stand and where we should go from here.

This book contains papers presented at the International Symposium on Elect- magnetic Fields in Mechatronics, Electrical and Electronic Engineering ISEF'07 which was held in Prague, the Czech Republic, from September 13 to 15, 2007. ISEF conferences have been organized since 1985 and from the very beginning it was a common initiative of Polish and other European researchers who have dealt with electromagnetic ?eld in electrical engineering. The conference travels through Europe and is organized in various academic centres. Relatively often, it was held in some Polish city as the initiative was on the part of Polish scientists. Now ISEF is much more international and successive events take place in different European academic centres renowned for electromagnetic research. This time it was Prague, famous for its beauty and historical background, as it is the place where many c- tures mingle. The venue of the conference was the historical building of Charles University, placed just in the centre of Prague. The Technical University of Prague, in turn, constituted the logistic centre of the conference. It is the tradition of the ISEF meetings that they try to tackle quite a vast area of computational and applied electromagnetics. Moreover, the ISEF symposia aim at combining theory and practice; therefore the majority of papers are deeply rooted in engineering problems, being simultaneously of a high theoretical level.

The series "Studies in Computational Intelligence" (SCI) publishes new developments and advances in the various areas of computational intelligence - quickly and with a high quality. The intent is to cover the theory, applications, and design methods of computational intelligence, as embedded in the fields of engineering, computer science, physics and life science, as well as the methodologies behind them. The series contains monographs, lecture notes and edited volumes in computational intelligence spanning the areas of neural networks, connectionist systems, genetic algorithms, evolutionary computation, artificial intelligence, cellular automata, self-organizing systems, soft computing, fuzzy systems, and hybrid intelligent systems. Critical to both contributors and readers are the short publication time and world-wide distribution - this permits a rapid and broad dissemination of research results.

The purpose of the 10th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2011) was held on May16-18, 2011 in Sanya, Hainan Island, China is to bring together scientist, engineers, computer users, students to share their experiences and exchange new ideas, and research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them

The conference organizers selected the best 20 papers from those papers accepted for presentation at the conference in order to publish them in this volume. The papers were chosen based on review scores submitted by members of the program committee, and underwent further rigorous rounds of review."

This book contains selected papers that address a variety of topics related to the design, development and operation of unmanned and fully autonomous sailing boats. These papers were presented in the 9th International Robotic Sailing Conference, in association with the 9th World Robotic Sailing Championship that took place in Viana do Castelo, Portugal from the 5th to 10th of September 2016. The book is divided in three parts, each focusing on key aspects of robotic sailing. The first part addresses the design, construction and validation of autonomous sailboat platforms, including their rigs, appendages and control mechanisms. The second part is devoted to the development of sensors and algorithms to enhance the performance of robotic sailing boats, in terms of their speed, course control and manoeuvring ability. Finally, the papers in the last part are dedicated to the improvement of behaviours required for the accomplishment of complex autonomous missions. Robotic sailing is a relatively new multidisciplinary area of research, with a recognized great potential for persistent ocean observation. Using the wind for boat propulsion is something mankind has been doing for centuries. Automating and optimizing the sailing process in the harsh marine environment is an ever present challenge which is now promising to bear fruit.

This book presents, in a comprehensive way, current unmanned aviation regulation, airworthiness certification, special aircraft categories, pilot certification, federal aviation requirements, operation rules, airspace classes and regulation development models. It discusses unmanned aircraft systems levels of safety derived mathematically based on the corresponding levels for manned aviation. It provides an overview of the history and current status of UAS airworthiness and operational regulation worldwide. Existing regulations have been developed considering the need for a complete regulatory framework for UAS. It focuses on UAS safety assessment and functional requirements, achieved in terms of defining an "Equivalent Level of Safety," or ELOS, with that of manned aviation, specifying what the ELOS requirement entails for UAS regulations. To accomplish this, the safety performance of manned aviation is first evaluated, followed by a novel model to derive reliability requirements for achieving target levels of safety (TLS) for ground impact and mid-air collision accidents.It discusses elements of a viable roadmap leading to UAS integration in to the NAS. For this second edition of the book almost all chapters include major updates and corrections. There is also a new appendix chapter.

The book is on the geometry of agent knowledge. The important concept studied in this book is the Field and its Geometric Representation. To develop a geometric image of the gravity , Einstein used Tensor Calculus but this is very different from the knowledge instruments used now, as for instance techniques of data mining , neural networks , formal concept analysis ,quantum computer and other topics. The aim of this book is to rebuild the tensor calculus in order to give a geometric representation of agent knowledge. By using a new geometry of knowledge we can unify all the topics that have been studied in recent years to create a bridge between the geometric representation of the physical phenomena and the geometric representation of the individual and subjective knowledge of the agents.

The monograph offers a view on Rough Mereology, a tool for reasoning under uncertainty, which goes back to Mereology, formulated in terms of parts by Lesniewski, and borrows from Fuzzy Set Theory and Rough Set Theory ideas of the containment to a degree. The result is a theory based on the notion of a part to a degree.

One can invoke here a formula Rough: Rough Mereology: Mereology = Fuzzy Set Theory: Set Theory. As with Mereology, Rough Mereology finds important applications in problems of Spatial Reasoning, illustrated in this monograph with examples from Behavioral Robotics. Due to its involvement with concepts, Rough Mereology offers new approaches to Granular Computing, Classifier and Decision Synthesis, Logics for Information Systems, and are--formulation of well--known ideas of Neural Networks and Many Agent Systems. All these approaches are discussed in this monograph.

To make the exposition self--contained, underlying notions of Set Theory, Topology, and Deductive and Reductive Reasoning with emphasis on Rough and Fuzzy Set Theories along with a thorough exposition of Mereology both in Lesniewski and Whitehead--Leonard--Goodman--Clarke versions are discussed at length.

It is hoped that the monograph offers researchers in various areas of Artificial Intelligence a new tool to deal with analysis of relations among concepts. "

This Volume discusses the underlying principles and analysis of the different concepts associated with an emerging socio-inspired optimization tool referred to as Cohort Intelligence (CI). CI algorithms have been coded in Matlab and are freely available from the link provided inside the book. The book demonstrates the ability of CI methodology for solving combinatorial problems such as Traveling Salesman Problem and Knapsack Problem in addition to real world applications from the healthcare, inventory, supply chain optimization and Cross-Border transportation. The inherent ability of handling constraints based on probability distribution is also revealed and proved using these problems.

The purpose of the 13th International Conference on Computer and Information Science (SNPD 2012) held on August 8-10, 2012 in Kyoto, Japan was to bring together researchers and scientists, businessmen and entrepreneurs, teachers and students to discuss the numerous fields of computer science, and to share ideas and information in a meaningful way. Our conference officers selected the best 17 papers from those papers accepted for presentation at the conference in order to publish them in this volume. The papers were chosen based on review scores submitted by members of the program committee, and underwent further rounds of rigorous review. The conference organizers selected 17 outstanding papers from SNPD 2012, all of which you will find in this volume of Springer's Studies in Computational Intelligence.

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.