Elsevier bv okt 2003 (3 Ergebnisse)
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 255,27
EUR 66,51 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms fo…r talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects. To study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery. We start with concrete examples of applied one- and many-dimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of 'abstract' combinations of modal logics - fusions and products of modal logics, fragments of first-order modal and temporal logics - focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technicaltoolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic second-order logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: tempo.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 304,52
EUR 63,71 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - In the past ten years there has been a rapid growth of the research and application area known as Lab-on-a-Chip. After an initial focus on electrokinetic separation techniques on chip, the scope of the field has widened to include topics like microfluidics, DNA analysis, cell analysis, microreactors… and mass spectrometer interfacing. As well as the analytical chemistry community, synthetic chemists, chemical engineers, biochemists and biomedical engineers are now also becoming more and more interested in using new micro- and nanotechnological techniques. This first Lab-on-a-Chip book contains a broad collection of papers on microtechnology, microfluidics, analytical methods and applications. All contributions are written by leading researchers in their respective fields, and provide new scientists with an overview of the field, to make him/her aware of the enormous opportunities offered by modern technology. The work presented in this book will definitely stimulate readers to new ideas and concepts, and lead to further innovations in this area.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 368,37
EUR 63,47 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Neuware - Optically Stimulated Luminescence (OSL) has become the technique of choice for many areas of radiation dosimetry. The technique is finding widespread application in a variety of radiation dosimetry fields, including personal monitoring, environmental monitoring, retrospective dosimetry (including ge…ological dating and accident dosimetry), space dosimetry, and many more. In this book we have attempted to synthesize the major advances in the field, covering both fundamental understanding and the many applications. The latter serve to demonstrate the success and popularity of OSL as a dosimetry method.The book is designed for researchers and radiation dosimetry practitioners alike. It delves into the detailed theory of the process from the point of view of stimulated relaxation phenomena, describing the energy storage and release processes phenomenologically and developing detailed mathematical descriptions to enable a quantitative understanding of the observed phenomena. The various stimulation modes (continuous wave, pulsed, or linear modulation) are introduced and compared. The properties of the most important synthetic OSL materials beginning with the dominant carbon-doped Al2O3, and moving through discussions of other, less-well studied but nevertheless important, or potentially important, materials. The OSL properties of the two most important natural OSL dosimetry material types, namely quartz and feldspars are discussed in depth. The applications chapters deal with the use of OSL in personal, environmental, medical and UV dosimetry, geological dating and retrospective dosimetry (accident dosimetry and dating). Finally the developments in instrumentation that have occurred over the past decade or more are described. The book will find use in those laboratories within academia, national institutes and the private sector where research and applications in radiation dosimetry using luminescence are being conducted. Potential readers include personnel involved in radiation protection practice and research, hospitals, nuclear power stations, radiation clean-up and remediation, food irradiation and materials processing, security monitoring, geological and archaeological dating, luminescence studies of minerals, etc.
