Producción por año
Producción por año
Perfil de la organización
Perfil de la organización
El grupo tiene tres ejes de acción que parten de la búsqueda de formalismos para modelar procesos concurrentes y distribuídos, la teoría y aplicaciones de la programación concurrente de restricciones, y la programación con restricciones para la solución de problemas de optimización combinatoria
Líneas de investigación
1.- Composición asistida por computador
2.- Lenguajes Visuales
3.- Programación concurrente por restricciones
4.- cálculo de procesos concurrentes
5.- modelamiento computacional de sistemas
6.- procesamiento distribuido y paralelo
Perfil de la organización
El grupo tiene tres ejes de acción que parten de la búsqueda de formalismos para modelar procesos concurrentes y distribuídos, la teoría y aplicaciones de la programación concurrente de restricciones, y la programación con restricciones para la solución de problemas de optimización combinatoria
Objetivos de desarrollo sostenible de las Naciones Unidas
En 2015, los estados miembros de las Naciones Unidas acordaron 17 Objetivos de desarrollo sostenible (ODS) globales para erradicar la pobreza, proteger el planeta y garantizar la prosperidad para todos. Nuestro trabajo contribuye al logro de los siguientes ODS:
-
ODS 2: Hambre cero
Huella digital
Profundizar en los temas de investigación en los que Grupo de investigación Ambientes Visuales de Programación Aplicativa (AVISPA) está activo. Estas etiquetas de temas provienen de las obras de los integrantes de esta organización. Juntos, forma una huella digital única.
Colaboraciones y áreas de investigación principales de los últimos cinco años
Colaboración externa reciente a nivel de país/territorio. Para consultar los detalles, haga clic en los puntos o
Perfiles
-
Carlos Alberto Ramirez Restrepo
- Departamento de Electrónica y Ciencias de la Computación - Profesor Asistente
- Grupo de investigación Ambientes Visuales de Programación Aplicativa (AVISPA) - Miembro grupo de investigación
Persona: Académico, Investigador
-
Hernan Camilo Rocha Niño
- Departamento de Electrónica y Ciencias de la Computación - Profesor Titular
- Vicerrectoría Académica - Vicerrector Académico
- Grupo de investigación Ambientes Visuales de Programación Aplicativa (AVISPA) - Miembro grupo de investigación
- Grupo de Investigación iÓmicas - Miembro grupo de investigación
Persona: Académico, Investigador, Directivo
-
Frank Darwin Valencia Posso
- Departamento de Electrónica y Ciencias de la Computación - Profesor Titular
- Grupo de investigación Ambientes Visuales de Programación Aplicativa (AVISPA) - Líder grupo de investigación
Persona: Académico, Investigador
Producción
-
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring
Durán, F., Pozas, N. & Rocha, C., ene 2024, En: Journal of Logical and Algebraic Methods in Programming. 136, 100928.Producción: Contribución a una revista › Artículo › revisión exhaustiva
Acceso abierto2 Citas (Scopus) -
A Network-based Approach for Inferring Thresholds in Co-expression Networks
López-Rozo, N., Romero, M., Finke, J. & Rocha, C., 2023, Complex Networks and Their Applications XI - Proceedings of The 11th International Conference on Complex Networks and Their Applications: COMPLEX NETWORKS 2022—Volume 1. Cherifi, H., Mantegna, R. N., Rocha, L. M., Cherifi, C. & Miccichè, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 265-276 12 p. (Studies in Computational Intelligence; vol. 1077 SCI).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
1 Cita (Scopus) -
Building Differential Co-expression Networks with Variable Selection and Regularization
Riccio, C., Finke, J. & Rocha, C., 2023, Complex Networks and Their Applications XI - Proceedings of The 11th International Conference on Complex Networks and Their Applications: COMPLEX NETWORKS 2022—Volume 1. Cherifi, H., Mantegna, R. N., Rocha, L. M., Cherifi, C. & Miccichè, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 277-288 12 p. (Studies in Computational Intelligence; vol. 1077 SCI).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
1 Cita (Scopus)
Proyectos
- 5 Terminado
-
WearMe: Dispositivo para medición de metano en ganado bovino en condiciones de entorno
Jaramillo Botero, A. (Investigador principal), Aguilar-Zambrano, J. (Coinvestigador), Hernández, E. (Coinvestigador), Muriel Delgado, D. F. (Coinvestigador), Navarro Chica, C. E. (Coinvestigador), Ramirez Duque, J. L. G. (Coinvestigador), Riccio Rengifo, C. (Coinvestigador), Rocha Niño, H. C. (Coinvestigador), Alejandro Perdomo, S. (Asistente), Angel Loaiza, J. (Asistente), Arizabaleta Ibarbo, C. A. (Asistente), Contratación Personal, B. G. (Asistente), De Materiales, C. C. (Asistente), Fenómica (Sensado), C. E. E. (Asistente), Ingeniero Mecánico, C. (Asistente), Jaramillo Garcia, S. (Asistente), Quimico, C. (Asistente), Simulaciones Específicas, C. I. (Asistente), Villegas Gomez, E. A. (Asistente) & Zuluaga Hurtado, A. M. (Asistente)
01/09/23 → 31/08/26
Proyecto: Investigación
-
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/07/25
Proyecto: Investigación
-
PROMUEVA: Investigación en Modelos Computacionales de Redes Sociales Aplicados a la Polarización en el Valle del Cauca
Valencia Posso, F. D. (Investigador principal), Aranda Bueno, J. A. (Coinvestigador), Bucheli Guerrero, V. A. (Coinvestigador), Diaz Frias, J. F. (Coinvestigador), Duque Agudelo, R. A. (Coinvestigador), 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 → 16/08/26
Proyecto: Investigación