The following pages link to Heng-Jun Zhao (Q781115):
Displaying 26 items.
- (Q442954) (redirect page) (← links)
- Logarithmically improved blow up criterion for smooth solutions to the 3D micropolar fluid equations (Q442955) (← links)
- The block principal pivoting algorithm for the linear complementarity problem with an \(M\)-matrix (Q781116) (← links)
- China's energy consumption forecasting by GMDH based auto-regressive model (Q1621112) (← links)
- Global existence and decay estimate of classical solutions to the compressible viscoelastic flows with self-gravitating (Q1691289) (← links)
- Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems (Q1949085) (← links)
- The reduced order method for solving the linear complementarity problem with an \(M\)-matrix (Q2172919) (← links)
- Global existence and asymptotic behavior of solutions to the generalized damped Boussinesq equation (Q2248426) (← links)
- Decay estimate of solutions for a semi-linear wave equation (Q2263544) (← links)
- Discovering non-terminating inputs for multi-path polynomial programs (Q2341594) (← links)
- Pointwise estimates of global small solutions to the generalized double dispersion equation (Q2374250) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- (Q3005304) (← links)
- A remark on the Navier-Stokes equations with the Coriolis force (Q3134044) (← links)
- A LOGARITHMALLY IMPROVED BLOW-UP CRITERION OF SMOOTH SOLUTIONS FOR THE THREE-DIMENSIONAL MHD EQUATIONS (Q3225347) (← links)
- Formal Verification of Simulink/Stateflow Diagrams (Q4600381) (← links)
- A composite iterative algorithm for accretive and nonexpansive operators (Q4631207) (← links)
- Weak convergence of an iterative algorithm for accretive operators (Q4632557) (← links)
- A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example (Q4647861) (← links)
- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants (Q4913868) (← links)
- IMAGE FUSION METHOD BASED ON MULTI-DIRECTIONAL SUPPORT VALUE TRANSFORM (Q4917268) (← links)
- Synthesizing barrier certificates using neural networks (Q5146391) (← links)
- (Q5452652) (← links)
- Learning safe neural network controllers with barrier certificates (Q5918375) (← links)
- Learning safe neural network controllers with barrier certificates (Q5918787) (← links)
