• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 25 matches

• 2013
• 
  Ekaterina Auer, Stefan Kiel:
  Uses of Verified Methods for Solving Non-Smooth Initial Value Problems. Reliab. Comput. 19(2): 156-175 (2013)
• 
  Boris S. Dobronets, Olga A. Popova:
  Numerical Probabilistic Analysis under Aleatory and Epistemic Uncertainty. Reliab. Comput. 19(3): 274-289 (2013)
• 
  Vladimir V. Dombrovskii, Elena V. Chausova:
  Model Predictive Control for Linear Systems with Interval and Stochastic Uncertainties. Reliab. Comput. 19(4): 351-360 (2013)
• 
  Stepan Yu. Gatilov:
  Efficient Angle Summation Algorithm for Point Inclusion Test and Its Robustness. Reliab. Comput. 19(1): 1-25 (2013)
• 
  Jaroslav Horácek, Milan Hladík:
  Computing Enclosures of Overdetermined Interval Linear Systems. Reliab. Comput. 19(2): 142-155 (2013)
• 
  Luc Jaulin:
  Outer Approximation of Attractors Using an Interval Quantization. Reliab. Comput. 19(3): 261-273 (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): 302-317 (2013)
• 
  Elena K. Kostousova:
  On Boundedness and Unboundedness of Polyhedral Estimates for Reachable Sets of Linear Differential Systems. Reliab. Comput. 19(1): 26-44 (2013)
• 
  Bartlomiej Jacek Kubica:
  Excluding Regions Using Sobol Sequences in an Interval Branch-and-Prune Method for Nonlinear Systems. Reliab. Comput. 19(4): 385-397 (2013)
• 
  Sergey I. Kumkov, Yuliya V. Mikushina:
  Interval Approach to Identification of Catalytic Process Parameters. Reliab. Comput. 19(2): 197-214 (2013)
• 
  Ilya B. Labutin, Irina V. Surodina:
  Algorithm for Sparse Approximate Inverse Preconditioners in the Conjugate Gradient Method. Reliab. Comput. 19(1): 120-126 (2013)
• 
  Anatoly V. Lakeyev:
  On Unboundedness of Generalized Solution Sets for Interval Linear Systems. Reliab. Comput. 19(3): 290-301 (2013)
• 
  Dmitri Yu. Lyudvin, Sergey P. Shary:
  Testing Implementations of PPS-methods for Interval Linear Systems. Reliab. Comput. 19(2): 176-196 (2013)
• 
  Atsushi Minamihata, Kouta Sekine, Takeshi Ogita, Shin'ichi Oishi:
  Fast Verified Solutions of Sparse Linear Systems with H-matrices. Reliab. Comput. 19(2): 127-141 (2013)
• 
  Séthy Montan, Christophe Denis, Jean Marie Chesneaux, Jean Luc Lamotte:
  Efficient Matrix Multiplication Based on Discrete Stochastic Arithmetic. Reliab. Comput. 19(4): 398-416 (2013)
• 
  Dmitry Yu. Nadezhin, Sergei I. Zhilin:
  JInterval Library: Principles, Development, and Perspectives. Reliab. Comput. 19(3): 229-247 (2013)
• 
  Tomoaki Okayama:
  Error Estimates with Explicit Constants for Sinc Quadrature and Sinc Indefinite Integration over Infinite Intervals. Reliab. Comput. 19(1): 45-65 (2013)
• 
  Anatoly V. Panyukov, Valentin A. Golodov:
  Computing Best Possible Pseudo-Solutions to Interval Linear Systems of Equations. Reliab. Comput. 19(2): 215-228 (2013)
• 
  Alexander V. Prolubnikov:
  An Interval Approach to Pattern Recognition of Numerical Matrices. Reliab. Comput. 19(1): 107-119 (2013)
• 
  Maxim I. Pushkarev, Sergey A. Gaivoronsky:
  Maximizing Stability Degree of Control Systems under Interval Uncertainty Using a Coefficient Method. Reliab. Comput. 19(3): 248-260 (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): 330-350 (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): 361-384 (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): 66-90 (2013)
• 
  Nathalie Revol, Philippe Théveny:
  Parallel Implementation of Interval Matrix Multiplication. Reliab. Comput. 19(1): 91-106 (2013)
• 
  Alexander Savchenko:
  Computation of Potential and Attraction Force of an Ellipsoid. Reliab. Comput. 19(3): 318-329 (2013)