yusuke1997/dblp-id-title huggingface dataset:
Monte-Carlo-Type Techniques for Processing Interval Uncertainty, and Their Potential Engineering Applications
Sharpening Interval Computations
Two-sided Multigrid Method for Elliptic Boundary Value Problems
Software for high radix on-line arithmetic
The Relation between Two Types of Error Bounds for Computed Matrix Eigenvalues
A Coherence Space of Rational Intervals for a Construction of IR
Higher Order Convergence for Multidimensional Functions with a New Taylor-Bernstein Form as Inclusion Function
Exponential Enclosure Techniques for the Computation of Guaranteed State Enclosures in ValEncIA-IVP
A Non-Induced Interval Matrix Norm
On the Combination of Interval Constraint Solvers
Are There Easy-to-Check Necessary and Sufficient Conditions for Straightforward Interval Computations To Be Exact?
Robust algorithms that locate local extrema of a function of one variable from interval measurement results: A remark
Robust Control for Two-Time-Scale Discrete Interval Systems
Polynomial Inclusion Functions
A Brief Description of Gell-Mann's Lecture and How Intervals May Help to Describe Complexity in the Real World
Parallel accurate linear algebra subroutines
Interval Computation of Viswanath's Constant
Exponential Stability of Interval Dynamical Systems with Quadratic Nonlinearity
A combined method for enclosing all solutions of nonlinear systems of polynomial equations
Dirty Pages of Logarithm Tables, Lifetime of the Universe, and (Subjective) Probabilities on Finite and Infinite Intervals
On Bounding Solutions of Underdetermined Systems
Efficient Control of the Dependency Problem Based on Taylor Model Methods
Second Scandinavian Workshop on Interval Methods and Their Applications
A Note on the Boundary Shape of Matrix Polytope Products
Characterization of Interval Fuzzy Logic Systems of Connectives by Group Transformations
Removing Degeneracies by Perturbing the Problem or Perturbing the World
Every Superinterval of the Function Range Can Be an Interval-Computations Enclosure
Hybrid Rational Function Approximation and Its Accuracy Analysis
Rump's Example Revisited
On Discrete Minimax Problems in R Using Interval Arithmetic
The Mystery of Intervals
Interval Methods for Sensitivity-Based Model-Predictive Control of Solid Oxide Fuel Cell Systems
Slope Intervals, Generalized Gradients, Semigradients, Slant Derivatives, and Csets
Universal Approximation Theorem for Interval Neural Networks
Error Estimation for Indirect Measurements: Interval Computation Problem Is (Slightly) Harder Than a Similar Probabilistic Computational Problem
Optimizing INTBIS on the CRAY Y-MP
Evaluation of Functions, Gradients, and Jacobians
Applications of Fuzzy Measures and Intervals in Finance
Locating, characterizing and computing the stationary points of a function
Existence Test for Asynchronous Interval Iteration
An Environment for Testing, Verification and Validation of Dynamical Models in the Context of Solid Oxide Fuel Cells
Algorithms That Still Produce a Solution (Maybe Not Optimal) Even When Interrupted: Shary's Idea Justified
Dear colleagues
Bounds for the Range of a Bivariate Polynomial over a Triangle
Interval Talks at the International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU'2006
Towards the Possibility of Objective Interval Uncertainty in Physics
Computation of the stability radius of a Schur polynomial: an orthogonal projection approach
Towards Real World Applications: Interval-Related Talks at NAFIPS'05
Some Computer Assisted Proofs for Solutions of the Heat Convection Problems
Bounds of high quality for first kind Volterra integral equations
Errata and Opinion to: "An Interval Entropy Penalty Method for Nonlinear Global Optimization"
Intervals Help to Design an Imaging System
A Comparative Study of Different Order Relations of Intervals
Solutions for the Portfolio Selection Problem with Interval and Fuzzy Coefficients
Canadian professor's interval paper chosen best in fuzzy theory and technology
On the Solutions of the Interval System [ x ] = [ A][x ] + [ b ]
An NP-Hardness Result for Nonlinear Systems
From Numerical Intervals to Set Intervals (Interval-Related Results Presented at the First International Workshop on Applications and Theory of Random Sets)
Interpolation that leads to the narrowest intervals and its application to expert systems and intelligent control
Numerical Computation of the Least Common Multiple of a Set of Polynomials
The Optimal Solution of an Interval System of Linear Algebraic Equations
Detection and Reduction of Overestimation in Guaranteed Simulations of Hamiltonian Systems
Rigorous Numerical Approach to Isolation in Dynamical Systems on the Example of the Kuramoto-Sivashinsky Equation
A Theorem on Regularity of Interval Matrices
Solution Sets of Complex Linear Interval Systems of Equations
Exact Computation of Delaunay and Power Triangulations
Error Reduction of the Taylor Centered Form by Half and an Inner Estimation of the Range
Outer Interval Solution of the Eigenvalue Problem under General Form Parametric Dependencies
On Overestimations Produced by the Interval Gaussian Algorithm
Robust State Feedback for Interval Systems: An Interval Analysis Approach
Best student paper award
How to Compute Interval Inclusions of Geodetic Coordinates from Interval Inclusions of Cartesian Coordinates
Interval-Valued Finite Markov Chains
Sharp Bounds on Interval Polynomial Roots
Is it Possible to Have a Feasible Enclosure-Computing Method Which Is Independent of the Equivalent Form?
Interval Estimations of Solution Sets to Real-Valued Systems of Linear or Non-Linear Equations
Interval + Image = Wavelet: For Image Processing under Interval Uncertainty, Wavelets Are Optimal
Correct Delaunay Triangulation in the Presence of Inexact Inputs and Arithmetic
Solving Nonlinear Constrained Minimization Problems with a New Interval Valued Function
Предисловне
Diagrammatic Representation of Interval Space in Proving Theorems about Interval Relations
Experiments with Range Computations Using Extrapolation
Attacking a Conjecture in Mathematical Physics by Combining Methods of Computational Analysis and Scientific Computing
On the Accuracy of the Solution of Linear Problems on the CELL Processor
Synthesis of Robustly Stabilizing General Order Compensators for Interval Plants Using Interval Analysis
Path Planning Using Intervals and Graphs
A Rigorous Extension of the Schönhage-Strassen Integer Multiplication Algorithm Using Complex Interval Arithmetic
A Normal Form Supplement to the Oettli-Prager Theorem
Robust and Efficient Ray Intersection of Implicit Surfaces
10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics
Estimation of Discrete-Event Systems Using Interval Computation
Intervals in Space-Time: A. D. Alexandrov is 85
Reducing division latency with reciprocal caches
On Nonnegative Interval Linear Systems and Their Solution
Computation of the Bernstein Coefficients on Subdivided Triangles
Numerical Verifications of Solutions for Nonlinear Parabolic Equations in One-Space Dimensional Case
On the Complexity of the Bernstein Combinatorial Problem
Applications of Reliable Scientific Computing
Bounds on Generalized Linear Predictors with Incomplete Outcome Data
COCOS'02 - A Workshop on Global Constrained Optimization and Constraint Satisfaction October 2-4, 2002, Sophia-Antipolis, France
On Sufficient Conditions of the Injectivity: Development of a Numerical Test Algorithm via Interval Analysis
Application of interval Newton's method to chemical engineering problems
One Criterion of Existence of a Himiltonian Cycle
Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems
Reliable Computing: Special Issue on Dependable Reasoning about Uncertainty
Finding Global Minima of Maximum Functions by Using Exclusion Functions without Derivatives
A Simple Derivation of the Hansen-Bliek-Rohn-Ning-Kearfott Enclosure for Linear Interval Equations
Application of Functional Intervals to the Response Evaluation of Linear Time-Invariant Systems with Fuzzy Input
Contracting Optimally an Interval Matrix without Loosing Any Positive Semi-Definite Matrix Is a Tractable Problem
Computing System Reliability Given Interval-Valued Characteristics of the Components
Excluding Regions Using Sobol Sequences in an Interval Branch-and-Prune Method for Nonlinear Systems
Algebraic approach to the interval linear static identification, tolerance, and control problems, or one more application of kaucher arithmetic
Exclusive OR Operation That Leads to the Narrowest Intervals
Hardware Support for Interval Arithmetic
Cheap and Tight Bounds on the Solution Set of Perturbed Systems of Nonlinear Equations
Guaranteed Parameter Set Estimation for Exponential Sums: The Three-Terms Case
A Hybrid Algorithm for Global Optimization Problems
Applications of interval computations to earthquake-resistant engineering: How to compute derivatives of interval functions fast
Guaranteeing the Homotopy Type of a Set Defined by Non-Linear Inequalities
On the Proofs of Some Statements Concerning the Theorems of Kantorovich, Moore, and Miranda
Interval-Related Talks at the 2007 IEEE Symposium Series on Computational Intelligence
Gasarch, W.I. and Martin, G.A.: Bounded Queries in Recursion Theory
Population Variance under Interval Uncertainty: A New Algorithm
Diagrammatic Analysis of Interval Linear Equations - Part II: The Two-Dimensional Case and Generalization to n Dimensions
A Unifying Framework to Uncertainty Quantification of Polynomial Systems Subject to Aleatory and Epistemic Uncertainty
An Example of Singularity in Nonlinear Systems
Matrix computation of subresultant polynomial remainder sequences in integral domains
An estimate of the absolute value and width of the solution of a linear system of equations with tridiagonal interval matrix by the interval sweep method
Fast Enclosure of Matrix Polynomials
Numerical methods using defects
Fast Multiplication of Interval Matrices (Interval Version of Strassen's Algorithm)
Using Zonotopes for Overestimation-Free Interval Least-Squares-Some Geodetic Applications
Session "Interval and Computer-Algebraic Methods in Science and Engineering" at the 6th International Association for Mathematics and Computers in Simulation (IMACS) Conference on Applications of Computer Algebra (ACA'2000) Saint Petersburg, Russia, ...
Reliable Computation of Frequency Response Plots for Nonrational Transfer Functions to Prescribed Accuracy
Roundoff-Free Number Fields for Interval Computations
On Unboundedness of Generalized Solution Sets for Interval Linear Systems
Interval Gauss-Seidel Method for Generalized Solution Sets to Interval Linear Systems
Interval approach challenges Monte Carlo simulation
JInterval Library: Principles, Development, and Perspectives
Karl Nickel is turned 75
Los Alamos National Laboratory Uncertainty Workshop: An Interval Perspective
Empirical Investigation of the Convergence Speed of Inclusion Functions in a Global Optimization Context
Idempotent Interval Analysis and Optimization Problems
Composite Interval Control Systems: Some Strong Kharitonov-Like Properties
Wrapping Effect and Wrapping Function
Capabilities of Constraint Programming in Safe Global Optimization
Numerical Experiences with a New Generalized Subinterval Selection Criterion for Interval Global Optimization
Accurate, Validated and Fast Evaluation of Bézier Tensor Product Surfaces
Chebyshev acceleration techniques for large complex non hermitian eigenvalue problems
Computability and Complexity in Analysis (CCA). A View from Interval Computations - Cincinnati, Ohio, USA, August 28-30, 2003
An Interval Approach to Pattern Recognition of Numerical Matrices
Wrapping Function of the Initial Value Problem for ODE: Applications
Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library
A Contribution to the Feasibility of the Interval Gaussian Algorithm
Integral Approximation of Rays and Verification of Feasibility
Improving the efficiency index in enclosing a root of an equation
Reliability of Lanczos-Type Product Methods from Perturbation Theory
Modelling Geometric Objects and Tolerances with Intervals: Data Exchange with ISO Standard STEP
Accelerated Shift-and-Add Algorithms
Reliable Optimal Production Control with Cobb-Douglas Model
Towards Optimal Use of Multi-Precision Arithmetic: A Remark
Rational Interpolation from Stochastic Data: A New Froissart's Phenomenon
Verified Simulation of ODEs and DAEs in ValEncIA-IVP
Discrete Optimization Problems with Interval Data: Pareto Set of Solutions or Set of Weak Solutions?
Applications to Control
Minisymposium on Applications of Interval Computations at the Third World Congress of Nonlinear Analysts Catania, Sicily, Italy, July 19-26, 2000
First Announcement and Call for Papers ICRA99 - International Conference on Rational Approximation June 6-11, 1999 University of Antwerp (UIA)
Improvement of a Direct Method for Outer Solution of Linear Parametric Systems
Mapped Regular Pavings
Finding All Solution Sets of Piecewise-Trapezoidal Equations Described by Set-Valued Functions
Reliable Computations and Their Applications (RCA) Track
New Methods for High-Dimensional Verified Quadrature
Analysis of the Robustness of Predictive Controllers via Modal Intervals
Interval Global Optimization in Solvent Design
Interval Householder Method for Complex Linear Systems
Solving Linear Interval Systems Is NP-Hard Even If We Exclude Overflow and Underflow
Approximation Error and Error Accumulation for the Landen Transform
Computing Population Variance and Entropy under Interval Uncertainty: Linear-Time Algorithms
An Interval Polynomial Interpolation Problem and Its Lagrange Solution
Fuzzy Linear Programming with Interactive Uncertain Parameters
Interval Branch and Bound Algorithm for Finding the First-Zero-Crossing-Point in One-Dimensional Functions
Solving Underdetermined Systems with Interval Methods
Rank of convex combinations of matrices
Higher Order Methods for the Inclusion of Multiple Zeros of Polynomials
Taylor Forms--Use and Limits
Complex Interval Arithmetic Using Polar Form
Developing Interval Global Optimization Algorithms on the Basis of Branch-and-Bound and Constraint Propagation Methods
On a Theoretical Justification of the Choice of Epsilon-Inflation in PASCAL-XSC
Computational Aspects of the Implementation of Disk Inversions
Mathematical Function Software on the Web--Are Such Codes Useful for Verification Algorithms?
Computing the Pessimism of Inclusion Functions
On the Componentwise Krawczyk-Moore Iteration
Probability-Possibility Transformations, Triangular Fuzzy Sets, and Probabilistic Inequalities
An Interval Entropy Penalty Method for Nonlinear Global Optimization
Interval-Related Talks at InTech'03 - Chiang Mai, Thailand, December 17-19, 2003
A Right-Preconditioning Process for the Formal-Algebraic Approach to Inner and Outer Estimation of AE-Solution Sets
Interval Schemes for Singularly Perturbed Initial Value Problems
Towards Combining Probabilistic and Interval Uncertainty in Engineering Calculations: Algorithms for Computing Statistics under Interval Uncertainty, and Their Computational Complexity
A New Technique in Systems Analysis Under Interval Uncertainty and Ambiguity
Interval-Related Talks at the International Conference on Fuzzy Systems, Neural Networks, and Genetic Algorithms FNG'05
Regularity of Interval Matrices and Theorems of the Alternatives
IMACS-GAMM International Symposium on Numerical Methods and Error Bounds
Epistemic Uncertainty Workshop
WAI'96: II Workshop on Computer Arithmetic, Interval and Symbolic Computation
Multiplication Distributivity of Proper and Improper Intervals
Why Intervals? Because If We Allow Other Sets, Tractable Problems Become Intractable
Solving Decidability Problems with Interval Arithmetic
Exact Bounds on Finite Populations of Interval Data
A parallel interval method implementation for global optimization using dynamic load balancing
Fast Inclusion of Interval Matrix Multiplication
Numerical solutions of Burgers' equation with a large Reynolds number
Double bubble minimizes: Interval computations help in solving a long-standing geometric problem
Requirements Analysis for Engineering Computation: A Systematic Approach for Improving Reliability
The Use of Interval Analysis in Hydrologic Systems
Solution Set Characterization of Linear Interval Systems with a Specific Dependence Structure
Interval-Affine Gaussian Algorithm for Constrained Systems
Automatic Computation of a Linear Interval Enclosure
Fast Algorithm for Computing the Upper Endpoint of Sample Variance for Interval Data: Case of Sufficiently Accurate Measurements
Intervals and the Origins of Calculus
Robust Control Using Interval Analysis
Computation of Sharp Rigorous Componentwise Error Bounds for the Approximate Solutions of Systems of Linear Equations
Slope Methods of Higher Order for the Inclusion of Complex Roots of Polynomials
A Parallelized Version of the Covering Algorithm for Solving Parameter-Dependent Systems of Nonlinear Equations
Interval-Related Talks at NASA URC Conference
Interval and Complexity Workshops Back-to-Back with 1997 ACM Symposium on Theory of Computing (STOC'97)
Isomorphic Embeddings of Abstract Interval Systems
Checking Monotonicity is NP-Hard Even for Cubic Polynomials
On a Refined Analysis of Some Problems in Interval Arithmetic Using Real Number Complexity Theory
Uncertainty in Thermal Basin Modeling: An Interval Finite Element Approach
Solving Linear Systems with Error Control: Minisymposium within the 4th International Conference NMA'98
Interval Methods for Solving Underdetermined Nonlinear Systems
On Existence and Uniqueness Verification for Non-Smooth Functions
Verified High-Order Inversion of Functional Depedencies and Interval Newton Methods
Concurrent Cooperating Solvers over Reals
Paul Erdös, 1913-1996
A New Approach to the Modal Regulator Synthesis for Interval Plant with Scalar Input
Interval-Related Talks at the North American Fuzzy Information Processing Society Annual Conference NAFIPS'07
Parallel interval-based reasoning in medical knowledge-based system Clinaid
A Matrix Method for Efficient Computation of Bernstein Coefficients
Fast error estimates for indirect measurements: applications to pavement engineering
Dealing with Imprecise Probabilities: Interval-Related Talks at ISIPTA'05
Range Estimation Is NP-Hard for ?2 Accuracy and Feasible for epsilon 2-[delta]
Reliable Collision Detection for Time-Dependent Parametric Surfaces
Intersection Subdistributivity and Interval Hull Superdistributivity with Respect to the Interval Maps
Jacobi and Gauss-Seidel Iterations for Polytopic Systems: Convergence via Convex M-Matrices
Verifed Factorization Methods for SMP/G/1 Queueing Systems and their Interplay in an Integrated Problem-Solving Environment
SCAN'2004 11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics Fukuoka, Japan, October 4-8, 2004
Using Pearson Correlation to Improve Envelopes around the Distributions of Functions
How Strong Is Strong Regularity?
On Fitting Empirical Data under Interval Error
Testing Implementations of PPS-methods for Interval Linear Systems
Reliable Modeling and Optimization for Chemical Engineering Applications: Interval Analysis Approach
A Method for Outer Interval Solution of Systems of Linear Equations Depending Linearly on Interval Parameters
New Midpoint-based Approach for the Solution of n-th Order Differential Equations
Ockham's razor in interval identification
A Computer Oriented Approach to Get Sharp Reliable Error Bounds
Optimal Enclosure of Quadratic Interval Functions
Sign-Stable Solutions of Column-Vague Linear Equation Systems
A parallel complex zero finder
Robust and Optimal Control of Uncertain Dynamical Systems with State-Dependent Switchings Using Interval Arithmetic
Exact Upper Bound on the Mean of the Product of Many Random Variables with Known Expectations
Self-correcting polynomial programs
Validated Constraint Solving-Practicalities, Pitfalls, and New Developments
An informal introduction to a high level language with applications to interval mathematics
On [and]-Subdistributivity and [or]-Superdistributivity with Respect to Interval Map in Kaucher Arithmetic
Tolerances in Geometric Constraint Problems
Introductory Remarks on Reliable Engineering Computing
How to Guarantee Finite Termination of Verifying Global Optimization Codes
Design of a parallel linear algebra library for verified computation
The Feasibility of the Interval Gaussian Algorithm for Arrowhead Matrices
On the Applicability of the Interval Gaussian Algorithm
Interval Finite Elements as a Basis for Generalized Models of Uncertainty in Engineering Mechanics
A QFT Procedure for Generating Design Frequencies and Bounds of Guaranteed Accuracy
Variable-precision, interval arithmetic coprocessors
Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations
A Multidimensional Interval Newton Method
Ordering events: Intervals are sufficient, more general sets are usually not necessary
Modeling Uncertain Sparse Data with Fuzzy B-splines
Interval-Related Talks at the 22th International Conference of the North American Fuzzy Information Processing Society NAFIPS'03 - Chicago, Illinois, USA, July 24-26, 2003
Inclusion of Zeros of Nowhere Differentiable n-Dimensional Functions
On the Use of Random Set Theory to Bracket the Results of Monte Carlo Simulations
An automatic and guaranteed determination of the number of roots of an analytic function interior to a simple closed curve in the complex plane
A general iterative sparse linear solver and its parallelization for interval Newton methods
Clouds, Fuzzy Sets, and Probability Intervals
Is Solar System Stable? A Remark
YalAA: Yet Another Library for Affine Arithmetic
Formal Solution to Systems of Interval Linear or Non-Linear Equations
Estimating Variance under Interval and Fuzzy Uncertainty: Parallel Algorithms
Verified Solution and Propagation of Uncertainty in Physiological Models
Interval Methods in Robot Navigation
Interval Workshop MISC'99
On Factorization of Analytic Functions and Its Verification
A Method for Determining the Regularity Radius of Interval Matrices
SCAN 2000: GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics Interval 2000: International Conference on Interval Methods in Science and Engineering Karlsruhe, Germany, September 18-22, 2000
Reliable Computing Special Issue on Reliable Geometric Computations
Staggered Correction Computations with Enhanced Accuracy and Extremely Wide Exponent Range
Ostrowski-Like Method with Corrections for the Inclusion of Polynomial Zeros
A General Reliable Quadratic Form: An Extension of Affine Arithmetic
Algebraic Approach in the "Outer Problem" for Interval Linear Equations
Special Session "Set-Valued Numerics and Reliable Computing" - Sozopol, Bulgaria, June 4-8, 2003
Outer Solution of Linear Systems Whose Elements Are Affine Functions of Interval Parameters
On Interval Systems [ x ] = [ A ][ x ] + [ b ] and the Powers of Interval Matrices in Complex Interval Arithmetics
Interval Pseudo-Inverse Matrices and Interval Greville Algorithm
Study on sampling techniques with CMMs
SCAN'95: International symposium on scientific computing, computer arithmetic and validated numerics
Linear interval equations: Computing enclosures with bounded relative or absolute overestimation is NP-hard
Real Root Approximation Using Fat Spheres
Robust Approximation of Offsets, Bisectors, and Medial Axes of Plane Curves
An Eigenvalue Symmetric Matrix Contractor
Two Ways to Extend the Cholesky Decomposition to Block Matrices with Interval Entries
Diagrammatic Analysis of Interval Linear Equations - Part I: Basic Notions and the One-Dimensional Case
Optimal interval enclosures for fractionally-linear functions, and their application to intelligent control
Efficient Matrix Multiplication Based on Discrete Stochastic Arithmetic
On Maximal Inner Estimation of the Solution Sets of Linear Systems with Interval Parameters
On the Exponentiation of Interval Matrices
On the computational complexity of the solution of linear systems with moduli
Only Intervals Preserve the Invertibility of Arithmetic Operations
Verified Bounds for the p-Norm Condition Number