The recent explosive growth of our ability to generate and store data has created a need for new, scalable and efficient, tools for data analysis.
A long-awaited, updated introductory text by the world leaders in potential theory. This essential reference work covers all aspects of this major field of mathematical... Læs mere
This book provides a unified approach for developing a fuzzy classifier and explains the advantages and disadvantages of different... Læs mere
Task analysis approaches to software development encourage a focus on supporting users and their tasks while participatory design approaches encourage users' direct, active contributions to software development work.
The focus from most Virtual Reality (VR) systems lies mainly on the visual immersion of the user.
Pervasive Computing is an important area in current computer science research and industrial development. Sensing and Systems... Læs mere
Commercial-Industrial Cleaning, by Pressure-Washing, Hydro-Blasting and... Læs mere
This highly practical Guide to Geometric Algebra in Practice reviews algebraic techniques for geometrical problems in computer science and engineering, and the... Læs mere
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
The subject of Partial Differential Equations (PDEs) which first emerged in the 18th century holds an exciting and special position in the applications relating to the mathematical modelling of physical phenomena.
Quantitative Methods in Supply Chain Management presents some of the most important methods and tools available for modeling and solving problems arising in the context of supply chain management.
The Hamiltonian, which is used in quantum physics to describe the total energy of a system, would have been a major achievement for anyone, but Hamilton also invented quaternions, which paved the way for modern vector analysis.