The automation of mathematical reasoning has been an important topic of research almost since computers were invented. The new technique of rippling, described here for the first time in book form, is designed to be an approach to mathematical reasoning that takes into account ideas of heuristics and searching. Rippling addresses...
An innovative introduction to chemical engineering computing
As chemical engineering technology advances, so does the complexity of the problems that arise. The problemsthat chemical engineers and chemical engineering students face today can no longer be answered with programs written on a case-by-case basis. Introduction...
If you need to create reliable, cost-effective, optimized designs, The Design Analysis Handbook provides a practical framework for integrating quality into the design process from start to finish. The methodology used is called Worst Case Analysis Plus (WCA+), a design-validation tool that demands thoroughness and analytical thinking by the user....
Intelligent systems are necessary to handle modern computer-based technologies managing information and knowledge. This book discusses the theories required to help provide solutions to difficult problems in the construction of intelligent systems. Particular attention is paid to situations in which the available information and data may be...
Contextual computing has been around for several years with a variety of names such as pervasive computation and omnipresent computing. Recently there has been a drive toward making personal digital assistants (PDAs) more aware of their environment. For example, a cell phone may sense that it is in a conference room and reason that it should...
This book evolved out of research that began more than 25 years ago, based on a
National Science Foundation-supported project investigating the question: what
is needed, beyond having a mathematical idea that enables students to use it in
everyday problem-solving situations! (Lesh, Landau, & Hamilton, 1983). Large
portions...
Presenting a state-of-the-art overview of theoretical and computational models that link characteristic biomechanical phenomena, this book provides guidelines and examples for creating multiscale models in representative systems and organisms. It develops the reader's understanding of and intuition for multiscale phenomena in biomechanics...
Larson's market-leading text, PRECALCULUS is known for delivering sound, consistently structured explanations and exercises of mathematical concepts to expertly prepare students for the study of calculus. With the ninth edition, the author continues to revolutionize the way students learn material by incorporating more real-world...
ULTIPLE CRITERIA DECISION ANALYSIS: State of the Art Surveys is the most comprehensive work available to survey the state of the art in MCDA to date. Its 25 chapters are organized in eight parts and are written by 52 international leading experts. Each of these parts covers one of the central streams of multiple criteria decision analysis...
HVDC and FACTS Controllers: Applications of Static Converters in Power Systems focuses on the technical advances and developments that have taken place in the past ten years or so in the fields of High Voltage DC transmission and Flexible AC transmission systems. These advances (in HVDC transmission and FACTS) have added a new dimension to power...
A systematic introduction to partial differential equations and modern finite element methods for their efficient numerical solution
Partial Differential Equations and the Finite Element Method provides a much-needed, clear, and systematic introduction to modern theory of partial differential equations (PDEs) and...
This text developed out of our experiences teaching courses covering the formal semantics of programming languages. Independently we both developed laboratory exercises implementing small programming languages in Prolog following denotational definitions. Prolog proved to be an excellent tool for illustrating the formal semantics of programming...