The following pages link to Jiaqi Zhu (Q351981):
Displayed 10 items.
- A new model for model checking: cycle-weighted Kripke structure (Q351985) (← links)
- Integrated production and multiple trips vehicle routing with time windows and uncertain travel times (Q1634047) (← links)
- Fourier method for reconstructing elastic body force from the coupled-wave field (Q2077304) (← links)
- Multiple-relaxation-time lattice Boltzmann model for anisotropic liquid-solid phase change (Q2171170) (← links)
- Time-consistent non-zero-sum stochastic differential reinsurance and investment game under default and volatility risks (Q2306384) (← links)
- Some decidable results on reachability of solvable systems (Q2871582) (← links)
- Bounded model-checking of discrete duration calculus (Q2986927) (← links)
- NFC Antenna With Nonuniform Meandering Line and Partial Coverage Ferrite Sheet for Metal Cover Smartphone Applications (Q4572406) (← links)
- Improved Exponential Time Lower Bound of Knapsack Problem Under BT Model (Q5425476) (← links)
- High-order analysis of lattice Boltzmann models for the conservative Allen-Cahn equation (Q6052319) (← links)