ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Comprehensive Nuclear-Test-Ban Treaty  (7)
  • DDC 160/.9  (3)
  • English  (10)
  • Finnish
  • Russian
  • 2000-2004  (10)
Collection
Keywords
Language
  • English  (10)
  • Finnish
  • Russian
Years
  • 2000-2004  (10)
Year
  • 1
    Unknown
    Amsterdam ; Boston : Elsevier
    Keywords: DDC 160/.9 ; LC BC15 ; Logic - History
    Description / Table of Contents: 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.
    Pages: Online-Ressource (ix, 618 pages)
    Edition: 1st ed
    ISBN: 9780444504661
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Keywords: Comprehensive Nuclear-Test-Ban Treaty ; CTBT ; nuclear explosions ; hydroacoustics ; monitoring
    Description / Table of Contents: 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.
    Pages: Online-Ressource (V, 205 Seiten)
    ISBN: 9783764365387
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Keywords: Comprehensive Nuclear-Test-Ban Treaty ; CTBT ; estimation ; identification ; monitoring
    Description / Table of Contents: 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.
    Pages: Online-Ressource (261 Seiten)
    ISBN: 9783764365523
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Keywords: Comprehensive Nuclear-Test-Ban Treaty ; CTBT ; nuclear explosions ; data processing ; infrasound
    Description / Table of Contents: On September 10, 1996, The United Nations General Assembly adopted the Copmprehensive 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. This volume presents certain recent research results pertaining on methods used to process data recorded by instruments of the International Monitoring System (IMS) and addressing recording infrasound signals generated by atmospheric explosions. Six papers treating data processing provide an important selection of topics expected to contribute to improving our ability to successfully monitor a CTBT. Five papers concerning infrasound include descriptions of ways in which that important research area can contribute to CTBT monitoring, the automatic processing of infrasound data, and site conditions that serve to improve the quality of infrasound data.
    Pages: Online-Ressource (283 Seiten)
    ISBN: 9783764366766
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Keywords: Comprehensive Nuclear-Test-Ban Treaty ; CTBT ; nuclear explosions ; surface waves ; monitoring
    Description / Table of Contents: 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.
    Pages: Online-Ressource (VI, 243 Seiten)
    ISBN: 9783764365516
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    Keywords: Comprehensive Nuclear-Test-Ban Treaty ; CTBT ; crustal structure ; monitoring ; wave propagation
    Description / Table of Contents: 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.
    Pages: Online-Ressource (V, 211 Seiten)
    ISBN: 9783764365509
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Keywords: Comprehensive Nuclear-Test-Ban Treaty ; CTBT ; geophysics
    Description / Table of Contents: 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 center, and onsite inspections, to verify compliance. The problem of identifying small-magnitude banned nuclear tests and discriminating between such tests and the background of earthquakes and mining-related seismic events, is a challenging research problem. Because they emphasize CTBT verification research, the 12 papers in this special volume primarily addresses regional data recorded by a variety of arrays, broadband stations, and temporarily deployed stations. Nuclear explosions, earthquakes, mining-related explosions, mine collapses, single-charge and ripple-fired chemical explosions from Europe, Asia, North Africa, and North America are all studied. While the primary emphasis is on short-period, body-wave discriminants and associated source and path corrections, research that focuses on long-period data recorded at regional and teleseismic distances is also presented Hence, these papers demonstrate how event identification research in support of CTBT monitoring has expanded in recent years to include a wide variety of event types, data types, geographic regions and statistical techniques.
    Pages: Online-Ressource (VI, 284 Seiten)
    ISBN: 9783764366759
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Unknown
    Amsterdam ; Boston : Elsevier
    Keywords: DDC 160/.9 ; LC BC15 ; Logic - History
    Description / Table of Contents: 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.
    Pages: Online-Ressource (x, 770 pages)
    Edition: 1st ed
    ISBN: 9780444516114
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Keywords: Comprehensive Nuclear-Test-Ban Treaty ; CTBT ; monitoring ; seismic event location
    Description / Table of Contents: 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.
    Pages: Online-Ressource (IV, 419 Seiten)
    ISBN: 9783764365349
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Unknown
    Amsterdam ; Boston : Elsevier
    Keywords: DDC 160/.9 ; LC BC15 ; Logic - History
    Description / Table of Contents: 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
    Pages: Online-Ressource (xiv, 735 pages)
    Edition: 1st ed
    ISBN: 9780444516107
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...