Books in Mathematics and applied mathematics

101-110 of 2229 results in All results

Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations

1st Edition
January 2, 2018
Gemma Robles + 1 more
English
Paperback
9 7 8 - 0 - 0 8 - 1 0 0 7 5 1 - 8
eBook
9 7 8 - 0 - 1 2 - 8 0 4 5 0 9 - 1

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.

Computer Arithmetic and Formal Proofs

1st Edition
November 16, 2017
Sylvie Boldo + 1 more
English
Hardback
9 7 8 - 1 - 7 8 5 4 8 - 1 1 2 - 3
eBook
9 7 8 - 0 - 0 8 - 1 0 1 1 7 0 - 6

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.

Mathematical Optimization Terminology

1st Edition
November 10, 2017
Andre A. Keller
English
Paperback
9 7 8 - 0 - 1 2 - 8 0 5 1 6 6 - 5
eBook
9 7 8 - 0 - 1 2 - 8 0 5 2 9 5 - 2

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.

Disease Modelling and Public Health, Part B

1st Edition
Volume 37
October 31, 2017
Arni S.R. Srinivasa Rao + 2 more
English
Hardback
9 7 8 - 0 - 4 4 4 - 6 3 9 7 5 - 2
eBook
9 7 8 - 0 - 4 4 4 - 6 3 9 7 6 - 9

Handbook of Statistics: Disease Modelling and Public Health, Part B, Volume 37 addresses new challenges in existing and emerging diseases. As a two part volume, this title covers an extensive range of techniques in the field, with this book including chapters on Reaction diffusion equations and their application on bacterial communication, Spike and slab methods in disease modeling, Mathematical modeling of mass screening and parameter estimation, Individual-based and agent-based models for infectious disease transmission and evolution: an overview, and a section on Visual Clustering of Static and Dynamic High Dimensional Data. This volume covers the lack of availability of complete data relating to disease symptoms and disease epidemiology, one of the biggest challenges facing vaccine developers, public health planners, epidemiologists and health sector researchers.

Writing Small Omegas

1st Edition
October 24, 2017
Alberto Cogliati
English
Paperback
9 7 8 - 0 - 1 2 - 8 1 4 2 4 4 - 8
eBook
9 7 8 - 0 - 1 2 - 8 1 4 2 7 4 - 5

Writing Small Omegas: Elie Cartan's Contributions to the Theory of Continuous Groups 1894-1926 provides a general account of Lie’s theory of finite continuous groups, critically examining Cartan’s doctoral attempts to rigorously classify simple Lie algebras, including the use of many unpublished letters. It evaluates pioneering attempts to generalize Lie's classical ideas to the infinite-dimensional case in the works of Lie, Engel, Medolaghi and Vessiot. Within this context, Cartan’s groundbreaking contributions in continuous group theory, particularly in his characteristic and unique recourse to exterior differential calculus, are introduced and discussed at length. The work concludes by discussing Cartan’s contributions to the structural theory of infinite continuous groups, his method of moving frames, and the genesis of his geometrical theory of Lie groups.

Maximum Principles for the Hill's Equation

1st Edition
October 19, 2017
Alberto Cabada + 2 more
English
Paperback
9 7 8 - 0 - 1 2 - 8 0 4 1 1 7 - 8
eBook
9 7 8 - 0 - 1 2 - 8 0 4 1 2 6 - 0

Maximum Principles for the Hill's Equation focuses on the application of these methods to nonlinear equations with singularities (e.g. Brillouin-bem focusing equation, Ermakov-Pinney,…) and for problems with parametric dependence. The authors discuss the properties of the related Green’s functions coupled with different boundary value conditions. In addition, they establish the equations’ relationship with the spectral theory developed for the homogeneous case, and discuss stability and constant sign solutions. Finally, reviews of present classical and recent results made by the authors and by other key authors are included.

Disease Modelling and Public Health, Part A

1st Edition
Volume 36
October 13, 2017
Arni S.R. Srinivasa Rao + 2 more
English
Hardback
9 7 8 - 0 - 4 4 4 - 6 3 9 6 8 - 4
eBook
9 7 8 - 0 - 4 4 4 - 6 3 9 6 9 - 1

Disease Modelling and Public Health, Part A, Volume 36 addresses new challenges in existing and emerging diseases with a variety of comprehensive chapters that cover Infectious Disease Modeling, Bayesian Disease Mapping for Public Health, Real time estimation of the case fatality ratio and risk factor of death, Alternative Sampling Designs for Time-To-Event Data with Applications to Biomarker Discovery in Alzheimer's Disease, Dynamic risk prediction for cardiovascular disease: An illustration using the ARIC Study, Theoretical advances in type 2 diabetes, Finite Mixture Models in Biostatistics, and Models of Individual and Collective Behavior for Public Health Epidemiology. As a two part volume, the series covers an extensive range of techniques in the field. It present a vital resource for statisticians who need to access a number of different methods for assessing epidemic spread in population, or in formulating public health policy.

Fractional Operators with Constant and Variable Order with Application to Geo-hydrology

1st Edition
September 19, 2017
Abdon Atangana
English
Paperback
9 7 8 - 0 - 1 2 - 8 0 9 6 7 0 - 3
eBook
9 7 8 - 0 - 1 2 - 8 0 9 7 9 6 - 0

Fractional Operators with Constant and Variable Order with Application to Geo-hydrology provides a physical review of fractional operators, fractional variable order operators, and uncertain derivatives to groundwater flow and environmental remediation. It presents a formal set of mathematical equations for the description of groundwater flow and pollution problems using the concept of non-integer order derivative. Both advantages and disadvantages of models with fractional operators are discussed. Based on the author’s analyses, the book proposes new techniques for groundwater remediation, including guidelines on how chemical companies can be positioned in any city to avoid groundwater pollution.

Means in Mathematical Analysis

1st Edition
September 14, 2017
Gheorghe Toader + 1 more
English
Paperback
9 7 8 - 0 - 1 2 - 8 1 1 0 8 0 - 5
eBook
9 7 8 - 0 - 1 2 - 8 1 1 0 8 1 - 2

Means in Mathematical Analysis addresses developments in global analysis, non-linear analysis, and the many problems of associated fields, including dynamical systems, ergodic theory, combinatorics, differential equations, approximation theory, analytic inequalities, functional equations and probability theory. The series comprises highly specialized research monographs written by eminent scientists, handbooks and selected multi-contributor reference works (edited volumes), bringing together an extensive body of information. It deals with the fundamental interplay of nonlinear analysis with other headline domains, particularly geometry and analytic number theory, within the mathematical sciences.

Galois Fields and Galois Rings Made Easy

1st Edition
September 12, 2017
Maurice Kibler
English
Hardback
9 7 8 - 1 - 7 8 5 4 8 - 2 3 5 - 9
eBook
9 7 8 - 0 - 0 8 - 1 0 2 3 5 1 - 8

This book constitutes an elementary introduction to rings and fields, in particular Galois rings and Galois fields, with regard to their application to the theory of quantum information, a field at the crossroads of quantum physics, discrete mathematics and informatics.The existing literature on rings and fields is primarily mathematical. There are a great number of excellent books on the theory of rings and fields written by and for mathematicians, but these can be difficult for physicists and chemists to access.This book offers an introduction to rings and fields with numerous examples. It contains an application to the construction of mutually unbiased bases of pivotal importance in quantum information. It is intended for graduate and undergraduate students and researchers in physics, mathematical physics and quantum chemistry (especially in the domains of advanced quantum mechanics, quantum optics, quantum information theory, classical and quantum computing, and computer engineering).Although the book is not written for mathematicians, given the large number of examples discussed, it may also be of interest to undergraduate students in mathematics.

Related subjects

Abstract harmonic analysis

Algebra and number theory

Algebraic geometry

Algebraic topology

Analysis

Applied mathematics

Approximations and expansions

Associative rings and algebras

Biomathematics

Calculus of variations and optimal control optimization

Category theory homological algebra

Commutative rings and algebras

Computer science

Convex sets and related geometric topics

Differential geometry

Discrete mathematics combinatorics

Field theory and polynomials

Finite differences and functional equations

Fourier analysis

Functional analysis

Functions of a complex variable

General mathematical systems

General topology

Geometry

Global analysis analysis of manifolds

Group theory and generalizations

Integral equations

Integral transforms operational calculus

Linear and multilinear algebra matrix theory

Logic

Manifolds and cell complexes

Mathematical economics and game theory

Mathematical logic and foundations

Mathematical programming

Mathematics general

Mathematics history and biography

Measure and integration

Number theory

Numerical analysis

Operator theory

Order lattices ordered algebraic structures

Ordinary differential equations

Partial differential equations

Real functions

Sequences series summability

Set theory

Several complex variables and analytic spaces

Special functions

Systems theory control

Topological groups lie groups

Life sciences

Physical sciences & Engineering

Social sciences & Humanities

Health