Skip to main content
Elsevier

North Holland

  • Intensional and Higher-Order Modal Logic

    • 1st Edition
    • Daniel Gallin
    • English
    North-Holland Mathematics Studies, 19: Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics focuses on an approach to the problem of providing a precise account of natural language syntax and semantics, including the set-theoretic semantical methods, Boolean models, and two-sorted type theory. The book first offers information on intensional logic and alternative formulations of intensional logic. Topics include two-sorted type theory, normal forms, extensions and intensional logic, modal T-logic, persistence in intensional logic, generalized completeness of intensional logic, and natural language and intensional logic. The text then examines higher-order modal logic and algebraic semantics. Discussions focus on Cohen's independence results, topological models of MLp, modal independence results, Boolean models of MLp, relative strength of intensional logic and MLp, propositional operators, modal predicate logic, and propositions in MLp. The monograph is a valuable reference for mathematicians and researchers interested in intensional and higher-order modal logic.

  • Divisor Theory in Module Categories

    • 1st Edition
    • W. V. Vasconcelos
    • Leopoldo Nachbin
    • English
    North-Holland Mathematics Studies, 14: Divisor Theory in Module Categories focuses on the principles, operations, and approaches involved in divisor theory in module categories, including rings, divisors, modules, and complexes. The book first takes a look at local algebra and homology of local rings. Discussions focus on Gorenstein rings, Euler characteristics of modules, Macaulay rings, Koszul complexes, Noetherian and coherent rings, flatness, and Fitting's invariants. The text then explains divisorial ideals, including divisors, modules of dimension one, and higher divisorial ideals. The manuscript ponders on spherical modules and divisors and I-divisors. Topics include construction, Euler characteristics of Inj (A), change of rings and dimensions, spherical modules, resolutions and divisors, and elementary properties. The text is a valuable source of information for mathematicians and researchers interested in divisor theory in module categories.

  • Navier—Stokes Equations

    Theory and Numerical Analysis
    • 2nd Edition
    • Roger Temam
    • J. L. Lions + 2 more
    • English
    Navier-Stokes Equations: Theory and Numerical Analysis focuses on the processes, methodologies, principles, and approaches involved in Navier-Stokes equations, computational fluid dynamics (CFD), and mathematical analysis to which CFD is grounded. The publication first takes a look at steady-state Stokes equations and steady-state Navier-Stokes equations. Topics include bifurcation theory and non-uniqueness results, discrete inequalities and compactness theorems, existence and uniqueness theorems, discretization of Stokes equations, existence and uniqueness for the Stokes equations, and function spaces. The text then examines the evolution of Navier-Stokes equations, including linear case, compactness theorems, alternate proof of existence by semi-discretization, and discretization of the Navier-Stokes equations. The book ponders on the approximation of the Navier-Stokes equations by the projection and compressibility methods; properties of the curl operator and application to the steady-state Navier-Stokes equations; and implementation of non-conforming linear finite elements. The publication is a valuable reference for researchers interested in the theory and numerical analysis of Navier-Stokes equations.

  • Proceedings of the International Symposium on Thermodynamics of Alloys

    Delft, The Netherlands, June 12-13, 1980
    • 1st Edition
    • A. R. Miedema + 1 more
    • English

  • Deep Inelastic Scattering

    Proceedings of the 1992 Zeuthen Workshop on Elementary Particle Theory: Deep Inelastic Scattering, Teupitz/Brandenburg, Germany, 6-10 April 1992
    • 1st Edition
    • J. Blümlein + 1 more
    • English

  • The Hadron Mass Spectrum

    Proceedings of the Rheinfels Workshop on the Hadron Mass Spectrum, St. Goar, Germany September 3-6 1990
    • 1st Edition
    • E. Klempt + 1 more
    • English
    The Hadron Mass Spectrum covers the proceedings of the Rheinfels Workshop on the Hadron Mass Spectrum, held in St. Goar, Germany on September 3-6, 1990. The book focuses on the processes, methodologies, and reactions involved in hadron spectroscopy. The selection first offers information on strange meson and strangeonium spectroscopy and strangeonium production from LASS. The book also takes a look at the status of strange meson spectroscopy, including status of the spectroscopy, systematics of the level structure, and contributions from LASS. The publication examines the scalar meson enigma and two photon couplings of scalar and tensor mesons. The manuscript also touches on rhoprimes, omegaprimes, and glueballs; meson production mechanisms and selection criteria for cryptoexotic states; and light meson spectroscopy and threshold effects. The selection is a dependable reference for readers interested in hadron mass spectrum.

  • Lattice 91

    Proceeding of the International Symposium on Lattice Field Theory, Tsukuba, Japan 5–9 November 1991
    • 1st Edition
    • M. Fukugita + 2 more
    • English
    Lattice 91 covers the proceedings of the International Symposium on Lattice Field Theory held in Tsukuba, Japan on 5-9 November 1991. The book focuses on quantum chromodynamics, Higgs-fermion theories, QED, lattice quantum gravity and random surfaces, spin systems related to field theory, simulation algorithms, and dedicated computers. The selection first offers information on the QCD spectrum and phase diagram on the lattice and QCD at finite density, including phase structure of QCD, Monte-Carlo simulations with dynamical fermions, and quenched approximation. The book then tackles weak matrix elements, simulation of heavy quarks, and sphaleron induced baryon number non-conservation. The text reviews quantum gravity and random surfaces, recent analytic progress in finite size effects, and parallel QCD machines. Discussions focus on two-dimensional quantum gravity, signatures of resonance in finite volume, first order transitions, and determination of the running coupling. The publication also ponders on hadronic forces from the lattice, universality of the confinement string in multiple potentials, and confinement and saddle-point configurations. The selection is highly recommended for readers interested in the lattice field theory.

  • Solar and Galactic Cosmic Rays

    Proceedings of the 12th European Cosmic Ray Symposium, Nottingham, England, 15-21 July 1990
    • 1st Edition
    • P. R. Blake + 1 more
    • English

  • Localization of Nilpotent Groups and Spaces

    • 1st Edition
    • Peter Hilton + 2 more
    • Leopoldo Nachbin
    • English
    North-Holland Mathematics Studies, 15: Localization of Nilpotent Groups and Spaces focuses on the application of localization methods to nilpotent groups and spaces. The book first discusses the localization of nilpotent groups, including localization theory of nilpotent groups, properties of localization in N, further properties of localization, actions of a nilpotent group on an abelian group, and generalized Serre classes of groups. The book then examines homotopy types, as well as mixing of homotopy types, localizing H-spaces, main (pullback) theorem, quasifinite nilpotent spaces, localization of nilpotent complexes, and nilpotent spaces. The manuscript takes a look at the applications of localization theory, including genus and H-spaces, finite H-spaces, and non-cancellation phenomena. The publication is a vital source of data for mathematicians and researchers interested in the localization of nilpotent groups and spaces.

  • International Conference on Nuclear Structure

    Proceedings of the International Conference on Nuclear Structure (9th EPS Nuclear Physics Divisional Conference), Amsterdam, August 30–September 3, 1982
    • 1st Edition
    • A. Van Der Woude + 1 more
    • English
    International Conference on Nuclear Structure presents the status of research in nuclear structure. This book covers the more traditional topics, including giant resonances, high-spin states, current and momentum distributions in nuclei, and single particle and collective excitations at low excitation energy. Organized into eight sessions, this book begins with an overview of the experiments with low momentum antiprotons. This text then examines the interaction between two free nucleons, which can be described by their scattering matrix, by their scattering cross sections, or by relativistic or nonrelativistic potentials. Other sessions consider the results on neutron-hole states in the Zr, Sn, and Pb region from pic-up measurements. This book discusses as well the progress in the investigation of high-spin magnetic observables in medium and heavy nuclei. The final chapter deals with the methods of performing measurements of neutrino masses. This book is a valuable resource for nuclear physicists, scientists, and research workers.

Browse by Publisher