The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory.
Providing a clear explanation of the fundamental theory of time series analysis and forecasting, this book couples theory with applications of two popular statistical packages--SAS and SPSS.
Meyer's Geometry and Its Applications, Second Edition, combines traditional geometry with current ideas to present a modern approach that is grounded in real-world applications.
The book provides the reader with the different types of functional equations that s/he can find in practice, showing, step by step, how they can be solved.
The neuroscience of why bad habits are so hard to break-and how evidence-based strategies can help us change our behavior more effectivelyWe all have habits we'd like to break, but for many of us it can be nearly impossible to do so.
Systems biology is a vigorous and expanding discipline, in many ways a successor to genomics and perhaps unprecedented in its combination of biology with a great many other sciences, from physics to ecology, from mathematics to medicine, and from philosophy to chemistry.
Introduced 160 years ago as an attempt to generalize complex numbers to higher dimensions, quaternions are now recognized as one of the most important concepts in modern computer graphics.
Traditionally, randomness and determinism have been viewed as being diametrically opposed, based on the idea that causality and determinism is complicated by "e;noise.
A revisionist, completely accessible and radically inclusive history of maths'Lively, satisfying, good at explaining difficult concepts' The Sunday TimesMathematics shapes almost everything we do.
The book is devoted to using of parallel multiprocessor computer systems for numerical simulation of the problems which can be described by the equations of continuum mechanics.
To many outsiders, mathematicians appear to think like computers, grimly grinding away with a strict formal logic and moving methodically--even algorithmically--from one black-and-white deduction to another.
In this book we generate graphic images using the software Mathematica thus providing a gentle and enjoyable introduction to this rather technical software and its graphic capabilities.
Numerical Modeling in Biomedical Engineering brings together the integrative set of computational problem solving tools important to biomedical engineers.
This revised book provides a thorough explanation of the foundation of robust methods, incorporating the latest updates on R and S-Plus, robust ANOVA (Analysis of Variance) and regression.
Probability and Random Processes provides a clear presentation of foundational concepts with specific applications to signal processing and communications, clearly the two areas of most interest to students and instructors in this course.
An Introduction to Dynamic Meteorology, Fourth Edition presents a cogent explanation of the fundamentals of meteorology, and explains storm dynamics for weather-oriented meteorologists.
Introduction to Probability and Statistics for Engineers and Scientists, Third Edition, provides an introduction to applied probability and statistics for engineering or science majors .
This Handbook covers latent variable models, which are a flexible class of models for modeling multivariate data to explore relationships among observed and latent variables.
Finite element, finite volume and finite difference methods use grids to solve the numerous differential equations that arise in the modelling of physical systems in engineering.
The concept of equilibrium plays a central role in various applied sciences, such as physics (especially, mechanics), economics, engineering, transportation, sociology, chemistry, biology and other fields.
Using the author's considerable experience of applying Mathcad to engineering problems, Engineering with Mathcad identifies the most powerful functions and features of the software and teaches how to apply these to create comprehensive engineering calculations.
The area of Psychometrics, a field encompassing the statistical methods used in Psychological and educational testing, has become a very important and active area of research, evident from the large body of literature that has been developed in the form of books, volumes and research papers.
The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing.