654000061.
Implementación computacional de la mecánica cuántica como herramienta investigativa y pedagógica para la física.
Desde 02/02/2015.
Velez Ruiz, Mario Elkin.
621000133.
Ambientes de aprendizaje interactivos como apoyo a cursos presénciales. Numérico Interactivo.
Desde 12/01/2015.
Correa Zabala, Francisco Jose.
Universidad Eafit.
587000006.
Desarrollo de la física computacional como herramienta formativa y de investigación.
Desde 10/03/2014.
Velez Ruiz, Mario Elkin.
Universidad Eafit. Colciencias.
586000007.
Desarrollo e implementación de un método de optimización de bandgaps de cristales fotónicos - YHEFFERSON FERNANDO GUTIERREZ LOAIZA.
Desde 04/04/2014.
Velez Ruiz, Mario Elkin.
Universidad Eafit.
513000007.
Combining Interactive and Automatic Proofs in First-Order Theories.
Desde 15/01/2014.
Sicard Ramírez, Andrés.
Universidad Eafit.
477000025.
Exploración e implementación del método SPH.
Desde 01/02/2013.
Velez Ruiz, Mario Elkin.
Universidad Eafit.
371000022.
Análisis y diseño computacional de materiales con estructuras periódicas..
Desde 01/02/2012.
Velez Ruiz, Mario Elkin.
Universidad Eafit.
297000007.
Desarrollo de una plataforma interactiva para visualización y solución de Ecuaciones Diferenciales Parciales con fines pedagógicos.
Desde 15/01/2011.
Velez Ruiz, Mario Elkin.
Universidad Eafit.
261000001.
Semántica de mundos posibles encajados.
Desde 15/01/2011.
Sierra Aristazabal, Manuel Hernando.
Universidad Eafit.
173000137.
Sistema para la depuración y corrección automática de programas lógico funcionales..
Desde 15/01/2010.
Correa Zabala, Francisco Jose.
Universidad Eafit.
173000020.
Análisis de Imágenes 3D y ¨ 3D Computer Vision¨ vía Computación Cuántica Topológica..
Desde 15/01/2010.
Velez Ruiz, Mario Elkin.
Universidad Eafit.
173000002.
Sistemas de creencias para razonadores de diferente tipo- Fase 2.
Desde 15/01/2010.
Sierra Aristazabal, Manuel Hernando.
Universidad Eafit.
103000082.
Hacia la Computación Cuántica Topológica de Características Euler de Complejos de Homología-Khovanov.
Desde 15/01/2009.
Velez Ruiz, Mario Elkin.
Universidad Eafit.
103000008.
Lógica de las tautologías.
Desde 15/01/2009.
Sierra Aristazabal, Manuel Hernando.
Universidad Eafit.
45000033.
Hacia la solución del problema de la función de partición del modelo Potts.
Desde 15/01/2008.
Velez Ruiz, Mario Elkin.
Universidad Eafit.
45000005.
Sistemas de creencias para razonadores de diferente tipo.
Desde 15/01/2008.
Sierra Aristazabal, Manuel Hernando.
Universidad Eafit.
13000036.
Extensiones del algoritmo Aharanov-Jones-Landau.
Desde 15/01/2007.
Velez Ruiz, Mario Elkin.
Universidad Eafit.
13000012.
Lógica Básica para la Verdad Aristotélica.
Desde 15/01/2007.
Sierra Aristazabal, Manuel Hernando.
435000066.
Simulación computacional de nuevos materiales como recubrimientos funcionales.
Desde 15/01/2013.
Velez Ruiz, Mario Elkin.
Universidad Eafit.
690000034.
Propiedades Electrónicas y Ópticas del ReB_2.
Desde 18/01/2016.
Velez Ruiz, Mario Elkin.
Universidad Eafit.
690000088.
First-Order Proof Reconstruction.
Desde 18/01/2016.
Sicard Ramírez, Andrés.
Universidad Eafit.
034.
Automating First-Order Proofs on Type Theory: Premise Selector Method.
Desde 16/01/2017.
Sicard Ramírez, Andrés.
Universidad Eafit.
148.
Estabilidad dinámica de fases hipotéticas de Nitruro de Cromo.
Desde 15/01/2018.
Velez Ruiz, Mario Elkin.
Universidad Eafit.
330.
Propiedades estructurales, mecánicas y magnéticas de nuevas fases hipotéticas del CrN.
Desde 16/01/2017.
Velez Ruiz, Mario Elkin.
Universidad Eafit.