共 50 条
- [31] Statistical Abstraction for Multi-scale Spatio-Temporal Systems QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2017), 2017, 10503 : 243 - 258
- [32] Strategies in Spatio-Temporal Logics for Multi-agent Systems LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: REOCAS COLLOQUIUM IN HONOR OF ROCCO DE NICOLA, PT I, ISOLA 2024, 2025, 15219 : 287 - 305
- [33] Hybrid quantum-classical simulations of magic angle spinning dynamic nuclear polarization in very large spin systems JOURNAL OF CHEMICAL PHYSICS, 2022, 156 (12):
- [36] Dynamics of quantum-classical hybrid systems: Effect of matter-wave pressure PHYSICAL REVIEW A, 2010, 82 (06):
- [38] Spatio-temporal granular logic and its applications to dynamic information systems 2005 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, VOLS 1 AND 2, 2005, : 203 - 208
- [40] Dynamic Spatio-Temporal Multi-Scale Representation for Bus Ridership Prediction 2023 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, IJCNN, 2023,