Buscar recursos académicos

"The emergence of mosquitoes that can avoid indoor-deployed interventions, such as treated bed nets and indoor residual spraying, threatens the mainstay of malaria control in Zambia. Furthermore, the requirement for high...

"We present research work in progress that focuses on data mining tools used for helping teachers to apply a three step knowledge discovering process to diagnose students’ misunderstandings (and their causes) related ...

"Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many...

"The amount of multidimensional data published on the semantic web (SW) is constantly increasing, due to initiatives such as Open Data and Open Government Data, among other ones. Models, languages, and tools, that allow ...

"In this work, we present goodness-of-fit tests related to the Kolmogorov-Smirnov and Michael statistics and connect them to graphical methods with uncensored and censored data. The Anderson-Darling test is often empiric...

"Program repair techniques attempt to fix programs by looking for patches within a search space of fix candidates. These techniques require a specification of the program to be repaired, used as an acceptance criterion f...

"La Cirugía Asistida por Computadora (CAS) es un conjunto de herramientas de hardware y software desarrolladas para asistir a la resolución de problemas quirúrgicos complejos. El concepto principal de CAS es el desarr...

"El uso de múltiples herramientas de software, por lo general inconexas, para realizar la gestión de los proyectos de desarrollo de software presenta desventajas respecto del uso de una única herramienta de gestión i...