The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Reliable Computing"( http://dblp.L3S.de/Venues/Reliable_Computing )

URL (DBLP): http://dblp.uni-trier.de/db/journals/rc

Publication years (Num. hits)
1995 (37) 1996 (41) 1997 (37) 1998 (43) 1999 (39) 2000 (29) 2001 (41) 2002 (32) 2003 (30) 2004 (27) 2005 (36) 2006 (37) 2007 (30) 2010-2011 (45) 2012 (26) 2013 (36) 2014 (5)
Publication types (Num. hits)
article(571)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 571 publication records. Showing 571 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Lubomir V. Kolev Componentwise Determination of the Interval Hull Solution for Linear Interval Parameter Systems. Search on Bibsonomy Reliable Computing The full citation details ... 2014 DBLP  BibTeX  RDF
1Siegfried M. Rump Verified Bounds for the p-Norm Condition Number. Search on Bibsonomy Reliable Computing The full citation details ... 2014 DBLP  BibTeX  RDF
1Smita Tapaswini, Snehashish Chakraverty New Midpoint-based Approach for the Solution of n-th Order Differential Equations. Search on Bibsonomy Reliable Computing The full citation details ... 2014 DBLP  BibTeX  RDF
1Florian Bünger A Note on the Boundary Shape of Matrix Polytope Products. Search on Bibsonomy Reliable Computing The full citation details ... 2014 DBLP  BibTeX  RDF
1Alexandre Goldsztejn, Arnold Neumaier On the Exponentiation of Interval Matrices. Search on Bibsonomy Reliable Computing The full citation details ... 2014 DBLP  BibTeX  RDF
1Boris S. Dobronets, Olga A. Popova Numerical Probabilistic Analysis under Aleatory and Epistemic Uncertainty. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Raazesh Sainudiin, Thomas Steinke A Rigorous Extension of the Schönhage-Strassen Integer Multiplication Algorithm Using Complex Interval Arithmetic. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Maxim I. Pushkarev, Sergey A. Gaivoronsky Maximizing Stability Degree of Control Systems under Interval Uncertainty Using a Coefficient Method. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Dmitri Yu. Lyudvin, Sergey P. Shary Testing Implementations of PPS-methods for Interval Linear Systems. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Anatoly V. Panyukov, Valentin A. Golodov Computing Best Possible Pseudo-Solutions to Interval Linear Systems of Equations. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Luc Jaulin Outer Approximation of Attractors Using an Interval Quantization. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Ekaterina Auer, Stefan Kiel Uses of Verified Methods for Solving Non-Smooth Initial Value Problems. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Ilya B. Labutin, Irina V. Surodina Algorithm for Sparse Approximate Inverse Preconditioners in the Conjugate Gradient Method. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Sergey I. Kumkov, Yuliya V. Mikushina Interval Approach to Identification of Catalytic Process Parameters. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Behnam Hashemi, Hanieh Tavakolipour A Non-Induced Interval Matrix Norm. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Bartlomiej Jacek Kubica Excluding Regions Using Sobol Sequences in an Interval Branch-and-Prune Method for Nonlinear Systems. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Shinya Miyajima Fast Enclosure of Matrix Polynomials. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Raazesh Sainudiin, Thomas L. York An Auto-Validating, Trans-Dimensional, Universal Rejection Sampler for Locally Lipschitz Arithmetical Expressions. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Alexander Savchenko Computation of Potential and Attraction Force of an Ellipsoid. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Stefan Kiel, Ekaterina Auer, Andreas Rauh An Environment for Testing, Verification and Validation of Dynamical Models in the Context of Solid Oxide Fuel Cells. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Andrzej Pownuk, Luc Longpré, Vladik Kreinovich Checking Monotonicity is NP-Hard Even for Cubic Polynomials. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Nathalie Revol, Philippe Théveny Parallel Implementation of Interval Matrix Multiplication. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Pavel V. Saraev Interval Pseudo-Inverse Matrices and Interval Greville Algorithm. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Atsushi Minamihata, Kouta Sekine, Takeshi Ogita, Shin'ichi Oishi Fast Verified Solutions of Sparse Linear Systems with H-matrices. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Andreas 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. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Elena K. Kostousova On Boundedness and Unboundedness of Polyhedral Estimates for Reachable Sets of Linear Differential Systems. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Tomoaki Okayama Error Estimates with Explicit Constants for Sinc Quadrature and Sinc Indefinite Integration over Infinite Intervals. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Alexander V. Prolubnikov An Interval Approach to Pattern Recognition of Numerical Matrices. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Dmitry Yu. Nadezhin, Sergei I. Zhilin JInterval Library: Principles, Development, and Perspectives. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Madalina Erascu, Hoon Hong The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Hao Jiang 0001, Housen Li, Lizhi Cheng, Roberto Barrio, Canbin Hu, Xiangke Liao Accurate, Validated and Fast Evaluation of Bézier Tensor Product Surfaces. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Séthy Montan, Christophe Denis, Jean Marie Chesneaux, Jean Luc Lamotte Efficient Matrix Multiplication Based on Discrete Stochastic Arithmetic. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Olivier Mullier, Eric Goubault, Michel Kieffer, Sylvie Putot General Inner Approximation of Vector-valued Functions. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Anatoly V. Lakeyev On Unboundedness of Generalized Solution Sets for Interval Linear Systems. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Andreas Rauh, Luise Senkel, Julia Kersten, Harald Aschemann Interval Methods for Sensitivity-Based Model-Predictive Control of Solid Oxide Fuel Cell Systems. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Vladimir V. Dombrovskii, Elena V. Chausova Model Predictive Control for Linear Systems with Interval and Stochastic Uncertainties. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Andreas Rauh, Ramona Westphal, Harald Aschemann, Ekaterina Auer Exponential Enclosure Techniques for the Computation of Guaranteed State Enclosures in ValEncIA-IVP. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Jaroslav Horácek, Milan Hladík Computing Enclosures of Overdetermined Interval Linear Systems. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1M. Shams Solary Finding the Smallest Eigenvalue by Properties of Semidefinite Matrices. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Stepan Yu. Gatilov Efficient Angle Summation Algorithm for Point Inclusion Test and Its Robustness. Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Marcin Michalak, Vladik Kreinovich Is it Possible to Have a Feasible Enclosure-Computing Method Which Is Independent of the Equivalent Form? Search on Bibsonomy Reliable Computing The full citation details ... 2013 DBLP  BibTeX  RDF
1Alexandre Goldsztejn Modal Intervals Revisited, Part 1: A Generalized Interval Natural Extension. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Sebti Foufou, Dominique Michelucci The Bernstein Basis and its Applications in Solving Geometric Constraint Systems. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Anthony Narkawicz, Jürgen Garloff, Andrew P. Smith, César A. Muñoz Bounding the Range of a Rational Function over a box. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Szilvia Béla, Bert Jüttler Real Root Approximation Using Fat Spheres. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Shinya Miyajima Componentwise Error Estimates for Solutions Obtained by Stationary Iterative Methods. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Shashwati Ray, P. S. V. Nataraj A Matrix Method for Efficient Computation of Bernstein Coefficients. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Mimica R. Milosevic, Miodrag S. Petkovic Ostrowski-Like Method for the Inclusion of a Single Complex Polynomial Zero. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Stefan Kiel YalAA: Yet Another Library for Affine Arithmetic. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Chengpu Wang A New Uncertainty-Bearing Floating-Point Arithmetic. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Coen C. de Visser, Erik-Jan van Kampen, Qiping Chu, J. A. Mulder Intersplines: A New Approach to Globally Optimal Multivariate Splines Using Interval Analysis. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Elke Just, Bruno Lang A Success-Guided Selection of Expanded Systems for Result-Verifying Nonlinear Solvers. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Elwin de Weerdt, Erik-Jan van Kampen, Qiping Chu, J. A. Mulder Polynomial Inclusion Functions. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Luis G. Crespo, Daniel P. Giesy, Sean P. Kenny A Unifying Framework to Uncertainty Quantification of Polynomial Systems Subject to Aleatory and Epistemic Uncertainty. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Pau Herrero, Pantelis Georgiou, Christofer Toumazou, Benoît Delaunay, Luc Jaulin An Efficient Implementation of the SIVIA Algorithm in a High-Level Numerical Programming Language. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Alexandre Goldsztejn Modal Intervals Revisited, Part 2: A Generalized Interval Mean Value Extension. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Richard Leroy Convergence under Subdivision and Complexity of Polynomial Minimization in the Simplicial Bernstein Basis. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Jennifer Harlow, Raazesh Sainudiin, Warwick Tucker Mapped Regular Pavings. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Thao Dang, Romain Testylier Reachability Analysis for Polynomial Dynamical Systems Using the Bernstein Expansion. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Günter Mayer On an Expression for the Midpoint and the Radius of the Product of Two Intervals. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Jürgen Garloff, Andrew P. Smith Guest editors preface. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Dominique Michelucci, Sebti Foufou, Arnaud Kubicki On the Complexity of the Bernstein Combinatorial Problem. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Peter Schodl, Arnold Neumaier Continuity Notions for Multi-Valued Mappings with Possibly Disconnected Images. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Jorge Delgado, Juan Manuel Peña Optimality of Bernstein Representations for Computational Purposes. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Samiran Karmakar, Asoke Kumar Bhunia A Comparative Study of Different Order Relations of Intervals. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Anthony Narkawicz, César A. Muñoz Formal Verification of Conflict Detection Algorithms for Arbitrary Trajectories. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Shinya Miyajima The Relation between Two Types of Error Bounds for Computed Matrix Eigenvalues. Search on Bibsonomy Reliable Computing The full citation details ... 2012 DBLP  BibTeX  RDF
1Tanja Magoc, Martine Ceberio, François Modave Using Preference Constraints to Solve Multi-Criteria Decision Making Problems. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Martine Ceberio, Vladik Kreinovich SCAN 2008 Guest editors preface. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1P. S. V. Nataraj, M. Arounassalame An Interval Newton Method Based on the Bernstein Form for Bounding the Zeros of Polynomial Systems. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher Capabilities of Constraint Programming in Safe Global Optimization. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Maarten H. van Emden From Interval Arithmetic to Interval Constraints. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Andrzej Pownuk, Naveen Kumar Goud Ramunigari Application of Order-Preserving Functions to the Modeling of Computational Mechanics Problems with Uncertainty. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Milan Hladík, Luc Jaulin An Eigenvalue Symmetric Matrix Contractor. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Andreas Rauh, Ekaterina Auer, Mareile Freihold, Eberhard P. Hofer, Harald Aschemann Detection and Reduction of Overestimation in Guaranteed Simulations of Hamiltonian Systems. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Miguel Argáez Solving Overdetermined Systems in lp Quasi-Norms. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Karen Villaverde, Gang Xiang Estimating Variance under Interval and Fuzzy Uncertainty: Parallel Algorithms. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Sebastian Kempken, Wolfram Luther Verifed Factorization Methods for SMP/G/1 Queueing Systems and their Interplay in an Integrated Problem-Solving Environment. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Andreas Rauh, Ekaterina Auer Verified Simulation of ODEs and DAEs in ValEncIA-IVP. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Gerd Bohlender, Ulrich W. Kulisch Definition of the Arithmetic Operations and Comparison Relations for an Interval Arithmetic. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Andreas Rauh, Johanna Minisini, Eberhard P. Hofer, Harald Aschemann Robust and Optimal Control of Uncertain Dynamical Systems with State-Dependent Switchings Using Interval Arithmetic. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Miodrag S. Petkovic, Dusan M. Milosevic Higher Order Methods for the Inclusion of Multiple Zeros of Polynomials. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Tanja Magoc, Xiaojing Wang, François Modave, Martine Ceberio Applications of Fuzzy Measures and Intervals in Finance. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1René Alt, Jean Luc Lamotte, Svetoslav Markov On the Accuracy of the Solution of Linear Problems on the CELL Processor. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Ivan Petkovic Computational Aspects of the Implementation of Disk Inversions. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Naoya Yamanaka, Masahide Kashiwagi, Shin'ichi Oishi, Takeshi Ogita A Note on a Verified Automatic Integration Algorithm. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Irene A. Sharaya, Sergey P. Shary Tolerable Solution Set for Interval Linear Systems with Constraints on Coefficients. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Darrell Cheu, Luc Longpré Towards the Possibility of Objective Interval Uncertainty in Physics. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Sandeep Hattangady, William W. Edmonson, Winser E. Alexander Block Floating Point Interval ALU for Digital Signal Processing. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Lev Kapitanski, Sanja Zivanovic Dynamics with a Range of Choice. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Paluri S. V. Nataraj, Shanta Sondur The Extrapolated Taylor Model. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Joshua A. Enszer, Mark A. Stadtherr Verified Solution and Propagation of Uncertainty in Physiological Models. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Lubomir V. Kolev A Method for Determining the Regularity Radius of Interval Matrices. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Frithjof Blomquist Staggered Correction Computations with Enhanced Accuracy and Extremely Wide Exponent Range. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Miguel Argáez, Leticia Velázquez, Carlos Quintero, Hector Klie, Mary F. Wheeler A Hybrid Algorithm for Global Optimization Problems. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1German Tischler, Jürgen Wolff von Gudenberg Solving Decidability Problems with Interval Arithmetic. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Marco Nehmeier, Jürgen Wolff von Gudenberg filib++ , Expression Templates and the Coming Interval Standard. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer Efficient Parallel Solvers for Large Dense Systems of Linear Interval Equations. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Julie Roy, R. Baker Kearfott Global Optimization and Singular Nonlinear Programs: New Techniques. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
1Hong Diep Nguyen, Nathalie Revol Solving and Certifying the Solution of a Linear System. Search on Bibsonomy Reliable Computing The full citation details ... 2011 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 571 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license