发布求助
文献互助 智能选刊 最新文献

Reliable Computing最新文献

筛选
英文 中文
Validated Constraint Solving—Practicalities, Pitfalls, and New Developments 验证约束求解-实用性，陷阱和新发展
Reliable Computing Pub Date : 2005-10-01 DOI: 10.1007/s11155-005-0045-0
R. B. Kearfott
{"title":"Validated Constraint Solving—Practicalities, Pitfalls, and New Developments","authors":"R. B. Kearfott","doi":"10.1007/s11155-005-0045-0","DOIUrl":"https://doi.org/10.1007/s11155-005-0045-0","url":null,"abstract":"","PeriodicalId":54499,"journal":{"name":"Reliable Computing","volume":"11 1","pages":"383-391"},"PeriodicalIF":0.0,"publicationDate":"2005-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11155-005-0045-0","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"53074682","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Boundary Realizations Method for Interval Linear Dynamic Systems 区间线性动态系统的边界实现方法
Reliable Computing Pub Date : 2005-10-01 DOI: 10.1007/s11155-005-0048-x
S. Pushkov, Svetlana Yu. Kalinkina
{"title":"Boundary Realizations Method for Interval Linear Dynamic Systems","authors":"S. Pushkov, Svetlana Yu. Kalinkina","doi":"10.1007/s11155-005-0048-x","DOIUrl":"https://doi.org/10.1007/s11155-005-0048-x","url":null,"abstract":"","PeriodicalId":54499,"journal":{"name":"Reliable Computing","volume":"11 1","pages":"413-423"},"PeriodicalIF":0.0,"publicationDate":"2005-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11155-005-0048-x","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"53074750","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Developing Interval Global Optimization Algorithms on the Basis of Branch-and-Bound and Constraint Propagation Methods 基于分支定界法和约束传播法的区间全局优化算法
Reliable Computing Pub Date : 2005-10-01 DOI: 10.1007/s11155-005-0041-4
Yuri G. Dolgov
{"title":"Developing Interval Global Optimization Algorithms on the Basis of Branch-and-Bound and Constraint Propagation Methods","authors":"Yuri G. Dolgov","doi":"10.1007/s11155-005-0041-4","DOIUrl":"https://doi.org/10.1007/s11155-005-0041-4","url":null,"abstract":"","PeriodicalId":54499,"journal":{"name":"Reliable Computing","volume":"11 1","pages":"343-358"},"PeriodicalIF":0.0,"publicationDate":"2005-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11155-005-0041-4","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"53074183","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Empirical Investigation of the Convergence Speed of Inclusion Functions in a Global Optimization Context 全局优化条件下包含函数收敛速度的实证研究
Reliable Computing Pub Date : 2005-08-01 DOI: 10.1007/s11155-005-6890-z
B. G.-Tóth, T. Csendes
{"title":"Empirical Investigation of the Convergence Speed of Inclusion Functions in a Global Optimization Context","authors":"B. G.-Tóth, T. Csendes","doi":"10.1007/s11155-005-6890-z","DOIUrl":"https://doi.org/10.1007/s11155-005-6890-z","url":null,"abstract":"","PeriodicalId":54499,"journal":{"name":"Reliable Computing","volume":"11 1","pages":"253-273"},"PeriodicalIF":0.0,"publicationDate":"2005-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11155-005-6890-z","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"53075465","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Checking If There Exists a Monotonic Function That Is Consistent with the Measurements: An Efficient Algorithm 检验是否存在与测量值一致的单调函数:一种有效的算法
Reliable Computing Pub Date : 2005-08-01 DOI: 10.1007/s11155-005-6892-x
K. Tupelly, V. Kreinovich, K. Villaverde
{"title":"Checking If There Exists a Monotonic Function That Is Consistent with the Measurements: An Efficient Algorithm","authors":"K. Tupelly, V. Kreinovich, K. Villaverde","doi":"10.1007/s11155-005-6892-x","DOIUrl":"https://doi.org/10.1007/s11155-005-6892-x","url":null,"abstract":"","PeriodicalId":54499,"journal":{"name":"Reliable Computing","volume":"11 1","pages":"291-312"},"PeriodicalIF":0.0,"publicationDate":"2005-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11155-005-6892-x","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"53075525","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A Constructive Criticism of the C/C++ Proposal for Complex Arithmetic 对C/ c++复杂算法建议的建设性批评
Reliable Computing Pub Date : 2005-08-01 DOI: 10.1007/s11155-005-6893-9
Franky Backeljauw, A. Cuyt
{"title":"A Constructive Criticism of the C/C++ Proposal for Complex Arithmetic","authors":"Franky Backeljauw, A. Cuyt","doi":"10.1007/s11155-005-6893-9","DOIUrl":"https://doi.org/10.1007/s11155-005-6893-9","url":null,"abstract":"","PeriodicalId":54499,"journal":{"name":"Reliable Computing","volume":"11 1","pages":"313-319"},"PeriodicalIF":0.0,"publicationDate":"2005-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11155-005-6893-9","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"53075560","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library 任意精度区间算法的动机和MPFI库
Reliable Computing Pub Date : 2005-08-01 DOI: 10.1007/s11155-005-6891-y
N. Revol, F. Rouillier
{"title":"Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library","authors":"N. Revol, F. Rouillier","doi":"10.1007/s11155-005-6891-y","DOIUrl":"https://doi.org/10.1007/s11155-005-6891-y","url":null,"abstract":"","PeriodicalId":54499,"journal":{"name":"Reliable Computing","volume":"11 1","pages":"275-290"},"PeriodicalIF":0.0,"publicationDate":"2005-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11155-005-6891-y","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"53075485","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 166
Enclosing Solutions of Singular Interval Systems Iteratively 奇异区间系统的迭代封闭解
Reliable Computing Pub Date : 2005-06-01 DOI: 10.1007/s11155-005-3614-3
G. Alefeld, G. Mayer
{"title":"Enclosing Solutions of Singular Interval Systems Iteratively","authors":"G. Alefeld, G. Mayer","doi":"10.1007/s11155-005-3614-3","DOIUrl":"https://doi.org/10.1007/s11155-005-3614-3","url":null,"abstract":"","PeriodicalId":54499,"journal":{"name":"Reliable Computing","volume":"11 1","pages":"165-190"},"PeriodicalIF":0.0,"publicationDate":"2005-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11155-005-3614-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"53075334","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Fast Inclusion of Interval Matrix Multiplication 区间矩阵乘法的快速包含
Reliable Computing Pub Date : 2005-06-01 DOI: 10.1007/s11155-005-3615-2
T. Ogita, S. Oishi
{"title":"Fast Inclusion of Interval Matrix Multiplication","authors":"T. Ogita, S. Oishi","doi":"10.1007/s11155-005-3615-2","DOIUrl":"https://doi.org/10.1007/s11155-005-3615-2","url":null,"abstract":"","PeriodicalId":54499,"journal":{"name":"Reliable Computing","volume":"11 1","pages":"191-205"},"PeriodicalIF":0.0,"publicationDate":"2005-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11155-005-3615-2","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"53075366","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Exact Bounds on Finite Populations of Interval Data 区间数据有限总体的精确界
Reliable Computing Pub Date : 2005-06-01 DOI: 10.1007/s11155-005-3616-1
S. Ferson, L. Ginzburg, V. Kreinovich, L. Longpré, M. Aviles
{"title":"Exact Bounds on Finite Populations of Interval Data","authors":"S. Ferson, L. Ginzburg, V. Kreinovich, L. Longpré, M. Aviles","doi":"10.1007/s11155-005-3616-1","DOIUrl":"https://doi.org/10.1007/s11155-005-3616-1","url":null,"abstract":"","PeriodicalId":54499,"journal":{"name":"Reliable Computing","volume":"53 1","pages":"207-233"},"PeriodicalIF":0.0,"publicationDate":"2005-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s11155-005-3616-1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"53075678","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 85
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信