This book presents a unified approach to a rich and rapidly evolving research domain at the interface between statistical physics, theoretical computer science/discrete mathematics, and coding/information theory. It is accessible to graduate students and researchers without a specific training in any of these fields. The selected topics...

This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, I.F.M. 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods,...

There are scattered reports in the published literature citing relationships between actin, actin-binding proteins and disease. This volume brings this information together for the first time, with a focus on human disorders. The volume is relevant to a wide readership including cell biologists interested in understanding how structural and...

Comprehensive sections detail the very best places to eat, drink, shop, and unwind, providing information on everything from the luxurious cafes, restaurants, and clothing boutiques of...

This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of logic for...

Visual Teams uses visual tools and methods to help teams—both face-to-face and virtual—reach high performance in today's work environment. As teams become more and more global and distributed, visualization provides an important...

For years, investors, business strategists, and policymakers worldwide have turned to one book to help them translate the massive flow of economic data into knowledge for intelligent decision-making. The Wall Street Journal called this book "…the real deal," saying it "miraculously breathes...

This third edition includes new sections on Bose-Einstein condensation and degenerate Fermi...

Drs. McCarthy and Young draw on their experience to...