The present work focuses on the development of intensified small-scale extraction units for spent nuclear fuel reprocessing using advanced process engineering with combined experimental and modelling methodologies. It discusses a number of novel elements, such as the intensification of spent fuel reprocessing and the use of ionic liquids as green alternatives to organic solvents. The use of ion…
The first part of this book covers the key concepts of cryptography on an undergraduate level, from encryption and digital signatures to cryptographic protocols. Essential techniques are demonstrated in protocols for key exchange, user identification, electronic elections and digital cash. In the second part, more advanced topics are addressed, such as the bit security of one-way functions and …
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used…
This book equips students with a thorough understanding of various types of sensors and biosensors that can be used for chemical, biological, and biomedical applications, including but not limited to temperature sensors, strain sensor, light sensors, spectrophotometric sensors, pulse oximeter, optical fiber probes, fluorescence sensors, pH sensor, ion-selective electrodes, piezoelectric sensors…
This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of…
This book is dedicated to the great scientist and outstanding individual Nikolay Wladimirovich Timofeeff-Ressovsky. The book brings together a number of brief stories/essays about Timofeeff-Ressovsky including “Stories told by himself”, and scientific chapters addressing his major research areas: genetics, radiobiology, radiation ecology and epidemiology, and evolution. Timofeeff-Ressovsky …
This book, written by experienced geneticists, covers topics ranging from the natural history of the mouse species, its handling and reproduction in the laboratory, and its classical genetics and cytogenetics, to modern issues including the analysis of the transcriptome, the parental imprinting and X-chromosome inactivation. The strategies for creating all sorts of mutations, either by genetic …
This book examines old and new data on some of the 18th and 19th century earthquakes that either occurred or were clearly felt in southern regions of Poland. Particular emphasis is put on a detailed study and reinterpretation of the unusually severe Outer Western Carpathians earthquake on December 3, 1786 (7 I0, 5.3 Mw, 35 km depth), which was the last in a series of seismic events in the years…
This brief book is an introduction to SQLite for both iOS and Android developers. The book includes an optional introduction to SQL, a discussion of when to use SQLite, and chapters devoted to using SQLite with the most likely programming languages and then goes through adding a simple database to an Android or iOS app and finally a chapter on managing the app’s life cycle. What You Will L…
Introducing SQL Server is a fast and easy introduction to SQL Server and the world of relational databases. You’ll learn how databases work and how to use the T-SQL language by practicing on one of the most widely-used and powerful database engines in the corporate world: Microsoft SQL Server. Do you quake at the sight of a SELECT statement? Start to shiver when people start talking about …