Mechanical Engineering is defined nowadays as a discipline “which involves the application of principles of physics, design, manufacturing and maintenance of mechanical systems”. Recently, mechanical engineering has also focused on some cutting-edge subjects such as nanomechanics and nanotechnology, mechatronics and robotics,...

Finite-time stability (FTS) is a more practical concept than classical Lyapunov stability, useful for checking whether the state trajectories of a system remain within pre-specified bounds over a finite time interval. In a linear systems framework, FTS problems can be cast as convex optimization problems and solved by the use of effective...

Coverage is divided into three volumes, entitled Process Fundamentals, encompassing process fundamentals, extractive and refining processes, and metallurgical process...

A project can be simple or complex. In each case, proven project management processes must be followed. In all cases of project management implementation, control must be exercised in order to assure that project objectives are achieved. Statistical...

'What's going to happen next?' Time series data hold the answers, and Bayesian methods represent the cutting edge in learning what they have to say. This ambitious book is the first unified treatment of the emerging knowledge-base in Bayesian time series techniques. Exploiting the unifying framework of probabilistic graphical...

Adapted from a modular undergraduate course on computational mathematics, Concise Computer Mathematics delivers an easily accessible, self-contained introduction to the basic notions of mathematics necessary for a computer science degree. The text reflects the need to quickly introduce students from a variety of educational backgrounds to a...

Biological systems are a source of inspiration in the development of small autonomous sensor nodes. The two major types of optical vision systems found in nature are the single aperture human eye and the compound eye of insects. The latter are among the most compact and smallest vision sensors. The eye is a compound of individual lenses with...

Although they are believed to be unsolvable in general, tractability results suggest that some practical NP-hard problems can be efficiently solved. Combinatorial search algorithms are designed to efficiently explore the usually large solution space of these instances by reducing the search space to feasible regions and using heuristics to...

The importance of accuracy verification methods was understood at the very beginning of the development of numerical analysis. Recent decades have seen a rapid growth of results related to adaptive numerical methods and a posteriori estimates. However, in this important area there often exists a noticeable gap between mathematicians creating...

What matters in understanding digital media? Is looking at the external appearance and audience experience of software enough--or should we look further? In Expressive Processing, Noah Wardrip-Fruin argues that understanding what goes on beneath the surface, the computational processes that make digital media function, is...

Mathematical and computational biology is playing an increasingly important role in the biological sciences. This science brings forward unique challenges, many of which are, at the moment, beyond the theoretical techniques available. Developmental biology, due to its complexity, has lagged somewhat behind its sister disciplines (such as...

This book concerns non-linguistic knowledge required to perform computational natural language understanding (NLU). The main objective of the book is to show that inference-based NLU has the potential for practical large scale applications. First, an introduction to research areas relevant for NLU is given. We review approaches to linguistic...