This hands-on textbook introduces physics and nuclear engineering students to the experimental and theoretical aspects of fission physics for research and applications through worked examples and problem sets. The study of nuclear fission is currently undergoing a renaissance. Recent advances in the field create the opportunity to develop more reliable models of fission predictability and to supply measurements and data to critical applications including nuclear energy, national security and counter-proliferation, and medical isotope production. An Introduction to Nuclear Fission provides foundational knowledge for the next generation of researchers to contribute to nuclear fission physics.

The growing demand for high quality, safety, and security of software systems can only be met by rigorous application of formal methods during software design. Tools for formal methods in general, however, do not provide a sufficient level of automatic processing. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering.Illustrated by complete case studies on verification of communication and security protocols and logic-based component reuse, the book characterizes proof tasks to allow an assessment of the provers capabilities. Necessary techniques and extensions, e.g., for handling inductive and modal proof tasks, or for controlling the prover, are covered in detail. The book demonstrates that state-of-the-art automated theorem provers are capable of automatically handling important tasks during the development of high-quality software and it provides many helpful techniques for increasing practical usability of the automated theorem prover for successful applications.

This title was first published in 2000: This volume of essays explores a number of fundamental constitutional law questions in a variety of historical and jurisdictional contexts. The contributions focus on the role to be played by courts and legal principles in the resolution of major political controversies and on the progressive development of constitutional jurisprudence in countries sharing a broadly common law legal tradition. The guiding theme pervading the collection is an attempt to measure the legitimacy of judicial (in-)activism when courts are faced with difficult political choices on matters such as slavery, internment, racism and voting rights and radical economic policies and are also confronted with the requirement to attach concrete meanings to such abstract concepts as the separation of powers and the rule of law.

Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering. Illustrated by complete case studies on protocol verification, verification of security protocols, and logic-based software reuse, this book provides techniques for assessing the prover's capabilities and for selecting and developing an appropriate interface architecture.

This hands-on textbook introduces physics and nuclear engineering students to the experimental and theoretical aspects of fission physics for research and applications through worked examples and problem sets. The study of nuclear fission is currently undergoing a renaissance. Recent advances in the field create the opportunity to develop more reliable models of fission predictability and to supply measurements and data to critical applications including nuclear energy, national security and counter-proliferation, and medical isotope production. An Introduction to Nuclear Fission provides foundational knowledge for the next generation of researchers to contribute to nuclear fission physics.

Written by established experts in the field, this book features in-depth discussions of proven scientific principles, current trends, and applications of nuclear chemistry to the sciences and engineering. Provides up-to-date coverage of the latest research and examines the theoretical and practical aspects of nuclear and radiochemistry Presents the basic physical principles of nuclear and radiochemistry in a succinct fashion, requiring no basic knowledge of quantum mechanics Adds discussion of math tools and simulations to demonstrate various phenomena, new chapters on Nuclear Medicine, Nuclear Forensics and Particle Physics, and updates to all other chapters Includes additional solved problems to help students and a solutions manual for all end of chapter problems for instructors Reviews of 1st edition: "...an authoritative, comprehensive but succinct, state-of-the-art textbook ..." (The Chemical Educator) and "...an excellent resource for libraries and laboratories supporting programs requiring familiarity with nuclear processes ..." (CHOICE)