This state-of-the-art textbook examines four research directions in harmonic analysis and features some of the latest applications in the field, including cosmic microwave background analysis, human cortex image denoising, and wireless communication. The work is the first one that combines spline theory (from a numerical or...
An in-depth review of key techniques in software error detection
Software error detection is one of the most challenging problems in software engineering. Now, you can learn how to make the most of software testing by selecting test cases to maximize the probability of revealing latent errors. Software Error Detection through...
This volume investigates the neglected topic of mental action, and shows its importance for the metaphysics, epistemology, and phenomenology of mind. Twelve specially written essays address such questions as the following: Which phenomena should we count as mental actions--imagining, remembering, judging, for instance? How should we explain our...
The evolution of the microelectronics is controlled by the idea of scaling. However, the scaling of the device size below 10 nm is expected to be impossible because of physical, technological and economic reasons. Fundamental considerations (based on Heisenberg's principle, Schrödinger equation, decoherence of quantum states, and Landauer...
Cutting-Edge Optofluidics Theories, Techniques, and Practices
Add novel functionalities to your optical design projects by incorporating state-of-the-art microfluidic technologies and tools. Co-written by industry experts, Optofluidics: Fundamentals, Devices, and Applications covers the latest functional...
Presenting both the concerns and problems of beer consumption as well as the emerging evidence of benefit, Handbook of Beer Health and Disease Prevention offers a balanced view of today's findings and the potential of tomorrow's research.
From a beverage of warriors to a cheap and affordable commodity, beer has been a part of...
In Rational and Irrational Beliefs: Research, Theory, and Clinical Practice, leading scholars, researchers, and practitioners of rational emotive behavior therapy (REBT) and other cognitive-behavioral therapies (CBTs) share their perspectives and empirical findings on the nature of rational and irrational beliefs, the role of beliefs as...
The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.
Through fundamental contributions from leading researchers, this...
An integrated study system based on proven instructional methodology, this book and CD package shows you not only what--but how--to study for the SCWCD exam. The book offers complete coverage of all official exam objectives, 190+ practice exam questions, step-by-step exercises, on-the-job elements, and chapter self-tests. The CD-ROM contains...
The finite element method (FEM) is a computational technique for solving problems which are described by partial differential equations or which can be formulated as functional minimization. The FEM is commonly used in the design and development of products, especially where structural analysis is involved. The simple object model of the...
Nowadays, engineering systems are becoming increasingly complex and, for design purposes, must be considered as multidisciplinary systems made up of components from different engineering disciplines. With regard to the systematic development and the analysis of models, interdisciplinary methodologies supported by software become more and more...
The LLL algorithm is a polynomial-time lattice reduction algorithm, named after its inventors, Arjen Lenstra, Hendrik Lenstra and László Lovász. The algorithm has revolutionized computational aspects of the geometry of numbers since its introduction in 1982, leading to breakthroughs in fields as diverse as computer algebra,...
