The following pages link to Dao-Yun Xu (Q1040958):
Displaying 27 items.
- (Q364480) (redirect page) (← links)
- (Q1415947) (redirect page) (← links)
- Piecewise convex technique for the stability analysis of delayed neural network (Q364482) (← links)
- FC-normal and extended stratified logic program (Q865986) (← links)
- Stable analysis for neural networks: set-valued mapping method (Q902475) (← links)
- Strips minimization in two-dimensional cutting stock of circular items (Q1040959) (← links)
- Characterization of an auto-compatible default theory (Q1415949) (← links)
- The complexity of homomorphisms and renamings for minimal unsatisfiable formulas (Q1777396) (← links)
- Vector Wirtinger-type inequality and the stability analysis of delayed neural network (Q1933680) (← links)
- Wirtinger-type inequality and the stability analysis of delayed Lur'e system (Q2312291) (← links)
- Some Properties of Pigeon-Hole Formulas (Q2917147) (← links)
- Existence and stability analysis of optimal control (Q2935213) (← links)
- (Q3306920) (← links)
- (Q3381512) (← links)
- (Q3501399) (← links)
- NP-Completeness of (k-SAT,r-UNk-SAT) and (LSAT ≥ k ,r-UNLSAT ≥ k ) (Q3507322) (← links)
- On-Line Load Balancing with Task Buffer (Q4557346) (← links)
- (Q4675622) (← links)
- (Q4901121) (← links)
- (Q4902114) (← links)
- (Q5277409) (← links)
- (Q5313698) (← links)
- (Q5322638) (← links)
- Convergence of Warning Propagation Algorithms for Random Satisfiable Instances (Q5398585) (← links)
- The Existence of Unsatisfiable Formulas in k-LCNF for k ≥ 3 (Q5425474) (← links)
- (Q5435091) (← links)
- (Q5473177) (← links)
- (Q5490397) (← links)
