Proyectos

Proyectos por año 2015 2017 2018 2019 2022 2026

• 4 Activo
• 8 Terminado

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

  • Programming Language 100%
  • Formal Semantics 100%
  • Reachability Analysis 100%
  • Probabilistic Modeling 100%
  • Statistical Model 100%

• 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

• Terminado

  Desarrollo y evaluación de modelos matemáticos y epidemiológicos que apoyen la toma de decisiones en atención a la emergencia por SARS-Cov-2 y otros agentes causales de IRA en Colombia utilizando Data Analytics y Machine Learning

  Cepeda Gil, M. C. (Investigador principal), Alvarado Rojas, C. (Coinvestigador), Castro Diaz, S. M. (Coinvestigador), Combariza Gonzalez, G. A. (Coinvestigador), Finke Ortiz, J. (Coinvestigador), Gil Laverde, J. F. A. (Coinvestigador), Jaramillo Ramírez, D. (Coinvestigador), Lucio Arias, D. P. (Coinvestigador) & Rocha Niño, H. C. (Coinvestigador)

  15/05/20 → 14/04/21

  Proyecto: Investigación

• Facts : foundational approach to cognition in today’s society.

  Rueda Calderon, C. (Investigador principal), Rocha Niño, H. C. (Coinvestigador), Sarria Montemiranda, G. M. (Coinvestigador) & Valencia Posso, F. D. (Coinvestigador)

  25/06/19 → 25/11/23

  Proyecto: Investigación

• Facts : foundational approach to cognition in today’s society.

  Rueda Calderon, C. (Investigador principal), Ganascia, J. G. (Coinvestigador), Rocha Niño, H. C. (Coinvestigador), Sarria Montemiranda, G. M. (Coinvestigador), Valencia Posso, F. D. (Coinvestigador), Vazirgiannis, M. (Coinvestigador), Medina Lopez, J. A. (Estudiante), Palamidessi, C. (Estudiante), Pazii, A. (Estudiante), Ramírez Rico, S. S. (Estudiante) & Romanelli, M. (Estudiante)

  25/06/19 → 25/11/23

  Proyecto: Investigación

• Concurrency, logic and algebra for social and spatial interactive computation (classic).

  Rocha Niño, H. C. (Investigador principal) & Romero Gonzalez, M. Á. (Estudiante)

  04/07/18 → 03/07/19

  Proyecto: Investigación

• Stochastic concurrency in rewrite-based probabilistic models (scores).

  Rocha Niño, H. C. (Investigador principal), Rueda Calderon, C. (Coinvestigador) & Valencia Posso, F. D. (Coinvestigador)

  01/02/18 → 30/12/18

  Proyecto: Investigación

  • Reactive System 100%
  • Concurrency 100%
  • Concurrent System 75%
  • Probabilistic Choice 50%
  • Share Information 25%

• A rewriting logic approach to the behavior of social networks with flow of facts and intentional lies.

  Rocha Niño, H. C. (Investigador principal) & Romero Gonzalez, M. Á. (Estudiante)

  12/06/17 → 11/06/18

  Proyecto: Investigación

• Concurrency via rewriting approaches to epistemology (create)

  Rocha Niño, H. C. (Investigador principal), Rueda Calderon, C. (Coinvestigador) & Valencia Posso, F. D. (Coinvestigador)

  09/01/17 → 19/12/17

  Proyecto: Investigación

  • Concurrent System 100%
  • Concurrency 100%
  • Mathematical Modeling 100%
  • Spatial Behavior 80%
  • Distributed Systems 60%

• Creación y operación de caoba - colombian center of excellence and appropriation on big data and data analytics.

  Finke Ortiz, J. (Investigador principal), Aguirre Mayorga, H. S. (Coinvestigador), Rivera, R. A. G. (Coinvestigador), Alonso Cifuentes, J. C. (Coinvestigador), Alvarado Valencia, J. A. (Coinvestigador), Angulo, D. A. (Coinvestigador), Ariza Porras, C. F. (Coinvestigador), Barrero Solano, L. H. (Coinvestigador), Berggrun Preciado, L. (Coinvestigador), Bravo Cordoba, G. E. (Coinvestigador), Canavire Bacarreza, G. J. (Coinvestigador), Carreño Vargas, J. E. (Coinvestigador), Castro Barrera, H. E. (Coinvestigador), Correa Alvarez, J. (Coinvestigador), Correal Torres, D. E. (Coinvestigador), Duque Cardona, J. C. (Coinvestigador), Hernandez, J. T. (Coinvestigador), Ibarra, J. C. (Coinvestigador), Jiménez-Guarín, C. L. (Coinvestigador), Lalinde Pulido, J. G. (Coinvestigador), Lopez Parra, J. F. (Coinvestigador), Misas Arango, M. (Coinvestigador), Montoya Munera, E. N. (Coinvestigador), Cadavid, A. N. (Coinvestigador), Pomares-Quimbaya, A. (Coinvestigador), Quintero Montoya, O. L. (Coinvestigador), Rincon Bermudez, R. D. (Coinvestigador), Rocha Niño, H. C. (Coinvestigador), Sierra Sosa, D. E. (Coinvestigador), Tabares, M. S. (Coinvestigador), Tamura Morimitsu, G. (Coinvestigador), Urrego Escobar, J. S. (Coinvestigador), Villegas Machado, N. M. (Coinvestigador), Gonzalez Perez, E. (Asesor), Jaramillo Celis, D. L. (Asesor), Larios Restrepo, R. I. (Asesor), Restrepo Mejia, M. (Asesor), Torres Arismendi, Y. (Asesor), Campos Bustos, J. C. (Estudiante), Carvajal Bastidas, H. D. (Estudiante), Duque-Marín, A. (Estudiante), Medina Lopez, J. A. (Estudiante), Moncayo Ruiz, V. H. (Estudiante), Pinzon Henao, C. A. (Estudiante) & Romero Reina, J. C. (Estudiante)

  30/12/15 → 07/01/18

  Proyecto: Investigación