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

Numerical Software with Result Verification最新文献

筛选
英文 中文
Novel Approaches to Numerical Software with Result Verification 具有结果验证的数值软件新方法
Numerical Software with Result Verification Pub Date : 2004-12-01 DOI: 10.1007/978-3-540-24738-8_17
Laurent Granvilliers, V. Kreinovich, N. Müller
{"title":"Novel Approaches to Numerical Software with Result Verification","authors":"Laurent Granvilliers, V. Kreinovich, N. Müller","doi":"10.1007/978-3-540-24738-8_17","DOIUrl":"https://doi.org/10.1007/978-3-540-24738-8_17","url":null,"abstract":"","PeriodicalId":352544,"journal":{"name":"Numerical Software with Result Verification","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127758953","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}
引用次数: 30
Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies 验证计算的库、工具和交互系统四个案例研究
Numerical Software with Result Verification Pub Date : 2004-12-01 DOI: 10.1007/978-3-540-24738-8_3
R. B. Kearfott, M. Neher, S. Oishi, F. Rico
{"title":"Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies","authors":"R. B. Kearfott, M. Neher, S. Oishi, F. Rico","doi":"10.1007/978-3-540-24738-8_3","DOIUrl":"https://doi.org/10.1007/978-3-540-24738-8_3","url":null,"abstract":"","PeriodicalId":352544,"journal":{"name":"Numerical Software with Result Verification","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127083425","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
Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability 保证数值计算作为计算机代数测试模型可辨识性的替代方法
Numerical Software with Result Verification Pub Date : 2003-01-19 DOI: 10.1007/978-3-540-24738-8_7
E. Walter, I. Braems, L. Jaulin, M. Kieffer
{"title":"Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability","authors":"E. Walter, I. Braems, L. Jaulin, M. Kieffer","doi":"10.1007/978-3-540-24738-8_7","DOIUrl":"https://doi.org/10.1007/978-3-540-24738-8_7","url":null,"abstract":"","PeriodicalId":352544,"journal":{"name":"Numerical Software with Result Verification","volume":"389 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116645104","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}
引用次数: 23
Nonlinear Parameter and State Estimation for Cooperative Systems in a Bounded-Error Context 有界误差下合作系统的非线性参数和状态估计
Numerical Software with Result Verification Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-24738-8_6
M. Kieffer, E. Walter
{"title":"Nonlinear Parameter and State Estimation for Cooperative Systems in a Bounded-Error Context","authors":"M. Kieffer, E. Walter","doi":"10.1007/978-3-540-24738-8_6","DOIUrl":"https://doi.org/10.1007/978-3-540-24738-8_6","url":null,"abstract":"","PeriodicalId":352544,"journal":{"name":"Numerical Software with Result Verification","volume":"182 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124571224","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}
引用次数: 6
C-XSC 2.0: A C++ Library for Extended Scientific Computing C- xsc 2.0:扩展科学计算的c++库
Numerical Software with Result Verification Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-24738-8_2
Werner Hofschuster, W. Krämer
{"title":"C-XSC 2.0: A C++ Library for Extended Scientific Computing","authors":"Werner Hofschuster, W. Krämer","doi":"10.1007/978-3-540-24738-8_2","DOIUrl":"https://doi.org/10.1007/978-3-540-24738-8_2","url":null,"abstract":"","PeriodicalId":352544,"journal":{"name":"Numerical Software with Result Verification","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130190845","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}
引用次数: 108
An Application of Wavelet Theory to Early Breast Cancer 小波理论在早期乳腺癌中的应用
Numerical Software with Result Verification Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-24738-8_15
B. Oussena, A. Henni, R. Alt
{"title":"An Application of Wavelet Theory to Early Breast Cancer","authors":"B. Oussena, A. Henni, R. Alt","doi":"10.1007/978-3-540-24738-8_15","DOIUrl":"https://doi.org/10.1007/978-3-540-24738-8_15","url":null,"abstract":"","PeriodicalId":352544,"journal":{"name":"Numerical Software with Result Verification","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131383932","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
Multiple Precision Interval Packages: Comparing Different Approaches 多个精度区间包:比较不同的方法
Numerical Software with Result Verification Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-24738-8_4
M. Grimmer, K. Petras, N. Revol
{"title":"Multiple Precision Interval Packages: Comparing Different Approaches","authors":"M. Grimmer, K. Petras, N. Revol","doi":"10.1007/978-3-540-24738-8_4","DOIUrl":"https://doi.org/10.1007/978-3-540-24738-8_4","url":null,"abstract":"","PeriodicalId":352544,"journal":{"name":"Numerical Software with Result Verification","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125882797","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}
引用次数: 34
Reliable Distance and Intersection Computation Using Finite Precision Geometry 利用有限精度几何计算可靠距离和交点
Numerical Software with Result Verification Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-24738-8_9
K. Bühler, E. Dyllong, W. Luther
{"title":"Reliable Distance and Intersection Computation Using Finite Precision Geometry","authors":"K. Bühler, E. Dyllong, W. Luther","doi":"10.1007/978-3-540-24738-8_9","DOIUrl":"https://doi.org/10.1007/978-3-540-24738-8_9","url":null,"abstract":"","PeriodicalId":352544,"journal":{"name":"Numerical Software with Result Verification","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116990383","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}
引用次数: 18
OOP and Interval Arithmetic - Language Support and Libraries 面向对象和区间算术-语言支持和库
Numerical Software with Result Verification Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-24738-8_1
J. W. V. Gudenberg
{"title":"OOP and Interval Arithmetic - Language Support and Libraries","authors":"J. W. V. Gudenberg","doi":"10.1007/978-3-540-24738-8_1","DOIUrl":"https://doi.org/10.1007/978-3-540-24738-8_1","url":null,"abstract":"","PeriodicalId":352544,"journal":{"name":"Numerical Software with Result Verification","volume":"25 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115996253","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
Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication 电信交换系统性能的验证数值分析
Numerical Software with Result Verification Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-24738-8_12
Daniela Fausten, G. Haßlinger
{"title":"Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication","authors":"Daniela Fausten, G. Haßlinger","doi":"10.1007/978-3-540-24738-8_12","DOIUrl":"https://doi.org/10.1007/978-3-540-24738-8_12","url":null,"abstract":"","PeriodicalId":352544,"journal":{"name":"Numerical Software with Result Verification","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125127712","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}
引用次数: 3
下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信