Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on...

• Optimize your MapReduce job performance
• ...

More than $2 trillion is traded in the foreign exchange every day, and many experts believe this figure will double in the next five years. Fortunately for spot currency traders, the high-volume periods in this market are predictably moved by information released from government and informational agencies, typically on Wednesdays and Fridays...

In...

Michel Gaudin's book La fonction d'onde de Bethe is a uniquely influential masterpiece on exactly solvable models of quantum mechanics and statistical physics. Available in English for the first time, this translation brings his classic work to a new generation of graduate students and researchers in physics. It presents a mixture of...

The book introduces ‘the state of the art' of pulsed laser ablation and its applications. It is based on recent theoretical and experimental studies. The book reaches from the basics to advanced topics of pulsed laser ablation. Theoretical and experimental fundamental phenomena involved in pulsed laser ablation are discussed with...

Volume IV continues the author's odyssey on l-D cellular automata as chronicled in Volumes I, II and III, by uncovering a novel quasi-ergodicity phenomenon involving orbits meandering among omega-limit orbits of complex (group 5) and hyper (group 6) Bernoulli rules. This discovery is embellished with analytical formulas characterizing the...

This volume is devoted to the dynamics and diagnostics of solar magnetic fields and plasmas in the Sun’s atmosphere. Five broad areas of current research in Solar Physics are presented: (1) New techniques for incorporating radiation transfer effects into three-dimensional magnetohydrodynamic models of the solar interior and atmosphere,...

• Write next-gen HTML5 apps using the SproutCore framework and tools
• Get started right away by creating a powerful application in the very first chapter
• Build your...

This book deals with the analysis of the structure of complex networks by combining results from graph theory, physics, and pattern recognition. The book is divided into two parts. 11 chapters are dedicated to the development of theoretical tools for the structural analysis of networks, and 7 chapters are illustrating, in a critical way,...

“The Art of Wireless Sensor Networks: Volume 1: Fundamentals” focuses on the fundamentals concepts in the design, analysis, and implementation of...