Armin Biere & Carla P. Gomes 
Theory and Applications of Satisfiability Testing – SAT 2006 [PDF ebook] 
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

In the theory of splines, a function is approximated piece-wise by (usually cubic) polynomials. Quasi-splines is the natural extension of this, allowing us to use any useful class of functions adapte …

Simulating blood cells for biomedical applications is a challenging goal. Whether you want to investigate blood flow behavior on the cell scale, or use a blood cell model for fast computational proto …

The thirty papers published in this book represent the latest developments in Discontinuous Deformation Analysis (DDA). The Numerical Manifold Method (NMM) and other numerical methods and their appli …

Basic Gambling Mathematics: The Numbers Behind the Neon, Second Edition explains the mathematics involved in analyzing games of chance, including casino games, horse racing and other sports, and lott …

This book contains expanded versions of the talks given at the conference held in honour of professor Ky Fan in California in 1985, as well as papers on nonlinear and convex analysis as contributions …

This book introduces multi-objective design methods to solve multi-objective optimization problems (MOPs) of linear/nonlinear dynamic systems under intrinsic random fluctuation and external disturban …

Fractional Integral Transforms: Theory and Applications presents over twenty-five integral transforms, many of which have never before been collected in one single volume. Some transforms are classic …

In terms of statistics, GIS offers many connections. With GIS, data are gathered, displayed, summarized, examined, and interpreted to discover patterns. Spatial Mathematics: Theory and Practice throu …

The book is intended for students of graduate and postgraduate level, researchers in mathematical sciences as well as those who want to apply the spectral theory of second order differential operator …

Extreme weather and climate change aggravate the frequency and magnitude of disasters. Facing atypical and more severe events, existing early warning and response systems become inadequate both in sc …