Artificial intelligence on the BBC and Electron

Sample

Sean W. Smith

How can one trust computation taking place at a remote site, particularly if a party at that site might have motivation to subvert this trust? In recent years, industrial efforts have advanced the notion of a "trusted computing platform" as a building block. Through a conspiracy of hardware and software magic, these platforms attempt to solve this remote trust problem, to preserve various critical properties against various types of adversaries. However, these current efforts are just points on a larger continuum, which ranges from earlier work on secure coprocessor design and applications, through TCPA/TCG, to recent academic developments. Without wading through stacks of theses and research literature, the general computer science reader cannot see this big picture. Trusted Computing Platforms:Design and Applications fills this gap. Starting with early prototypes and proposed applications, this book surveys the longer history of amplifying small amounts of hardware security into broader system security---and reports real case study experience with security architecture and applications on multiple types of platforms. The author examines the theory, design, implementation of the IBM 4758 secure coprocessor platform and discusses real case study applications that exploit the unique capabilities of this platform. The author discusses how these foundations grow into newer industrial designs, and discusses alternate architectures and case studies of applications that this newer hardware can enable. The author closes with an examination of more recent cutting-edge experimental work in this area. Trusted Computing Platforms:Design and Applications is written for security architects, application designers, and the general computer scientist interested in the evolution and uses of this emerging technology.

Sample

D. Stauffer ... [et al

Computer Simulation and Computer Algebra. Starting from simple examples in classical mechanics, these introductory lectures proceed to simulations in statistical physics (using FORTRAN) and then explain in detail the use of computer algebra (by means of Reduce). This third edition takes into account the most recent version of Reduce (3.4.1) and updates the description of large-scale simulations to subjects such as the 170000 X 170000 Ising model. Furthermore, an introduction to both vector and parallel computing is given.

Sample

Richard Gass

Mathematica is a powerful computer language that allows the tight integration of symbolic, numeric, and graphic techniques. In Mathematica for Scientists and Engineers: Using Mathematica to do Science, Richard Gass provides a guide for scientific researchers, engineers, and students on using the power of Mathematica to solve scientifically interesting problems. On the left, for instance, is a nonuniform cross-section of a pipe, the partial differential equation that governs wave motion in the pipe, the Mathematica code that solves the equation, and a density plot of the excess pressure in the pipe.

Sample

Sadri Hassani

"This book presents a large number of numerical topics and exercises together with discussions of methods for solving such problems using Mathematica. The accompanying CD-ROM contains Mathematica Notebooks for illustrating most of the topics in the text and for solving problems in mathematical physics." "Although is it primarily designed for use with the author's Mathematical Methods: For Students of Physics and Related Fields, the discussions in the book are sufficiently self-contained that the book can be used as a supplement to any of the standard textbooks in mathematical methods for undergraduate students of physical sciences or engineering."--Jacket.