Titlebook: Numerical Software Verification; 10th International W Alessandro Abate,Sylvie Boldo Conference proceedings 2017 Springer International Publ

Covenant

书目名称Numerical Software Verification影响因子(影响力)




书目名称Numerical Software Verification影响因子(影响力)学科排名




书目名称Numerical Software Verification网络公开度




书目名称Numerical Software Verification网络公开度学科排名




书目名称Numerical Software Verification被引频次




书目名称Numerical Software Verification被引频次学科排名




书目名称Numerical Software Verification年度引用




书目名称Numerical Software Verification年度引用学科排名




书目名称Numerical Software Verification读者反馈




书目名称Numerical Software Verification读者反馈学科排名

Adrenaline

水汽

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.

惊呼

担忧

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/n/image/669203.jpg

雇佣兵

https://doi.org/10.1007/978-3-319-63501-9hybrid systems; abstraction techniques; optimal control; parameter identification; numerical optimisatio

Interlocking

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.

证实

珠宝

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

干旱

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.