Omitir los comandos de cinta
Saltar al contenido principal
Inicio de sesión
Universidad EAFIT
Carrera 49 # 7 sur -50 Medellín Antioquia Colombia
Carrera 12 # 96-23, oficina 304 Bogotá Cundinamarca Colombia
(57)(4) 2619500 contacto@eafit.edu.co

Proyectos

  • ​​​​Lógica de las tautologías
  • Sistemas de creencias para razonadores de diferente tipo. Fase-2
  • Hacia la computación cuántica-topológica de características Euler de complejos de homología Khovanov
  • NOBUG. Sistema para la depuración y corrección automática de programas lógico funcionales:
  • Lógica Básica para la Verdad Aristotélica
  • Simulación computacional de nuevos materiales como recubrimientos funcionales
  • Exploración e implementación del método SPH
  • Análisis y diseño computacional de materiales con estructuras periódicas
  • Desarrollo de una plataforma interactiva para visualización y solución de ecuaciones diferenciales parciales con fines pedagógicos
  • Crecimiento de películas de carbón por la técnica MW-CVD 
  • Análisis de imágenes 3D y "3D computer vision" via computación cuántica topológica d-bránica
  • Semántica de mundos posibles encajados
  • Inferencia visual para sistemas deductivos con operador negación
  • Depuración Declarativa de Programas Lógico Funcionales
  • Extensiones de la programación Lógica
  • Lenguajes declarativos Multiparadigma
  • Optimización de Programas Declarativos mediante transformaciones basadas en la semántica
  • TREND (Técnicas avanzadas de desarrollo de Programas en Entornos Declarativos)
  • Computación cuántica geométrica no abeliana
  • Computación cuántica geométrica
  • Computación paraconsistente
  • Hipercomputación desde la computación cuántica
  • Lenguaje subyacente a la noción de máquina cuántica
  • Máquina de Turing cuántica autorreferencial: ¿una posibilidad?
  • Máquinas de Turing dinámicas: historia y desarrollo de una idea
  • Prototipo de un modelo de computación cuántica continua
  • Árboles de Forzamiento Semántico para Sistemas Deductivos con Operador 
  • Afirmación
  • Extensiones de la computación topológica
  • HADOS: Herramientas Avanzadas para el Desarrollo del Software
  • Corrección Automática de Programas Lógico Funcionales y aplicación a otros paradigmas de programación
  • Métodos formales en el desarrollo de software y su aplicación en la depuración de programas y modelamiento de la concurrencia y la seguridad en sistemas distribuidos
  • SELF (Software Environments and Lightweight Formalisms​
  • STREAM (Herramientas de Software Formales: Una aproximación Multiparadigma)
  • Un Marco Integrado para la Depuración y Corrección de Programas Lógico Funcionales
  • Extensiones del algoritmo Aharanov-Jones-Landau
  • Hacia la solución del problema de la función de partición de modelo Potts
  • Sistemas de creencias para razonadores de diferente tipo​

​​

Última modificación: 22/01/2015 18:48