Computing

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for d

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for d

Researchers have been complaining about the lack of one single place to find information on computing effect sizes in analysis of variance (ANOVA), until now. Authors Jose M. Cortina and Hossein Nour

Bentley (Bell Labs) offers practical programming techniques and fundamental design principles first published in his column for Communications of the Association for Computing Machinery . The second

The Enterprise Operations Management Handbook provides the expert advice and guidance of hundreds of leading computing practitioners and consultants. Covering all major areas of enterprise operations

IT CAN'T CRASH, IT WON'T PUT YOU ON HOLD, AND IT NEVER TAKES LUNCH BREAKS. Your computer screen freezes after hours of work on the proposal due to your boas at 7 A.M. You try to save a master

Looks at the development of technology in the use of metals, wood, plastics, and composite materials, and in the fields of manufacturing, farming, communication, design, computing, and medicine.

Numerical analysis is the subject of applied mathematics concerned mainly with using computers in evaluating or approximating mathematical models. As such, it is crucial to all applications of mathematics in science and engineering, as well as being an important discipline on its own. Acta Numerica surveys annually the most important developments in numerical analysis and scientific computing. The subjects and authors of the substantive survey articles are chosen by a distinguished international editorial board so as to report the most important developments in the subject in a manner accessible to the wider community of professionals with an interest in scientific computing.

Formal logic, free from the ambiguities of natural languages, is especially suited for use in computing. In turn, model theory, which is concerned with the relationship between mathematical structures

Reliability is an essential concept in mathematics, computing, research, and all disciplines of engineering, and reliability as a characteristic is, in fact, a probability. Therefore, in this book, th

Java is now a serious computing platform for mission-critical business solutions. Advanced Java technologies are the basic building blocks of any significant corporate business application. This book

This new edition of Professor Sethian's successful text provides an introduction to level set methods and fast marching methods, which are powerful numerical techniques for analyzing and computing interface motion in a host of settings. They rely on a fundamental shift in how one views moving boundaries; rethinking the natural geometric Lagrangian perspective and exchanging it for an Eulerian, initial value partial differential equation perspective. For this edition, the collection of applications provided in the text has been expanded, including examples from physics, chemistry, fluid mechanics, combustion, image processing, material science, fabrication of microelectronic components, computer vision, computer-aided design, and optimal control theory. This book will be a useful resource for mathematicians, applied scientists, practising engineers, computer graphic artists, and anyone interested in the evolution of boundaries and interfaces.

ESource—Prentice Hall's Engineering Source—provides a complete, flexible introductory engineering and computing program. Featuring over 15 modules and growing, ESource allows users to fully customize

Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.

An up-to-date analysis of the SAR wavefront reconstruction signal theory and its digital implementation With the advent of fast computing and digital information processing techniques, synthetic aper

This is a full-length history of the Western Electric Company, which was the manufacturing arm of the Bell System. As manufacturer in the communications revolutions in the nineteenth and twentieth centuries, Western Electric made products that accelerated society's pace, such as telegraphs, telephones, an early computing machine, radios, radar and transistors. Western's history offers numerous examples of the difference between innovation and implementation. The aftermath of Western's 1882 acquisition by Bell Telephone, for instance, reveals vertical integration as a lengthy process rather than a single event. Ironically, although Western transformed business worldwide with innovations in areas such as quality control and industrial psychology, the company was slow to implement these innovations itself. Western's dual role as captive supplier for a regulated monopoly and as government contractor led to its most rapid change, in the area of civil rights.

Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the informat

This text takes a practical, step-by-step approach to algebraic curves and surface interpolation motivated by the understanding of the many practical applications in engineering analysis, approximation, and curve plotting problems. Because of its usefulness for computing, the algebraic approach is the main theme, but a brief discussion of the synthetic approach is also presented as a way of gaining additional insight before proceeding with the algebraic manipulation. The authors start with simple interpolation, including splines, and extend this in an intuitive fashion to the production of conic sections. They then introduce projective co-ordinates as tools for dealing with higher order curves and singular points. They present many applications and concrete examples, including parabolic interpolation, geometric approximation, and the numerical solution of trajectory problems. In the final chapter they apply the basic theory to the construction of finite element basis functions and surf

Parallel algorithms Made Easy The complexity of today's applications coupled with the widespread use of parallel computing has made the design and analysis of parallel algorithms topics of growing in

Windows 98 For Dummies won't try to turn you into a Windows wizard, but you'll pick up a few chunks of useful computing information while reading it. Instead of becoming a Windows 98 expert, you'll kn

Simplifies topics in quantum computing for students and scientists who face difficulties reading the original papers and reviews. Discusses quantum computing's ability to solve problems digital comput

The support of Java Report by the pioneers of the language has always made it the 'magazine of record' for Java development. From the very beginnings of Java, Java Report was there, examining each new aspect of the language with a clear independent eye. Now, Dwight Deugo, the editor of Java Report, has gathered the most important articles from the first year of the magazine. Written by a who's who of industry experts, Java Gems covers today's most important aspects of Java development. Java Gems' top writers and developers walk you through the topic areas that are essential to today's Java developers, including multitasking, design patterns, class libraries, persistence, distributed computing, and Java vs C++.

Presents the mathematical knowledge that is needed in order to understand the art of computing eigenvalues of real symmetric matrices, either all of them or only a few. The author explains why the sel

Rapid advances in quantum optics, atomic physics, particle physics and other areas have been driven by fantastic progress in instrumentation (especially lasers) and computing technology as well as by

Probabilistic modelling is the most cost-effective means of performance and reliability evaluation of complex dynamic systems. This self-contained text will be welcomed by students and teachers for its no-nonsense treatment of the basic results and examples of their application. The only mathematical background that is assumed is basic calculus. The necessary fundamentals of probability theory are included, as well as an introduction to renewal, Poisson and Markov processes. Models arising in the fields of manufacturing, computing and communications, involving single or multiple service stations and one or more customer classes, are examined in some detail. Both exact and approximate solution methods are discussed, including recent techniques such as spectral expansion. Special attention is devoted to models of systems subject to breakdowns and repairs. Throughout the book, strong emphasis is placed on explaining the ideas behind the results and helping the reader to use them, making t

Probabilistic modelling is the most cost-effective means of performance and reliability evaluation of complex dynamic systems. This self-contained text will be welcomed by students and teachers for its no-nonsense treatment of the basic results and examples of their application. The only mathematical background that is assumed is basic calculus. The necessary fundamentals of probability theory are included, as well as an introduction to renewal, Poisson and Markov processes. Models arising in the fields of manufacturing, computing and communications, involving single or multiple service stations and one or more customer classes, are examined in some detail. Both exact and approximate solution methods are discussed, including recent techniques such as spectral expansion. Special attention is devoted to models of systems subject to breakdowns and repairs. Throughout the book, strong emphasis is placed on explaining the ideas behind the results and helping the reader to use them, making t

Capturing where we are today through a tour of yesterday's achievements and helping us better understand the evolution of computing technology, this book recounts the experiences of those who formed a

Like previous editions, this text has retained it's excellent coverage of basic concepts and broad coverage of the major aspects of aerodynamics. Numerical techniques are described for computing invic

Understanding Digital Signatures: Establishing Trust over the Internet and Other Networks details the business, legal, social, and technological issues surrounding Digital Signatures and public key in

Complex fluid flows are encountered widely in nature, in living beings and in engineering practice. These flows often involve both geometric and dynamic complexity and present problems that are difficult to analyse because of their wide range of length and time scales, as well as their geometric configuration. This book describes some computational techniques and modelling strategies for analysing and predicting complex transport phenomena. It summarizes advances in the context of a pressure-based algorithm. Among methods discussed are discretization schemes for treating convection and pressure, parallel computing, multigrid methods, and composite, multiblock techniques. With respect to physical modelling, the book addresses issues of turbulence closure and multiscale, multiphase transport from an engineering viewpoint. Both fundamental and practical issues are considered, along with the relative merits of competing approaches. Numerous examples are given throughout the text. Mechanica

A manual/CD-ROM package explaining how to use an interactive circuit simulation program, designed to introduce the concepts of hardware description languages. Part I covers the general operation of th

This book's purpose is to offer various perspectives relating to the development, effectiveness, and implementation of interactive computing technology for health promotion--programs and interventions

Intended for engineers involved in the video, television, computing, and communications industries as well as researchers and students in electronic engineering and computer science. Covers applicatio

Neural networks are a computing paradigm that is finding increasing attention among computer scientists. In this book, theoretical laws and models previously scattered in the literature are brought to

Shows students in computing, informations systems, engineering, and business how to design database systems, offering a step-by-step methodology integrating the entity-relationship model with normaliz

The notion that "thinking about computing is one of the most exciting things the human mind can do" sets both The Little Schemer (formerly known as The Little LISPer) and its new companion volume, The

The notion that "thinking about computing is one of the most exciting things the human mind can do" sets both The Little Schemer (formerly known as The Little LISPer) and its new companion volume, The

As important as it is to realize the potential of computer technology to improve education, it is just as important to understand how the social organization of schools and classrooms influences the use of computers, and in turn is effected by that technology in unanticipated ways. In Computers and Classroom Culture, first published in 1996, Janet Schofield observes the fascinating dynamics of the computer-age classroom. Among her many discoveries, Schofield describes how the use of an artificially-intelligent tutor in a geometry class unexpectedly changes aspects like the level of peer competition and the teachers' grading practices. She also discusses why many teachers fail to make significant instructional use of computers and how gender appears to have a crucial impact on students' reactions to computer use. All educators, sociologists, and psychologists concerned with educational computing and the changing shape of the classroom will find themselves compellingly engaged.

Optical techniques have a huge range of potential applications in signal processing and in the interconnection of digital computing systems. This 1995 book provides a detailed review of the key issues which must be addressed in the design, evaluation and implementation of practical systems for signal processing and optical interconnection. Considerations such as the computer modelling of optical design limitations, the size and noise characteristics of optical modulators, and the relative merits of free-space and guided-wave optical technology in different processing systems, are all discussed in detail. The book will be of great interest to optical researchers and designers, and to anyone wishing to learn about the basic techniques of optical processing.

The abacus is as useful and effecient a machine today as it was when it was first created centures ago. Whether you're an expert in the latest computer technology or you're mastering arithmetic and w