A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation

by Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Brais Muñiz, Gilberto Pérez, Francisco Suárez
Published 2019-09-01

Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator

by Concepción Vidal, Felicidad Aguado, José Luis Doncel, Jose María Molinelli, Gilberto Perez
Published 2008-12-01