共 50 条
- [42] Regular representation of the first- and second-order gradients of the geopotential SPACE FLIGHT MECHANICS 2007, VOL 127, PTS 1 AND 2, 2007, 127 : 621 - 640
- [43] CSP representation of game semantics for second-order idealized Algol FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 146 - 161
- [45] Second-Order Shape Optimization for Geometric Inverse Problems in Vision 2014 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR), 2014, : 3850 - 3857
- [46] Efficient Second-Order Shape-Constrained Function Fitting ALGORITHMS AND DATA STRUCTURES, WADS 2019, 2019, 11646 : 395 - 408
- [47] Shape Analysis via Second-Order Bi-Abduction COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 52 - 68