Skip to main content
Elsevier

Books in Physical sciences and engineering

  • Automated Theorem Proving: A Logical Basis

    • 1st Edition
    • D.W. Loveland
    • English
    Fundamental Studies in Computer Science, Volume 6: Automated Theorem Proving: A Logical Basis aims to organize, augment, and record the major conceptual advances in automated theorem proving. The publication first examines the role of logical systems and basic resolution. Discussions focus on the Davis-Putnam procedure, ground resolution, semantic trees, general resolution procedure, basic concepts of first-order logic, refutation procedures, and preparation of formulas. The text then takes a look at the refinements of resolution, including unit preference and set-of-support, ordered clause deductions, and setting and linear refinements. The monograph tackles subsumption, resolution with equality, and resolution and problem reduction format. Topics include problem reduction format, paramodulation and linear refinements, paramodulation, and subsumption for linear and nonlinear procedures. The publication is a dependable reference for students and researchers interested in automated theorem proving.

  • Einstein Spaces

    • 1st Edition
    • A. Z. Petrov
    • English
    Einstein Spaces presents the mathematical basis of the theory of gravitation and discusses the various spaces that form the basis of the theory of relativity. This book examines the contemporary development of the theory of relativity, leading to the study of such problems as gravitational radiation, the interaction of fields, and the behavior of elementary particles in a gravitational field. Organized into nine chapters, this book starts with an overview of the principles of the special theory of relativity, with emphasis on the mathematical aspects. This text then discusses the need for a general classification of all potential gravitational fields, and in particular, Einstein spaces. Other chapters consider the gravitational fields in empty space, such as in a region where the energy-momentum tensor is zero. The final chapter deals with the problem of the limiting conditions in integrating the gravitational field equations. Physicists and mathematicians will find this book useful.

  • Advances in Computers

    • 1st Edition
    • Volume 103
    • English
    Advances in Computers, the latest volume in the series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design, and applications. In addition, it provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of significant, lasting value in this rapidly expanding field.

  • Unified Non-Local Relativistic Theory of Transport Processes

    • 1st Edition
    • Boris V. Alexeev
    • English
    Unified Non-Local Relativistic Theory of Transport Processes highlights the most significant features of non-local relativistic theory, which is a highly effective tool for solving many physical problems in areas where the classical local theory runs into difficulties. The book provides the fundamental science behind new non-local physics – generalized for relativistic cases and applied in a range of scales – from transport phenomena in massless physical systems to unified theory of dissipative structures. The book complements the author’s previous monograph on Unified Non-Local Theory of Transport Processes (Elsevier, 2015), which is mainly devoted to non-relativistic non-local physics. Nevertheless, the theory as handled in this new work is outlined independently so the book can be studied on its own.

  • Up and Running with AutoCAD 2017

    2D and 3D Drawing and Modeling
    • 1st Edition
    • Elliot J. Gindis
    • English
    Up and Running with AutoCAD 2017: 2D and 3D Drawing and Modeling presents Gindis’ combination of step-by-step instruction, examples, and insightful explanations. The emphasis from the beginning is on core concepts and practical application of AutoCAD in engineering, architecture, and design. Equally useful in instructor-led classroom training, self-study, or as a professional reference, the book is written with the user in mind by a long-time AutoCAD professional and instructor based on what works in the industry and the classroom.

  • Advances in Rock-Support and Geotechnical Engineering

    • 1st Edition
    • Shuren Wang + 2 more
    • English
    Advances in Rock-Support and Geotechnical Engineering brings together the latest research results regarding the theory of rock mechanics, its analytical methods and innovative technologies, and its applications in practical engineering. This book is divided into six sections, rock tests, rock bolting, grouted anchor, tunneling engineering, slope engineering, and mining engineering. Coverage includes fracture hinged arching process and instability characteristics of rock plates, failure modes of rock bolting, scale effects, and loading transfer mechanism of the grouted anchor. Also covered are recent innovations and applications in tunneling engineering, slope engineering, and mining engineering. This book provides innovative, practical, and rich content that can be used as a valuable reference for researchers undertaking tunneling engineering, slope engineering, mining engineering, and rock mechanics, and for onsite technical personnel and teachers and students studying the topics in related universities.

  • Resolving Spectral Mixtures

    With Applications from Ultrafast Time-Resolved Spectroscopy to Super-Resolution Imaging
    • 1st Edition
    • Volume 30
    • English
    Resolving Spectral Mixtures: With Applications from Ultrafast Time-Resolved Spectroscopy to Superresolution Imaging offers a comprehensive look into the most important models and frameworks essential to resolving the spectral unmixing problem—from multivariate curve resolution and multi-way analysis to Bayesian positive source separation and nonlinear unmixing. Unravelling total spectral data into the contributions from individual unknown components with limited prior information is a complex problem that has attracted continuous interest for almost four decades. Spectral unmixing is a topic of interest in statistics, chemometrics, signal processing, and image analysis. For decades, researchers from these fields were often unaware of the work in other disciplines due to their different scientific and technical backgrounds and interest in different objects or samples. This led to the development of quite different approaches to solving the same problem. This multi-authored book will bridge the gap between disciplines with contributions from a number of well-known and strongly active chemometric and signal processing research groups. Among chemists, multivariate curve resolution methods are preferred to extract information about the nature, amount, and location in time (process) and space (imaging and microscopy) of chemical constituents in complex samples. In signal processing, assumptions are usually around statistical independence of the extracted components. However, the chapters include the complexity of the spectral data to be unmixed as well as dimensionality and size of the data sets. Advanced spectroscopy is the key thread linking the different chapters. Applications cover a large part of the electromagnetic spectrum. Time-resolution ranges from femtosecond to second in process spectroscopy and spatial resolution covers the submicronic to macroscopic scale in hyperspectral imaging.

  • Theory of Aerospace Propulsion

    • 2nd Edition
    • Pasquale M. Sforza
    • English
    Theory of Aerospace Propulsion, Second Edition, teaches engineering students how to utilize the fundamental principles of fluid mechanics and thermodynamics to analyze aircraft engines, understand the common gas turbine aircraft propulsion systems, be able to determine the applicability of each, perform system studies of aircraft engine systems for specified flight conditions and preliminary aerothermal design of turbomachinery components, and conceive, analyze, and optimize competing preliminary designs for conventional and unconventional missions. This updated edition has been fully revised, with new content, new examples and problems, and improved illustrations to better facilitate learning of key concepts.

  • Aerodynamics for Engineering Students

    • 7th Edition
    • Steven H. Collicott + 3 more
    • English
    Aerodynamics for Engineering Students, Seventh Edition, is one of the world’s leading course texts on aerodynamics. It provides concise explanations of basic concepts, combined with an excellent introduction to aerodynamic theory. This updated edition has been revised with improved pedagogy and reorganized content to facilitate student learning, and includes new or expanded coverage in several important areas, such as hypersonic flow, UAV’s, and computational fluid dynamics.

  • The Data and Analytics Playbook

    Proven Methods for Governed Data and Analytic Quality
    • 1st Edition
    • Lowell Fryman + 2 more
    • English
    The Data and Analytics Playbook: Proven Methods for Governed Data and Analytic Quality explores the way in which data continues to dominate budgets, along with the varying efforts made across a variety of business enablement projects, including applications, web and mobile computing, big data analytics, and traditional data integration. The book teaches readers how to use proven methods and accelerators to break through data obstacles to provide faster, higher quality delivery of mission critical programs. Drawing upon years of practical experience, and using numerous examples and an easy to understand playbook, Lowell Fryman, Gregory Lampshire, and Dan Meers discuss a simple, proven approach to the execution of multiple data oriented activities. In addition, they present a clear set of methods to provide reliable governance, controls, risk, and exposure management for enterprise data and the programs that rely upon it. In addition, they discuss a cost-effective approach to providing sustainable governance and quality outcomes that enhance project delivery, while also ensuring ongoing controls. Example activities, templates, outputs, resources, and roles are explored, along with different organizational models in common use today and the ways they can be mapped to leverage playbook data governance throughout the organization.

Related subjects