default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDReliable Computing, Volume 15
Volume 15, Number 1, May 2011
- Martine Ceberio, Vladik Kreinovich:
SCAN 2008 Guest editors preface. - René Alt, Jean Luc Lamotte, Svetoslav Markov:
On the Accuracy of the Solution of Linear Problems on the CELL Processor. 1-12 - Miguel Argáez:
Solving Overdetermined Systems in lp Quasi-Norms. 13-25 - Frithjof Blomquist:
Staggered Correction Computations with Enhanced Accuracy and Extremely Wide Exponent Range. 26-35 - Gerd Bohlender, Ulrich W. Kulisch:
Definition of the Arithmetic Operations and Comparison Relations for an Interval Arithmetic. 36-42 - Darrell Cheu, Luc Longpré:
Towards the Possibility of Objective Interval Uncertainty in Physics. 43-46 - Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher:
Capabilities of Constraint Programming in Safe Global Optimization. 47-59 - Karen Villaverde, Gang Xiang:
Estimating Variance under Interval and Fuzzy Uncertainty: Parallel Algorithms. 60-68
Volume 15, Number 2, June 2011
- Sandeep Hattangady, William W. Edmonson, Winser E. Alexander:
Block Floating Point Interval ALU for Digital Signal Processing. 69-80 - Ivan Petkovic:
Computational Aspects of the Implementation of Disk Inversions. 81-90 - Miodrag S. Petkovic, Dusan M. Milosevic:
Higher Order Methods for the Inclusion of Multiple Zeros of Polynomials. 91-108 - P. S. V. Nataraj, M. Arounassalame:
An Interval Newton Method Based on the Bernstein Form for Bounding the Zeros of Polynomial Systems. 109-119 - Hong Diep Nguyen, Nathalie Revol:
Solving and Certifying the Solution of a Linear System. 120-131 - Andrzej Pownuk, Naveen Kumar Goud Ramunigari:
Application of Order-Preserving Functions to the Modeling of Computational Mechanics Problems with Uncertainty. 132-143 - Maarten H. van Emden:
From Interval Arithmetic to Interval Constraints. 144-155 - Naoya Yamanaka, Masahide Kashiwagi, Shin'ichi Oishi, Takeshi Ogita:
A Note on a Verified Automatic Integration Algorithm. 156-167
Volume 15, Number 3, July 2011
- Joshua A. Enszer, Mark A. Stadtherr:
Verified Solution and Propagation of Uncertainty in Physiological Models. 168-178 - Sebastian Kempken, Wolfram Luther:
Verifed Factorization Methods for SMP/G/1 Queueing Systems and their Interplay in an Integrated Problem-Solving Environment. 179-192 - Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer:
Efficient Parallel Solvers for Large Dense Systems of Linear Interval Equations. 193-206 - Bartlomiej Jacek Kubica:
Interval Methods for Solving Underdetermined Nonlinear Systems. 207-217 - Tanja Magoc, Martine Ceberio, François Modave:
Using Preference Constraints to Solve Multi-Criteria Decision Making Problems. 218-229 - Miguel Argáez, Leticia Velázquez, Carlos Quintero, Hector Klie, Mary F. Wheeler:
A Hybrid Algorithm for Global Optimization Problems. 230-241 - Julie Roy, R. Baker Kearfott:
Global Optimization and Singular Nonlinear Programs: New Techniques. 242-250 - Paluri S. V. Nataraj, Shanta Sondur:
The Extrapolated Taylor Model. 251-278 - German Tischler, Jürgen Wolff von Gudenberg:
Solving Decidability Problems with Interval Arithmetic. 279-289
Volume 15, Number 4, July 2011
- Lev Kapitanski, Sanja Zivanovic:
Dynamics with a Range of Choice. 290-299 - Tanja Magoc, Xiaojing Wang, François Modave, Martine Ceberio:
Applications of Fuzzy Measures and Intervals in Finance. 300-311 - Marco Nehmeier, Jürgen Wolff von Gudenberg:
filib++ , Expression Templates and the Coming Interval Standard. 312-320 - Andreas Rauh, Ekaterina Auer, Mareile Freihold, Eberhard P. Hofer, Harald Aschemann:
Detection and Reduction of Overestimation in Guaranteed Simulations of Hamiltonian Systems. 321-332 - Andreas Rauh, Johanna Minisini, Eberhard P. Hofer, Harald Aschemann:
Robust and Optimal Control of Uncertain Dynamical Systems with State-Dependent Switchings Using Interval Arithmetic. 333-344 - Irene A. Sharaya, Sergey P. Shary:
Tolerable Solution Set for Interval Linear Systems with Constraints on Coefficients. 345-357 - Sergey P. Shary:
On Nonnegative Interval Linear Systems and Their Solution. 358-369 - Andreas Rauh, Ekaterina Auer:
Verified Simulation of ODEs and DAEs in ValEncIA-IVP. 370-381
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-04 01:27 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:
