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...
Krishna's Lineage: The Harivamsha of Vyasa's Mahabharata
Forming the final part of the Sanskrit Mahabharata
, the Harivamsha's
main business is to supply narrative details about the great god Vishnu's avatar Krishna Vasudeva, who has been a comparatively minor character in the previous parts of the Mahabharata
, despite having taken centre stage in the Bhagavad...
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 |