Matches in SemOpenAlex for { <https://semopenalex.org/work/W1490757534> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1490757534 abstract "In this article we present the implementation and formal verification, using the Coq system, of a generalized version of the crossover operator applied to genetic algorithms (GA). The first part of this work defines the multiple crossover of two lists in any finite number of points, generalizing a previous definition by Uchibori. In the second part, we show that the definition does not depend on the order of the list of points. Then, a more efficient definition of the crossover operation is provided, and formally proved to be equivalent to the previous one, exploiting the notion of difference list." @default.
- W1490757534 created "2016-06-24" @default.
- W1490757534 creator A5004833459 @default.
- W1490757534 creator A5006892586 @default.
- W1490757534 creator A5036317121 @default.
- W1490757534 creator A5044876894 @default.
- W1490757534 creator A5066461040 @default.
- W1490757534 date "2008-12-01" @default.
- W1490757534 modified "2023-09-27" @default.
- W1490757534 title "Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator" @default.
- W1490757534 cites W131776992 @default.
- W1490757534 cites W1497256448 @default.
- W1490757534 cites W1539490460 @default.
- W1490757534 cites W1560253649 @default.
- W1490757534 cites W1584232257 @default.
- W1490757534 cites W1949275316 @default.
- W1490757534 cites W1986402635 @default.
- W1490757534 cites W2096590200 @default.
- W1490757534 cites W90583330 @default.
- W1490757534 hasPublicationYear "2008" @default.
- W1490757534 type Work @default.
- W1490757534 sameAs 1490757534 @default.
- W1490757534 citedByCount "1" @default.
- W1490757534 crossrefType "journal-article" @default.
- W1490757534 hasAuthorship W1490757534A5004833459 @default.
- W1490757534 hasAuthorship W1490757534A5006892586 @default.
- W1490757534 hasAuthorship W1490757534A5036317121 @default.
- W1490757534 hasAuthorship W1490757534A5044876894 @default.
- W1490757534 hasAuthorship W1490757534A5066461040 @default.
- W1490757534 hasConcept C104317684 @default.
- W1490757534 hasConcept C11413529 @default.
- W1490757534 hasConcept C122507166 @default.
- W1490757534 hasConcept C134306372 @default.
- W1490757534 hasConcept C154945302 @default.
- W1490757534 hasConcept C158448853 @default.
- W1490757534 hasConcept C17020691 @default.
- W1490757534 hasConcept C177148314 @default.
- W1490757534 hasConcept C199360897 @default.
- W1490757534 hasConcept C33923547 @default.
- W1490757534 hasConcept C41008148 @default.
- W1490757534 hasConcept C54355233 @default.
- W1490757534 hasConcept C80444323 @default.
- W1490757534 hasConcept C86339819 @default.
- W1490757534 hasConcept C86803240 @default.
- W1490757534 hasConceptScore W1490757534C104317684 @default.
- W1490757534 hasConceptScore W1490757534C11413529 @default.
- W1490757534 hasConceptScore W1490757534C122507166 @default.
- W1490757534 hasConceptScore W1490757534C134306372 @default.
- W1490757534 hasConceptScore W1490757534C154945302 @default.
- W1490757534 hasConceptScore W1490757534C158448853 @default.
- W1490757534 hasConceptScore W1490757534C17020691 @default.
- W1490757534 hasConceptScore W1490757534C177148314 @default.
- W1490757534 hasConceptScore W1490757534C199360897 @default.
- W1490757534 hasConceptScore W1490757534C33923547 @default.
- W1490757534 hasConceptScore W1490757534C41008148 @default.
- W1490757534 hasConceptScore W1490757534C54355233 @default.
- W1490757534 hasConceptScore W1490757534C80444323 @default.
- W1490757534 hasConceptScore W1490757534C86339819 @default.
- W1490757534 hasConceptScore W1490757534C86803240 @default.
- W1490757534 hasLocation W14907575341 @default.
- W1490757534 hasOpenAccess W1490757534 @default.
- W1490757534 hasPrimaryLocation W14907575341 @default.
- W1490757534 hasRelatedWork W1568364087 @default.
- W1490757534 hasRelatedWork W2112962394 @default.
- W1490757534 hasRelatedWork W2118300983 @default.
- W1490757534 hasRelatedWork W2369738212 @default.
- W1490757534 hasRelatedWork W2371108399 @default.
- W1490757534 hasRelatedWork W2979917306 @default.
- W1490757534 hasRelatedWork W3137189469 @default.
- W1490757534 hasRelatedWork W4235530921 @default.
- W1490757534 hasRelatedWork W4243252198 @default.
- W1490757534 hasRelatedWork W2525152177 @default.
- W1490757534 isParatext "false" @default.
- W1490757534 isRetracted "false" @default.
- W1490757534 magId "1490757534" @default.
- W1490757534 workType "article" @default.