There are not many people who can be said to have influenced and impressed researchers in so many disparate areas and language-geographic fields as Lauri Carlson, as is evidenced in the present Festschrift. His insight and acute linguistic sensitivity and linguistic rationality have spawned findings and research work in many areas, from non-standard etymology to hardcore formal linguistics, not forgetting computational areas such as parsing, terminological databases, and, last but not least, machine translation. In addition to his renowned and widely acknowledged insights in tense and aspect and its relationship with nominal quantification, and his ground-breaking work in dialog using game-theoretic machinery, Lauri has in the last fifteen years as Professor of Language Theory and Translation Technology contributed immensely to areas such as translation, terminology and general applications of computational linguistics. The three editors of the present volume have successfully performed doctoral studies under Lauri 's supervision, and wish with this volume to pay tribute to his supervision and to his influence in matters associated with research and scientific, linguistic and philosophical inquiry, as well as to his humanity and friendship.

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 book is devoted to the Metacognition arena. It highlights works that show relevant analysis, reviews, theoretical, and methodological proposals, as well as studies, approaches, applications, and tools that shape current state, define trends and inspire future research. As a result of the revision process fourteen manuscripts were accepted and organized into five parts as follows: * Conceptual: contains conceptual works oriented to: (1) review models of strategy instruction and tailor a hybrid strategy; (2) unveil second-order judgments and define a method to assess metacognitive judgments; (3) introduces a conceptual model to describe the metacognitive activity as an autopoietic system. * Framework: offers three works concerned with: (4) stimulate metacognitive skills and self-regulatory functions; (5) evaluate metacognitive skills and self-regulated learning at problem solving; (6) deal with executive management metacognition and strategic knowledge metacognition. * Studies: reports research related to: (7) uncover how metacognitive awareness of listening strategies bias listening proficiency; (8) unveil how metacognitive skills and motivation are achieved in science informal learning; (9) tackle stress at learning by means of coping strategies. * Approaches: focus on the following targets: (10) social metacognition to support collaborative problem solving; (11) metacognitive skills to be stimulated in computer supported collaborative learning; (12) metacognitive knowledge and metacognitive experiences are essential for teaching practices. * Tools: promotes the use of intelligent tutoring systems such as: (13) BioWorld allows learners to practice medical diagnostic by providing virtual patient cases; (14) MetaHistoReasoning provides examples to learners and inquiries about the causes of historical events. This volume will be a source of interest for researchers, practitioners, professors, and postgraduate students aimed at updating their knowledge and finding targets for future work in the metacognition arena.

Multimedia services are now commonly used in various activities in the daily lives of humans. Related application areas include services that allow access to large depositories of information, digital libraries, e-learning and e-education, e-government and e-governance, e-commerce and e-auctions, e-entertainment, e-health and e-medicine, and e-legal services, as well as their mobile counterparts (i.e., m-services). Despite the tremendous growth of multimedia services over the recent years, there is an increasing demand for their further development. This demand is driven by the ever-increasing desire of society for easy accessibility to information in friendly, personalized and adaptive environments. In this book at hand, we examine recent Advances in Recommender Systems. Recommender systems are crucial in multimedia services, as they aim at protecting the service users from information overload. The book includes nine chapters, which present various recent research results in recommender systems. This research book is directed to professors, researchers, application engineers and students of all disciplines who are interested in learning more about recommender systems, advancing the corresponding state of the art and developing recommender systems for specific applications.

Proceedings of the 2015 Chinese Intelligent Automation Conference presents selected research papers from the CIAC'15, held in Fuzhou, China. The topics include adaptive control, fuzzy control, neural network based control, knowledge based control, hybrid intelligent control, learning control, evolutionary mechanism based control, multi-sensor integration, failure diagnosis, reconfigurable control, etc. Engineers and researchers from academia, industry and the government can gain valuable insights into interdisciplinary solutions in the field of intelligent automation.

The book offers a comprehensive survey of intuitionistic fuzzy logics. By reporting on both the author's research and others' findings, it provides readers with a complete overview of the field and highlights key issues and open problems, thus suggesting new research directions. Starting with an introduction to the basic elements of intuitionistic fuzzy propositional calculus, it then provides a guide to the use of intuitionistic fuzzy operators and quantifiers, and lastly presents state-of-the-art applications of intuitionistic fuzzy sets. The book is a valuable reference resource for graduate students and researchers alike.

The central object of this book is the measure of geometric quantities describing N a subset of the Euclidean space (E ,), endowed with its standard scalar product. Let us state precisely what we mean by a geometric quantity. Consider a subset N S of points of the N-dimensional Euclidean space E , endowed with its standard N scalar product. LetG be the group of rigid motions of E . We say that a 0 quantity Q(S) associated toS is geometric with respect toG if the corresponding 0 quantity Q[g(S)] associated to g(S) equals Q(S), for all g?G . For instance, the 0 diameter ofS and the area of the convex hull ofS are quantities geometric with respect toG . But the distance from the origin O to the closest point ofS is not, 0 since it is not invariant under translations ofS. It is important to point out that the property of being geometric depends on the chosen group. For instance, ifG is the 1 N group of projective transformations of E , then the property ofS being a circle is geometric forG but not forG , while the property of being a conic or a straight 0 1 line is geometric for bothG andG . This point of view may be generalized to any 0 1 subsetS of any vector space E endowed with a groupG acting on it.

Foundations of Computational Intelligence Volume 4: Bio-Inspired Data Mining Theoretical Foundations and Applications Recent advances in the computing and electronics technology, particularly in sensor devices, databases and distributed systems, are leading to an exponential growth in the amount of data stored in databases. It has been estimated that this amount doubles every 20 years. For some applications, this increase is even steeper. Databases storing DNA sequence, for example, are doubling their size every 10 months. This growth is occurring in several applications areas besides bioinformatics, like financial transactions, government data, environmental mo- toring, satellite and medical images, security data and web. As large organizations recognize the high value of data stored in their databases and the importance of their data collection to support decision-making, there is a clear demand for - phisticated Data Mining tools. Data mining tools play a key role in the extraction of useful knowledge from databases. They can be used either to confirm a parti- lar hypothesis or to automatically find patterns. In the second case, which is - lated to this book, the goal may be either to describe the main patterns present in dataset, what is known as descriptive Data Mining or to find patterns able to p- dict behaviour of specific attributes or features, known as predictive Data Mining. While the first goal is associated with tasks like clustering, summarization and association, the second is found in classification and regression problems.

The Scientific Network of Integrated Systems, Design and Technology (ISDT) is an initiative that has been established to respond industrial needs for integration of " Knowledge Technology" (KT)" with multi- and inter-disciplinary applications. In particular the objective of ISDT is to incorporate multilateral engineering disciplines i.e. Composite-, Automotive-, Industrial-, Control- and Micro-Electronics Engineering, and derive knowledge for design and development of innovative product and services. In this context, the discourse of KT is established to address effective use of Knowledge Management, Semantic Technology, Information Systems and Software Engineering towards evolution of adaptive and intelligent systems for industrial applications. This carefully edited book presents the results of the latest ISDT meeting with special involvement of leading researchers and industries whose contributions are presented in the book chapters. This book consists of three main chapters namely:

. Chapter 1: Applied Knowledge Management in Practice

. Chapter 2: Semantic Technologies for Industrial Management and Process Controlling

. Chapter 3: Knowledge Driven Approaches for Product Engineering

Each article presents a unique in-progress research with respect to the target goal of improving our common understanding of KT integration and promoting further researches and cooperation in future.

This book commemorates the 65th birthday of Dr. Boris Kovalerchuk, and reflects many of the research areas covered by his work. It focuses on data processing under uncertainty, especially fuzzy data processing, when uncertainty comes from the imprecision of expert opinions. The book includes 17 authoritative contributions by leading experts.

Digital geometry emerged as an independent discipline in the second half of the last century. It deals with geometric properties of digital objects and is developed with the unambiguous goal to provide rigorous theoretical foundations for devising new advanced approaches and algorithms for various problems of visual computing. Different aspects of digital geometry have been addressed in the literature. This book is the first one that explicitly focuses on the presentation of the most important digital geometry algorithms. Each chapter provides a brief survey on a major research area related to the general volume theme, description and analysis of related fundamental algorithms, as well as new original contributions by the authors. Every chapter contains a section in which interesting open problems are addressed.

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.

This book is intended for engineers, technicians and people who plan to use fuzzy control in more or less developed and advanced control systems for manufacturing processes, or directly for executive equipment. Assuming that the reader possesses elementary knowledge regarding fuzzy sets and fuzzy control, by way of a reminder, the first parts of the book contain a reminder of the theoretical foundations as well as a description of the tools to be found in the Matlab/Simulink environment in the form of a toolbox. The major part of the book presents applications for fuzzy controllers in control systems for various manufacturing and engineering processes. It presents seven processes and problems which have been programmed using fuzzy controllers. The issues discussed concern the field of Environmental Engineering. Examples are the control of a flood wave passing through a hypothetical, and then the real Dobczyce reservoir in the Raba River, which is located in the upper Vistula River basin in Southern Poland, the control and water management in a cascade of reservoirs, a broadly defined combustion process model, modern water heating systems and many other.

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.

The three-volume set IFIP AICT 368-370 constitutes the refereed post-conference proceedings of the 5th IFIP TC 5, SIG 5.1 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2011, held in Beijing, China, in October 2011. The 189 revised papers presented were carefully selected from numerous submissions. They cover a wide range of interesting theories and applications of information technology in agriculture, including simulation models and decision-support systems for agricultural production, agricultural product quality testing, traceability and e-commerce technology, the application of information and communication technology in agriculture, and universal information service technology and service systems development in rural areas. The 59 papers included in the third volume focus on simulation, optimization, monitoring, and control technology.

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.

New approaches are needed that could move us towards developing effective applicable intelligent systems for problem solving and decision making, One of the main efforts in intelligent systems development is focused on knowledge and information management which is regarded as the crucial issue in smart decision making support. The 14 Chapters of this book represent a sample of such effort. The overall aim of this book is to provide guidelines to develop tools for smart processing of knowledge and information. Still, the guide does not presume to give ultimate answers. Rather, it poses ideas and case studies to explore the complexities and challenges of modern knowledge management issues. It also encourages its reader to become aware of the multifaceted interdisciplinary character of such issues. The premise of this book is that its reader will leave it with a heightened ability to think - in different ways - about developing, evaluating, and supporting intelligent knowledge and information management systems in real life based environment.

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.