Login / Signup
Reliab. Comput.
1995
2001
2007
2014
1995
2014
Keyphrases
Publications
volume 20, 2014
Alexandre Goldsztejn
,
Arnold Neumaier
On the Exponentiation of Interval Matrices.
Reliab. Comput.
20 (2014)
Smita Tapaswini
,
Snehashish Chakraverty
New Midpoint-based Approach for the Solution of n-th Order Differential Equations.
Reliab. Comput.
20 (2014)
Lubomir V. Kolev
Componentwise Determination of the Interval Hull Solution for Linear Interval Parameter Systems.
Reliab. Comput.
20 (2014)
Siegfried M. Rump
Verified Bounds for the p-Norm Condition Number.
Reliab. Comput.
20 (2014)
Florian Bünger
A Note on the Boundary Shape of Matrix Polytope Products.
Reliab. Comput.
20 (2014)
volume 19, number 1, 2013
Andreas Rauh
,
Ramona Westphal
,
Harald Aschemann
,
Ekaterina Auer
Exponential Enclosure Techniques for the Computation of Guaranteed State Enclosures in ValEncIA-IVP.
Reliab. Comput.
19 (1) (2013)
Stepan Yu. Gatilov
Efficient Angle Summation Algorithm for Point Inclusion Test and Its Robustness.
Reliab. Comput.
19 (1) (2013)
Elena K. Kostousova
On Boundedness and Unboundedness of Polyhedral Estimates for Reachable Sets of Linear Differential Systems.
Reliab. Comput.
19 (1) (2013)
Tomoaki Okayama
Error Estimates with Explicit Constants for Sinc Quadrature and Sinc Indefinite Integration over Infinite Intervals.
Reliab. Comput.
19 (1) (2013)
Ilya B. Labutin
,
Irina V. Surodina
Algorithm for Sparse Approximate Inverse Preconditioners in the Conjugate Gradient Method.
Reliab. Comput.
19 (1) (2013)
Nathalie Revol
,
Philippe Théveny
Parallel Implementation of Interval Matrix Multiplication.
Reliab. Comput.
19 (1) (2013)
Alexander V. Prolubnikov
An Interval Approach to Pattern Recognition of Numerical Matrices.
Reliab. Comput.
19 (1) (2013)
volume 19, number 2, 2013
Anatoly V. Panyukov
,
Valentin A. Golodov
Computing Best Possible Pseudo-Solutions to Interval Linear Systems of Equations.
Reliab. Comput.
19 (2) (2013)
Atsushi Minamihata
,
Kouta Sekine
,
Takeshi Ogita
,
Shin'ichi Oishi
Fast Verified Solutions of Sparse Linear Systems with H-matrices.
Reliab. Comput.
19 (2) (2013)
Jaroslav Horácek
,
Milan Hladík
Computing Enclosures of Overdetermined Interval Linear Systems.
Reliab. Comput.
19 (2) (2013)
Ekaterina Auer
,
Stefan Kiel
Uses of Verified Methods for Solving Non-Smooth Initial Value Problems.
Reliab. Comput.
19 (2) (2013)
Sergey I. Kumkov
,
Yuliya V. Mikushina
Interval Approach to Identification of Catalytic Process Parameters.
Reliab. Comput.
19 (2) (2013)
Dmitri Yu. Lyudvin
,
Sergey P. Shary
Testing Implementations of PPS-methods for Interval Linear Systems.
Reliab. Comput.
19 (2) (2013)
volume 19, number 3, 2013
Luc Jaulin
Outer Approximation of Attractors Using an Interval Quantization.
Reliab. Comput.
19 (3) (2013)
Maxim I. Pushkarev
,
Sergey A. Gaivoronsky
Maximizing Stability Degree of Control Systems under Interval Uncertainty Using a Coefficient Method.
Reliab. Comput.
19 (3) (2013)
Boris S. Dobronets
,
Olga A. Popova
Numerical Probabilistic Analysis under Aleatory and Epistemic Uncertainty.
Reliab. Comput.
19 (3) (2013)
Alexander Savchenko
Computation of Potential and Attraction Force of an Ellipsoid.
Reliab. Comput.
19 (3) (2013)
Stefan Kiel
,
Ekaterina Auer
,
Andreas Rauh
An Environment for Testing, Verification and Validation of Dynamical Models in the Context of Solid Oxide Fuel Cells.
Reliab. Comput.
19 (3) (2013)
Dmitry Yu. Nadezhin
,
Sergei I. Zhilin
JInterval Library: Principles, Development, and Perspectives.
Reliab. Comput.
19 (3) (2013)
Anatoly V. Lakeyev
On Unboundedness of Generalized Solution Sets for Interval Linear Systems.
Reliab. Comput.
19 (3) (2013)
volume 19, number 4, 2013
Vladimir V. Dombrovskii
,
Elena V. Chausova
Model Predictive Control for Linear Systems with Interval and Stochastic Uncertainties.
Reliab. Comput.
19 (4) (2013)
Bartlomiej Jacek Kubica
Excluding Regions Using Sobol Sequences in an Interval Branch-and-Prune Method for Nonlinear Systems.
Reliab. Comput.
19 (4) (2013)
Andreas Rauh
,
Luise Senkel
,
Thomas Dötschel
,
Harald Aschemann
,
Ekaterina Auer
Numerical Verification and Experimental Validation of Sliding Mode Control Design for Uncertain Thermal SOFC Models.
Reliab. Comput.
19 (4) (2013)
Andreas Rauh
,
Luise Senkel
,
Julia Kersten
,
Harald Aschemann
Interval Methods for Sensitivity-Based Model-Predictive Control of Solid Oxide Fuel Cell Systems.
Reliab. Comput.
19 (4) (2013)
Séthy Montan
,
Christophe Denis
,
Jean Marie Chesneaux
,
Jean Luc Lamotte
Efficient Matrix Multiplication Based on Discrete Stochastic Arithmetic.
Reliab. Comput.
19 (4) (2013)
volume 18, 2013
Hao Jiang
,
Housen Li
,
Lizhi Cheng
,
Roberto Barrio
,
Canbin Hu
,
Xiangke Liao
Accurate, Validated and Fast Evaluation of Bézier Tensor Product Surfaces.
Reliab. Comput.
18 (2013)
Shinya Miyajima
Fast Enclosure of Matrix Polynomials.
Reliab. Comput.
18 (2013)
Raazesh Sainudiin
,
Thomas Steinke
A Rigorous Extension of the Schönhage-Strassen Integer Multiplication Algorithm Using Complex Interval Arithmetic.
Reliab. Comput.
18 (2013)
Pavel V. Saraev
Interval Pseudo-Inverse Matrices and Interval Greville Algorithm.
Reliab. Comput.
18 (2013)
Madalina Erascu
,
Hoon Hong
The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation.
Reliab. Comput.
18 (2013)
Maryam Shams Solary
Finding the Smallest Eigenvalue by Properties of Semidefinite Matrices.
Reliab. Comput.
18 (2013)
Marcin Michalak
,
Vladik Kreinovich
Is it Possible to Have a Feasible Enclosure-Computing Method Which Is Independent of the Equivalent Form?
Reliab. Comput.
18 (2013)
Andrzej Pownuk
,
Luc Longpré
,
Vladik Kreinovich
Checking Monotonicity is NP-Hard Even for Cubic Polynomials.
Reliab. Comput.
18 (2013)
Olivier Mullier
,
Eric Goubault
,
Michel Kieffer
,
Sylvie Putot
General Inner Approximation of Vector-valued Functions.
Reliab. Comput.
18 (2013)
Raazesh Sainudiin
,
Thomas L. York
An Auto-Validating, Trans-Dimensional, Universal Rejection Sampler for Locally Lipschitz Arithmetical Expressions.
Reliab. Comput.
18 (2013)
Behnam Hashemi
,
Hanieh Tavakolipour
A Non-Induced Interval Matrix Norm.
Reliab. Comput.
18 (2013)
volume 17, 2012
Thao Dang
,
Romain Testylier
Reachability Analysis for Polynomial Dynamical Systems Using the Bernstein Expansion.
Reliab. Comput.
17 (2012)
Jürgen Garloff
,
Andrew P. Smith
Guest editors preface.
Reliab. Comput.
17 (2012)
Shashwati Ray
,
P. S. V. Nataraj
A Matrix Method for Efficient Computation of Bernstein Coefficients.
Reliab. Comput.
17 (2012)
Coen C. de Visser
,
Erik-Jan van Kampen
,
Qiping Chu
,
J. A. Mulder
Intersplines: A New Approach to Globally Optimal Multivariate Splines Using Interval Analysis.
Reliab. Comput.
17 (2012)
Richard Leroy
Convergence under Subdivision and Complexity of Polynomial Minimization in the Simplicial Bernstein Basis.
Reliab. Comput.
17 (2012)
Jorge Delgado
,
Juan Manuel Peña
Optimality of Bernstein Representations for Computational Purposes.
Reliab. Comput.
17 (2012)
Anthony Narkawicz
,
César A. Muñoz
Formal Verification of Conflict Detection Algorithms for Arbitrary Trajectories.
Reliab. Comput.
17 (2012)
Sebti Foufou
,
Dominique Michelucci
The Bernstein Basis and its Applications in Solving Geometric Constraint Systems.
Reliab. Comput.
17 (2012)
Dominique Michelucci
,
Sebti Foufou
,
Arnaud Kubicki
On the Complexity of the Bernstein Combinatorial Problem.
Reliab. Comput.
17 (2012)