Sledovat
Chao-Hong Chen
Chao-Hong Chen
E-mailová adresa ověřena na: indiana.edu - Domovská stránka
Název
Citace
Citace
Rok
Enabling the extended compact genetic algorithm for real-parameter optimization by using adaptive discretization
Y Chen, CH Chen
Evolutionary Computation 18 (2), 199-228, 2010
262010
Adaptive discretization for probabilistic model building genetic algorithms
CH Chen, WN Liu, YP Chen
Proceedings of the 8th annual conference on Genetic and evolutionary …, 2006
222006
Real-coded ECGA for economic dispatch
CH Chen, Y Chen
Proceedings of the 9th annual conference on Genetic and evolutionary …, 2007
182007
Convergence time analysis of particle swarm optimization based on particle interaction
CH Chen, Y Chen
Advances in Artificial Intelligence 2011, 2011
132011
From Reversible Programs to Univalent Universes and Back
J Carette, CH Chen, V Choudhury, A Sabry
Electronic Notes in Theoretical Computer Science 336, 5–25, 2018
112018
A computational interpretation of compact closed categories: Reversible programming with negative and fractional types
CH Chen, A Sabry
Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021
102021
Automatically proving mathematical theorems with evolutionary algorithms and proof assistants
LA Yang, JP Liu, CH Chen, Y Chen
2016 IEEE Congress on Evolutionary Computation (CEC), 4421-4428, 2016
102016
Fractional Types: Expressive and Safe Space Management for Ancilla Bits
CH Chen, V Choudhury, J Carette, A Sabry
Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway …, 2020
62020
Quality analysis of discretization methods for estimation of distribution algorithms
CH Chen, Y Chen
IEICE TRANSACTIONS on Information and Systems 97 (5), 1312-1323, 2014
62014
Adaptive lock-free data structures in haskell: a general method for concurrent implementation swapping
CH Chen, V Choudhury, RR Newton
ACM SIGPLAN Notices 52 (10), 197-211, 2017
42017
Genetic algorithms as shrinkers in property-based testing
FY Lo, CH Chen, Y Chen
Proceedings of the Genetic and Evolutionary Computation Conference Companion …, 2019
22019
Shrinking counterexamples in property-based testing with genetic algorithms
FY Lo, CH Chen, YP Chen
2020 IEEE Congress on Evolutionary Computation (CEC), 1-8, 2020
12020
Algebraic Information Effects
CH Chen
Indiana University, 2021
2021
Fractional Types
J Carette, CH Chen, V Choudhury, A Sabry
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–14