The following pages link to Jian-hua Zhao (Q280413):
Displaying 28 items.
- A note on variational Bayesian factor analysis (Q280415) (← links)
- (Q479818) (redirect page) (← links)
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata (Q479819) (← links)
- A quadratic-time DBM-based successor algorithm for checking timed automata (Q1044715) (← links)
- Checking timed automata for linear duration properties (Q1587334) (← links)
- Automated learning of factor analysis with complete and incomplete data (Q1623405) (← links)
- Case deletion diagnostics for GMM estimation (Q1659492) (← links)
- Mixture model selection via hierarchical BIC (Q1663289) (← links)
- Positive loop-closed automata: A decidable class of hybrid systems (Q1858439) (← links)
- Duration-constrained regular expressions (Q1882795) (← links)
- Separable linear discriminant analysis (Q1927211) (← links)
- Remove irrelevant atomic formulas for timed automaton model checking (Q2508377) (← links)
- (Q2951460) (← links)
- (Q3132070) (← links)
- Separable Two-Dimensional Linear Discriminant Analysis (Q3298521) (← links)
- (Q3572171) (← links)
- (Q3614335) (← links)
- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming (Q3656877) (← links)
- (Q4435846) (← links)
- (Q4624672) (← links)
- (Q4787254) (← links)
- (Q4894076) (← links)
- (Q5098993) (← links)
- Stepwise local influence in generalized autoregressive conditional heteroskedasticity models (Q5130157) (← links)
- Partial Order Path Technique for Checking Parallel Timed Automata (Q5392301) (← links)
- (Q5483614) (← links)
- (Q5697135) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717500) (← links)
