Finite-state devices, which include finite-state automata, graphs, and finite-state transducers, are in wide use in many areas of computer science. Recently, there has been a resurgence of the use of finite-state devices in all aspects of computational linguistics, including dictionary encoding, text processing, and speech processing. This...

This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be...

Author and...

Expert JavaScript is your definitive guide to understanding how and why JavaScript behaves the way it does. Master the inner workings of JavaScript by learning in detail how modern applications are made. In covering lesser-understood aspects of this powerful language and truly understanding how it works, your JavaScript code and...

The study of lysophospholipids exploded with the discovery of cell surface receptors on both lysophosphatidic acid (LPA) and sphingosine 1-phosphate (S1P). Since then, thousands of original research reports—ranging from fundamental cell...

Grounding is the fundamental measures to ensure the safe operation of power systems, including power apparatus and control/monitoring systems, and guarantee the personal safety. Grounding technology is an interdiscipline involving electrical engineering, high voltage technology, electric safety, electromagnetics, numerical analysis, and...

A major contribution to the field of electrochemistry, this book—based on a thorough review of the literature and author Yongjun Tan's twenty years of pioneering research—examines electrochemical heterogeneity and...

Many probability books are written by mathematicians and have the built-in bias that the reader is assumed to be a mathematician coming to the material for its beauty. This textbook is geared towards beginning graduate students from a variety of disciplines whose primary focus is not necessarily mathematics for its own sake. Instead,...

What is the origin of the Romance languages and how did they evolve? When and how did they become different from Latin, and from each other? Volume 2 of The Cambridge History of the Romance Languages offers fresh and original reflections on the principal questions and issues in the comparative external histories of the Romance languages. It...

Fuzzy implication functions are one of the main operations in fuzzy logic. They generalize the classical implication, which takes values in the set {0,1}, to fuzzy logic, where the truth values belong to the unit interval [0,1]. These functions are not only fundamental for fuzzy logic systems, fuzzy control, approximate reasoning and expert...

Following a brief introduction and overview, early chapters cover the basic algebraic relationships of entropy, relative entropy and mutual information, AEP, entropy rates of stochastics processes and data compression, duality of data compression and the growth rate of wealth. Later chapters explore Kolmogorov complexity, channel capacity,...

'What's going to happen next?' Time series data hold the answers, and Bayesian methods represent the cutting edge in learning what they have to say. This ambitious book is the first unified treatment of the emerging knowledge-base in Bayesian time series techniques. Exploiting the unifying framework of probabilistic graphical...