Automatically proving mathematical theorems with evolutionary algorithms and proof assistants.
Proceedings of the IEEE Congress on Evolutionary Computation, 2016
A Fuzzy Petri Nets approach for railway traffic control in case of abnormality: Evidence from Taiwan railway system.
Expert Syst. Appl., 2009
A Dynamic Resource Broker and Fuzzy Logic Based Scheduling Algorithm in Grid Environment.
Proceedings of the Adaptive and Natural Computing Algorithms, 8th International Conference, 2007