Login / Signup
Li-An Yang
Publication Activity (10 Years)
Years Active: 2007-2016
Publications (10 Years): 2
Top Topics
Constrained Optimization Problems
Multi Objective Optimization
Evolutionary Algorithm
Simulated Annealing
Top Venues
CoRR
CEC
</>
Publications
</>
Li-An Yang
,
Jui-Pin Liu
,
Chao-Hong Chen
,
Ying-Ping Chen
Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants.
CoRR
(2016)
Li-An Yang
,
Jui-Pin Liu
,
Chao-Hong Chen
,
Ying-Ping Chen
Automatically proving mathematical theorems with evolutionary algorithms and proof assistants.
CEC
(2016)
Yung-Hsiang Cheng
,
Li-An Yang
A Fuzzy Petri Nets approach for railway traffic control in case of abnormality: Evidence from Taiwan railway system.
Expert Syst. Appl.
36 (4) (2009)
Jiayi Zhou
,
Kun-Ming Yu
,
Chih-Hsun Chou
,
Li-An Yang
,
Zhi-Jie Luo
A Dynamic Resource Broker and Fuzzy Logic Based Scheduling Algorithm in Grid Environment.
ICANNGA (1)
(2007)