Covenant
发表于 2025-3-21 18:18:06
书目名称Numerical Software Verification影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0669203<br><br> <br><br>书目名称Numerical Software Verification影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0669203<br><br> <br><br>书目名称Numerical Software Verification网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0669203<br><br> <br><br>书目名称Numerical Software Verification网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0669203<br><br> <br><br>书目名称Numerical Software Verification被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0669203<br><br> <br><br>书目名称Numerical Software Verification被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0669203<br><br> <br><br>书目名称Numerical Software Verification年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0669203<br><br> <br><br>书目名称Numerical Software Verification年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0669203<br><br> <br><br>书目名称Numerical Software Verification读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0669203<br><br> <br><br>书目名称Numerical Software Verification读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0669203<br><br> <br><br>
Adrenaline
发表于 2025-3-22 00:08:02
http://reply.papertrans.cn/67/6693/669203/669203_2.png
水汽
发表于 2025-3-22 02:37:20
Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64 Floating-Point NumbersWe present a full . formalisation of the correctness of some comparison algorithms between binary64 and decimal64 floating-point numbers, using computation intensive proofs and a continued fractions library built for this formalisation.
惊呼
发表于 2025-3-22 07:46:28
http://reply.papertrans.cn/67/6693/669203/669203_4.png
担忧
发表于 2025-3-22 11:53:56
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/n/image/669203.jpg
雇佣兵
发表于 2025-3-22 14:24:33
https://doi.org/10.1007/978-3-319-63501-9hybrid systems; abstraction techniques; optimal control; parameter identification; numerical optimisatio
Interlocking
发表于 2025-3-22 17:11:40
A Study of Model-Order Reduction Techniques for Verification based on the proper orthogonal decomposition technique for finding reduced order models. We find that reduced order models are particularly effective and precise whenever a suitable reduced order model can be found in the first place. We attempt to characterize these models and provide future directions for reduced order modeling.
证实
发表于 2025-3-22 22:24:00
http://reply.papertrans.cn/67/6693/669203/669203_8.png
珠宝
发表于 2025-3-23 02:35:28
Conference proceedings 2017uly 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully review
干旱
发表于 2025-3-23 09:16:27
Introduction to the IEEE 1788-2015 Standard for Interval Arithmeticture into levels, from the mathematic model to the implementation on computers; the possibility to accommodate different mathematical models, called flavors; the decoration system that keeps track of relevant events during the course of a calculation; the exact dot product for point (as opposed to interval) vectors.