Proyectos por año
Resultados de la búsqueda
-
Activo
Modelado y verificación de propiedades cuantitativas para redes de distribución aplicado a la logística humanitaria en zonas de desastre
Herrera, A. (Investigador principal), Macea-Mercado, L. F. (Investigador principal), Cardozo, N. (Coinvestigador), Rocha Niño, H. C. (Coinvestigador) & Sanabria, M. (Coinvestigador)
05/07/23 → 04/01/25
Proyecto: Investigación
-
Probabilistic and symbolic tools for p program verification
Rocha Niño, H. C. (Investigador principal) & Ramirez Restrepo, C. A. (Coinvestigador)
01/10/22 → 30/11/24
Proyecto: Investigación
-
Investigación en modelos computacionales de redes sociales aplicados a la polarización en el valle del cauca
Valencia Posso, F. D. (Investigador principal), Jaramillo Ruiz, F. (Coinvestigador), Ramirez Restrepo, C. A. (Coinvestigador), Rocha Niño, H. C. (Coinvestigador), Sierra Suarez, L. P. (Coinvestigador) & Tobon Llano, L. E. (Coinvestigador)
17/08/22 → 17/08/26
Proyecto: Investigación
-
Fortalecimiento del Centro de excelencia y apropiación en big data y analítica, Alianza CAOBA
Pomares-Quimbaya, A. (Investigador principal), Finke Ortiz, J. (Coinvestigador), Montero Posada, A. (Coinvestigador) & Rocha Niño, H. C. (Coinvestigador)
04/02/22 → 03/02/25
Proyecto: Investigación