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

Numerical Validation in Current Hardware Architectures最新文献

筛选
英文 中文
Some Applications of Interval Arithmetic in Hierarchical Solid Modeling 区间算法在层次实体建模中的一些应用
Numerical Validation in Current Hardware Architectures Pub Date : 2009-04-29 DOI: 10.1007/978-3-642-01591-5_8
E. Dyllong
{"title":"Some Applications of Interval Arithmetic in Hierarchical Solid Modeling","authors":"E. Dyllong","doi":"10.1007/978-3-642-01591-5_8","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_8","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127260847","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
A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC 关于使用C-XSC解决SIAM 100位挑战问题7的说明
Numerical Validation in Current Hardware Architectures Pub Date : 2009-04-29 DOI: 10.1007/978-3-642-01591-5_16
M. Kolberg, W. Krämer, M. Zimmer
{"title":"A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC","authors":"M. Kolberg, W. Krämer, M. Zimmer","doi":"10.1007/978-3-642-01591-5_16","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_16","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126124146","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
Robustness of Boolean Operations on Subdivision-Surface Models 细分曲面模型上布尔运算的鲁棒性
Numerical Validation in Current Hardware Architectures Pub Date : 2009-04-29 DOI: 10.1007/978-3-642-01591-5_10
D. Jiang, N. F. Stewart
{"title":"Robustness of Boolean Operations on Subdivision-Surface Models","authors":"D. Jiang, N. F. Stewart","doi":"10.1007/978-3-642-01591-5_10","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_10","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134241206","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
Continued Fractions for Special Functions: Handbook and Software 特殊函数的连分式:手册与软件
Numerical Validation in Current Hardware Architectures Pub Date : 2009-04-29 DOI: 10.1007/978-3-642-01591-5_3
A. Cuyt, Franky Backeljauw, S. Becuwe, M. Colman, Tom Docx, J. Deun
{"title":"Continued Fractions for Special Functions: Handbook and Software","authors":"A. Cuyt, Franky Backeljauw, S. Becuwe, M. Colman, Tom Docx, J. Deun","doi":"10.1007/978-3-642-01591-5_3","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_3","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134576217","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
Numerical Verification Assessment in Computational Biomechanics 计算生物力学中的数值验证评估
Numerical Validation in Current Hardware Architectures Pub Date : 2009-04-29 DOI: 10.1007/978-3-642-01591-5_9
E. Auer, W. Luther
{"title":"Numerical Verification Assessment in Computational Biomechanics","authors":"E. Auer, W. Luther","doi":"10.1007/978-3-642-01591-5_9","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_9","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"121 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131312441","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}
引用次数: 15
Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering 面向控制工程系统计算机辅助设计与验证的区间算法验证环境的开发
Numerical Validation in Current Hardware Architectures Pub Date : 2009-04-29 DOI: 10.1007/978-3-642-01591-5_11
A. Rauh, J. Minisini, E. Hofer
{"title":"Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering","authors":"A. Rauh, J. Minisini, E. Hofer","doi":"10.1007/978-3-642-01591-5_11","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_11","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121225201","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}
引用次数: 10
Mathematica Connectivity to Interval Libraries filib++ and C-XSC Mathematica连接到间隔库filb++和C-XSC
Numerical Validation in Current Hardware Architectures Pub Date : 2009-04-29 DOI: 10.1007/978-3-642-01591-5_7
E. Popova
{"title":"Mathematica Connectivity to Interval Libraries filib++ and C-XSC","authors":"E. Popova","doi":"10.1007/978-3-642-01591-5_7","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_7","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122582213","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}
引用次数: 9
Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021 关于区间算术标准的讨论，Dagstuhl研讨会08021
Numerical Validation in Current Hardware Architectures Pub Date : 2009-04-29 DOI: 10.1007/978-3-642-01591-5_1
R. B. Kearfott, J. Pryce, N. Revol
{"title":"Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021","authors":"R. B. Kearfott, J. Pryce, N. Revol","doi":"10.1007/978-3-642-01591-5_1","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_1","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130764991","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
Complete Interval Arithmetic and Its Implementation on the Computer 完全区间算法及其在计算机上的实现
Numerical Validation in Current Hardware Architectures Pub Date : 2009-04-29 DOI: 10.1007/978-3-642-01591-5_2
U. Kulisch
{"title":"Complete Interval Arithmetic and Its Implementation on the Computer","authors":"U. Kulisch","doi":"10.1007/978-3-642-01591-5_2","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_2","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114777863","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}
引用次数: 29
Error-Free Transformation in Rounding Mode toward Zero 向零舍入模式的无误差变换
Numerical Validation in Current Hardware Architectures Pub Date : 2009-04-29 DOI: 10.1007/978-3-642-01591-5_14
S. Graillat, J. Lamotte, Diep Nguyen Hong
{"title":"Error-Free Transformation in Rounding Mode toward Zero","authors":"S. Graillat, J. Lamotte, Diep Nguyen Hong","doi":"10.1007/978-3-642-01591-5_14","DOIUrl":"https://doi.org/10.1007/978-3-642-01591-5_14","url":null,"abstract":"","PeriodicalId":413962,"journal":{"name":"Numerical Validation in Current Hardware Architectures","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116879240","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
下一页 尾页
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学术官方微信