The following pages link to Hong-Bo Li (Q953574):
Displaying 50 items.
- (Q178189) (redirect page) (← links)
- A sampling-based stochastic winner determination model for truckload service procurement (Q264290) (← links)
- A genetic algorithm for the robust resource leveling problem (Q283265) (← links)
- Challenging theorem provers with Mathematical Olympiad problems in solid geometry (Q294381) (← links)
- Bipartite opinion forming: towards consensus over coopetition networks (Q341443) (← links)
- Robust control for Markovian jump delta operator systems with actuator saturation (Q397597) (← links)
- Optimal bandwidth scheduling of networked learning control system based on Nash theory and auction mechanism (Q473789) (← links)
- Delay-dependent fuzzy control of networked control systems and its application (Q474512) (← links)
- B-spline patches and transfinite interpolation method for PDE controlled simulation (Q488900) (← links)
- Fuzzy dynamic characteristic modeling and adaptive control of nonlinear systems and its application to hypersonic vehicles (Q543241) (← links)
- Geometric error control in the parabola-blending linear interpolator (Q741846) (← links)
- Spectral characterizations of the corona of a cycle and two isolated vertices (Q742626) (← links)
- The novel solutions of auxiliary equation and their application to the \((2 + 1)\)-dimensional Burgers equations (Q953576) (← links)
- Symbolic computation and non-travelling wave solutions of \((2 + 1)\)-dimensional nonlinear evolution equations (Q953577) (← links)
- Symbolic versor compression algorithm (Q979491) (← links)
- Some special types of solutions of a class of the \((N+1)\)-dimensional nonlinear wave equations (Q1004847) (← links)
- Formal integrability criteria for nonlinear partial difference equations (Q1037623) (← links)
- Complex brackets and balanced complex 1st-order difference polynomials in 4-dimensional Minkowski space (Q1042824) (← links)
- Simplification and normalization of indexed differentials involving coordinate transformation (Q1047857) (← links)
- Clifford algebraic reduction method for automated theorem proving in differential geometry (Q1272600) (← links)
- Ordering in automated theorem proving of differential geometry (Q1299842) (← links)
- Mechanical theorem proving in differential geometry: Local theory of surfaces (Q1368208) (← links)
- Ordering in mechanical geometry theorem proving (Q1368227) (← links)
- On unilaterally constrained motions of rigid bodies systems (Q1369449) (← links)
- Hyperbolic geometry with geometric algebra (Q1369768) (← links)
- Hyperbolic geometry with Clifford algebra (Q1370795) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. (Q1426143) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry. (Q1426144) (← links)
- Vectorial equations solving for mechanical geometry theorem proving (Q1582388) (← links)
- Robust proactive project scheduling model for the stochastic discrete time/cost trade-off problem (Q1723411) (← links)
- Automated theorem proving practice with null geometric algebra (Q1730305) (← links)
- Quantum algorithm design: techniques and applications (Q1730317) (← links)
- Power series solution for isoscallop tool path generation on free-form surface with ball-end cutter (Q1948678) (← links)
- Discrete interpolation of G01 codes in 2D machining under bounded accelerations (Q1948682) (← links)
- Closed form of inverse Plücker correspondence in line geometry (Q2010464) (← links)
- Multilinear spectral multipliers on Lie groups of polynomial growth (Q2050542) (← links)
- Multilinear and multiparameter spectral multipliers on homogeneous Besov and Triebel-Lizorkin spaces on Lie groups of polynomial growth (Q2075343) (← links)
- Affine spinor decomposition in three-dimensional affine geometry (Q2080974) (← links)
- Two proofs on max-min-max principle of jerk control in time-optimal rectilinear motion (Q2254067) (← links)
- Towards enhanced security for certificateless public-key authenticated encryption with keyword search (Q2283603) (← links)
- Neural-network-based sliding-mode control for multiple rigid-body attitude tracking with inertial information completely unknown (Q2293163) (← links)
- An efficient public-key searchable encryption scheme secure against inside keyword guessing attacks (Q2293188) (← links)
- Deforming black holes with even multipolar differential rotation boundary (Q2314973) (← links)
- Outsourced ciphertext-policy attribute-based encryption with equality test (Q2331978) (← links)
- Time optimal feedrate generation with confined tracking error based on linear programming (Q2341607) (← links)
- Elliptic equation's new solutions and their applications to two nonlinear partial differential equations (Q2371488) (← links)
- Fuzzy keyword search and access control over ciphertexts in cloud computing (Q2399962) (← links)
- Single and multi-solitary wave solutions to a class of nonlinear evolution equations (Q2427267) (← links)
- Exterior difference system on hypercubic lattice (Q2460091) (← links)
- Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving (Q2461488) (← links)
