共 50 条
- [23] Development of optimal models of porous media by combining static and dynamic data: The porosity distribution [J]. PHYSICAL REVIEW E, 2006, 74 (02):
- [26] Coupling Statistical and Agent-Based Models in the Optimization of Traffic Signal Control [J]. INDUSTRIAL NETWORKS AND INTELLIGENT SYSTEMS, INISCOM 2017, 2018, 221 : 197 - 211
- [27] Parameter estimation new algorithms in static simulation models for urban traffic organization and optimization [J]. Chang'an Daxue Xuebao (Ziran Kexue Ban)/Journal of Chang'an University (Natural Science Edition), 2007, 27 (05): : 84 - 88
- [28] Combining static and dynamic reasoning for bug detection [J]. TESTS AND PROOFS, 2007, 4454 : 1 - +
- [29] Combining Static and Dynamic Contract Checking for Curry [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2017), 2018, 10855 : 323 - 340
- [30] Combining Static and Dynamic Contract Checking for Curry [J]. FUNDAMENTA INFORMATICAE, 2020, 173 (04) : 285 - 314