Artículos
URI permanente para esta colección
Examinar
Examinando Artículos por Fecha de publicación
Mostrando 1 - 20 de 166
Resultados por página
Opciones de ordenación
Ítem Ambientes de Aprendizaje para el tercer milenio(1997-01-01) ATUESTA, MARIA DEL ROSARIO; ATUESTA, MARIA DEL ROSARIO; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las ComunicacionesÍtem Sistemas Hipermedios Colaborativos(1997-01-01) ATUESTA, MARIA DEL ROSARIO; ATUESTA, MARIA DEL ROSARIO; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las ComunicacionesPublicación Sistema de logica paraconsistente C1(Fondo Editorial Universidad EAFIT, 2000-01-01) Sierra, Manuel Hernando; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Conexiones: Un Ambiente Tecnológico Escolar(2000-01-01) ZEA, CLAUDIA MARIA; ZEA, CLAUDIA MARIA; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las ComunicacionesÍtem Conexiones Ambientes de aprendizaje colaborativos una respuesta a los nuevos retos de la Educación(Fondo Editorial Universidad EAFIT, 2000-04-01) ZEA, CLAUDIA MARIA; ATUESTA, MARIA DEL ROSARIO; ZEA, CLAUDIA MARIA; ATUESTA, MARIA DEL ROSARIO; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las ComunicacionesPublicación Computación cuántica: una perspectiva desde lo continuo(Fondo Editorial Universidad EAFIT, 2000-04-01) Sicard, Andrés; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónPublicación Sistemas de logica diagonal LD1, LD2, , LD42(Fondo Editorial Universidad EAFIT, 2001-01-01) Sierra, Manuel Hernando; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónPublicación El formalismo de la teoría gauge en la computación cuántica(Sociedad Colombiana de Física, 2001-01-01) Sicard, Andrés; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónPublicación Arboles de forzamiento semantico(Fondo Editorial Universidad EAFIT, 2001-01-01) Sierra, Manuel Hernando; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónPublicación Hipercomputación: la próxima generación de la computación teórica(Fondo Editorial Universidad EAFIT, 2001-01-01) Sicard, Andrés; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Seguridad en Redes: Un Vistazo General(2002-01-01) MONTOYA, EDWIN NELSON; MONTOYA, EDWIN NELSON; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las ComunicacionesPublicación A Debugging Scheme of Functional Logic Programs(Elsevier BV, 2002-01-01) Correa, Francisco Jose; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónPublicación Logica Basica paraconsistente y paracompleta con negacion clasica(Fondo Editorial Universidad EAFIT, 2002-01-01) Sierra, Manuel Hernando; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem La tecnología de la Información y la Comunicación (TIC) como mediadora de los procesos de enseñanza-aprendizaje: una aproximación desde la práctica(Fondo Editorial Universidad EAFIT, 2002-07-01) VILLEGAS, GUSTAVO ADOLFO; VILLEGAS, GUSTAVO ADOLFO; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las ComunicacionesÍtem Los Centros Tecnologicos Comunitarios, Una opcion para el acceso a la tecnologia en las zonas rurales(Fondo Editorial Universidad EAFIT, 2003-01-01) ATUESTA, MARIA DEL ROSARIO; ATUESTA, MARIA DEL ROSARIO; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las ComunicacionesÍtem Learning Environments: A response to the new challenges of Colombian Education(2003-01-01) ZEA, CLAUDIA MARIA; ZEA, CLAUDIA MARIA; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las ComunicacionesPublicación Lógica Básica con Aceptación Fuerte(2003-01-01) Sierra, Manuel Hernando; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónPublicación Correction of functional logic programs(SPRINGER, 2003-01-01) Alpuente, M.; Ballis, D.; Correa, F.J.; Falaschi, M.; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónWe propose a new methodology for synthesizing correct functional logic programs. We aim to create an integrated development environment in which it is possible to debug a program and correct it automatically. We start from a declarative diagnoser that we have developed previously which allows us to identify wrong program rules w.r.t. an intended specification. Then a bug-correction, program synthesis methodology tries to correct the erroneous components of the wrong code. We propose a hybrid, top-down (unfolding-based) as well as bottom-up (induction-based), approach for the automatic correction of functional logic programs which is driven by a set of evidence examples which are automatically produced as an outcome by the diagnoser. The resulting program is proven to be correct and complete w.r.t. the considered example sets. Finally, we also provide a prototypical implementation which we use for an experimental evaluation of our system. © Springer-Verlag Berlin Heidelberg 2003.Publicación Forzamiento Semántico de Marcas para la Lógica Básica Paraconsistente LBPc(Fondo Editorial Universidad EAFIT, 2003-06-01) Sierra, Manuel Hernando; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Conclusiones en torno a la jornada de reflexión sobre la virtualización(Fondo editorial Universidad EAFIT, 2003-11-13) Villegas, G.; Villegas, G.; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones