Modal Interval Analysis

New Tools for Numerical Information

Nonfiction, Science & Nature, Technology, Automation, Mathematics, Mathematical Analysis
Cover of the book Modal Interval Analysis by Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Josep Vehi, Lambert Jorba, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Josep Vehi, Lambert Jorba ISBN: 9783319017211
Publisher: Springer International Publishing Publication: November 18, 2013
Imprint: Springer Language: English
Author: Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Josep Vehi, Lambert Jorba
ISBN: 9783319017211
Publisher: Springer International Publishing
Publication: November 18, 2013
Imprint: Springer
Language: English

This book presents an innovative new approach to interval analysis. Modal Interval Analysis (MIA) is an attempt to go beyond the limitations of classic intervals in terms of their structural, algebraic and logical features. The starting point of MIA is quite simple: It consists in defining a modal interval that attaches a quantifier to a classical interval and in introducing the basic relation of inclusion between modal intervals through the inclusion of the sets of predicates they accept. This modal approach introduces interval extensions of the real continuous functions, identifies equivalences between logical formulas and interval inclusions, and provides the semantic theorems that justify these equivalences, along with guidelines for arriving at these inclusions. Applications of these equivalences in different areas illustrate the obtained results. The book also presents a new interval object: marks, which aspire to be a new form of numerical treatment of errors in measurements and computations.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book presents an innovative new approach to interval analysis. Modal Interval Analysis (MIA) is an attempt to go beyond the limitations of classic intervals in terms of their structural, algebraic and logical features. The starting point of MIA is quite simple: It consists in defining a modal interval that attaches a quantifier to a classical interval and in introducing the basic relation of inclusion between modal intervals through the inclusion of the sets of predicates they accept. This modal approach introduces interval extensions of the real continuous functions, identifies equivalences between logical formulas and interval inclusions, and provides the semantic theorems that justify these equivalences, along with guidelines for arriving at these inclusions. Applications of these equivalences in different areas illustrate the obtained results. The book also presents a new interval object: marks, which aspire to be a new form of numerical treatment of errors in measurements and computations.

More books from Springer International Publishing

Cover of the book Information Processing in Cells and Tissues by Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Josep Vehi, Lambert Jorba
Cover of the book Materials with Internal Structure by Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Josep Vehi, Lambert Jorba
Cover of the book Application of Soil Physics in Environmental Analyses by Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Josep Vehi, Lambert Jorba
Cover of the book Globular Cluster Binaries and Gravitational Wave Parameter Estimation by Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Josep Vehi, Lambert Jorba
Cover of the book Algorithmic Foundations of Robotics XI by Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Josep Vehi, Lambert Jorba
Cover of the book Information Systems for Industry 4.0 by Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Josep Vehi, Lambert Jorba
Cover of the book Nigeria’s 2015 General Elections by Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Josep Vehi, Lambert Jorba
Cover of the book Social Costs and Benefits of Renewable Electricity Generation in Cyprus by Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Josep Vehi, Lambert Jorba
Cover of the book Industrial Ecology and Industry Symbiosis for Environmental Sustainability by Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Josep Vehi, Lambert Jorba
Cover of the book Animals and the Fukushima Nuclear Disaster by Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Josep Vehi, Lambert Jorba
Cover of the book Digital Futures, Digital Transformation by Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Josep Vehi, Lambert Jorba
Cover of the book Network Coding and Subspace Designs by Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Josep Vehi, Lambert Jorba
Cover of the book Philosophy, Law and the Family by Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Josep Vehi, Lambert Jorba
Cover of the book Antibacterial Surfaces by Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Josep Vehi, Lambert Jorba
Cover of the book Abstract State Machines, Alloy, B, TLA, VDM, and Z by Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Josep Vehi, Lambert Jorba
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy