Tracing The Atom

This book is about nuclear legacies in Russia and Central Asia, focusing on selected sites of the Soviet atomic program, many of which have remained understudied. Nuclear operations, for energy or military purposes, demanded a vast infrastructure of production and supply chains that have transformed entire regions. In following the material traces of the atomic programs, contributors pay particular attention to memory practices and memorialization concerning nuclear legacies. Tracing the Atom foregrounds historical and contemporary engagements with nuclear politics: how have institutions and governments responded to the legacies of the atomic era? How do communities and artists articulate concerns over radioactive matters? What was the role of radiation expertise in a broader Soviet and international context of the Cold War? Examining nuclear legacies together with past atomic futures and post-Soviet memorialization and nuclear heritage shines light on how modes of knowing intersect with livelihoods, compensation policies, and historiography. Bringing together a range of disciplines – history, science and technology studies, social anthropology, literary studies, and art history – this volume offers insights that broaden our understanding of twentieth-century atomic programs and their long aftermaths.

Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete transformation steps where one term is replaced with another and have applications in many areas, from functional programming to automatic theorem proving and computer algebra. This 2003 book starts at an elementary level with the earlier chapters providing a foundation for the rest of the work. Much of the advanced material appeared here for the first time in book form. Subjects treated include orthogonality, termination, completion, lambda calculus, higher-order rewriting, infinitary rewriting and term graph rewriting. Many exercises are included with selected solutions provided on the web. A comprehensive bibliography makes this book ideal both for teaching and research. A chapter is included presenting applications of term rewriting systems, with many pointers to actual implementations.

This book details chiroptical spectroscopic methods: electronic circular dichroism (ECD), optical rotatory dispersion (ORD), vibrational circular dichroism (VCD), and vibrational Raman optical activity (VROA). For each technique, the text presents experimental methods for measurements and theoretical methods for analyzing the experimental data. It also includes a set of experiments that can be adopted for undergraduate teaching laboratories. Each chapter is written in an easy-to-follow format for novice readers, with necessary theoretical formalism in appendices for advanced readers.