Kategoria BISAC: Computers >> Computer Science

As the world proceeds quickly into the Information Age, it encounters both successes and challenges, and it is well recognized that Intelligent Information Processing provides the key to the Information Age and to mastering many of these challenges. Intelligent Information Processing supports the most advanced productive tools that are said to be able to change human life and the world itself. However, the path is never a straight one and every new technology brings with it a spate of new research problems to be tackled by researchers. As such, the demand for Information Processing...

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application.

In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.

Forests provide goods and services essential to human societies and the natural environment, but they are disappearing faster today than ever before. What should forestry do in the information era? How can we use computer technologies to better manage forests in a sustainable manner? Computer Applications in Sustainable Forest Management provides critical information needed for forestry professionals to address such questions.

Computer Applications in Sustainable Forest Management presents state-of-the-art computer applications in a variety of...

The concept of National Systems of Innovation was introduced as a method to describe the various elements which contribute to innovation performance and their interaction. In this book, the innovation structures of a broad set of countries are compared. It provides more than a pure compilation of quantitative indicators for international benchmarking, supporting an appropriate interpretation of the referring results and suggesting relevant conclusions for innovation policy.

Nonlinear Systems and Methods For Mechanical, Electrical and Biosystems presents topics observed at the 3^rd Conference on Nonlinear Science and Complexity(NSC), focusing on energy transfer and synchronization in hybrid nonlinear systems. The studies focus on fundamental theories and principles, analytical and symbolic approaches, computational techniques in nonlinear physical science and mathematics. Broken into three parts, the text covers: Parametrical excited pendulum, nonlinear dynamics in hybrid systems, dynamical system synchronization and (N+1) body dynamics as well as...

The complexity of human uterine function and regulation is one of the great wonders of nature and represents a daunting challenge to unravel. This book is dedicated to the biomechanical modeling of the gravid human uterus and gives an example of the application of the mechanics of solids and the theory of soft shells to explore medical problems of labor and delivery. After a brief overview of the anatomy, physiology and biomechanics of the uterus, the authors focus mainly on electromechanical wave processes, their origin, dynamics, and neuroendocrine and pharmacological modulations. In the...

The papers in this volume are the refereed papers presented at AI-2011, the Thirty-first SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2011 in both the technical and the application streams.

They present new and innovative developments and applications, divided into technical stream sections on Planning, Evolutionary Algorithms, Speech and Vision, and Machine Learning, followed by application stream sections on Knowledge Discovery and Data Mining, Machine Learning, Evolutionary Algorithms and AI in...

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance,...

This book presents the application of some AI related optimization techniques in the operation and control of electric power systems. With practical applications and examples the use of functional analysis, simulated annealing, Tabu-search, Genetic algorithms and fuzzy systems for the optimization of power systems is discussed in detail. Preliminary mathematical concepts are presented before moving to more advanced material.

Researchers and graduate students will benefit from this book. Engineers working in utility companies, operations and control, and resource management...

The growth in the Bioinformatics and Computational Biology fields over the last few years has been remarkable and the trend is to increase its pace. In fact, the need for computational techniques that can efficiently handle the huge amounts of data produced by the new experimental techniques in Biology is still increasing driven by new advances in Next Generation Sequencing, several types of the so called omics data and image acquisition, just to name a few. The analysis of the datasets that produces and its integration call for new algorithms and approaches from fields such as Databases,...