Skip to main content

Elsevier Science

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 3
    • Lev D. Beklemishev
    • English
  • Elementary Induction on Abstract Structures

    • 1st Edition
    • Volume 77
    • Lev D. Beklemishev
    • English
  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 19
    • Lev D. Beklemishev
    • English
  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 23
    • Lev D. Beklemishev
    • English
  • Logic Colloquium '77

    • 1st Edition
    • Volume 96
    • Lev D. Beklemishev
    • English
  • Differential Geometry and the Calculus of Variations by Robert Hermann

    • 1st Edition
    • Volume 49
    • English
    In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system representation subject to constraints associated with concepts of causality, memory and stationarity; methods of system representation with an accuracy that is the best within a given class of models; methods of covariance matrix estimation;methods for low-rank matrix approximations; hybrid methods based on a combination of iterative procedures and best operator approximation; andmethods for information compression and filtering under condition that a filter model should satisfy restrictions associated with causality and different types of memory.As a result, the book represents a blend of new methods in general computational analysis,and specific, but also generic, techniques for study of systems theory ant its particularbranches, such as optimal filtering and information compression.
  • Introduction to the Theory of Finite Automata

    • 1st Edition
    • Volume 38
    • Lev D. Beklemishev
    • English
  • SET THEORY

    • 1st Edition
    • Volume 53
    • Lev D. Beklemishev
    • English
  • Non-Destructive Testing in Civil Engineering 2000

    • 1st Edition
    • T. Uomoto
    • English
    The first international symposium on NDT-CE (Non-Destructive Testing in Civil Engineering) was held in Berlin, Germany in 1991. Successive symposia were held throughout Europe until 1997. This, the 5th symposium is organized as SEIKEN SYMPOSIUM No. 26, and is sponsored by the Institute of Industrial Science, at the University of Tokyo, Japan. Original objectives of the NDT-CE symposium have been to provide an opportunity for discussing current issues and future perspectives of NDT and for promoting mutual understanding among engineers and researchers. Asia is one of the key regions for further development in NDT and this symposium in Japan will be a good opportunity not only to exchange technical information on NDT, but to promote worldwide friendship between engineers in Asian countries and other nations of the world. This volume contains 70 papers providing the most recent research results and findings. The papers are grouped under the following areas: (1) keynote papers, (2) magnetic / electric, (3) steel structures, (4) integrated test, (5) moisture, (6) strength, (7) acoustic emission, (8) various tests, (9) ultrasonic, (10) impact echo, (11) radar, (12) quality and (13) corrosion / cover.
  • Cretaceous Environments of Asia

    • 1st Edition
    • Volume 17
    • H. Okada + 1 more
    • English
    This book presents a synthesis of the principal environmental characteristics of the Cretaceous in East and South Asia. The research was accomplished under IGCP project 350, which deals with the biological, climatological and physical environments of this region during the Cretaceous.This synthesis discusses aspects of stratigraphy, sedimentology, paleontology, geochemistry, tectonics, petrology, mineralogy, and geophysics. The research results are summarised by country, and include Far East Russia, Mongolia, eastern China, Korea, Japan, Philippines, Vietnam, Laos, Cambodia, Thailand, and India. Although these countries do not encompass the entire region, this coverage provides an excellent perspective of the evolution of the region during the Cretaceous.The records incorporated in this book present a wealth of marine and nonmarine data on climate, biotic diversity, circulation and chemistry of the ocean as well as fundamental plume tectonism. The latter appears to have caused much of the environmental change in this broad region, including both an enhanced greenhouse effect and high sea levels.