Saltar al contenido principal
Elsevier

Libros en Matemáticas

  • Nonlinear Differential Problems with Smooth and Nonsmooth Constraints

    • 1 Edición
    • Dumitru Motreanu
    • Inglés
    Nonlinear Differential Problems with Smooth and Nonsmooth Constraints systematically evaluates how to solve boundary value problems with smooth and nonsmooth constraints. Primarily covering nonlinear elliptic eigenvalue problems and quasilinear elliptic problems using techniques amalgamated from a range of sophisticated nonlinear analysis domains, the work is suitable for PhD and other early career researchers seeking solutions to nonlinear differential equations. Although an advanced work, the book is self-contained, requiring only graduate-level knowledge of functional analysis and topology. Whenever suitable, open problems are stated and partial solutions proposed. The work is accompanied by end-of-chapter problems and carefully curated references.

  • Fundamentals of Advanced Mathematics V2

    Field extensions, topology and topological vector spaces, functional spaces, and sheaves
    • 1 Edición
    • Henri Bourles
    • Inglés
    The three volumes of this series of books, of which this is the second, put forward the mathematical elements that make up the foundations of a number of contemporary scientific methods: modern theory on systems, physics and engineering. Whereas the first volume focused on the formal conditions for systems of linear equations (in particular of linear differential equations) to have solutions, this book presents the approaches to finding solutions to polynomial equations and to systems of linear differential equations with varying coefficients. Fundamentals of Advanced Mathematics, Volume 2: Field Extensions, Topology and Topological Vector Spaces, Functional Spaces, and Sheaves begins with the classical Galois theory and the theory of transcendental field extensions. Next, the differential side of these theories is treated, including the differential Galois theory (Picard-Vessiot theory of systems of linear differential equations with time-varying coefficients) and differentially transcendental field extensions. The treatment of analysis includes topology (using both filters and nets), topological vector spaces (using the notion of disked space, which simplifies the theory of duality), and the radon measure (assuming that the usual theory of measure and integration is known). In addition, the theory of sheaves is developed with application to the theory of distributions and the theory of hyperfunctions (assuming that the usual theory of functions of the complex variable is known). This volume is the prerequisite to the study of linear systems with time-varying coefficients from the point-of-view of algebraic analysis and the algebraic theory of nonlinear systems.

  • Beyond Pseudo-Rotations in Pseudo-Euclidean Spaces

    • 1 Edición
    • Abraham Ungar
    • Inglés
    Beyond Pseudo-Rotations in Pseudo-Euclidean Spaces presents for the first time a unified study of the Lorentz transformation group SO(m, n) of signature (m, n), m, n ∈ N, which is fully analogous to the Lorentz group SO(1, 3) of Einstein’s special theory of relativity. It is based on a novel parametric realization of pseudo-rotations by a vector-like parameter with two orientation parameters. The book is of interest to specialized researchers in the areas of algebra, geometry and mathematical physics, containing new results that suggest further exploration in these areas.

  • Ulam Stability of Operators

    • 1 Edición
    • Janusz Brzdek + 3 más
    • Inglés
    Ulam Stability of Operators presents a modern, unified, and systematic approach to the field. Focusing on the stability of functional equations across single variable, difference equations, differential equations, and integral equations, the book collects, compares, unifies, complements, generalizes, and updates key results. Whenever suitable, open problems are stated in corresponding areas. The book is of interest to researchers in operator theory, difference and functional equations and inequalities, differential and integral equations.

  • Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations

    • 1 Edición
    • Gemma Robles + 1 más
    • Inglés
    Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations examines how to introduce intuitionistic-type negations into RM-semantics. RM-semantics is highly malleable and capable of modeling families of logics which are very different from each other. This semantics was introduced in the early 1970s, and was devised for interpreting relevance logics. In RM-semantics, negation is interpreted by means of the Routley operator, which has been almost exclusively used for modeling De Morgan negations. This book provides research on particular features of intuitionistic-type of negations in RM-semantics, while also defining the basic systems and many of their extensions by using models with or without a set of designated points.

  • Statistical Inference in Financial and Insurance Mathematics with R

    • 1 Edición
    • Alexandre Brouste
    • Inglés
    Finance and insurance companies are facing a wide range of parametric statistical problems. Statistical experiments generated by a sample of independent and identically distributed random variables are frequent and well understood, especially those consisting of probability measures of an exponential type. However, the aforementioned applications also offer non-classical experiments implying observation samples of independent but not identically distributed random variables or even dependent random variables. Three examples of such experiments are treated in this book. First, the Generalized Linear Models are studied. They extend the standard regression model to non-Gaussian distributions. Statistical experiments with Markov chains are considered next. Finally, various statistical experiments generated by fractional Gaussian noise are also described. In this book, asymptotic properties of several sequences of estimators are detailed. The notion of asymptotical efficiency is discussed for the different statistical experiments considered in order to give the proper sense of estimation risk. Eighty examples and computations with R software are given throughout the text.

  • Computer Arithmetic and Formal Proofs

    Verifying Floating-point Algorithms with the Coq System
    • 1 Edición
    • Sylvie Boldo + 1 más
    • Inglés
    Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point software is by computer-assisted verification of its correctness proofs. This book provides a comprehensive view of how to formally specify and verify tricky floating-point algorithms with the Coq proof assistant. It describes the Flocq formalization of floating-point arithmetic and some methods to automate theorem proofs. It then presents the specification and verification of various algorithms, from error-free transformations to a numerical scheme for a partial differential equation. The examples cover not only mathematical algorithms but also C programs as well as issues related to compilation.

  • Occupancy Estimation and Modeling

    Inferring Patterns and Dynamics of Species Occurrence
    • 2 Edición
    • Darryl I. MacKenzie + 5 más
    • Inglés
    Occupancy Estimation and Modeling: Inferring Patterns and Dynamics of Species Occurrence, Second Edition, provides a synthesis of model-based approaches for analyzing presence-absence data, allowing for imperfect detection. Beginning from the relatively simple case of estimating the proportion of area or sampling units occupied at the time of surveying, the authors describe a wide variety of extensions that have been developed since the early 2000s. This provides an improved insight about species and community ecology, including, detection heterogeneity; correlated detections; spatial autocorrelation; multiple states or classes of occupancy; changes in occupancy over time; species co-occurrence; community-level modeling, and more. Occupancy Estimation and Modeling: Inferring Patterns and Dynamics of Species Occurrence, Second Edition has been greatly expanded and detail is provided regarding the estimation methods and examples of their application are given. Important study design recommendations are also covered to give a well rounded view of modeling.

  • Mathematical Optimization Terminology

    A Comprehensive Glossary of Terms
    • 1 Edición
    • Andre A. Keller
    • Inglés
    Mathematical Optimization Terminology: A Comprehensive Glossary of Terms is a practical book with the essential formulations, illustrative examples, real-world applications and main references on the topic. This book helps readers gain a more practical understanding of optimization, enabling them to apply it to their algorithms. This book also addresses the need for a practical publication that introduces these concepts and techniques.

  • Handbook of Statistical Analysis and Data Mining Applications

    • 2 Edición
    • Ken Yale + 2 más
    • Inglés
    Handbook of Statistical Analysis and Data Mining Applications, Second Edition, is a comprehensive professional reference book that guides business analysts, scientists, engineers and researchers, both academic and industrial, through all stages of data analysis, model building and implementation. The handbook helps users discern technical and business problems, understand the strengths and weaknesses of modern data mining algorithms and employ the right statistical methods for practical application. This book is an ideal reference for users who want to address massive and complex datasets with novel statistical approaches and be able to objectively evaluate analyses and solutions. It has clear, intuitive explanations of the principles and tools for solving problems using modern analytic techniques and discusses their application to real problems in ways accessible and beneficial to practitioners across several areas—from science and engineering, to medicine, academia and commerce.

Temas relacionados