The following pages link to Hang Cheng (Q1383756):
Displaying 6 items.
- A software tool for automatically verified operations on intervals and probability distributions (Q1383757) (← links)
- Global weak solutions to the 1D phase-field model with inhomogeneous elasticity (Q2109834) (← links)
- Lattice-based proxy-oriented identity-based encryption with keyword search for cloud storage (Q2215031) (← links)
- (Q2994290) (← links)
- (Q3180254) (← links)
- (Q5276638) (← links)
