Abstraction-Based Genetic Programming (ABGP) is a novel Genetic Programming (GP) system in which the set of all possible genotypes is partitioned by the proofs to which each program is linked via the Curry- Howard isomorphism. In the context of ABGP, proofs are related to computer programs in the same way as species are related to organisms in the biological world. They can be seen as patterns into which alleles of genes may be plugged in. In this analogy, genes are types and an allele of a gene is a closed typed computational block that may be combined with other blocks to form an organism. The type of an allele is the gene to which it corresponds.
"Sinopsis" puede pertenecer a otra edición de este libro.
Franck Binard lives in Ottawa, Canada. His many research interests include evolutionary computation, machine learning, financial computing and emergence. He obtained his doctorate in Computer Science from the University of Ottawa in 2009. His thesis advisor was Amy Felty.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: moluna, Greven, Alemania
Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Binard FranckFranck Binard lives in Ottawa, Canada. His many research interests include evolutionary computation, machine learning, financial computing and emergence. He obtained his doctorate in Computer Science from the Universi. Nº de ref. del artículo: 4965711
Cantidad disponible: Más de 20 disponibles
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Abstraction-Based Genetic Programming (ABGP) is a novel Genetic Programming (GP) system in which the set of all possible genotypes is partitioned by the proofs to which each program is linked via the Curry- Howard isomorphism. In the context of ABGP, proofs are related to computer programs in the same way as species are related to organisms in the biological world. They can be seen as patterns into which alleles of genes may be plugged in. In this analogy, genes are types and an allele of a gene is a closed typed computational block that may be combined with other blocks to form an organism. The type of an allele is the gene to which it corresponds. Nº de ref. del artículo: 9783639191738
Cantidad disponible: 2 disponibles
Librería: preigu, Osnabrück, Alemania
Taschenbuch. Condición: Neu. Abstraction-Based Genetic Programming | An Application of the polymorphically-typed lambda calculus to genetic programming | Franck Binard | Taschenbuch | Englisch | VDM Verlag Dr. Müller | EAN 9783639191738 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. Nº de ref. del artículo: 101475141
Cantidad disponible: 5 disponibles
Librería: Revaluation Books, Exeter, Reino Unido
Paperback. Condición: Brand New. 184 pages. 8.66x5.91x0.42 inches. In Stock. Nº de ref. del artículo: __3639191730
Cantidad disponible: 1 disponibles