• 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 37 matches

• 1997
• 
  Benedito Melo Acióly, Benjamín René Callejas Bedregal:
  A Quasi-Metric Topology Compatible with Inclusion Monotonicity on Interval Space. Reliab. Comput. 3(3): 305-313 (1997)
• 
  Frédéric Benhamou, Laurent Granvilliers:
  Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving. Reliab. Comput. 3(3): 335-344 (1997)
• 
  Christian Bliek:
  Fast Evaluation of Partial Derivatives and Interval Slopes. Reliab. Comput. 3(3): 259-268 (1997)
• 
  Ole Caprani, Kaj Madsen, Ole Stauning:
  Existence Test for Asynchronous Interval Iteration. Reliab. Comput. 3(3): 269-275 (1997)
• 
  Leticia S. Chee:
  Computing the Value of a Boolean Expression with Interval Inputs is NP-Hard. Reliab. Comput. 3(2): 155-172 (1997)
• 
  Hans-Jürgen Dobner, Stefan Ritter:
  Attacking a Conjecture in Mathematical Physics by Combining Methods of Computational Analysis and Scientific Computing. Reliab. Comput. 3(3): 287-295 (1997)
• 
  Boris S. Dobronets:
  Two-sided Multigrid Method for Elliptic Boundary Value Problems. Reliab. Comput. 3(3): 297-303 (1997)
• 
  A. Gabaldon:
  Applications of Reliable Scientific Computing. Reliab. Comput. 3(4): 447-448 (1997)
• 
  Eldon R. Hansen:
  Sharpness in Interval Computations. Reliab. Comput. 3(1): 17-29 (1997)
• 
  Gerhard Heindl:
  How to Compute Interval Inclusions of Geodetic Coordinates from Interval Inclusions of Cartesian Coordinates. Reliab. Comput. 3(4): 421-435 (1997)
• 
  Werner Hofschuster, Walter Krämer:
  A Computer Oriented Approach to Get Sharp Reliable Error Bounds. Reliab. Comput. 3(3): 239-248 (1997)
• 
  Ferenc Kálovics, Gabriella Mészáros:
  Finding Global Minima of Maximum Functions by Using Exclusion Functions without Derivatives. Reliab. Comput. 3(4): 381-399 (1997)
• 
  Lubomir V. Kolev:
  Use of Interval Slopes for the Irrational Part of Factorable Functions. Reliab. Comput. 3(1): 83-93 (1997)
• 
  Vladik Kreinovich, Andrew P. Bernat:
  Is Solar System Stable? A Remark. Reliab. Comput. 3(2): 149-154 (1997)
• 
  Vladik Kreinovich, Scott A. Starks, Günter Mayer:
  On a Theoretical Justification of the Choice of Epsilon-Inflation in PASCAL-XSC. Reliab. Comput. 3(4): 437-445 (1997)
• 
  Zenon Kulpa:
  Diagrammatic Representation of Interval Space in Proving Theorems about Interval Relations. Reliab. Comput. 3(3): 209-217 (1997)
• 
  Anatoly V. Lakeyev, Vladik Kreinovich:
  NP-Hard Classes of Linear Algebraic Systems with Uncertainties. Reliab. Comput. 3(1): 51-81 (1997)
• 
  Luc Longpré, Martin Berz:
  Interval and Complexity Workshops Back-to-Back with 1997 ACM Symposium on Theory of Computing (STOC'97). Reliab. Comput. 3(4): 453-457 (1997)
• 
  Wolfram Luther, Werner Otten:
  Approximation Error and Error Accumulation for the Landen Transform. Reliab. Comput. 3(3): 249-258 (1997)
• 
  Svetoslav M. Markov:
  Isomorphic Embeddings of Abstract Interval Systems. Reliab. Comput. 3(3): 199-207 (1997)
• 
  Teruya Minamoto, Mitsuhiro T. Nakao:
  Numerical Verifications of Solutions for Nonlinear Parabolic Equations in One-Space Dimensional Case. Reliab. Comput. 3(2): 137-147 (1997)
• 
  Marian Mrozek, Marcin Zelawski:
  Heteroclinic Connections in the Kuramoto-Sivashinsky Equation: a Computer Assisted Proof. Reliab. Comput. 3(3): 277-285 (1997)
• 
  Josef Nedoma:
  Sign-Stable Solutions of Column-Vague Linear Equation Systems. Reliab. Comput. 3(2): 173-180 (1997)
• 
  Vyacheslav M. Nesterov:
  Interval and Twin Arithmetics. Reliab. Comput. 3(4): 369-380 (1997)
• 
  Hung T. Nguyen, Vladik Kreinovich:
  From Numerical Intervals to Set Intervals (Interval-Related Results Presented at the First International Workshop on Applications and Theory of Random Sets). Reliab. Comput. 3(1): 95-102 (1997)
• 
  Monica L. Nogueira:
  Interval-Related Talks at NASA URC Conference. Reliab. Comput. 3(4): 459-460 (1997)
• 
  Ljiljana D. Petkovic, Slobodan Trickovic, Miodrag S. Petkovic:
  Slope Methods of Higher Order for the Inclusion of Complex Roots of Polynomials. Reliab. Comput. 3(4): 349-362 (1997)
• 
  Helmut Ratschek, Jon G. Rokne:
  Reliable Computing Special Issue on Reliable Geometric Computations. Reliab. Comput. 3(4): 461-462 (1997)
• 
  Jiri Rohn:
  On Overestimations Produced by the Interval Gaussian Algorithm. Reliab. Comput. 3(4): 363-368 (1997)
• 
  Michel Rueher, Christine Solnon:
  Concurrent Cooperating Solvers over Reals. Reliab. Comput. 3(3): 325-333 (1997)

skipping 7 more matches