Exploring parallel formal verification of BIG-DATA systems (Explorando verificación formal paralela para sistemas de BIG-DATA)
Fernando Asteasuain & Luciana Rodriguez Caldeira. Ver
más
Transformación Digital para una Gestión de Proyectos Eficiente a Distancia,
Teoría y dos Casos de Éxito Peruanos: ARPL de UNACEM y el SENACE del MINAM (Digital Transformation for an Efficient Remote Project Management, Theory and two Peruvian
Success Stories: UNACEM'S ARPL and MINAM'S SENACE)
Rudy Bezir, Fernando Pérez & Aníbal Luyo García. Ver
más
Perfiles de Microaerogeneradores HAWT a Bajo Número de REYNOLDS (Low REYNOLDS Number Airfoils for Small Horizontal Axis Wind Turbine)
M. Julieta Ganiele, Lucio Ponzoni, Sara Montenegro, Paula Nicoletti,
Sergio D. Lingeri, Andrea Villanueva & Daniel Anellos. Ver
más
Retrospectiva y Prospectiva del Desarrollo de las Generaciones de Biocombustibles (Retrospective and Prospect of the development of Biofuel Generations)
Gerald Torrentes Espinoza. Ver más
Design of a tool for the classification of skin cancer images using Deep Neural Networks
(DNN) (Diseño de una herramienta para la clasificación de imágenes de
cáncer de piel utilizando Redes Neuronales Profundas (DNN))
Diana Paola Merchán Vargas, Helis Navarro Báez, Jaime Guillermo Barrero
Pérez & Jeyson Arley Castillo Bohórquez. Ver
más
End-to-end platform evaluation for Spanish Handwritten Text Recognition (Evaluación de una plataforma completa para Reconocimiento de Textos Manuscritos en
Español)
Eduardo Xamena, Héctor Emanuel Barboza & Carlos Ismael Orozco. Ver
más