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網(wǎng)絡公開度




書目名稱Numerical Software Verification網(wǎng)絡公開度學科排名




書目名稱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.