Puede estar intentando tener acceso a este sitio desde un explorador protegido en el servidor. Habilite los scripts y vuelva a cargar la página.
Activar el modo de accesibilidad
Desactivar el modo de accesibilidad
Omitir los comandos de cinta
Saltar al contenido principal
Desactivar animaciones
Activar animaciones
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
Investigación / Lógica y Computación
Inicio
Acerca del grupo
Equipo de trabajo
Investigadores principales
Estudiantes investigadores
Líneas de investigación
Infraestructura
Proyectos
Actualmente seleccionado
Repositorio de Investigación
Producción investigativa
Seminar
Contacto
Lógica y Computación / Proyectos
Proyectos - Lógica y Computación
Parece que el explorador no tiene JavaScript habilitado. Active JavaScript e inténtelo de nuevo.
Recientes
Contenido del sitio
EAFIT
Ciencia, Tecnología e Innovación
Investigación / Grupos
Investigación / Lógica y Computación
Lógica y Computación / Proyectos
Proyectos
Resumen
Image
Image Caption
Cuerpo de Texto
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
Right
Última modificación: 22/01/2015 18:48