The following pages link to Yu-Ting Wang (Q660963):
Displaying 21 items.
- Memetic algorithm based on improved inver-over operator and Lin-Kernighan local search for the Euclidean traveling salesman problem (Q660966) (← links)
- (Q832304) (redirect page) (← links)
- Automatic generation and validation of instruction encoders and decoders (Q832306) (← links)
- Interactive model-based search for global optimization (Q2018506) (← links)
- Credit offering strategy and dynamic pricing in the presence of consumer strategic behavior (Q2158032) (← links)
- A second-order virtual node algorithm for nearly incompressible linear elasticity in irregular domains (Q2446747) (← links)
- Perfect codes in vertex-transitive graphs (Q2689009) (← links)
- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs (Q2802499) (← links)
- Inhomogeneous vacuum energy (Q2902305) (← links)
- A HYBRID HARMONY SEARCH ALGORITHM FOR THE NO-WAIT FLOW-SHOP SCHEDULING PROBLEMS (Q2911576) (← links)
- HIERARCHY IN HOŘAVA-LIKE GRAVITY (Q2919046) (← links)
- DIMENSION EMERGENCE, HOLOGRAPHY AND QUANTUM GRAVITY (Q2919132) (← links)
- (Q3175304) (← links)
- (Q3306734) (← links)
- Abella: A System for Reasoning about Relational Specifications (Q5195258) (← links)
- A high-order Lie groups scheme for solving the recovery of external force in nonlinear system (Q5240411) (← links)
- A Proof-theoretic Characterization of Independence in Type Theory (Q5277849) (← links)
- (Q5368472) (← links)
- Intelligent optimization under the makespan constraint: rapid evaluation mechanisms based on the critical machine for the distributed flowshop group scheduling problem (Q6096611) (← links)
- (Q6203710) (← links)
- Holomorphic curves into projective spaces with some special hypersurfaces (Q6553529) (← links)
