Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/rc/rc19.bht:"
@article{DBLP:journals/rc/AuerK13, author = {Ekaterina Auer and Stefan Kiel}, title = {Uses of Verified Methods for Solving Non-Smooth Initial Value Problems}, journal = {Reliab. Comput.}, volume = {19}, number = {2}, pages = {156--175}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-156-175.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/AuerK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/DobronetsP13, author = {Boris S. Dobronets and Olga A. Popova}, title = {Numerical Probabilistic Analysis under Aleatory and Epistemic Uncertainty}, journal = {Reliab. Comput.}, volume = {19}, number = {3}, pages = {274--289}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-274-289.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/DobronetsP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/DombrovskiiC13, author = {Vladimir V. Dombrovskii and Elena V. Chausova}, title = {Model Predictive Control for Linear Systems with Interval and Stochastic Uncertainties}, journal = {Reliab. Comput.}, volume = {19}, number = {4}, pages = {351--360}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-351-360.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/DombrovskiiC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/Gatilov13, author = {Stepan Yu. Gatilov}, title = {Efficient Angle Summation Algorithm for Point Inclusion Test and Its Robustness}, journal = {Reliab. Comput.}, volume = {19}, number = {1}, pages = {1--25}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-001-025.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/Gatilov13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/HoracekH13, author = {Jaroslav Hor{\'{a}}cek and Milan Hlad{\'{\i}}k}, title = {Computing Enclosures of Overdetermined Interval Linear Systems}, journal = {Reliab. Comput.}, volume = {19}, number = {2}, pages = {142--155}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-142-155.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/HoracekH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/Jaulin13, author = {Luc Jaulin}, title = {Outer Approximation of Attractors Using an Interval Quantization}, journal = {Reliab. Comput.}, volume = {19}, number = {3}, pages = {261--273}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-261-273.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/Jaulin13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/KielAR13, author = {Stefan Kiel and Ekaterina Auer and Andreas Rauh}, title = {An Environment for Testing, Verification and Validation of Dynamical Models in the Context of Solid Oxide Fuel Cells}, journal = {Reliab. Comput.}, volume = {19}, number = {3}, pages = {302--317}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-302-317.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/KielAR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/Kostousova13, author = {Elena K. Kostousova}, title = {On Boundedness and Unboundedness of Polyhedral Estimates for Reachable Sets of Linear Differential Systems}, journal = {Reliab. Comput.}, volume = {19}, number = {1}, pages = {26--44}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-026-044.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/Kostousova13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/Kubica13, author = {Bartlomiej Jacek Kubica}, title = {Excluding Regions Using Sobol Sequences in an Interval Branch-and-Prune Method for Nonlinear Systems}, journal = {Reliab. Comput.}, volume = {19}, number = {4}, pages = {385--397}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-385-397.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/Kubica13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/KumkovM13, author = {Sergey I. Kumkov and Yuliya V. Mikushina}, title = {Interval Approach to Identification of Catalytic Process Parameters}, journal = {Reliab. Comput.}, volume = {19}, number = {2}, pages = {197--214}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-197-214.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/KumkovM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/LabutinS13, author = {Ilya B. Labutin and Irina V. Surodina}, title = {Algorithm for Sparse Approximate Inverse Preconditioners in the Conjugate Gradient Method}, journal = {Reliab. Comput.}, volume = {19}, number = {1}, pages = {120--126}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-120-126.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/LabutinS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/Lakeyev13, author = {Anatoly V. Lakeyev}, title = {On Unboundedness of Generalized Solution Sets for Interval Linear Systems}, journal = {Reliab. Comput.}, volume = {19}, number = {3}, pages = {290--301}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-290-301.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/Lakeyev13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/LyudvinS13, author = {Dmitri Yu. Lyudvin and Sergey P. Shary}, title = {Testing Implementations of PPS-methods for Interval Linear Systems}, journal = {Reliab. Comput.}, volume = {19}, number = {2}, pages = {176--196}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-176-196.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/LyudvinS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/MinamihataSOO13, author = {Atsushi Minamihata and Kouta Sekine and Takeshi Ogita and Shin'ichi Oishi}, title = {Fast Verified Solutions of Sparse Linear Systems with H-matrices}, journal = {Reliab. Comput.}, volume = {19}, number = {2}, pages = {127--141}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-127-141.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/MinamihataSOO13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/MontanDCL13, author = {S{\'{e}}thy Montan and Christophe Denis and Jean Marie Chesneaux and Jean Luc Lamotte}, title = {Efficient Matrix Multiplication Based on Discrete Stochastic Arithmetic}, journal = {Reliab. Comput.}, volume = {19}, number = {4}, pages = {398--416}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-398-416.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/MontanDCL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/NadezhinZ13, author = {Dmitry Yu. Nadezhin and Sergei I. Zhilin}, title = {JInterval Library: Principles, Development, and Perspectives}, journal = {Reliab. Comput.}, volume = {19}, number = {3}, pages = {229--247}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-229-247.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/NadezhinZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/Okayama13, author = {Tomoaki Okayama}, title = {Error Estimates with Explicit Constants for Sinc Quadrature and Sinc Indefinite Integration over Infinite Intervals}, journal = {Reliab. Comput.}, volume = {19}, number = {1}, pages = {45--65}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-045-065.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/Okayama13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/PanyukovG13, author = {Anatoly V. Panyukov and Valentin A. Golodov}, title = {Computing Best Possible Pseudo-Solutions to Interval Linear Systems of Equations}, journal = {Reliab. Comput.}, volume = {19}, number = {2}, pages = {215--228}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-215-228.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/PanyukovG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/Prolubnikov13, author = {Alexander V. Prolubnikov}, title = {An Interval Approach to Pattern Recognition of Numerical Matrices}, journal = {Reliab. Comput.}, volume = {19}, number = {1}, pages = {107--119}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-107-119.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/Prolubnikov13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/PushkarevG13, author = {Maxim I. Pushkarev and Sergey A. Gaivoronsky}, title = {Maximizing Stability Degree of Control Systems under Interval Uncertainty Using a Coefficient Method}, journal = {Reliab. Comput.}, volume = {19}, number = {3}, pages = {248--260}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-248-260.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/PushkarevG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/RauhSDAA13, author = {Andreas Rauh and Luise Senkel and Thomas D{\"{o}}tschel and Harald Aschemann and Ekaterina Auer}, title = {Numerical Verification and Experimental Validation of Sliding Mode Control Design for Uncertain Thermal {SOFC} Models}, journal = {Reliab. Comput.}, volume = {19}, number = {4}, pages = {330--350}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-330-350.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/RauhSDAA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/RauhSKA13, author = {Andreas Rauh and Luise Senkel and Julia Kersten and Harald Aschemann}, title = {Interval Methods for Sensitivity-Based Model-Predictive Control of Solid Oxide Fuel Cell Systems}, journal = {Reliab. Comput.}, volume = {19}, number = {4}, pages = {361--384}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-361-384.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/RauhSKA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/RauhWAA13, author = {Andreas Rauh and Ramona Westphal and Harald Aschemann and Ekaterina Auer}, title = {Exponential Enclosure Techniques for the Computation of Guaranteed State Enclosures in ValEncIA-IVP}, journal = {Reliab. Comput.}, volume = {19}, number = {1}, pages = {66--90}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-066-090.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/RauhWAA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/RevolT13, author = {Nathalie Revol and Philippe Th{\'{e}}veny}, title = {Parallel Implementation of Interval Matrix Multiplication}, journal = {Reliab. Comput.}, volume = {19}, number = {1}, pages = {91--106}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-091-106.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/RevolT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rc/Savchenko13, author = {Alexander Savchenko}, title = {Computation of Potential and Attraction Force of an Ellipsoid}, journal = {Reliab. Comput.}, volume = {19}, number = {3}, pages = {318--329}, year = {2013}, url = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-318-329.pdf}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rc/Savchenko13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.