In recent years, a great number of publications have explored the use of genetic algorithms as a tool for designing fuzzy systems. Genetic Fuzzy Systems explores and discusses this symbiosis of evolutionary computation and fuzzy logic. The book summarizes and analyzes the novel field of genetic fuzzy systems, paying special attention to...

“There is no other information retrieval/search book where the heart is the mathematical foundations. This book is greatly needed to further establish information retrieval as a serious academic, as well as practical and industrial, area." ---Jaime Carbonell, Carnegie Mellon University. “Berry and Browne describe most of what...

This volume consists of a series of lecture notes on mathematical analysis. The contributors have been selected on the basis of both their outstanding scientific level and their clarity of exposition. Thus, the present collection is particularly suited to young researchers and graduate students. Through this volume, the editors intend to provide...

Spatio-temporal networks (STN)are spatial networks whose topology and/or attributes change with time. These are encountered in many critical areas of everyday life such as transportation networks, electric power distribution grids, and social networks of mobile users. STN modeling and computations raise significant challenges. The model must...

Mathematics is beautiful--and it can be fun and exciting as well as practical. Good Math is your guide to some of the most intriguing topics from two thousand years of mathematics: from Egyptian fractions to Turing machines; from the real meaning of numbers to proof trees, group symmetry, and mechanical computation. If you've ever...

Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.

Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a...

The authors provide a very sharp theoretical study of numerical methods used to solve partial diferential equations of elliptic and parabolic type. Every numerical scheme is thoroughly dissected. As a whole, everything fits together in a harmonious way.

The book is efficiently organized and each chapter concludes with a very informative...

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

Since the first edition of Semantic Web for the Working Ontologist came out in June 2008, we have been
encouraged by the reception the book has received. Practitioners from a wide variety of industries—
health care, energy, environmental science, life sciences, national intelligence, and publishing, to name
a few—have told...

Presents a detailed study of the major design components that constitute a top-down decision-tree induction algorithm, including aspects such as split criteria, stopping criteria, pruning and the approaches for dealing with missing values. Whereas the strategy still employed nowadays is to use a 'generic' decision-tree induction...

This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented...

Electron magnetic resonance in the time domain has been greatly facilitated by
the introduction of novel resonance structures and better computational tools, such
as the increasingly widespread use of density-matrix formalism. This second volume
in our series, devoted both to instrumentation and computation, addresses applications
and...