"The MIT Press.""Studies based on the Rankine-Hugoniot relations have classified MHO shock waves as fast, switch-on, intermediate, switch-off, and slow. Any waves found in nature must also: (a) possess steady-state structures and (b) be stable in the presence of small-flow disturbances. In this monograph, Dr. Anderson examines these criteria in relation to plane shocks for which the collision f…
"The MIT Press.""When originally published in the early 1940s, this series was hailed in the New York Times because it emphasizes "method of thought, and not mere acquisition of facts." This volume extends the circuit theory begun in the first volume into the field of magnetic circuits, and covers both heavy-current power and light-current control, measurement, and communication applications of…
"MIT Press.""This is a complete presentation of all important theoretical and experimental work done on low-density codes. Low-density coding is one of the three techniques thus far developed for efficient communication over noisy channels with an arbitrarily low probability of error. A principal result of information theory is that if properly coded information is transmitted over a noisy chan…
"Harold Abelson is Professor of Computer Science at the Massachusetts Institute of Technology. He directed the first implementation of Logo for the Apple II, which made Logo widely available on personal computers beginning in 1981. Amanda Abelson, a high-school student, runs a nationwide Internet based multiuser simulation game.""Logo for the Macintosh teaches the art of programming to first ti…
Hao Wang (1921-1995) was one of the few confidants of the great mathematician and logician Kurt Godel. A Logical Journey is a continuation of Wang's Reflections on Kurt Godel and also elaborates on discussions contained in From Mathematics to Philosophy. A decade in preparation, it contains important and unfamiliar insights into Godel's views on a wide range of issues, from Platonism and the na…
"Today's computers must perform with increasing reliability, which in turn depends on the problem of determining whether a circuit has been manufactured properly or behaves correctly. However, the greater circuit density of VLSI circuits and systems has made testing more difficult and costly. This book notes that one solution is to develop faster and more efficient algorithms to generate test p…
Conference proceedings presenting the state-of-the-art in Logic Programming.OCLC-licensed vendor bibliographic record.
Papers presented during the workshop held in Lisbon in June 1993."This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and non-monotonic reasoning.Luis' Moniz Pereira is…
"Papers presented at the Tenth International Conference on Logic Programming, held in Budapest, Hungary, June 21-25, 1993"--Preface."The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of t…
Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.The International Conference on Logic Programming, sponsored by the Association for Logic Programming, includes t…