Skip to main content
Elsevier

Books in Physical sciences and engineering

  • Optimization of Stochastic Systems

    Topics in Discrete-Time Systems
    • 1st Edition
    • Masanao Aoki
    • Richard Bellman
    • English

  • EPS - High Energy Physics '89

    Proceedings of the International Europhysics Conference on High Energy Physics
    • 1st Edition
    • R. Fernandez Alvarez-Estrada + 2 more
    • English
    EPS - High Energy Physics '89 presents the proceeding of the International Europhysics Conference on High Energy physics, held in Madrid, Spain, on September 6–13, 1989. This book outlines several topics on the interface between cosmology/astrophysi... and particle physics. Organized into two parts encompassing 181 chapters, this compilation of papers begins with an overview of the implications of the cosmic light element abundances. This text then examines the various aspects of lattice field theory. Other chapters consider the theoretical evidence of a fundamental length in string theory and outline the main features of the higher order corrections to the heavy quark inclusive cross section. This book discusses as well the theory of heavy quark production in hadron collision. The final chapter deals with the idea of low-energy supersymmetry, which relates the scale of supersymmetry breaking to the origin and stability of the electroweak scale. This book is a valuable resource for astrophysicists, physicists, and scientists.

  • Vistas in Astronomy

    Dynamics, Instruments, Geophysics, Solar System, Stellar Astronomy, Photometry, Spectroscopy, Stellar Evolution, Galaxies, Cosmology
    • 1st Edition
    • Arthur Beer
    • English
    Vistas in Astronomy, Volume 3 covers the spectacular and interesting developments in the field of astronomy. This book is organized into two main sections encompassing 18 chapters. The first part deals first with the forces that influence stellar dynamics, followed by intensive discussion on the rediscovery of planet Neptune, the concept of Einstein's light-deflection, and design requirements for large telescopes. This part also presents several astronomical instruments, Auroral investigation techniques, and observations of the Russian satellites. The second part starts with surveys of the developments of a photoelectric technique for determination of radial velocities. This part further examines the emission lines excitation in the spectra of early-type stars, as well as the color, luminosity, and evolution of the stars. Topics on star formation, galactic magnetic field, and aspects of cosmology are also covered. This book is an ideal source for astronomers, and space engineers and researchers.

  • Progress in Biophysics and Biophysical Chemistry

    • 1st Edition
    • J. A. V. Butler
    • English

  • Algebra of Proofs

    • 1st Edition
    • M. E. Szabo
    • K. J. Barwise + 2 more
    • English
    Algebra of Proofs deals with algebraic properties of the proof theory of intuitionist first-order logic in a categorical setting. The presentation is based on the confluence of ideas and techniques from proof theory, category theory, and combinatory logic. The conceptual basis for the text is the Lindenbaum-Tarski algebras of formulas taken as categories. The formal proofs of the associated deductive systems determine structured categories as their canonical algebras (which are of the same type as the Lindenbaum-Tarski algebras of the formulas of underlying languages). Gentzen's theorem, which asserts that provable formulas code their own proofs, links the algebras of formulas and the corresponding algebras of formal proofs. The book utilizes the Gentzen's theorem and the reducibility relations with the Church-Rosser property as syntactic tools. The text explains two main types of theories with varying linguistic complexity and deductive strength: the monoidal type and the Cartesian type. It also shows that quantifiers fit smoothly into the calculus of adjoints and describe the topos-theoretical setting in which the proof theory of intuitionist first-order logic possesses a natural semantics. The text can benefit mathematicians, students, or professors of algebra and advanced mathematics.

  • The Old Quantum Theory

    • 1st Edition
    • D. Ter Haar
    • English

  • Integrability and Quantization

    Proceedings of the 20th GIFT International Seminar on Integrability and Quantization
    • 1st Edition
    • M. Asorey + 1 more
    • English

  • Proceedings of the Conference on Nuclear Structure in the Nineties

    Oak Ridge, Tennessee, April 23-27, 1990
    • 1st Edition
    • Noah R. Johnson
    • English

  • Interfaces in Polymer Matrix Composites

    Composite Materials, Vol. 6
    • 1st Edition
    • Edwin P. Plueddemann
    • English
    Composite Materials, Volume 6: Interfaces in Polymer Matrix Composites covers the interface region as deduced from extensive practical studies of composite properties and from scientific studies of surfaces and surface modifiers. The book starts by providing a historical background on the studies and theories of the interface. The text then discusses the mechanics of load transfer at the interface; the surface chemistry of moisture-induced composite failure; and radioisotope studies of coupling agents at the interface. The use of silane coupling agents in particulate mineral filled composites; the mechanism of adhesion through silane coupling agents; as well as the high-modulus fibers and the fiber-resin interface in resin composites are also considered. Materials scientists, materials engineers, and design engineers will find the book invaluable.

  • Progress in Analytical Atomic Spectroscopy

    Volume 3
    • 1st Edition
    • C L Chakrabarti
    • English
    Progress in Analytical Atomic Spectroscopy, Volume 3 presents the advancement in the study of the electromagnetic radiation that atoms absorb and emit. The book first explores the nuclear energy materials, and then discusses the thermodynamic study of gaseous monocyanides through electrothermal atomic absorption spectrometry. The multielement atomic fluorescence spectroscopy and the analytical atomic spectroscopy of metallurigical materials are then tackled. The text also looks into a theoretical approach to the analytical capabilities of atomic spectrometric techniques utilizing tunable lasers. The latter parts explain the analytical applications of spectra of diatomic molecules; the chemical reactions in atom reservoirs used in atomic absorption spectroscopy; and the Zeeman effect atomic absorption. The text will be helpful to those interested in analytical atomic spectroscopy.

Related subjects