ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • monitoring  (5)
  • DDC 160/.9  (3)
  • Englisch  (8)
  • Tschechisch
  • Französisch
  • Italienisch
  • 2000-2004  (8)
Sammlung
Sprache
  • Englisch  (8)
  • Tschechisch
  • Französisch
  • Italienisch
Erscheinungszeitraum
Jahr
  • 1
    Schlagwort(e): Comprehensive Nuclear-Test-Ban Treaty ; CTBT ; estimation ; identification ; monitoring
    Beschreibung / Inhaltsverzeichnis: This volume presents summaries of recent research results on the related subjects of source processes and explosion yield estimation, which are important elements of any treaty verification system. The term Source Processes, in the context of nuclear test monitoring, refers to a wide range of research topics. In a narrow definition, it describes the complex physical phenomena that are directly associated with a nuclear explosion, and the catastrophic deformation and transformation of the material surrounding the explosion. In a broader sense, it includes a host of topics related to the inference of explosion phenomena from seismic and other signals. A further widening of the definition includes the study and characterization of source processes of events other than nuclear, such as earthquakes and, in particular, mining explosions. This latter research is especially important relative to the question of identifying and discriminating nuclear explosions from other seismic events. Explosion Yield Estimation deals with the corresponding inverse problem of inferring explosion source characteristics through analyses of the various types of seismic signals produced by the explosion. This is a complex technical task which has been the focus of some of the most contentious treaty monitoring debates. The current compilation of eight articles on Source Processes and six articles on Explosion Yield Estimation gives a good representation of state-of-the-art research currently being conducted in the broad area of seismic source characterization in the context of nuclear test monitoring.
    Seiten: Online-Ressource (261 Seiten)
    ISBN: 9783764365523
    Sprache: Englisch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Unbekannt
    Basel, Boston, Berlin : Birkhäuser
    Schlagwort(e): Comprehensive Nuclear-Test-Ban Treaty ; CTBT ; nuclear explosions ; hydroacoustics ; monitoring
    Beschreibung / Inhaltsverzeichnis: In September 1996, the United Nations General Assembly adopted the Comprehensive Nuclear-Test-Ban Treaty (CTBT), prohibiting nuclear explosions worldwide, in all environments. The treaty calls for a global verification system, including a network of 321 monitoring stations distributed around the globe, a data communications network, an international data centre (IDC), and on-site inspections, to verify compliance. A global hydroacoustic monitoring system is being planned and implemented for verification of the CTBT. Much of the research conducted over the past several decades on acoustic surveillance of the oceans, formerly driven by the need to detect and track submarines, is now being applied to the development of effective monitoring methods to verify compliance with the CTBT. The aim of this volume on Hydroacoustic Monitoring of the CTBT is to summarize the research being conducted in this field and to provide basic references for future research. Much of the new research emphasizes major advances in understanding the coupling of ocean acoustic waves with elastic waves in the solid Earth. Topics covered include source excitation, detection and classification of events generating hydroacoustic signals, discrimination between underwater explosions and naturally occurring events, as well as topics in coupling of acoustic to seismic wavefields.
    Seiten: Online-Ressource (V, 205 Seiten)
    ISBN: 9783764365387
    Sprache: Englisch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Unbekannt
    Amsterdam ; Boston : Elsevier
    Schlagwort(e): DDC 160/.9 ; LC BC15 ; Logic - History
    Beschreibung / Inhaltsverzeichnis: With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the earliness and persistence of what could be called 'the mathematical turn in logic'. Virtually every working logician is aware that, after a centuries-long run, the logic that originated in antiquity came to be displaced by a new approach with a dominantly mathematical character. It is, however, a substantial error to suppose that the mathematization of logic was, in all essentials, Frege's accomplishment or, if not his alone, a development ensuing from the second half of the nineteenth century. The mathematical turn in logic, although given considerable torque by events of the nineteenth century, can with assurance be dated from the final quarter of the seventeenth century in the impressively prescient work of Leibniz. It is true that, in the three hundred year run-up to the Begriffsschrift, one does not see a smoothly continuous evolution of the mathematical turn, but the idea that logic is mathematics, albeit perhaps only the most general part of mathematics, is one that attracted some degree of support throughout the entire period in question. Still, as Alfred North Whitehead once noted, the relationship between mathematics and symbolic logic has been an "uneasy" one, as is the present-day association of mathematics with computing. Some of this unease has a philosophical texture. For example, those who equate mathematics and logic sometimes disagree about the directionality of the purported identity. Frege and Russell made themselves famous by insisting (though for different reasons) that logic was the senior partner. Indeed logicism is the view that mathematics can be re-expressed without relevant loss in a suitably framed symbolic logic. But for a number of thinkers who took an algebraic approach to logic, the dependency relation was reversed, with mathematics in some form emerging as the senior partner. This was the precursor of the modern view that, in its four main precincts (set theory, proof theory, model theory and recursion theory), logic is indeed a branch of pure mathematics. It would be a mistake to leave the impression that the mathematization of logic (or the logicization of mathematics) was the sole concern of the history of logic between 1665 and 1900. There are, in this long interval, aspects of the modern unfolding of logic that bear no stamp of the imperial designs of mathematicians, as the chapters on Kant and Hegcl make clear. Of the two, Hcgel's influence on logic is arguably the greater, serving as a spur to the unfolding of an idealist tradition in logic - a development that will be covered in a further volume, British Logic in the Nineteenth Century. Contents: Preface (D.M. Gabbay, J. Woods). List of Contributors. Leibniz's Logic (W. Lenzen). Kant: From General to Transcendental Logic (M. Tiles). Hegel's Logic (J.W. Burbidge). Bolzano as Logician (P. Rusnock, R. George). Husserl's Logic (R. Tieszen). Algebraical Logic 1685-1900 (T. Hailperin). The Algebra of Logic (V.S. Valencia). The Mathematical Turn in Logic (I. Grattan-Guinness). Schroder's Logic (V. Peckhaus). Peirce's Logic (R. Hilpinen). Frege's Logic (P. Sullivan). Index.
    Seiten: Online-Ressource (x, 770 pages)
    Ausgabe: 1st ed
    ISBN: 9780444516114
    Sprache: Englisch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Unbekannt
    Basel, Boston, Berlin : Birkhäuser
    Schlagwort(e): Comprehensive Nuclear-Test-Ban Treaty ; CTBT ; nuclear explosions ; surface waves ; monitoring
    Beschreibung / Inhaltsverzeichnis: On September 1996, the United Nations General Assembly adopted the Comprehensive Nuclear-Test-Ban Treaty (CTBT), prohibiting nuclear explosions worldwide, in all environments. The treaty calls for a global verification system, including a network of 321 monitoring stations distributed around the globe, a data communications network, an international data center (IDC), and on-site inspections to verify compliance. Seismic methods play the lead role in monitoring the CTBT. This volume concentrates on the measurement and use of surface waves in monitoring the CTBT. Surface waves have three principal applications in CTBT monitoring: to help discriminate nuclear explosions from other sources of seismic energy, to provide mathematical characterizations of the seismic energy that emanates from seismic sources, and to be used as data in inversion for the seismic velocity structure of the crust and uppermost mantle for locating small seismic events regionally. The papers in this volume fall into two general categories: the development and/or application of methods to summarize information in surface waves, and the use of these summaries to advance the art of surface-wave identification, measurement, and source characterization. These papers cut across essentially all of the major applications of surface waves to monitoring the CTBT. This volume therefore provides a general introduction to the state of research in this area and should be useful as a guide for further exploration.
    Seiten: Online-Ressource (VI, 243 Seiten)
    ISBN: 9783764365516
    Sprache: Englisch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    Unbekannt
    Amsterdam ; Boston : Elsevier
    Schlagwort(e): DDC 160/.9 ; LC BC15 ; Logic - History
    Beschreibung / Inhaltsverzeichnis: Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Godel, The Emergence of Classical Logic, Logic and the Modalities in the Twentieth Century, and The Many-Valued and Non-Monotonic Turn in Logic. Further volumes will follow, including Mediaeval and Renaissance Logic and Logic: A History of its Central. In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of the chapter on Aristotle's early logic that, from its infancy, the theory of the syllogism is an example of an intuitionistic, non-monotonic, relevantly paraconsistent logic. Similarly, in addition to its comparative earliness, what is striking about the best of the Megarian and Stoic traditions is their sophistication and originality. Logic is an indispensably important pivot of the Western intellectual tradition. But, as the chapters on Indian and Arabic logic make clear, logic's parentage extends more widely than any direct line from the Greek city states. It is hardly surprising, therefore, that for centuries logic has been an unfetteredly international enterprise, whose research programmes reach to every corner of the learned world. Like its companion volumes, Greek, Indian and Arabic Logic is the result of a design that gives to its distinguished authors as much space as would be needed to produce highly authoritative chapters, rich in detail and interpretative reach. The aim of the Editors is to have placed before the relevant intellectual communities a research tool of indispensable value. Together with the other volumes, Greek, Indian and Arabic Logic, will be essential reading for everyone with a curiosity about logic's long development, especially researchers, graduate and senior undergraduate students in logic in all its forms, argumentation theory, AI and computer science, cognitive psychology and neuroscience, linguistics, forensics, philosophy and the history of philosophy, and the history of ideas. Contents: Preface (D.M. Gabbay, J. Woods). List of Contributors. Logic before Aristotle: Development or Birth? (J. Moravcsik). Aristotle's Early Logic (J. Woods, A. Irvine). Aristotle's Underlying Logic (G. Boger). Aristotle's Modal Syllogisms (F. Johnson). Indian Logic (J. Ganeri). The Megarians and the Stoics (R. R. O'Toole, R. E. Jennings). Arabic Logic (T. Street). The Translation of Arabic Works on Logic into Latin in the Middle Ages and Renaissance (C. Burnett). Index.
    Seiten: Online-Ressource (ix, 618 pages)
    Ausgabe: 1st ed
    ISBN: 9780444504661
    Sprache: Englisch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    Unbekannt
    Basel, Boston, Berlin : Birkhäuser
    Schlagwort(e): Comprehensive Nuclear-Test-Ban Treaty ; CTBT ; monitoring ; seismic event location
    Beschreibung / Inhaltsverzeichnis: In September 1996, the United Nations General Assembly adopted the Comprehensive Nuclear-Test-Ban Treaty (CTBT), prohibiting nuclear explosions worldwide, in all environments. The treaty calls for a global verification system, including a network of 321 monitoring stations distributed around the globe, a data communications network, an international data centre (IDC), and on-site inspections, to verify compliance. This volume contains research papers focusing on seismic ecent location in the CTBT context. The on-site inspection protocol of the treaty specifies a search area not to exceed 1000 square km. Much of the current research effort is therefore directed towards refining the accuracy of event location by including allowances for three-dimensional structure within the Earth. The aim is that the true location of each event will lie within the specified source zone regarding postulated location. The papers in this volume cover many aspects of seismic event location, including the development of algorithms suitable for use with three-dimensional models, allowances for regional structure, use of calibration events and source-specific station corrections. They provide a broad overview of the current international effort to improve seismic event location accuracy, and the editors hope that it will stimulate increased interest and further advances in this important field.
    Seiten: Online-Ressource (IV, 419 Seiten)
    ISBN: 9783764365349
    Sprache: Englisch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    Schlagwort(e): Comprehensive Nuclear-Test-Ban Treaty ; CTBT ; crustal structure ; monitoring ; wave propagation
    Beschreibung / Inhaltsverzeichnis: On September 1996, the United Nations General Assembly adopted the Comprehensive Nuclear-Test-Ban Treaty (CTBT), prohibiting nuclear explosions worldwide, in all environments. The treaty calls for a global verification system, including a network of 321 monitoring stations distributed around the globe, a data communications network, an international data center (IDC), and on-site inspections to verify compliance. Successful monitoring of a CTBT requires that we detect and identify all nuclear explosions. Since many events of concern will be too small to be detected teleseismically, this capability requires the use of regional-distance seismograms. The complexity of regional seismograms presents many technical challenges for a monitoring program. This issue focuses on problems associated with regional wave propagation through complex media. It includes papers that investigate regional variations of elastic and anelastic properties of Eurasia, the blockage of regional phases by sedimentary basins, methods for modeling regional wave propagation and for calibrating seismic wave paths in order to extract amplitude variations and source parameters. These papers illustrate the research and development necessary for acquiring an understanding of regional wave propagation which in turn provides the foundation for operational tools used to monitor a CTBT.
    Seiten: Online-Ressource (V, 211 Seiten)
    ISBN: 9783764365509
    Sprache: Englisch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    Unbekannt
    Amsterdam ; Boston : Elsevier
    Schlagwort(e): DDC 160/.9 ; LC BC15 ; Logic - History
    Beschreibung / Inhaltsverzeichnis: The present volume of the Handbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, and other that would anticipate, the century's later capitulation to the mathematization of logic. British Logic in the Nineteenth Century is indispensable reading and a definitive research resource for anyone with an interest in the history of logic. Contents: 1. "Bentham's Logic" by Charissa Varma and Gordon McOuat 2. "Coleridge's Logic" by Timothy Milnes 3. "Whately's Logic" by James Van Evra 4. "Hamilton's Logic" by Ralph Jessop 5. "Whewell's Logic" by Laura Snyder 6. "Mill's Logic" by Fred Wilson 7. "DeMorgan's Logic" by Michael Hobards & Joan Richards 8. "Boole's Logic" by Dale Jacquette 9. "French Logique and British Logic: On the Origins of Augustus deMorgan early Logical Enquiries 1805-1835" by Maria Panteki 10. "Lewis Carroll's Logic" by Amirouche Moktefi 11. "Venn's Logic" by James Van Evra 12. "Jevons' Logic" by Bert Mosselmans and Ard Van Moer 13. "MacColl's Logic" by Shahid Rahman 14. "The Idealists" by David Sullivan
    Seiten: Online-Ressource (xiv, 735 pages)
    Ausgabe: 1st ed
    ISBN: 9780444516107
    Sprache: Englisch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...