In the four decades since Imre Lakatos declared mathematics a "quasi-empirical science," increasing attention has been paid to the process of proof and argumentation in the field -- a development paralleled by the rise of computer technology and the mounting interest in the logical underpinnings of mathematics.  Explanantion...

A fundamental understanding of algorithmic bioprocesses is key to learning how information processing occurs in nature at the cell level. The field is concerned with the interactions between computer science on the one hand and biology, chemistry, and DNA-oriented nanoscience on the other. In particular, this book offers a comprehensive overview...

“In these financial times, this is an especially timely book. Michael C. Thomsett provides practical, direct instruction to...

Looking to expand your knowledge of money management? This all-in-one resource is the tool you need. From dealing with debt and setting financial goals to starting a small business and planning your estate, this indispensable desk reference is bursting with...

If you're eager to take control of your investments but don't want to make it your full-time job, Investing Online For Dummies, 7th Edition will put you on your way. Completely updated to cover all the newest online...

Modeling problems in this book are addressed mainly from the computational viewpoint. The primary concerns are how to define an objective function for the optimal solution to a image analysis or computer vision problem and how to find the optimal solution. The solution is defined in an optimization sense because the perfect solution is...

This widely anticipated third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic and nondeterministic sequential programs of varying complexity, together with both parallel and distributed concurrent programs. The...

All over the world, democratic reforms have brought power to the people, but under conditions where the people have little opportunity to think about the power that they exercise. In this book, James Fishkin combines a new theory of democracy with actual practice and shows how an idea that harks back to ancient Athens can be used to revive...

Mangrove forests, seagrass beds, and coral reefs are circumtropical ecosystems that are highly productive, and provide many important biological functions and economic services. These ecosystems cover large surface areas in the shallow tropical coastal seascape but have suffered from serious human degradation, especially in the last few decades....

System-level modeling of MEMS - microelectromechanical systems - comprises integrated approaches to simulate, understand, and optimize the performance of sensors, actuators, and microsystems, taking into account the intricacies of the interplay between mechanical and electrical properties, circuitry, packaging, and design considerations....