Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)

Authors:
Ramon E. Moore;Fritz Bierbaum
Affiliations:
-;-
Venue:
Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)
Year:
1979

Citing 0
Cited 256

Constructive real interpretation of numerical programs

SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Some tests of generalized bisection

ACM Transactions on Mathematical Software (TOMS)
An APL approach to differential calculus yields a powerful tool

APL '89 Conference proceedings on APL as a tool of thought
Indefinite integration with validation

ACM Transactions on Mathematical Software (TOMS)
Algorithm 681: INTBIS, a portable interval Newton/bisection package

ACM Transactions on Mathematical Software (TOMS)
Probabilities of qualitative behaviors for dependability analysis of a fault-tolerance model

SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Interval analysis for computer graphics

SIGGRAPH '92 Proceedings of the 19th annual conference on Computer graphics and interactive techniques
Interval arithmetic recursive subdivision for implicit functions and constructive solid geometry

SIGGRAPH '92 Proceedings of the 19th annual conference on Computer graphics and interactive techniques
Illumination from curved reflectors

SIGGRAPH '92 Proceedings of the 19th annual conference on Computer graphics and interactive techniques
Precise computation using range arithmetic, via C++

ACM Transactions on Mathematical Software (TOMS)
Real algebraic number computation using interval arithmetic

ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Differential equations are recurrence relations in APL

APL '92 Proceedings of the international conference on APL
An efficient method for the numerical evaluation of partial derivatives of arbitrary order

ACM Transactions on Mathematical Software (TOMS)
Efficient exact arithmetic for computational geometry

SCG '93 Proceedings of the ninth annual symposium on Computational geometry
Interval methods for multi-point collisions between time-dependent curved surfaces

SIGGRAPH '93 Proceedings of the 20th annual conference on Computer graphics and interactive techniques
Histogram editing for semi-quantitative data input in interactive simulations

SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
A multi-theory constraint satisfaction system

CSC '93 Proceedings of the 1993 ACM conference on Computer science
Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library

ACM Transactions on Mathematical Software (TOMS)
A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization

ACM Transactions on Mathematical Software (TOMS)
Computing multivariable Taylor series to arbitrary order

APL '95 Proceedings of the international conference on Applied programming languages
A unified representation for numerical and qualitative simulations

ACM SIGAPP Applied Computing Review - Special issue on security
Interval rational = algebraic

ACM SIGNUM Newsletter
From honest to intelligent plotting

ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
A hybrid symbolic-numerical method for tracing surface-to-surface intersections

ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Numeric-symbolic algorithms for evaluating one-dimensional algebraic sets

ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
For unknown-but-bounded errors, interval estimates are often better than averaging

ACM SIGNUM Newsletter
With what accuracy can we measure masses if we have an (approximately known) mass standard

ACM SIGNUM Newsletter
Why monotonicity in interval computations? A remark

ACM SIGNUM Newsletter
Solving algebraic systems using matrix computations

ACM SIGSAM Bulletin
Interval Arithmetic for Input-output Models with Inexact Data

Computational Economics
Automatic Differentiation and Interval Arithmetic for Estimation of Disequilibrium Models

Computational Economics - Special issue on computational economics in Geneva: volume 1: computational econometrics, statistics, and optimization
Using interval arithmetic the calculate data sizes for compilation to multimedia instruction sets

MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
Radiance interpolants for accelerated bounded-error ray tracing

ACM Transactions on Graphics (TOG)
Solving Ordinary Differential Equations Using Taylor Series

ACM Transactions on Mathematical Software (TOMS)
On stopping criteria in verified nonlinear systems or optimization algorithms

ACM Transactions on Mathematical Software (TOMS)
Evaluating Lipschitz Constants for Functions Given by Algorithms

Computational Optimization and Applications
Self-adaptive multi-sensor systems

IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Reliable two-dimensional graphing methods for mathematical formulae with two free variables

Proceedings of the 28th annual conference on Computer graphics and interactive techniques
A lower bound for range enclosure in interval arithmetic

Theoretical Computer Science
Approximate Symbolic Analysis of Hierarchically Decomposed Analog Circuits

Analog Integrated Circuits and Signal Processing
Consistency Techniques in Ordinary Differential Equations

Constraints
A Constraint Satisfaction Approach to a Circuit Design Problem

Journal of Global Optimization
Application of numerical interval analysis to obtain self-validating results for multivariate probabilities in a massively parallel environment

Statistics and Computing
Modeling and Simulation of a Complex Industrial Process

IEEE Expert: Intelligent Systems and Their Applications
On the complexity of exclusion algorithms for optimization

Journal of Complexity
Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions

SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Sensitivity and Uncertainty Analysis in Optimization Programs Using an Evolutionary Approach

IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
A Case Study on the Cost of Geometric Computing

ALENEX '99 Selected papers from the International Workshop on Algorithm Engineering and Experimentation
A New Approach to Incorporate Uncertainty in Terrain Modeling

GIScience '02 Proceedings of the Second International Conference on Geographic Information Science
Static Analyses of the Precision of Floating-Point Operations

SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Consistency Techniques in Ordinary Differential Equations

CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Learning from Linguistic Rules and Rule Extraction for Function Approximation by Neural Networks

SEAL'98 Selected papers from the Second Asia-Pacific Conference on Simulated Evolution and Learning on Simulated Evolution and Learning
Interval arithmetic and interval analysis: an introduction

Granular computing
Nonlinear bounded-error parameter estimation using interval computation

Granular computing
Interval eigenvalue analysis for structures with interval parameters

Finite Elements in Analysis and Design
Comparison of interval methods for plotting algebraic curves

Computer Aided Geometric Design
Novel techniques for robust voxelization and visualization of implicit surfaces

Graphical Models - Volume modeling
Finding all solutions of nonlinear equations using the dual simplex method

Journal of Computational and Applied Mathematics - Proceedings of the international conference on recent advances in computational mathematics
Editorial: special issue: Interfaces between fuzzy set theory and interval analysis

Fuzzy Sets and Systems - Special issue: Interfaces between fuzzy set theory and interval analysis
Interval analysis and fuzzy set theory

Fuzzy Sets and Systems - Special issue: Interfaces between fuzzy set theory and interval analysis
A Takagi-Sugeno model with fuzzy inputs viewed from multidimensional interval analysis

Fuzzy Sets and Systems - Special issue: Interfaces between fuzzy set theory and interval analysis
Oblique fuzzy vectors and their use in possibilistic linear programming

Fuzzy Sets and Systems - Special issue: Interfaces between fuzzy set theory and interval analysis
Constructing consistent fuzzy surfaces from fuzzy data

Fuzzy Sets and Systems - Theme: Modeling and learning
The Intel®8087 numeric data processor

ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
CLP-based Multifrequency Test Generation for Analog Circuits

VTS '97 Proceedings of the 15th IEEE VLSI Test Symposium
Statistical Cue Integration in DAG Deformable Models

IEEE Transactions on Pattern Analysis and Machine Intelligence
Combining edges and points for interactive high-quality rendering

ACM SIGGRAPH 2003 Papers
On the interval Legendre polynomials

Journal of Computational and Applied Mathematics
References

Intelligent data analysis
Cited References

Computer algebra handbook
Fuzzy constraint networks for signal pattern recognition

Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Implicit extension of Taylor series method for initial value problems

ICCMSE '03 Proceedings of the international conference on Computational methods in sciences and engineering
A Rigorous Lower Bound for the Optimal Value of Convex Optimization Problems

Journal of Global Optimization
Greedy algorithms for optimizing multivariate Horner schemes

ACM SIGSAM Bulletin
A New Inclusion Function for Optimization: Kite&mdashlThe One Dimensional Case

Journal of Global Optimization
Interval methods for semi-infinite programs

Computational Optimization and Applications
Solution of the Falkner-Skan equation by recursive evaluation of Taylor coefficients

Journal of Computational and Applied Mathematics
Microprogrammed interval arithmetic

ACM SIGNUM Newsletter
Interval arithmetic implementations: using floating point arithmetic

ACM SIGNUM Newsletter
Qualitative simulation and related approaches for the analysis of dynamic systems

The Knowledge Engineering Review
Computing the cube of an interval matrix is NP-Hard

Proceedings of the 2005 ACM symposium on Applied computing
An Improved Interval Global Optimization Algorithm Using Higher-order Inclusion Function Forms

Journal of Global Optimization
Numerical Approach of Multi-Objective Optimal Control Problem in Imprecise Environment

Fuzzy Optimization and Decision Making
Interval Branch and Bound with Local Sampling for Constrained Global Optimization

Journal of Global Optimization
Solving the Shortest Path Problem with Interval Arcs

Fuzzy Optimization and Decision Making
A practical approach for monitoring analog circuits

GLSVLSI '06 Proceedings of the 16th ACM Great Lakes symposium on VLSI
Using interval arithmetic to prove that a set is path-connected

Theoretical Computer Science - Real numbers and computers
Interval natural frequency and mode shape analysis for truss structures with interval parameters

Finite Elements in Analysis and Design
On arithmetic operations of interval numbers

International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Exploiting temporal uncertainty in process-oriented distributed simulations

WSC '04 Proceedings of the 36th conference on Winter simulation
Spiking neural nets with symbolic internal state

Information Processing Letters - Special issue on applications of spiking neural networks
Network protocol system monitoring: a formal approach with passive testing

IEEE/ACM Transactions on Networking (TON)
Fast continuous collision detection for articulated models

SM '04 Proceedings of the ninth ACM symposium on Solid modeling and applications
The best interval representations of t-norms and automorphisms

Fuzzy Sets and Systems
A new exclusion test for finding the global minimum

Journal of Computational and Applied Mathematics
Using quasi-continuous histograms for fuzzy main motion estimation in video sequence

Fuzzy Sets and Systems
Reduction of overestimation in interval arithmetic simulation of biological wastewater treatment processes

Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)
Existence test for solution of nonlinear systems applying affine arithmetic

Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)
Interactive Continuous Collision Detection Using Swept Volume for Avatars

Presence: Teleoperators and Virtual Environments
Solving systems of linear fuzzy equations by parametric functions---An improved algorithm

Fuzzy Sets and Systems
On-line algorithms for computing mean and variance of interval data, and their use in intelligent systems

Information Sciences: an International Journal
Implementing Local Intervals in CASL

Electronic Notes in Theoretical Computer Science (ENTCS)
Continuous collision detection for articulated models using Taylor models and temporal culling

ACM SIGGRAPH 2007 papers
The Use of Floating-Point and Interval Arithmetic in the Computation of Error Bounds

IEEE Transactions on Computers
Simulation of discrete linear time-invariant fuzzy dynamic systems

Fuzzy Sets and Systems
Uncertainty and imprecision modeling for the mobile robot localization problem

Autonomous Robots
Dependent uncertain ordered weighted aggregation operators

Information Fusion
A representation of t-norms in interval-valued L-fuzzy set theory

Fuzzy Sets and Systems
Solution of a system of linear equations with fuzzy numbers

Fuzzy Sets and Systems
Hybrid differentiation strategies for simulation and analysis of applications in C++

ACM Transactions on Mathematical Software (TOMS)
Range bounding with Taylor models: some case studies

Math'04 Proceedings of the 5th WSEAS International Conference on Applied Mathematics
Higher order multivariate automatic differentiation and validated computation of remainder bounds

Math'04 Proceedings of the 5th WSEAS International Conference on Applied Mathematics
Solutions of fuzzy equations based on Kaucher arithmetic and AE-solution sets

Fuzzy Sets and Systems
Certified error bounds for uncertain elliptic equations

Journal of Computational and Applied Mathematics
Interval-valued probability in the analysis of problems containing a mixture of possibilistic, probabilistic, and interval uncertainty

Fuzzy Sets and Systems
Taylor series method with numerical derivatives for initial value problems

Journal of Computational Methods in Sciences and Engineering - Computational and Mathematical Methods for Science and Engineering Conference 2002 - CMMSE-2002
Implicit extension of taylor series method for initial value problems

Journal of Computational Methods in Sciences and Engineering
Optimal Design Centring Through a Hybrid Approach Based on Evolutionary Algorithms and Monte Carlo Simulation

ICANNGA '07 Proceedings of the 8th international conference on Adaptive and Natural Computing Algorithms, Part I
An Interval Lattice Model for Grid Resource Searching

ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
The Use of Interval-Valued Probability Measures in Optimization Under Uncertainty for Problems Containing a Mixture of Fuzzy, Possibilisitic, and Interval Uncertainty

IFSA '07 Proceedings of the 12th international Fuzzy Systems Association world congress on Foundations of Fuzzy Logic and Soft Computing
Using Gradual Numbers for Solving Fuzzy-Valued Combinatorial Optimization Problems

IFSA '07 Proceedings of the 12th international Fuzzy Systems Association world congress on Foundations of Fuzzy Logic and Soft Computing
Operations on Interval Matrices

RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Interval Subroutine Library Mission

Reliable Implementation of Real Number Algorithms: Theory and Practice
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds

PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Computing the Minkowski Value of the Exponential Function over a Complex Disk

Computer Mathematics
Interval Additive Generators of Interval T-Norms

WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Proving Bounds on Real-Valued Functions with Computations

IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Global solution of bilevel programs with a nonconvex inner program

Journal of Global Optimization
Interval oriented multi-section techniques for global optimization

Journal of Computational and Applied Mathematics
Interval-valued fuzzy relation-based clustering with its application to performance evaluation

Computers & Mathematics with Applications
Impacts of Interval Computing on Stock Market Variability Forecasting

Computational Economics
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Complete Interval Arithmetic and Its Implementation on the Computer

Numerical Validation in Current Hardware Architectures
Constraint Reasoning for Differential Models

Proceedings of the 2005 conference on Constraint Reasoning for Differential Models
Interval regression analysis using support vector networks

Fuzzy Sets and Systems
A Ranking Approach with Inclusion Measure in Multiple-Attribute Interval-Valued Decision Making

RSFDGrC '07 Proceedings of the 11th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
Branching and bounds tighteningtechniques for non-convex MINLP

Optimization Methods & Software - GLOBAL OPTIMIZATION
Towards global bilevel dynamic optimization

Journal of Global Optimization
Automatic bounding of programmable shaders for efficient global illumination

ACM SIGGRAPH Asia 2009 papers
Semi-quantitative comparative analysis

IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
The method of interval estimation in risk-analysis system

Proceedings of the 2nd international conference on Security of information and networks
A constraint satisfaction approach to parametric differential equations

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Numerical interval simulation: combined qualitative and quantitative simulation to bound behaviors of non-monotonic systems

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
An efficient algorithm for range computation of polynomials using the Bernstein form

Journal of Global Optimization
Enhancing numerical constraint propagation using multiple inclusion representations

Annals of Mathematics and Artificial Intelligence
Interval propagation and search on directed acyclic graphs for numerical constraint solving

Journal of Global Optimization
ε-Topological formulation of tolerant solid modeling

Computer-Aided Design
Failure mode and effects analysis by data envelopment analysis

Decision Support Systems
A nonlinear set membership approach for the localization and map building of underwater robots

IEEE Transactions on Robotics
Evidential reasoning approach for multiattribute decision analysis under both fuzzy and interval uncertainty

IEEE Transactions on Fuzzy Systems
Neural network output optimization using interval analysis

IEEE Transactions on Neural Networks
Computing mean absolute deviation under uncertainty

Applied Soft Computing
Interval eigenvalues of closed-loop systems of uncertain structures

Computers and Structures
Directed fuzzy graph-based surrogate model-assisted interactive genetic algorithms with uncertain individual's fitness

CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Analysis and control of hybrid systems with parameter uncertainty based on interval methods

ACC'09 Proceedings of the 2009 conference on American Control Conference
Safe motion planning computation for databasing balanced movement of humanoid robots

ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields

Electronic Notes in Theoretical Computer Science (ENTCS)
Spiking neural nets with symbolic internal state

Information Processing Letters - Special issue on applications of spiking neural networks
Fuzzy Kalman filtering

Information Sciences: an International Journal
On interval fuzzy S-implications

Information Sciences: an International Journal
Solution of the Falkner-Skan equation by recursive evaluation of Taylor coefficients

Journal of Computational and Applied Mathematics
Interval Analysis for Certified Numerical Solution of Problems in Robotics

International Journal of Applied Mathematics and Computer Science - Verified Methods: Applications in Medicine and Engineering
Reliable Robust Path Planning with Application to Mobile Robots

International Journal of Applied Mathematics and Computer Science - Verified Methods: Applications in Medicine and Engineering
On the variability of the concept of variance for fuzzy random variables

IEEE Transactions on Fuzzy Systems
Statistical versus deterministic tolerance analysis using Jacobian-Torsor model

MS '08 Proceedings of the 19th IASTED International Conference on Modelling and Simulation
Planning and fast re-planning of safe motions for humanoid robots: application to a kicking motion

IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
Consistent outdoor vehicle localization by bounded-error state estimation

IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
A population and interval constraint propagation algorithm

EMO'03 Proceedings of the 2nd international conference on Evolutionary multi-criterion optimization
Solving linear systems whose input data are rational functions of interval parameters

NMA'06 Proceedings of the 6th international conference on Numerical methods and applications
Numerical approach for quantification of epistemic uncertainty

Journal of Computational Physics
Interval valued QL-implications

WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Extending the HPC-ICTM geographical categorization model for grid computing

PARA'06 Proceedings of the 8th international conference on Applied parallel computing: state of the art in scientific computing
A global optimization algorithm based on novel interval analysis for training neural networks

ISICA'07 Proceedings of the 2nd international conference on Advances in computation and intelligence
Fault tree analysis of software-controlled component systems based on second-order probabilities

ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
On interval fuzzy negations

Fuzzy Sets and Systems
A fast memoryless interval-based algorithm for global optimization

Journal of Global Optimization
Global solution of nonlinear mixed-integer bilevel programs

Journal of Global Optimization
Chebyshev interpolation polynomial-based tools for rigorous computing

Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Hierarchical reasoning about inequalities

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Hierarchical reasoning about inequalities

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Numerical behavior envelopes for qualitative models

AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
State estimation using interval analysis and belief-function theory: application to dynamic vehicle localization

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Sollya: an environment for the development of numerical codes

ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Criticality analysis of activity networks under interval uncertainty

Journal of Scheduling
Precise Scientific Computation with a Microprocessor

IEEE Transactions on Computers
Fuzzy interval cooperative games

Fuzzy Sets and Systems
Fuzzy interval cooperative games

Fuzzy Sets and Systems
IGAOR and multisplitting IGAOR methods for linear complementarity problems

Journal of Computational and Applied Mathematics
Efficient and accurate computation of upper bounds of approximation errors

Theoretical Computer Science
Interprocedural control flow reconstruction

APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Mathematical treatment of uncertainty in the speech recognition process

MMES'10 Proceedings of the 2010 international conference on Mathematical models for engineering science
Construction of bode envelopes using REP based range finding algorithms

International Journal of Automation and Computing
An efficient algorithm for finding all DC solutions of nonlinear circuits

ICC'06 Proceedings of the 10th WSEAS international conference on Circuits
The extrapolated interval global optimization algorithm

Journal of Global Optimization
Book Review

Fuzzy Sets and Systems
Global descent methods for unconstrained global optimization

Journal of Global Optimization
Evolutionary algorithms for optimization problems with uncertainties and hybrid indices

Information Sciences: an International Journal
Side-effect analysis of assembly code

SAS'11 Proceedings of the 18th international conference on Static analysis
Uncertainty handling in quantitative BDD-based fault-tree analysis by interval computation

SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Generalized McCormick relaxations

Journal of Global Optimization
An interval difference method for solving hyperbolic partial differential equations

MACMESE'11 Proceedings of the 13th WSEAS international conference on Mathematical and computational methods in science and engineering
Convergence rate of McCormick relaxations

Journal of Global Optimization
A reliable and accurate calculation of excitation capacitance value for an induction generator based on interval computation technique

International Journal of Automation and Computing
Introducing interval analysis in fuzzy cognitive map framework

SETN'06 Proceedings of the 4th Helenic conference on Advances in Artificial Intelligence
Uncertainty measurement for interval-valued decision systems based on extended conditional entropy

Knowledge-Based Systems
Majorizing sequences for Newton's method from initial value problems

Journal of Computational and Applied Mathematics
Interval computing in neural networks: one layer interval neural networks

CIT'04 Proceedings of the 7th international conference on Intelligent Information Technology
An overview of semantics for the validation of numerical programs

VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Interval methods: an introduction

PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
Performance of taylor model methods for validated integration of ODEs

PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
On the use of intervals in scientific computing: what is the best transition from linear to quadratic approximation?

PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
HPC-ICTM: the interval categorizer tessellation-based model for high performance computing

PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
Counting the number of connected components of a set and its application to robotics

PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
Interval-based markov decision processes for regulating interactions between two agents in multi-agent systems

PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
A domain theoretic account of euler's method for solving initial value problems

PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
Compressing 3d measurement data under interval uncertainty

PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
The distributed interval geometric machine model

PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
Improved solution enclosures for over- and underdetermined interval linear systems

LSSC'05 Proceedings of the 5th international conference on Large-Scale Scientific Computing
Reconstructing metabolic networks using interval analysis

WABI'05 Proceedings of the 5th International conference on Algorithms in Bioinformatics
A hybrid approach based on evolutionary strategies and interval arithmetic to perform robust designs

EC'05 Proceedings of the 3rd European conference on Applications of Evolutionary Computing
Supercover model and digital straight line recognition on irregular isothetic grids

DGCI'05 Proceedings of the 12th international conference on Discrete Geometry for Computer Imagery
Arbitrary 3d resolution discrete ray tracing of implicit surfaces

DGCI'05 Proceedings of the 12th international conference on Discrete Geometry for Computer Imagery
Nonlinear predictive control using constraints satisfaction

COCOS'03 Proceedings of the Second international conference on Global Optimization and Constraint Satisfaction
Benchmarking on approaches to interval observation applied to robust fault detection

COCOS'03 Proceedings of the Second international conference on Global Optimization and Constraint Satisfaction
Analysis of nonlinear electrical circuits using bernstein polynomials

International Journal of Automation and Computing
Finding all solutions of separable systems of piecewise-linear equations using integer programming

Journal of Computational and Applied Mathematics
Exchange values and self-regulation of exchanges in multi-agent systems: the provisory, centralized model

ESOA'05 Proceedings of the Third international conference on Engineering Self-Organising Systems
Brief Guaranteed parameter bounding for nonlinear models with uncertain experimental factors

Automatica (Journal of IFAC)
Brief Proving set inclusion via intervals: application to parametric robust stability

Automatica (Journal of IFAC)
Extension of TOPSIS for decision-making problems with interval data: Interval efficiency

Mathematical and Computer Modelling: An International Journal
Rigorous polynomial approximation using taylor models in Coq

NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
A study of Greek letters of currency option under uncertainty environments

Mathematical and Computer Modelling: An International Journal
Prediction of time-dependent structural behaviour with recurrent neural networks for fuzzy data

Computers and Structures
The role of fuzzy sets in decision sciences: Old techniques and new directions

Fuzzy Sets and Systems
Solving constrained matrix games with payoffs of triangular fuzzy numbers

Computers & Mathematics with Applications
The central difference interval method for solving the wave equation

PPAM'11 Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part II
A Framework for Interval Quantization and Application to Interval Based Algorithms in Digital Signal Processing

Fundamenta Informaticae
Inventory model with fuzzy lead-time and dynamic demand over finite time horizon using a multi-objective genetic algorithm

Computers & Mathematics with Applications
Prediction of postprandial blood glucose under uncertainty and intra-patient variability in type 1 diabetes: A comparative study of three interval models

Computer Methods and Programs in Biomedicine
Comparative study of metamodeling techniques for reliability analysis using evidence theory

Advances in Engineering Software
Interval representations, Łukasiewicz implicators and Smets-Magrez axioms

Information Sciences: an International Journal
Mobile robot localization by multiangulation using set inversion

Robotics and Autonomous Systems
Mobile robot localization by multiangulation using set inversion

Robotics and Autonomous Systems
A central-backward difference interval method for solving the wave equation

PARA'12 Proceedings of the 11th international conference on Applied Parallel and Scientific Computing
Alfa-cut based linear programming methodology for constrained matrix games with payoffs of trapezoidal fuzzy numbers

Fuzzy Optimization and Decision Making
Lipschitz condition for finding real roots of a vector function

Journal of Computational Methods in Sciences and Engineering
Hierarchical propagation of probabilistic and non-probabilistic uncertainty in the parameters of a risk model

Computers and Structures
Algebraic and topological structure of some spaces of set-valued maps

Computers & Mathematics with Applications
Convergence analysis of Taylor models and McCormick-Taylor models

Journal of Global Optimization
Improved relaxations for the parametric solutions of ODEs using differential inequalities

Journal of Global Optimization
Cooperative interval games: Mountain situations with interval data

Journal of Computational and Applied Mathematics
Container of (min, +)-linear systems

Discrete Event Dynamic Systems
Structural dynamic topology optimization based on dynamic reliability using equivalent static loads

Structural and Multidisciplinary Optimization
Global optimization of bounded factorable functions with discontinuities

Journal of Global Optimization
Efficient and Generic Algorithm for Rigorous Integration Forward in Time of dPDEs: Part I

Journal of Scientific Computing
New variants/hybrid methods of memetic algorithm for solving optimal power flow problem with load uncertainty

International Journal of Hybrid Intelligent Systems

Quantified Score

Hi-index	0.02

Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)

Quantified Score

Visualization

Abstract