Molecular Sieve Silica Membranes

The Encyclopedia of Nanoscience and NanotechnologyTM is the world's first encyclopedia ever published in the field of nanotechnology. The 10-volume Encyclopedia is an unprecedented single reference source that provides an ideal introduction and overview of recent advances and emerging new aspects of nanotechnology, spanning from science to engineering to medicine. Although there are many books/handbooks and journals focused on nanotechnology, no encyclopedic reference work has been published as of today. The Encyclopedia fills this gap to provide basic information on all fundamental and applied aspects of nanotechnology by drawing on two decades of pioneering research. It is the only scientific work of its kind since the beginning of the field of nanotechnology, bringing together core knowledge and the very latest advances. About 400 review chapters and hundreds of entries written by over 1,000 of the world's leading scientists. It is written for all audience levels, allowing non-scientists to understand the nanotechnology while providing up-to-date information to active scientists and experts in the field. This outstanding encyclopedia is an indispensable source for research professionals, technology investors and developers seeking the most up-to-date information on nanotechnology, among a wide range of disciplines, from science to engineering to medicine.

Hydrogen Storage by Carbon Nanotubes

Encyclopedia of Nanoscience and Nanotechnology® is the World's first encyclopedia ever published in the field of nanotechnology. The 10-volume Encyclopedia is an unprecedented single reference source that provides ideal introduction and overview of most recent advances and emerging new aspects of nanotechnology spanning from science to engineering to medicine. Although there are many books/handbook and journals focused on nanotechnology, no encyclopedic reference work has been published covering all aspects of nanoscale science and technology dealing with materials synthesis, processing, fabrication, probes, spectroscopy, physical properties, electronics, optics, mechanics, biotechnology, devices, etc. The Encyclopedia fills this gap to provide basic information on all fundamental and applied aspects of nanotechnology by drawing on two decades of pioneering research. It is the only scientific work of its kind since the beginning of the field of nanotechnology bringing together core knowledge and the very latest advances. It is written for all levels audience that allows non-scientists to understand the nanotechnology while providing up-to-date latest information to active scientists to experts in the field. This outstanding encyclopedia is an indispensable source for research professionals, technology investors and developers seeking the most up-to-date information on the nanotechnology among a wide range of disciplines from science to engineering to medicine.

Proving Temporal Properties of Z Specifications Using Abstraction

This paper presents a systematic approach to proving temporal properties of arbitrary Z specifications. The approach involves (i) transforming the Z specification to an abstract temporal structure (or state transition system), (ii) applying a model checker to the temporal structure, (iii) determining whether the temporal structure is too abstract based on the model checking result and (iv) refining the temporal structure where necessary. The approach is based on existing work from the model checking literature, adapting it to Z.