The following pages link to Son Lam Ho (Q684212):
Displaying 9 items.
- (Q185479) (redirect page) (← links)
- (Q1799126) (redirect page) (← links)
- A study of the connectionist models for software reliability prediction (Q597356) (← links)
- Deformations of fundamental group representations and earthquakes on \(SO(n,1)\) surface groups (Q684213) (← links)
- Proof-producing synthesis of CakeML with I/O and local state from monadic HOL functions (Q1799129) (← links)
- Proof-producing synthesis of CakeML from monadic HOL functions (Q2208292) (← links)
- The Gauss-Bonnet theorem and the geometry of surfaces (Q2418613) (← links)
- A novel model-following scheme with simple structure for electrical position servo systems (Q4546773) (← links)
- A common Tabu search algorithm for the global optimization of engineering problems (Q5935753) (← links)
- Wavelet-Galerkin method for solving parabolic equations in finite domains (Q5958628) (← links)
