The following pages link to Guo-hui Wang (Q1956042):
Displaying 21 items.
- (Q258538) (redirect page) (← links)
- Energy-aware assignment and scheduling for hybrid main memory in embedded systems (Q258542) (← links)
- Formalization of camera pose estimation algorithm based on Rodrigues formula (Q826358) (← links)
- Permanence, stability, and coexistence of a diffusive predator-prey model with modified Leslie-Gower and B-D functional response (Q1715563) (← links)
- Positive solutions for three-point boundary value problem of fractional differential equation with \(p\)-Laplacian operator (Q1956044) (← links)
- Formalization of Euler-Lagrange equation set based on variational calculus in HOL light (Q2031406) (← links)
- Formal verification of atomicity requirements for smart contracts (Q2038066) (← links)
- New constructions of optimal subsystem codes (Q2091365) (← links)
- Some constructions of optimal subsystem codes derived from GRS codes (Q2101560) (← links)
- Some entanglement-assisted quantum MDS codes with large minimum distance (Q2101590) (← links)
- Application of GRS codes to some entanglement-assisted quantum MDS codes (Q2107025) (← links)
- Reasoning about iteration and recursion uniformly based on big-step semantics (Q2154025) (← links)
- A new Oren-Nayar shape-from-shading approach for 3D reconstruction using high-order Godunov-based scheme (Q2283873) (← links)
- Formalization of functional variation in HOL Light (Q2423767) (← links)
- Some new constructions of optimal asymmetric quantum codes (Q2686248) (← links)
- (Q2984705) (← links)
- (Q3461318) (← links)
- (Q3462830) (← links)
- A Block-Level Log-Block Management Scheme for MLC NAND Flash Memory Storage Systems (Q4567190) (← links)
- (Q5196784) (← links)
- Formalization of the inverse kinematics of three-fingered dexterous hand (Q6156933) (← links)
