default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDReliable Computing, Volume 19
Volume 19, Number 1, 2013
- Stepan Yu. Gatilov:
Efficient Angle Summation Algorithm for Point Inclusion Test and Its Robustness. 1-25 - Elena K. Kostousova:
On Boundedness and Unboundedness of Polyhedral Estimates for Reachable Sets of Linear Differential Systems. 26-44 - Tomoaki Okayama:
Error Estimates with Explicit Constants for Sinc Quadrature and Sinc Indefinite Integration over Infinite Intervals. 45-65 - Andreas Rauh, Ramona Westphal, Harald Aschemann, Ekaterina Auer:
Exponential Enclosure Techniques for the Computation of Guaranteed State Enclosures in ValEncIA-IVP. 66-90 - Nathalie Revol, Philippe Théveny:
Parallel Implementation of Interval Matrix Multiplication. 91-106 - Alexander V. Prolubnikov:
An Interval Approach to Pattern Recognition of Numerical Matrices. 107-119 - Ilya B. Labutin, Irina V. Surodina:
Algorithm for Sparse Approximate Inverse Preconditioners in the Conjugate Gradient Method. 120-126
Volume 19, Number 2, 2013
- Atsushi Minamihata, Kouta Sekine, Takeshi Ogita, Shin'ichi Oishi:
Fast Verified Solutions of Sparse Linear Systems with H-matrices. 127-141 - Jaroslav Horácek, Milan Hladík:
Computing Enclosures of Overdetermined Interval Linear Systems. 142-155 - Ekaterina Auer, Stefan Kiel:
Uses of Verified Methods for Solving Non-Smooth Initial Value Problems. 156-175 - Dmitri Yu. Lyudvin, Sergey P. Shary:
Testing Implementations of PPS-methods for Interval Linear Systems. 176-196 - Sergey I. Kumkov, Yuliya V. Mikushina:
Interval Approach to Identification of Catalytic Process Parameters. 197-214 - Anatoly V. Panyukov, Valentin A. Golodov:
Computing Best Possible Pseudo-Solutions to Interval Linear Systems of Equations. 215-228
Volume 19, Number 3, 2013
- Dmitry Yu. Nadezhin, Sergei I. Zhilin:
JInterval Library: Principles, Development, and Perspectives. 229-247 - Maxim I. Pushkarev, Sergey A. Gaivoronsky:
Maximizing Stability Degree of Control Systems under Interval Uncertainty Using a Coefficient Method. 248-260 - Luc Jaulin:
Outer Approximation of Attractors Using an Interval Quantization. 261-273 - Boris S. Dobronets, Olga A. Popova:
Numerical Probabilistic Analysis under Aleatory and Epistemic Uncertainty. 274-289 - Anatoly V. Lakeyev:
On Unboundedness of Generalized Solution Sets for Interval Linear Systems. 290-301 - Stefan Kiel, Ekaterina Auer, Andreas Rauh:
An Environment for Testing, Verification and Validation of Dynamical Models in the Context of Solid Oxide Fuel Cells. 302-317 - Alexander Savchenko:
Computation of Potential and Attraction Force of an Ellipsoid. 318-329
Volume 19, Number 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. 330-350 - Vladimir V. Dombrovskii, Elena V. Chausova:
Model Predictive Control for Linear Systems with Interval and Stochastic Uncertainties. 351-360 - Andreas Rauh, Luise Senkel, Julia Kersten, Harald Aschemann:
Interval Methods for Sensitivity-Based Model-Predictive Control of Solid Oxide Fuel Cell Systems. 361-384 - Bartlomiej Jacek Kubica:
Excluding Regions Using Sobol Sequences in an Interval Branch-and-Prune Method for Nonlinear Systems. 385-397 - Séthy Montan, Christophe Denis, Jean Marie Chesneaux, Jean Luc Lamotte:
Efficient Matrix Multiplication Based on Discrete Stochastic Arithmetic. 398-416
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 00:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
