In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.

Based on the authors more than 35 years of experience, Particles in Water: Properties and Processes examines particles and their behavior in water systems. The book offers clear and accessible methods for characterizing a range of particles both individually and as aggregates. The author delineates the principles for understanding particle

The relation between microstructures and mechanical properties has always been a challenge for materials science. Modelling the formation, properties and long term stability of microstructures is one of the most impressive and promising advances of modern materials science. This book presents recent advances and challenges in this fast evolving cross disciplinary field. It addresses applications of classical physical metallurgy, and the need for new modelling approaches, both on the analytical viewpoint and on the simulation side.

Lunar domes are structures of volcanic origin which are usually difficult to observe due to their low heights. The Lunar Domes Handbook is a reference work on these elusive features. It provides a collection of images for a large number of lunar domes, including telescopic images acquired with advanced but still moderately intricate amateur equipment as well as recent orbital spacecraft images. Different methods for determining the morphometric properties of lunar domes (diameter, height, flank slope, edifice volume) from image data or orbital topographic data are discussed. Additionally, multispectral and hyperspectral image data are examined, providing insights into the composition of the dome material. Several classification schemes for lunar domes are described, including an approach based on the determined morphometric quantities and spectral analyses. Furthermore, the book provides a description of geophysical models of lunar domes, which yield information about the properties of the lava from which they formed and the depth of the magma source regions below the lunar surface.

Wood-based materials are CO2-neutral, renewable, and considered to be environmentally friendly. The huge variety of wood species and wood-based composites allows a wide scope of creative and esthetic alternatives to materials with higher environmental impacts during production, use and disposal. Quality of wood is influenced by the genetic and environmental factors. One of the emerging uses of wood are building and construction applications. Modern building and construction practices would not be possible without use of wood or wood-based composites. The use of composites enables using wood of lower quality for the production of materials with engineered properties for specific target applications. Even more, the utilization of such reinforcing particles as carbon nanotubes and nanocellulose enables development of a new generation of composites with even better properties. The positive aspect of decomposability of waste wood can turn into the opposite when wood or wood-based materials are exposed to weathering, moisture oscillations, different discolorations, and degrading organisms. Protective measures are therefore unavoidable for many outdoor applications. Resistance of wood against different aging factors is always a combined effect of toxic or inhibiting ingredients on the one hand, and of structural, anatomical, or chemical ways of excluding moisture on the other.

This book contains the Proceedings of the 2007 Conference of the Italian Systems Society. Papers deal with the interdisciplinary study of processes of emergence, considering theoretical aspects and applications from physics, cognitive science, biology, artificial intelligence, economics, architecture, philosophy, music and social systems. Such an interdisciplinary study implies the need to model and distinguish, in different disciplinary contexts, the establishment of structures, systems and systemic properties. Systems, as modeled by the observer, not only possess properties, but are also able to make emergent new properties. While current disciplinary models of emergence are based on theories of phase transitions, bifurcations, dissipative structures, multiple systems and organization, the present volume focuses on both generalizing those disciplinary models and identifying correspondences and new more general approaches. The general conceptual framework of the book relates to the attempt to build a general theory of emergence as a general theory of change, corresponding to Von Bertalanffy''s project for a general system theory.