Pattern Recognition and Machine Intelligence: 4th International Conference, PReMI 2011, Moscow, Russia, June 27 - July 1, 2011, Proceedings
This volume contains the proceedings of the 4th International Conference on
Pattern Recognition and Machine Intelligence (PReMI-2011) which was held at
the National Research University Higher School of Economics (HSE), Moscow,
Russia, during June 27 - July 1, 2011. This was the fourth conference in the
series. The first three...
Water and the Future of Humanity: Revisiting Water Security
This unique, engaging, and highly authoritative volume enlightens readers on changes needed in the way society accesses, provides, and uses water. It further shines a light on changes needed in the way we use food, energy, and other goods and services in relation to water, and offers projections and recommendations, up to 2050, that apply to...
Harnessing Solar Heat (Lecture Notes in Energy)
Systems engineered by man to harness solar heat in a controlled manner now include a diverse range of technologies each serving distinctive needs in particular climate contexts. This text covers the breadth of solar energy technologies for the conversion of solar energy to provide heat, either as the directly-used output or as an...
Verification Techniques for System-Level Design (Systems on Silicon) A must-read in formal and semi-formal verification!
This book will explain how to verify SoC logic designs using formal and semi-formal verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the...
|Result Page: 3 2 1 |