共 50 条
- [22] Hyperproperties of Real-Valued Signals [J]. MEMOCODE 2017: PROCEEDINGS OF THE 15TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, 2017, : 105 - 114
- [24] On real-valued oscillations of a bipendulum [J]. APPLIED MATHEMATICS LETTERS, 2015, 46 : 44 - 49
- [28] Itemsets for Real-valued Datasets [J]. 2013 IEEE 13TH INTERNATIONAL CONFERENCE ON DATA MINING (ICDM), 2013, : 717 - 726
- [30] ITERATES OF A REAL-VALUED FUNCTION [J]. AMERICAN MATHEMATICAL MONTHLY, 1962, 69 (03): : 250 - &