"A Bradford book."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 book describes the fundamental proper…
"The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered…
"A Bradford book."OCLC-licensed vendor bibliographic record.
"Reissue of the 1988 Expanded Edition with a new foreword by L?eon Bottou."The first systematic study of parallelism in computation by two pioneers in the field.Reissue of the 1988 Expanded Edition with a new foreword by Leon BottouIn 1969, ten years after the discovery of the perceptron--which showed that a machine could be taught to perform certain tasks using examples--Marvin Minsky and Seym…
An industry insider explains why there is so much bad software - and why academia doesn't teach programmers what industry wants them to know. Why is software so prone to bugs? So vulnerable to viruses? Why are software products so often delayed, or even canceled? Is software development really hard, or are software developers just not that good at it? In The Problem with Software , Adam Barr ex…
The impact of host country institutions and policy on innovation by multinational firms in emerging economies. In the past, multinational firms have looked to developing countries as sources of raw materials, markets, or production efficiencies, but rarely as locations for innovation. Today, however, R & D facilities and other indicators of multinational-linked innovation are becoming more comm…
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 manipulated on computers, and this book contains ele…
A review of the theoretical research on unlawful collusion, focusing on the impact and optimal design of competition law and enforcement.OCLC-licensed vendor bibliographic record.
A roadmap for integrating mindfulness into every aspect of social change: how to lead transformation with compassion for the needs and perspectives of all people. Gretchen Steidle knows first-hand the personal transformation that mindfulness practice can bring. But she doesn't believe that transformation stops at personal wellbeing. In Leading from Within , Steidle describes the ways that perso…
"Proceedings of the ninth Fyssen Symposium entitled "From monkey brain to human brain" which was held at the Pavillon Henry IV in St-Germain-en-Laye from 20 to 23 June 2003"--Preface.Leaders in cognitive psychology, comparative biology, and neuroscience discuss patterns of convergence and divergence seen in studies of human and nonhuman primate brains.The extraordinary overlap between human and…