Hoja de vida

Par evaluador reconocido por Colciencias.
Categoría Investigador Asociado (I) (con vigencia hasta 2019-12-05 00:00:00.0) - Convocatoria 781 de 2017
Nombre Juan Francisco Díaz Frias
Nombre en citaciones DÍAZ FRIAS, JUAN FRANCISCO
Nacionalidad Colombiana
Sexo Masculino

Formación Académica

  •  
  • Doctorado Universite De Paris Xi (Paris-Sud)
    Doctorado En Informatica
    Enerode1990 - de 1993
    Verificaction probabiliste de problémes de graphes:application à la planification avec incertitudes
  •  
  • Maestría/Magister Universite De Paris Xi (Paris-Sud)
    Dea En Informatica
    Enerode1989 - de 1990
    Etude du probléme de planification de trajectoires et itroduction au traitement des incertitudes
  •  
  • Pregrado/Universitario UNIVERSIDAD DE LOS ANDES
    Ingeniería de Sistemas y Computación
    Enerode1983 - de 1987
    Ingeniero de Sistemas y Computación
  •  
  • Pregrado/Universitario UNIVERSIDAD DE LOS ANDES
    Matemáticas
    Enerode1981 - de 1985
    matemático

    Experiencia profesional

  •  

  • Dedicación: 0 horas Semanales Enero de 2006 Diciembre de 2006

    Actividades de administración
    -  Otra actividad técnico-científica relevante - Cargo: Traducción del libro "Concepts, Technics, and Models of computer Programming" de P. Van Roy and S. Haridi, MIT-Press 2004 Agosto de 2006 de
    Actividades de investigación
    -   Investigación y Desarrollo - Titulo:  FORCES: FORmalisms from Concurrency for Emergent Systems Enero 2008 2012
    -   Investigación y Desarrollo - Titulo:  REACT:Robust theories for Emerging Applications in Concurrency Theory Enero 2007
    -   Investigación y Desarrollo - Titulo:  Geoz-2 Enero 2007
    -   Investigación y Desarrollo - Titulo:  GEOZ-1: Integración de GECODE como Motor de Restricciones de Mozart(Fase 1) Enero 2006 Diciembre 2006
  •  

  • Dedicación: 0 horas Semanales Agosto de 1994 Febrero de 2003

    Actividades de administración
    -  Dirección y Administración - Cargo: Director de Escuela Octubre de 2000 Enero de 2003
    -  Dirección y Administración - Cargo: Vicedecano Julio de 1996 Febrero de 2000
    -  Dirección y Administración - Cargo: Jefe de departamento Agosto de 1994 Junio de 1996
    Actividades de investigación
    -   Investigación y Desarrollo - Titulo:  CREAR: Consejero para la repartición de artículos Enero 2004 Septiembre 2004
    -   Investigación y Desarrollo - Titulo:  Reconfiguración de Redes de Distribución de Energía Eléctrica usando Programación por restricciones Octubre 2002 Febrero 2005
    -   Investigación y Desarrollo - Titulo:  CRISOL:Laboratorio de Tecnologías de Programación por Restricciones para el PTSC Octubre 2002 Febrero 2005
    -   Investigación y Desarrollo - Titulo:  PATHOS: Automatización de asignación de horarios y aulas en universidades utilizando programación por restricciones Mayo 2000 Julio 2000
    -   Investigación y Desarrollo - Titulo:  Construcción de un Software de Ayuda para la Toma de Decisiones de Vertimiento de Agua en la Represa del Alto Anchicayá Mayo 2000 Julio 2000
    -   Investigación y Desarrollo - Titulo:  Desarrollo de un prototipo de herramienta computacional para hacer descubrimiento de conocimiento en grandes volúmenes de datos Agosto 1998 Agosto 2002
    -   Investigación y Desarrollo - Titulo:  Comprobadores Probabilísticos de Programas Agosto 1996 Junio 1998
    -   Investigación y Desarrollo - Titulo:  Avispa:Integración de Paradigmas Orientado Objeto y Satisfacción de Restricciones en un Ambiente Visual Octubre 1996 Octubre 1999
    -   Investigación y Desarrollo - Titulo:  Agosto 1995
  •  
  • UNIVERSIDAD DEL VALLE
    Dedicación: 40 horas Semanales Octubre de 1993 de Actual

    Actividades de administración
    -  Director de unidad - Cargo: Director de unidad Septiembre de 2008 de
    -  Miembro de consejo de centro - Cargo: Profesor titular Octubre de 1993 de
    Actividades de docencia
    -   Postgrado - Nombre del curso:  Semántica de Lenguajes de Programación,  Agosto 1999
    -   Postgrado - Nombre del curso:  Programación con restricciones,  Agosto 1999
    -   Postgrado - Nombre del curso:  Semántica de Lenguajes de Programación OO,  Agosto 1999
    -   Postgrado - Nombre del curso:  Teoría de Complejidad II,  Enero 1996 Diciembre 1998
    -   Postgrado - Nombre del curso:  Teoría de Complejidad I,  Enero 1996 Diciembre 1998
    -   Pregrado - Nombre del curso:  Fundamentos de Lenguajes de Programación,  Octubre 1993
    -   Pregrado - Nombre del curso:  Programación Funcional,  Octubre 1993
    -   Pregrado - Nombre del curso:  Análisis de Algoritmos,  Octubre 1993
    -   Pregrado - Nombre del curso:  Matemáticas Discretas,  Octubre 1993
    -   Pregrado - Nombre del curso:  Lenguajes Formales,  Octubre 1993
    -   Pregrado - Nombre del curso:  Lógica,  Octubre 1993
    -   Pregrado - Nombre del curso:  Programación con restricciones,  Octubre 1993
  •  
  • Universite De Paris Xi (Paris-Sud)
    Dedicación: 15 horas Semanales Octubre de 1992 Noviembre de 1993

    Actividades de administración
    -  Miembro de consejo de centro - Cargo: ATER:Attaché Temporaire d'Enseignment et Rech Octubre de 1992 Noviembre de 1993
    Actividades de docencia
    -   Pregrado - Nombre del curso:  Logique: travux Dirigés,  Octubre 1992 Septiembre 1993
    -   Pregrado - Nombre del curso:  Calculabilité et Complexité: Travuax Dirigés,  Octubre 1992 Septiembre 1993
    -   Pregrado - Nombre del curso:  Compilateurs: Travaux Pratiques,  Octubre 1992 Septiembre 1993
  •  
  • Ecole Nationale Superieure De Techniques Avancees
    Dedicación: 6 horas Semanales Septiembre de 1990 Septiembre de 1992

    Actividades de administración
    -  Miembro de consejo de centro - Cargo: Profesor en Informática Septiembre de 1990 Septiembre de 1992
    Actividades de docencia
    -   Pregrado - Nombre del curso:  LISP et PROLOG,  Septiembre 1990 Septiembre 1992
    -   Pregrado - Nombre del curso:  Introduction à l'Inteligence Artificelle,  Septiembre 1990 Septiembre 1992
    -   Pregrado - Nombre del curso:  Introduction à la Logique,  Septiembre 1990 Septiembre 1992
  •  
  • UNIVERSIDAD DE LOS ANDES
    Dedicación: 40 horas Semanales Agosto de 1988 Agosto de 1989

    Actividades de administración
    -  Miembro de consejo de centro - Cargo: Profesor Agosto de 1988 Agosto de 1989
    -  Miembro de consejo de centro - Cargo: Profesor Agosto de 1986 Julio de 1988
    Actividades de docencia
    -   Pregrado - Nombre del curso:  Cálculo Integral,  Agosto 1986 Julio 1988
    -   Pregrado - Nombre del curso:  Ecuaciones Diferenciales,  Agosto 1986 Julio 1988
    -   Pregrado - Nombre del curso:  Sucesiones y Series,  Agosto 1986 Julio 1988
    -   Pregrado - Nombre del curso:  Cálculo Diferencial,  Agosto 1986 Julio 1988
  •  
  • UNIVERSIDAD DE LOS ANDES
    Dedicación: 0 horas Semanales Agosto de 1986 Julio de 1988

    Actividades de administración
    -  Dirección y Administración - Cargo: Coordinador de la Unidad Agosto de 1986 Julio de 1988
  •  

  • Dedicación: 0 horas Semanales Enero de 1984 Julio de 1986

    Actividades de administración
    -  Servicio Técnico Especializado - Cargo: Progrmación y mantenimiento de una aplicación de cartera y facturación Enero de 1984 Julio de 1986
  •  
  • PROLIBROS LTDA
    Dedicación: 20 horas Semanales Enero de 1984 Julio de 1986

    Actividades de administración
    -  Miembro de consejo de centro - Cargo: Programador Enero de 1984 Julio de 1986

    Áreas de actuación

  •  Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación
  •  Ingeniería y Tecnología -- Ingenierías Eléctrica, Electrónica e Informática -- Ingeniería de Sistemas y Comunicaciones
  • Idiomas

      Habla Escribe Lee Entiende
  •  Español
  • Bueno Bueno Bueno Bueno
  •  Portugués
  • Deficiente Deficiente Bueno Deficiente
  •  Francés
  • Bueno Bueno Bueno Bueno
  •  Inglés
  • Aceptable Bueno Bueno Aceptable

    Líneas de investigación

  •  Cálculo de procesos concurrentes, Activa:Si
  •  Lenguajes de Programación, Activa:Si
  •  Lenguajes Visuales, Activa:Si
  •  Progrmacion por Restricciones, Activa:Si
  • Reconocimientos

  • Mención honorífica reconocimiento "vida y obra",Sociedad Colombiana de de Computación - Septiembrede 2017
  • Tesis laureada,UNIVERSIDAD DEL VALLE - Juniode 2010
  •  
    Los ítems de producción con la marca corresponden a productos avalados y validados para la última Convocatoria Nacional para el Reconocimiento y Medición de Grupos de Investigación, Desarrollo Tecnológico o de Innovación y para el Reconocimiento de Investigadores del SNCTeI

    Trabajos dirigidos/tutorías

  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, Branching for the constraints module of the new Mozart virtual machine  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2013,  . Persona orientada: Julian Andres Camargo Tenorio  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Trabajo de grado de maestría o especialidad clínica
  • JUAN FRANCISCO DIAZ FRIAS, HUGO FERNANDO ARBOLEDA JIMENEZ, Razonamiento automático para la derivación de productos en MD-SPL  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2008,  . Persona orientada: Victor Manuel Vargas Forero   , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, Diseño e implementación de una aplicación web y móvil para consultar SABIO  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2013,  . Persona orientada: Luis Felipe Vargas Rojas  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Trabajo de grado de maestría o especialidad clínica
  • JUAN FRANCISCO DIAZ FRIAS, VIVIAN UZURIAGA UZURIAGA, Comprobadores probabilísticos de programas  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Maetsría En Matemáticas  ,1998,  . Persona orientada: Vivian Uzuriaga Uzuriaga  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Información y Bioinformática,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Trabajos dirigidos/Tutorías - Trabajo de grado de maestría o especialidad clínica
  • JUAN FRANCISCO DIAZ FRIAS, MAURICIO MACA CHAGÜENDO, Comprobadores probabilísticos de programas par problemas de grafos  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Maetsría En Matemáticas  ,1999,  . Persona orientada: Mauricio Maca Chagüendo  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Información y Bioinformática,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, NESTOR CATANO COLLAZOS, Compilador PiCO-MaPiCO  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,1999,  . Persona orientada: Néstor Cataño Collazos  , Dirigió como: Tutor principal,  0 meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, JOHN ALEXANDER VARGAS --, Definición de un sistema de tipos para el cálculo PiCO:TYPiCO  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2002,  . Persona orientada: John Alexander Vargas  , Dirigió como: Tutor principal,  0 meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, SANDRA MILENA GIL LUIS RAUL MULATO, Desarrollo e Implementación de un modelo visual para un lenguaje de programación por restricciones concurrente  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,1998,  . Persona orientada: Sandra Milena Gil - Luis Raúl Mulato  , Dirigió como: Tutor principal,  0 meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, JOSE MAURICIO MONTES ZULUAGA, Descubrimiento de Patrones interesantes de compra en bases de datos relacionales a través de restricciones al modelo de reglas de asociación  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,1999,  . Persona orientada: José Mauricio Montes Zuluaga  , Dirigió como: Tutor principal,  0 meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, AIDA LILIANA ROSERO RUIZ, Librería para problemas de optimización lineal entera en Cordial  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2001,  . Persona orientada: Aida Liliana Rosero Ruiz  , Dirigió como: Tutor principal,  0 meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, JHON JAIRO VALLEJO, Sistema de Soporte para la asignación y registro de las actividades académcias de los profesores de la Facultad de Ingeniería  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2002,  . Persona orientada: Jhon Jairo Vallejo  , Dirigió como: Tutor principal,  0 meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, CRe2: Consejer en Reconfiguración de Redes de Distribución de Energía Eléctrica, Usando Programación con Restricciones  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2003,  . Persona orientada: Diana María Torres y Janeth Rodríguez  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, Corba para Mozart  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2003,  . Persona orientada: Andrés Becerra  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Tesis de doctorado
  • JUAN FRANCISCO DIAZ FRIAS, Nueva propuesta de reconfiguración de redes de distribución de energía eléctrica utilizando programación por restricciones  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Doctorado En Ingeniería  ,1999,  . Persona orientada: Gladys Caicedo  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, Construcción de un sistema de restricciones sobre secuencias para MOzArt  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2004,  . Persona orientada: Angela Villota  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, Construcción de un sistema de restricciones de dominio finito con explicaciones para MOzArt  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2004,  . Persona orientada: Carlos Martínez  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, Generador Automático de exámenes tipo ECAES  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2004,  . Persona orientada: Diego León Monsalve  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, Adaptación de un módulo de programación lineal a MOzArt  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2004,  . Persona orientada: María Elena Ocampo  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Tesis de doctorado
  • JUAN FRANCISCO DIAZ FRIAS, Formal Methods for the Specification and Verification of Distributed and Timed Systems  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Doctorado En Ingeniería  ,2008,  . Persona orientada: James Jerson Ortíz Vega  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Trabajos dirigidos/Tutorías - Tesis de doctorado
  • JUAN FRANCISCO DIAZ FRIAS, FRANK VALENCIA, On the Expressivity of Infinite and Local Behaviour in Fragments of the Pi-calculus  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Doctorado En Ingeniería  ,2006,  . Persona orientada: Jesús Alexander Aranda Bueno  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Productos y procesos biotecnológicos,
  • Trabajos dirigidos/Tutorías - Tesis de doctorado
  • JUAN FRANCISCO DIAZ FRIAS, Formal Models of Timed Musical Processes  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida    ,2002,  . Persona orientada: Gerardo Mauricio Sarria Montemiranda  , Dirigió como: Coturor/asesor,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Trabajos dirigidos/Tutorías - Tesis de doctorado
  • JUAN FRANCISCO DIAZ FRIAS, Especificación de un modelo de referencia arquitectural a nivel de configuración, estructura y comportamiento  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida    ,2003,  . Persona orientada: Henry Alberto Diosa  , Dirigió como: Coturor/asesor,  meses  
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, Despacho económico para sistemas hidrotérmicos en el corto plazo usando programación concurrente por restricciones  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2005,  . Persona orientada: Iván Javier Romero  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Otros sectores - Energía,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, Prototipo para minimización de costos en cadenas de suministro usando programación concurrente por restricciones en el lenguaje de programación Mozart  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2006,  . Persona orientada: Jairo Maldonado  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Logística de transporte, almacenamiento y comunicaciones,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, OztNet: Mejoramiento del servicio de una red de comunicaciones móviles usando programación por restricciones en Mozart  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2006,  . Persona orientada: Eduardo Arias - Aldemar Villegas  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Logística de transporte, almacenamiento y comunicaciones,
  • Trabajos dirigidos/Tutorías - Tesis de doctorado
  • JUAN FRANCISCO DIAZ FRIAS, Diseño, Implementación y Corrección de GraPiCO  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Doctorado En Ingeniería  ,2000,  . Persona orientada: Carlos Andrés Tavera  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, Caracterización del desempeño de GeOz e implementación de estrategias de mejoramiento  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2009,  . Persona orientada: Gustavo Andrés Gómez Farhat  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, FABIO GERMAN GUERRERO MORENO, Diseño e implementación de una aplicación prototipo para la gestión del espectro radioeléctrico usando programación por restricciones  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2012,  . Persona orientada: Carlos Andrés Delgado Saavedra  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, Sistema de Administración de Eventos Deportivos  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2008,  . Persona orientada: Andrés Felipe Albán Reyes  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, CARLOS ARTURO LOZANO MONCADA, Prototipo de entrenamiento para subastas en el mercado eléctrico - PRESUME  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2011,  . Persona orientada: Adolfo León Cañizales Murcia  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, Servicio de ontologías en MAP: Un servicio de ontologías para AP, desarrollado en cumplimiento de las especificaciones FIPA  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2010,  . Persona orientada: DIEGO FERNANDO GUEVARA GÓMEZ  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Tesis de doctorado
  • JUAN FRANCISCO DIAZ FRIAS, JESUS ALEXANDER ARANDA BUENO, AN APPROACH TO FORMAL MODELLING OF GRID COMPUTING  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Doctorado En Ingeniería  ,2009,  . Persona orientada: Carlos Alberto Ramirez Restrepo  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, GERARDO MAURICIO SARRIA MONTEMIRANDA, Modulo de sonido para el interpretador de NTCC  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2011,  . Persona orientada: Jonnathan Almache Montoya  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, JESUS ALEXANDER ARANDA BUENO, Modelamiento del ciclo de vida del VIH utilizando el calculo NTCC  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2010,  . Persona orientada: Michell Guzman Cancimance  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, Analysis of the reachability problem in fragments of the pi-calculus.  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2009,  . Persona orientada: Luis Fernando Pino Duque  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Trabajo de grado de maestría o especialidad clínica
  • JUAN FRANCISCO DIAZ FRIAS, Sistema de Restricciones sobre Dominios Continuos para Gecode y Mozart  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Maestría en Ingeniería  ,2008,  . Persona orientada: Gonzalo José Hernández Garzon  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, Intercalando ejecución de hilos de mozart y propagadores de gecode  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2008,  . Persona orientada: Andrés Felipe Barco Santa  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Tesis de doctorado
  • JUAN FRANCISCO DIAZ FRIAS, Definición e implementación de un lenguaje controlado para la caracterización automática de las prácticas argumentativas informales  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Doctorado En Ingeniería  ,2008,  . Persona orientada: Raúl Ernesto Gutiérrez de Piñerez  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Tesis de doctorado
  • JUAN FRANCISCO DIAZ FRIAS, ALEJANDRO ARBELAEZ, Computational Approach for Solving Off-line and On-line Combinatorial Problems in the Cloud With Time Processing Constraints  UNIVERSIDAD DEL VALLE  Estado: Tesis en curso  Doctorado En Ingeniería  ,2015,  . Persona orientada: Robinson Andrey Duque Agudelo  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, CARLOS ARTURO LOZANO MONCADA, Prototipo basado en agentes inteligentes y restricciones para simular el comportamiento del mercado de electricidad colombiano  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2008,  . Persona orientada: Carlos Alberto Ramírez Restrepo  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Trabajo de grado de maestría o especialidad clínica
  • JUAN FRANCISCO DIAZ FRIAS, Modelo de reglas de asociación basado en restricciones para la generación de recomendaciones en una biblioteca digital  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2006,  . Persona orientada: Emilia Rocío Segovia Jiménez  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, Implementación del modelo de restricciones para el problema de la asignación de cursos y horarios  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2008,  . Persona orientada: Federico Escobar Rodríguez  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Trabajo de grado de maestría o especialidad clínica
  • JUAN FRANCISCO DIAZ FRIAS, Estudio Exploratorio de la Expresividad del Cálculo ntcc aplicado al Modelamiento de Sistemas Biológicos  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2007,  . Persona orientada: Angela Patricia Villota Gómez  , Dirigió como: Tutor principal,  meses  
  • Trabajos dirigidos/Tutorías - Trabajo de grado de maestría o especialidad clínica
  • JUAN FRANCISCO DIAZ FRIAS, ALBERTO DELGADO, Refinamiento de la planificación eco-eficiente de estiba en grandes buques porta contenedores.  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Maestría en Ingeniería  ,2012,  . Persona orientada: Adolfo León Cañizales Murcia  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Trabajos dirigidos/Tutorías - Trabajo de grado de maestría o especialidad clínica
  • JUAN FRANCISCO DIAZ FRIAS, ALEJANDRO ARBELAEZ, Applying Learning Techniques in SABIO: a Constraint Programming Application for Soccer Analysis  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Maestría en Ingeniería  ,2014,  . Persona orientada: Robinson Andrey Duque Agudelo  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Trabajos dirigidos/Tutorías - Trabajo de grado de maestría o especialidad clínica
  • JUAN FRANCISCO DIAZ FRIAS, CAMILO RUEDA CALDERON, Generador musical de círculos armónicos para guitarra  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Maestría en Ingeniería  ,2012,  . Persona orientada: Jonathan Almache Montoya  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Trabajos dirigidos/Tutorías - Tesis de doctorado
  • JUAN FRANCISCO DIAZ FRIAS, Especifiacciòn de un modelo de referencia arquitectural de software a nivel de configuraciòn, estructura y comportamiento  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Doctorado En Ingeniería  ,2003,  . Persona orientada: Henry Alberto Diosa  , Dirigió como: Coturor/asesor,  meses  
  • Trabajos dirigidos/Tutorías - Tesis de doctorado
  • JUAN FRANCISCO DIAZ FRIAS, CAMILO RUEDA CALDERON, Formal models of timed musical processes  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Doctorado En Ingeniería  ,2003,  . Persona orientada: Gerardo Sarria Montemiranda  , Dirigió como: Coturor/asesor,  meses  
  • Trabajos dirigidos/Tutorías - Trabajo de grado de maestría o especialidad clínica
  • JUAN FRANCISCO DIAZ FRIAS, Adición de recomputación por lotes en GEOZ  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Maestría en Ingeniería  ,2005,  . Persona orientada: Orlando Arboleda  , Dirigió como: Tutor principal,  meses  
     

    Jurado en comités de evaluación

  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Doctorado
  • JUAN FRANCISCO DIAZ FRIAS, Titulo: Fine-Grained Configuration and Derivation of Moldel-Driven Software Product Lines Tipo de trabajo presentado:  en:  UNIVERSIDAD DE LOS ANDES  programa académico Doctorado en Ingeniería  Nombre del orientado: Hugo Fernando ARBOLEDA JIMENEZ  
  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Doctorado
  • JUAN FRANCISCO DIAZ FRIAS, Titulo: QoS-CARE: A Reliable System for Preserving QoS Contracts through Dynamic Reconfiguration Tipo de trabajo presentado:  en:  UNIVERSIDAD DE LOS ANDES  programa académico Doctorado en Ingeniería  Nombre del orientado: Gabriel Tamura  

    Participación en comités de evaluación

  • Datos complementarios - Participación en comités de evaluación - Otra
  • JUAN FRANCISCO DIAZ FRIAS, CLAUDIA JIMENEZ, Comisión de pares evaluadores - acreditación CNA
    en:  Consejo Nacional De Acreditación 
    Palabras:
    Acreditación Ing. de Sistemas,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Datos complementarios - Participación en comités de evaluación - Otra
  • JUAN FRANCISCO DIAZ FRIAS, MARTA VITALIA CORREDOR, Comisión de pares evaluadores - acreditación CNA
    en:  Consejo Nacional De Acreditación 
    Palabras:
    Acreditación Ing. de Sistemas,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Datos complementarios - Participación en comités de evaluación - Otra
  • JUAN FRANCISCO DIAZ FRIAS, MARTA VITALIA CORREDOR, Comisión de pares evaluadores - acreditación CNA
    en:  Consejo Nacional De Acreditación 
    Palabras:
    Acreditación Ing. de Sistemas,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Datos complementarios - Participación en comités de evaluación - Otra
  • JUAN FRANCISCO DIAZ FRIAS, MARTA VITALIA CORREDOR, AMPARO CAMACHO, Comisión de pares evaluadores - acreditación CNA
    en:  Consejo Nacional De Acreditación 
    Palabras:
    Acreditación Ing. de Sistemas,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Datos complementarios - Participación en comités de evaluación - Otra
  • JUAN FRANCISCO DIAZ FRIAS, JOSE DE JESUS PEREZ, Comisión de pares evaluadores - acreditación CNA
    en:  Consejo Nacional De Acreditación 
    Palabras:
    Acreditación Ing. de Sistemas,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Datos complementarios - Participación en comités de evaluación - Otra
  • JUAN FRANCISCO DIAZ FRIAS, ALBERTO CANAS, LEONARDO GARRIDO, Comisión de pares evaluadores - acreditación SINAES
    en:  SISTEMA NACIONAL DE ACREDITACIÓN DE LA EDUACIÓN SUPERIOR 
    Palabras:
    Acreditación Ing. de Sistemas,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Datos complementarios - Participación en comités de evaluación - Otra
  • JUAN FRANCISCO DIAZ FRIAS, ALFONSO REYES, Comisión de pares evaluadores - acreditación CNA
    en:  Consejo Nacional De Acreditación 
    Palabras:
    Acreditación Ing. de Sistemas,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Datos complementarios - Participación en comités de evaluación - Otra
  • JUAN FRANCISCO DIAZ FRIAS, ALFONSO REYES, Comisión de pares evaluadores - acreditación CNA
    en:  Consejo Nacional De Acreditación 
    Palabras:
    Acreditación Ing. de Sistemas,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Datos complementarios - Participación en comités de evaluación - Otra
  • JUAN FRANCISCO DIAZ FRIAS, GERMAN CHAVARRO, Comisión de pares evaluadores - acreditación CNA
    en:  Consejo Nacional De Acreditación 
    Palabras:
    Acreditación Ing. de Sistemas,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Datos complementarios - Participación en comités de evaluación - Otra
  • JUAN FRANCISCO DIAZ FRIAS, CLARA INES PENA, Comisión de pares evaluadores - acreditación CNA
    en:  Consejo Nacional De Acreditación 
    Palabras:
    Acreditación Ing. de Sistemas,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Datos complementarios - Participación en comités de evaluación - Otra
  • JUAN FRANCISCO DIAZ FRIAS, JAIME CAMPO, Comisión de pares evaluadores - acreditación CNA
    en:  Consejo Nacional De Acreditación 
    Palabras:
    Acreditación Ing. de Sistemas,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Datos complementarios - Participación en comités de evaluación - Otra
  • JUAN FRANCISCO DIAZ FRIAS, Comisión de pares evaluadores - acreditación SINAES
    en:  SISTEMA NACIONAL DE ACREDITACIÓN DE LA EDUACIÓN SUPERIOR 
    Palabras:
    Acreditación Ing. de Sistemas,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Datos complementarios - Participación en comités de evaluación - Otra
  • JUAN FRANCISCO DIAZ FRIAS, JOSE TIBERIO HERNANDEZ VILLARRREAL, Comisión de pares evaluadores - acreditación CNA
    en:  UNIVERSIDAD DE NARIÑO 
  • Datos complementarios - Participación en comités de evaluación - Otra
  • JUAN FRANCISCO DIAZ FRIAS, LEONARDO EMILIO YUNDA PERLAZA, Comisión de pares evaluadores - acreditación CNA
    en:  UNIVERSIDAD COOPERATIVA DE COLOMBIA 
  • Datos complementarios - Participación en comités de evaluación - Acreditación de programas
  • JUAN FRANCISCO DIAZ FRIAS, Comisión Pares evaluadores - CNA
    en:   

    Eventos científicos

    1 Nombre del evento: XXII Conferencia Latinoamericana de informática CLEI96  Tipo de evento: Congreso  Ámbito: Nacional  Realizado el:1996-06-03 00:00:00.0,  1996-06-07 00:00:00.0   en BOGOTÁ, D.C.   - Universidad de los andes  
    Instituciones asociadas
    • Nombre de la institución:CLEI Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN FRANCISCO DIAZ FRIAS Rol en el evento: Organizador
    2 Nombre del evento: Octavo Congreso Colombiano de Computación  Tipo de evento: Congreso  Ámbito: Nacional  Realizado el:2013-08-21 00:00:00.0,  2013-08-23 00:00:00.0   en ARMENIA   - Universidad del Quindío  
    Productos asociados
    • Nombre del producto:Design and implementation of a prototype application for spectrum allocation using constraint programming Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DEL QUINDÍO Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: CARLOS ANDRES DELGADO Rol en el evento: Ponente
    • Nombre: FABIO GERMAN GUERRERO Rol en el evento: Ponente
    • Nombre: JUAN FRANCISCO DIAZ FRIAS Rol en el evento: Ponente
    3 Nombre del evento: International Conference on Robotics and Automation  Tipo de evento: Otro  Ámbito:   Realizado el:1992-01-01 00:00:00.0,    en   -  
    Productos asociados
    • Nombre del producto:A Theory of Robust Planning Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Participantes
    • Nombre: JUAN FRANCISCO DIAZ FRIAS Rol en el evento: Asistente
    4 Nombre del evento: XXVIII Conferencia Latinoamericana de Informática  Tipo de evento: Otro  Ámbito: Internacional  Realizado el:2002-11-25 00:00:00.0,  2002-11-29 00:00:00.0   en Montevideo   -  
    Productos asociados
    • Nombre del producto:PATHOS: Object-Oriented Concurrent Constraint Timetabling for Real World Cases Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Participantes
    • Nombre: JUAN FRANCISCO DIAZ FRIAS Rol en el evento: Asistente
    5 Nombre del evento: 8th International Conference on Probability Methods Applied to Power Systems (PMAPS)  Tipo de evento: Otro  Ámbito: Internacional  Realizado el:2004-09-13 00:00:00.0,  2004-09-16 00:00:00.0   en Iowa   - Iowa State University  
    Productos asociados
    • Nombre del producto:Loss Reduction in Distribution Networks using Loss Reduction in Distribution Networks using Concurrent Constraint Programming Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Participantes
    • Nombre: JUAN FRANCISCO DIAZ FRIAS Rol en el evento: Asistente
    6 Nombre del evento: Second International Mozart/Oz Conference MOZ 2004  Tipo de evento: Otro  Ámbito: Internacional  Realizado el:2004-10-07 00:00:00.0,  2004-10-08 00:00:00.0   en Charleroi   -  
    Productos asociados
    • Nombre del producto:Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Participantes
    • Nombre: JUAN FRANCISCO DIAZ FRIAS Rol en el evento: Asistente
    7 Nombre del evento: XXX Conferencia Latinoamericana de Informática  Tipo de evento: Otro  Ámbito: Internacional  Realizado el:2004-09-27 00:00:00.0,  2004-10-01 00:00:00.0   en Arequipa   -  
    Productos asociados
    • Nombre del producto:EL PROBLEMA DE LA ASIGNACIÓN DE EVALUADORES PARA LOS ARTÍCULOS A UN EVENTO ACADÉMICO: MODELAMIENTO E IMPLEMENTACIÓN Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:Universidad Nacional de San Agustin Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN FRANCISCO DIAZ FRIAS Rol en el evento: Asistente
    8 Nombre del evento: XXXI Conferencia Latinoamericana de Informática  Tipo de evento: Otro  Ámbito: Nacional  Realizado el:2005-10-10 00:00:00.0,  2005-10-14 00:00:00.0   en CALI   -  
    Productos asociados
    • Nombre del producto:Cálculo para el modelamiento formal de arquitecturas de software basadas en componentes y con restricciones en tiempo de ejecución Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DEL VALLE Tipo de vinculaciónPatrocinadora
    • Nombre de la institución:PONTIFICIA UNIVERSIDAD JAVERIANA - PUJ - SEDE CALI Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN FRANCISCO DIAZ FRIAS Rol en el evento: Asistente
    9 Nombre del evento: XII Congreso Argentino de Ciencias de la Computación  Tipo de evento: Congreso  Ámbito: Nacional  Realizado el:2006-10-17 00:00:00.0,  2006-10-21 00:00:00.0   en San Luis   -  
    Productos asociados
    • Nombre del producto:Alternativa para especificación sintáctica: Gramática de sistemas de íconos generalizados-Gsig. Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:Universidad Nacional De San Luis Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JUAN FRANCISCO DIAZ FRIAS Rol en el evento: Asistente
    10 Nombre del evento: XIII Congreso Argentino de Ciencias de la Computación  Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2007-10-01 00:00:00.0,  2007-10-05 00:00:00.0   en Chaco y Corrientes   -  
    Productos asociados
    • Nombre del producto:Alternativa de comprobación sintáctica de VLP*:Gsig_Parsing. Aspectos formales y el caso de estudio: E GraPiCO Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Participantes
    • Nombre: JUAN FRANCISCO DIAZ FRIAS Rol en el evento: Asistente
    11 Nombre del evento: XXIII Conferencia Anual del CLEI  Tipo de evento: Otro  Ámbito: Nacional  Realizado el:1997-11-10 00:00:00.0,  1997-11-15 00:00:00.0   en Valparaiso   -  
    Productos asociados
    • Nombre del producto:pi+ calculus: An extension of the pi calculus to handle constraints Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Participantes
    • Nombre: JUAN FRANCISCO DIAZ FRIAS Rol en el evento: Asistente
    12 Nombre del evento: The 18th International Meeting of the North American Fuzzy Information Processing Society  Tipo de evento: Encuentro  Ámbito: Internacional  Realizado el:1999-06-10 00:00:00.0,  1999-06-12 00:00:00.0   en New York   -  
    Productos asociados
    • Nombre del producto:An Efficient Implementation to Calculate Relative Core and Reducts Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Participantes
    • Nombre: JUAN FRANCISCO DIAZ FRIAS Rol en el evento: Asistente
    13 Nombre del evento: European Congress on Artifical Intelligence  Tipo de evento: Congreso  Ámbito:   Realizado el:1998-08-01 00:00:00.0,    en Brighton   -  
    Productos asociados
    • Nombre del producto:PiCO:A Calculus of Concurrent Constraint Objects for Musical Applications Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Participantes
    • Nombre: JUAN FRANCISCO DIAZ FRIAS Rol en el evento: Asistente

    Generación de contenido multimedia

  • Producción técnica - Multimedia - Otro
  • JUAN FRANCISCO DIAZ FRIAS, Video Gran idea 1: La lógica es una herramienta para modelar y resolver problemas, argumentando . En: Colombia,  ,2017,  .Emisora: Universidad de los Andes  ,0 minutos 
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Educación - Educación superior,
  • Producción técnica - Multimedia - Otro
  • JUAN FRANCISCO DIAZ FRIAS, Video gran idea 2:La matemática estructural es una herramienta para modelar . En: Colombia,  ,2017,  .Emisora: Universidad de los Andes  ,0 minutos 
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Educación - Educación superior,
  • Producción técnica - Multimedia - Otro
  • JUAN FRANCISCO DIAZ FRIAS, Video Gran idea 3: La aritmética es una herramienta fundamental para modelar, contar, medir, optimizar, etc. . En: Colombia,  ,2017,  .Emisora: Universidad de los Andes  ,0 minutos 
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Educación - Educación superior,

    Artículos

  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN FRANCISCO DIAZ FRIAS, RAUL ERNESTO GUTIERREZ DE PI REYES, "Informal Mathematical Discourse Parsing with Conditional Random Fields" . En: Alemania 
    Lecture Notes in Computer Science  ISSN: 0302-9743  ed: Springer
    v.8791 fasc.N/A p.259 - 271 ,2014,  DOI: 10.1007/978-3-319-11397-5_20
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • FABIO GERMAN GUERRERO, JUAN FRANCISCO DIAZ FRIAS, CARLOS ANDRES DELGADO, "Aplicación web basada en programación por restricciones para ingeniería de asignación de espectro" . En: España 
    Ingeniare  ISSN: 0718-3305  ed: Departamento De Computacion Universidad De Tarapaca
    v.23 fasc.4 p.526 - 539 ,2015,  DOI: 10.4067/S0718-33052015000400005
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN FRANCISCO DIAZ FRIAS, RAUL ERNESTO GUTIERREZ DE PI REYES, "Building a Discourse Parser for Informal Mathematical Discourse in the Context of a Controlled Natural Language" . En: Alemania 
    Lecture Notes in Computer Science  ISSN: 0302-9743  ed: Springer
    v.7816 fasc.N/A p.533 - 544 ,2013,  DOI: 10.1007/978-3-642-37247-6_43
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN FRANCISCO DIAZ FRIAS, FRANK VALENCIA, CAMILO RUEDA CALDERON, "A Calculus for Concurrent Processes with Constraints" . En: Chile 
    Clei Electronic Journal  ISSN: 0717-5000  ed: 
    v.1 fasc.2 p.20 - 33 ,1998,  DOI: 
    Palabras:
    Mobile Processes, Formal Calculi, Barbed Bisimulation,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN FRANCISCO DIAZ FRIAS, VIVIAN UZURIAGA UZURIAGA, MAURICIO MACA CHAGÜENDO, "Comprobación Probabilística de Resultados de Programas" . En: Colombia 
    Energía Y Computación  ISSN: 0121-5299  ed: Universidad del Valle
    v.VI fasc. p.39 - 45 ,1997,  DOI: 
    Palabras:
    Verificación de resultados de programas, Comprobación Probabilística,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN FRANCISCO DIAZ FRIAS, CAMILO RUEDA CALDERON, "VISiR:Software de soporte para la toma de decisiones de vertimiento de agua en la represa del Alto Anchicayá usando Programación Concurrente con Restricciones" . En: Colombia 
    Ingeniería Y Competitividad  ISSN: 0123-3033  ed: Facultad De Ingenieria Universidad Del Valle
    v.3 fasc.2 p.7 - 14 ,2001,  DOI: 
    Palabras:
    Programación con Restricciones,
    Sectores:
    Producción y distribución de electricidad y gás - Producción y distribución de energía eléctrica,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • GLADYS CAICEDO, RAFAEL GRANOBLES, JUAN MANUEL GERS, JUAN FRANCISCO DIAZ FRIAS, "Estado del Arte en Reconfiguración de Sistemas de Distribución" . En: Colombia 
    Energía Y Computación  ISSN: 0121-5299  ed: Universidad del Valle
    v.X fasc.1 p.50 - 60 ,2001,  DOI: 
    Palabras:
    Reconfiguración de Sistemas de Distribución,
    Sectores:
    Producción y distribución de electricidad y gás - Producción y distribución de energía eléctrica,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN FRANCISCO DIAZ FRIAS, FRANK VALENCIA, GABRIEL TAMURA MORIMITSU, LUIS OMAR QUESADA RAMIREZ, CAMILO RUEDA CALDERON, GLORIA ALVAREZ VARGAS, GERARD ASSAYAG, "Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language" . En: Países Bajos 
    Constraints  ISSN: 1383-7133  ed: Kluwer Academic Publishers
    v.6 fasc.1 p.21 - 52 ,2001,  DOI: 
    Palabras:
    Concurrent Programming, Constraint Programming, Object Oriented Programming, Musical Applications,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN FRANCISCO DIAZ FRIAS, CAMILO RUEDA CALDERON, "Modelos para la Computación Móvil" . En: Colombia 
    Revista Colombiana De Computación  ISSN: 1657-2831  ed: Universidad Autónoma de Bucaramanga - Oficina de Publicaciones
    v.1 fasc.1 p.29 - 45 ,2000,  DOI: 
    Palabras:
    Computación móvil, Cálculos formales,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN FRANCISCO DIAZ FRIAS, MICHEL DE ROUGEMONT, JEAN MARC COUVEIGNES, MIKLOS SANTHA, "On the interactive complexity of graph enumeration problems" . En: India 
    Lecture Notes in Computer Science  ISSN: 0302-9743  ed: Springer
    v.880 fasc. p.12 - 23 ,1994,  DOI: 
    Palabras:
    Complexity, Graphe,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN FRANCISCO DIAZ FRIAS, JESUS ALEXANDER ARANDA BUENO, JAMES JERSON ORTIZ VEGA, "CREAR: CONSEJERO PARA LA REPARTICIÓN DE ARTÍCULOS Y EVALUADORES EN EVENTOS ACADÉMICOS" . En: Colombia 
    Ingeniería Y Competitividad  ISSN: 0123-3033  ed: Facultad De Ingenieria Universidad Del Valle
    v.1 fasc.1 p.53 - 62 ,2004,  DOI: 
    Palabras:
    Constraint Programming, Programación con Restricciones, Applied Constraint Programming,
  • Producción bibliográfica - Artículo - Corto (Resumen)
  • JUAN FRANCISCO DIAZ FRIAS, CAMILO RUEDA CALDERON, CARLOS ALBERTO OLARTE VEGA, GUSTAVO GUTIERREZ SABOGAL, "CRE2: A CP Application for Reconfiguring a Power Distribution Network for Power Losses Reduction" . En: Alemania 
    Lecture Notes in Computer Science  ISSN: 0302-9743  ed: Springer
    v.3258 fasc.1 p.813 - 813 ,2004,  DOI: 10.1007/978-3-540-30201-8_92
    Palabras:
    Applied Constraint Programming, Constraint Programming, Concurrent Programming,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN FRANCISCO DIAZ FRIAS, CAMILO RUEDA CALDERON, GUSTAVO GUTIERREZ, CARLOS OLARTE, "Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks" . En: Alemania 
    Lecture Notes in Computer Science  ISSN: 0302-9743  ed: Springer
    v.3389 fasc.1 p.263 - 276 ,2005,  DOI: 10.1007/978-3-540-31845-3_22
    Palabras:
    Applied Constraint Programming, Reconfiguración de Sistemas de Distribución, Constraint Programming,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN FRANCISCO DIAZ FRIAS, JAVIER MENA, "Solving the Aircraft Sequencing Problem Unsing Concurrent Constraint Programming" . En: Alemania 
    Lecture Notes in Computer Science  ISSN: 0302-9743  ed: Springer
    v.3389 fasc.1 p.292 - 304 ,2005,  DOI: 10.1007/978-3-540-31845-3_24
    Palabras:
    Applied Constraint Programming, Constraint Programming, Concurrent Programming,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN FRANCISCO DIAZ FRIAS, JESUS ALEXANDER ARANDA BUENO, JAMES JERSON ORTIZ VEGA, "The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A practical Solution Incorporating Constraint Programming and Heuristics" . En: Alemania 
    Lecture Notes in Computer Science  ISSN: 0302-9743  ed: Springer
    v.3389 fasc.1 p.305 - 316 ,2005,  DOI: 10.1007/978-3-540-31845-3_25
    Palabras:
    Applied Constraint Programming, Constraint Programming,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN FRANCISCO DIAZ FRIAS, CAMILO RUEDA CALDERON, GUSTAVO PABON, RAFAEL JORDAN, ALBERTO DELGADO, JORGE ANDRES PEREZ, "An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine" . En: Alemania 
    Lecture Notes in Computer Science  ISSN: 0302-9743  ed: Springer
    v.3389 fasc.1 p.322 - 332 ,2005,  DOI: 10.1007/978-3-540-31845-3_26
    Palabras:
    Concurrent Programming, Constraint Programming, Timetabling,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ROBINSON ANDREY DUQUE AGUDELO, ALEJANDRO ARBELAEZ, JUAN FRANCISCO DIAZ FRIAS, "Off-line and On-line Scheduling of SAT Instances with Time Processing Constraints." . En: Colombia 
    Communications in Computer and Information Science  ISSN: 1865-0929  ed: Springer-Verlag Berlin/Heidelberg
    v.735 fasc. p.524 - 539 ,2017,  DOI: https://doi.org/10.1007/978-3-319-66562-7_38
    Palabras:
    Machine Learning, Mixed Integer Programming, Instance Scheduling, SAT, Off-line processing , On-line processing , Regression Models, Runtime estimation,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • RAUL ERNESTO GUTIERREZ DE PI REYES, JUAN FRANCISCO DIAZ FRIAS, "Discurso informal matemático: enfoques, métodos, técnicas y tendencias" . En: Colombia 
    Avances En Sistemas E Informática  ISSN: 1657-7663  ed: Universidad Nacional De Colombia Sede Medellin
    v.8 fasc.2 p.155 - 164 ,2011,  DOI: 
    Palabras:
    Discurso informal matemático, Fenómenos linguísticos,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • HENRY ALBERTO DIOSA, JUAN FRANCISCO DIAZ FRIAS, CARLOS MAURICIO GAONA, "Especificación formal de arquitecturas de software basadas en componentes: chequeo de corrección con cálculo rho-Arq" . En: Colombia 
    Revista Científica  ISSN: 0124-2253  ed: Editorial UD (Editorial Universidad Distrital Francisco José de Caldas)
    v.12 fasc.1 p.156 - 171 ,2010,  DOI: 
    Palabras:
    Cálculos formales, Formal Calculi, concurrency,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • HENRY ALBERTO DIOSA, JUAN FRANCISCO DIAZ FRIAS, CARLOS MAURICIO GAONA CUEVAS, "Cálculo para el modelado formal de arquitecturas de software basadas en componentes: Cálculo rho-arq" . En: Colombia 
    Revista Científica  ISSN: 0124-2253  ed: Editorial UD (Editorial Universidad Distrital Francisco José de Caldas)
    v.12 fasc.1 p.172 - 184 ,2010,  DOI: 
    Palabras:
    Cálculos formales, Formal Calculi, concurrency,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN FRANCISCO DIAZ FRIAS, "Solving the Short Run Economic Dispatch Problem Using Concurrent Constraint Programming" . En: Estados Unidos 
    IFIP International Federation for Information Processing  ISSN: 1571-5736  ed: Springer-Verlag GmbH and Co. KG
    v.218 fasc.N/A p.265 - 274 ,2006,  DOI: 
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ROBINSON ANDREY DUQUE AGUDELO, JUAN FRANCISCO DIAZ FRIAS, ALEJANDRO ARBELAEZ, "Constraint Programming and Machine Learning for Interactive Soccer Analysis" . En: Países Bajos 
    Lecture Notes in Computer Science  ISSN: 0302-9743  ed: Springer
    v.10079 fasc.N/A p.240 - 246 ,2016,  DOI: 10.1007/978-3-319-50349-3_18
    Palabras:
    Constraint Programming, Machine Learning,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JUAN FRANCISCO DIAZ FRIAS, ALEJANDRO ARBELAEZ, ROBINSON ANDREY DUQUE AGUDELO, "SABIO: An Implementation of MIP and CP for Interactive Soccer Queries" . En: Suiza 
    Lecture Notes in Computer Science  ISSN: 0302-9743  ed: Springer
    v.9892 fasc.N/A p.575 - 583 ,2016,  DOI: 10.1007/978-3-319-44953-1_36
    Palabras:
    Constraint Programming, Machine Learning, Mixed Integer Programming, Soccer analysis,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ROBINSON ANDREY DUQUE AGUDELO, VICTOR ANDRES BUCHELI GUERRERO, JESUS ALEXANDER ARANDA BUENO, JUAN FRANCISCO DIAZ FRIAS, "Making Decisions on the Student Quota Problem: A Case Study Using a MIP Model" . En: Estados Unidos 
    Communications in Computer and Information Science  ISSN: 1865-0929  ed: Springer-Verlag Berlin/Heidelberg
    v.885 fasc.N/A p.355 - 370 ,2018,  DOI: https://doi.org/10.1007/978-3-319-98998-3_28
    Palabras:
    Constraint Programming, Machine Learning, Mixed Integer Programming, Programación con Restricciones, Toma de Decisiones,
  • Producción bibliográfica - Artículo - Corto (Resumen)
  • ROBINSON ANDREY DUQUE AGUDELO, ALEJANDRO ARBELAEZ, JUAN FRANCISCO DIAZ FRIAS, "Online Over Time Processing of Combinatorial Problems (Abstract)" . En: Países Bajos 
    Lecture Notes in Computer Science  ISSN: 0302-9743  ed: Springer
    v.N/A fasc.N/A p.1 - 1 ,2018,  DOI: 10.1007/978-3-319-93031-2
    Palabras:
    Constraint Programming, online combinatorial problem, Runtime estimation,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ROBINSON ANDREY DUQUE AGUDELO, ALEJANDRO ARBELAEZ, JUAN FRANCISCO DIAZ FRIAS, "Online over time processing of combinatorial problems" . En: Estados Unidos 
    Constraints  ISSN: 1383-7133  ed: Kluwer Academic Publishers
    v.N/A fasc.N/A p.1 - 20 ,2018,  DOI: https://doi.org/10.1007/s10601-018-9287-4
    Palabras:
    Constraint Programming, On-line processing , online combinatorial problem,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ROBINSON ANDREY DUQUE AGUDELO, ALEJANDRO ARBELAEZ, JUAN FRANCISCO DIAZ FRIAS, "CP and MIP approaches for soccer analysis" . En: Estados Unidos 
    Journal of Industrial and Management Optimization  ISSN: 1547-5816  ed: American Institute of Mathematical Sciences
    v.13 fasc.N/A p.1 - 30 ,2018,  DOI: 10.3934/jimo.2018109
    Palabras:
    Constraint Programming, Machine Learning, Mixed Integer Programming, Soccer analysis, Elimination problem,

    Traducciones

  • Producción bibliográfica - Traducciones - Libro
  • JUAN FRANCISCO DIAZ FRIAS, "Concepts, Techniques, and Models of Computer Programming" En: . 2007. . . Idioma original:. Idioma traducción:Inglés. Autor: Peter Van Roy, Seif Haridi. Nombre original: . fasc. . v..

    Softwares

    Producción técnica - Softwares - Computacional
    JUAN FRANCISCO DIAZ FRIAS, LUIS OMAR QUESADA RAMIREZ, CAMILO RUEDA CALDERON, JAIDERMES NEBRIJO DUARTE, CATHERINE GARCIA, VISiR: Vertimiento Inteligente en Situaciones de Riesgo, Nombre comercial: VISiR, contrato/registro: , . En: Colombia,  ,2000,  .plataforma: PC Pentium o equivalente,  .ambiente: Linux + Mozart,
    Palabras:
    Toma de Decisiones, Programación con Restricciones,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Otros sectores - Energía,
    Producción técnica - Softwares - Computacional
    JUAN FRANCISCO DIAZ FRIAS, FRANK VALENCIA, GABRIEL TAMURA MORIMITSU, LUIS OMAR QUESADA RAMIREZ, CAMILO RUEDA CALDERON, GLORIA ALVAREZ VARGAS, NESTOR CATANO COLLAZOS, ANTAL ALEXANDER BUSS MOLINA, MAURICIO HEREDIA, CORDIAL:Constraints Object Relationship Defining an Iconic Applicative Language, Nombre comercial: , contrato/registro: , . En: Colombia,  ,1999,  .plataforma: Multiplataforma,  .ambiente: Linux o Windows,
    Palabras:
    Programación Visual, programación por restricciones, programación orientada objetos, concurrency,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Producción técnica - Softwares - Computacional
    JUAN FRANCISCO DIAZ FRIAS, LUIS OMAR QUESADA RAMIREZ, CAMILO RUEDA CALDERON, CATHERINE GARCIA, SANDRA CETINA, GUSTAVO PABON, Pathos: Programación Automática de Temas, Horarios y Salones, Nombre comercial: Pathos, contrato/registro: , . En: Colombia,  ,2001,  .plataforma: PC Pentium o equivalente,  .ambiente: Linux o Windows,
    Palabras:
    Timetabling, Planificación de horarios y salones,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Educación,
    Producción técnica - Softwares - Computacional
    JUAN FRANCISCO DIAZ FRIAS, JESUS ALEXANDER ARANDA BUENO, JAMES JERSON ORTIZ VEGA, CREAR:Consejero para la Repartición de Artículos, Nombre comercial: , contrato/registro: , . En: Colombia,  ,2004,  .plataforma: Linux + Mozart,  .ambiente: ,
    Palabras:
    Applied Constraint Programming,
    Producción técnica - Softwares - Computacional
    JUAN FRANCISCO DIAZ FRIAS, CARLOS ANDRES MARTINEZ, LUIS FELIPE VARGAS, MARIA ANDREA CRUZ BLANDON, SABIO (Soccer Analysis Based on Inference Outputs), Nombre comercial: SABIO, contrato/registro: , . En: Colombia,  ,2013,  .plataforma: ,  .ambiente: ,
    Areas:
    Ingeniería y Tecnología -- Ingenierías Eléctrica, Electrónica e Informática -- Ingeniería de Sistemas y Comunicaciones,
    Sectores:
    Productos y servicios de recreación,culturales, artísticos y deportivos,
    Producción técnica - Softwares - Computacional
    JUAN FRANCISCO DIAZ FRIAS, CAFESA (Constraints Application For Enhanced Spectrum Allocation), Nombre comercial: , contrato/registro: , . En: Colombia,  ,2013,  .plataforma: ,  .ambiente: ,

    Proyectos

    Tipo de proyecto: Investigación y desarrollo 
    Reconfiguración de Redes de Distribución de Energía Eléctrica usando Programación por restricciones
    Inicio: Enero  2002 Fin: Diciembre  2004 Duración 
    Resumen

    El objetivo de este proyecto es realizar e implementar un modelo computacional nuevo para el proceso de reconfiguración de redes de distribución de enrgía eléctrica. Existen restos eléctricos y retos computacionales. El aporte computacional consiste en desarrollar una aplicación con tecnologías de programación por restricciones. Para ello se hace necesario investigar y desarrollar un sistema de restricciones sobre los reales que permita utilizar esta tecnología.

    Tipo de proyecto: Investigación y desarrollo 
    PATHOS: Automatización de asignación de horarios y aulas en universidades utilizando programación por restricciones
    Inicio: Enero  2000 Fin: Diciembre  2004 Duración 
    Resumen


    Tipo de proyecto: Investigación y desarrollo 
    CRISOL:Laboratorio de Tecnologías de Programación por Restricciones para el PTSC
    Inicio: Enero  2002 Fin: Enero  2005 Duración 
    Resumen

    Concepción e Implementación de un laboratorio en Tecnologías CCP para el Parque Tecnológico de Software de Cali. Construicción de herramientas de desarrollo de software con estas tecnologías.

    Tipo de proyecto: Investigación y desarrollo 
    Desarrollo de un prototipo de herramienta computacional para hacer descubrimiento de conocimiento en grandes volúmenes de datos
    Inicio: Enero  1998 Duración 
    Resumen


    Tipo de proyecto: Investigación y desarrollo 
    Comprobadores Probabilísticos de Programas
    Inicio: Enero  1996 Duración 
    Resumen

    Estudio de los límites de la comprobación probabilística en la Ingeniería de Software

    Tipo de proyecto: Investigación y desarrollo 
    Avispa:Integración de Paradigmas Orientado Objeto y Satisfacción de Restricciones en un Ambiente Visual
    Inicio: Enero  1996 Duración 
    Resumen

    Construcción de un modelo formal (cálculo) de objetos y restricciones y de un lenguaje de programación visual que integre esos dos paradigmas.

    Tipo de proyecto: Investigación, desarrollo e Innovación 
    Construcción de un Software de Ayuda para la Toma de Decisiones de Vertimiento de Agua en la Represa del Alto Anchicayá
    Inicio: Enero  2000 Fin: Diciembre  2000 Duración 
    Resumen

    Construcción de un software par la toma de decisiones de vertimiento de agua, utilizando la programación por restricciones.

    Tipo de proyecto: Investigación y desarrollo 
    Reconfiguración de Redes de Distribución de Energía Eléctrica usando Programación por restricciones
    Inicio: Enero  2002 Duración 
    Resumen

    El objetivo de este proyecto es realizar e implementar un modelo computacional nuevo para el proceso de reconfiguración de redes de distribución de enrgía eléctrica. Existen restos eléctricos y retos computacionales. El aporte computacional consiste en desarrollar una aplicación con tecnologías de programación por restricciones. Para ello se hace necesario investigar y desarrollar un sistema de restricciones sobre los reales que permita utilizar esta tecnología.

    Tipo de proyecto: Investigación, desarrollo e Innovación 
    CREAR: Consejero para la repartición de artículos
    Inicio: Enero  2004 Duración 
    Resumen

    Distribuir los artículos entre los evaluadores de un evento de cierta magnitud, es una tarea dispendiosa. En este proyecto se estudia el problema, se formula formalmente, y se diseña e implementa una aplicación que permita realizar la tarea en poco tiempo, usando Programación por Restricciones.

    Tipo de proyecto: Investigación, desarrollo e Innovación 
    GEOZ-1: Integración de GECODE como Motor de Restricciones de Mozart(Fase 1)
    Inicio: Enero  2006 Duración 
    Resumen

    Mozart-Oz is a programming language that integrates a set of very useful programming paradigms which include constraint programming (CP). Although its CP layer provides a wide set of propagators, it needs some improvementes to turn it competitive and eficient. Those improvements involve multiple propagation queues to schedule propagation execution, propagator complexity support and propagator replacing mechanisms. GECODE is a well suited library which implements those features and has presented very promising results so far. We strongly believe Mozart-Oz would get a lot of benefits from the integration of GECODE as its constraint engine. This project intends to develop a new Mozart-Oz release which integrates the constraint services from GECODE. As a short term goal we plan to have a first integration by using the Mozart constraint propagation interface (CPI). This prototype will give us feedback and new knowledge to develop a full and well behaved integration.

    Tipo de proyecto: Investigación, desarrollo e Innovación 
    Geoz-2
    Inicio: Enero  2007 Fin: Junio  2008 Duración 
    Resumen

    The main goal of this proect is to integrate Gecode as the Mozart constraint services provider, namely, to replace the mozart constraint layer with gecode and take advantage of its advanced features like batch recomputation.

    Tipo de proyecto: Investigación y desarrollo 
    REACT:Robust theories for Emerging Applications in Concurrency Theory
    Inicio: Enero  2007 Duración 
    Resumen

    Concurrency theory has made progress by extending well established theories to capture new and wider phenomena. In particular, process calculi such as CSP, CCS and the pi-calculus, originally designed to reason about concurrent systems, have been extended or specialized to cope with the advents of new technology. For instance, spi-calculus extends the pi-calculus to reason about security; a phenomenon which now pervades the informational world. More recently, the pi-calculus has been tailored to model phenomena in biology, business process modeling (workflow) and web services. Process calculi are used for modeling the above-mentioned phenomena for at least two reasons. First, since these calculi have careful, mathematical definitions, they can be used to provide careful and high-level meaning to the applications specified using them. Second, the theoreticians working on these calculi have developed rich reasoning methods to reason about meaning and properties of processes. From the application point-of-view, such reasoning methods can be used to infer important properties about encoded applications. The above evidence suggests that for developing a theory of some phenomena a research strategy is to see if it can arise as an extension or specialization of an existing mature framework. This strategy, at least with a little hindsight, is what lead us to a research proposal on robust theories for complex emerging applications areas of concurrency theory. Namely, * Security Protocols, * Biological Systems and * Multimedia Semantic Interaction. Although these areas differ significantly from one another, we shall argue that there is a fundamental commonality in the nature of the analysis that one wants to achieve in them.

    Tipo de proyecto: Investigación y desarrollo 
    FORCES: FORmalisms from Concurrency for Emergent Systems
    Inicio: Enero  2008 Fin: Diciembre  2010 Duración 
    Resumen

    Concurrent Constraint Programming (CCP) is a mature formalism from Concurrency Theory which combines the traditional operational view of process calculi with a declarative one of processes based upon logic. Some of the members of the teams in this proposal developed and have been using NTCC [NPV02], a timed CCP calculus, to predict the behavior of several systems from emergent areas in computer science such as Security Protocols [LPP+06], Systems Biology [GPRV07] and Multimedia Semantic Interaction [RV05]. Although these areas differ significantly from one another, there is a fundamental commonality in the nature of the analysis one wants to achieve in them: Reachability, i.e., whether a system reaches a state satisfying a particular property. We chose NTCC for these systems because it provides several reasoning tools such as a temporal linear-time logic, a proof system, verification techniques and a denotational semantics which are particularly useful for reachability analysis. Despite the success of our applications of NTCC to the above-mentioned areas, we have learned from our modeling experience and theoretical studies that NTCC is not sufficiently robust for them. For example, some security protocols use a mechanism to allow generation and communication of secrets. The NTCC calculus can at best express this mechanism indirectly [Val05]. Also, NTCC lacks probabilistic techniques. The modeling of the biological systems often requires to cope with uncertain and approximate information which can then be naturally represented using a probabilistic formalism. Furthermore, we have identified complex non-regular audio processing temporal behavior which cannot be expressed in NTCC. In this collaboration we aim at providing more robust formalisms for analyzing the emergent systems our teams have been modeling during recent years: I.e., Security Protocols, Biological Systems and Multimedia Semantic Interaction. Our research strategy is, with the benefit of hindsight

    Tipo de proyecto: Investigación y desarrollo 
    Programa de investigación "Contexto Escolar, TIC y Cambio Educativo"
    Inicio: Febrero  2014 Fin: Febrero  2016 Duración 
    Resumen

    El programa tiene como objetivo general Fundamentar la capacidad de investigación interdisciplinaria de los actores comprometidos con el desarrollo del CIERSUR, para producir cambios educativos en la cultura escolar, mediante la integración de las TIC en los procesos de aprendizaje, enseñanza y evaluación.

    Tipo de proyecto: Investigación y desarrollo 
    AN APPROACH TO FORMAL MODELLING OF GRID COMPUTING
    Inicio: Agosto  2009 Duración 
    Resumen

    Grid computing (GC) systems are increasingly used as large-scale machines built on top of a massive pool of distributed resources (processing time, storage, software). Users interact with the grid by concurrently adding new tasks. Unlike conventional distributed systems, grid resources often span multiple administrative domains. The correct construction of GC systems is a difficult problem, for resources should be shared among tasks in a fair, trustworthy way. Although previous works have given formal specifications of (aspects of) GC systems, a proper account of the intrinsically interactive nature of grid behavior has not been yet proposed. Here we describe ongoing work aimed at formalizing the core interaction model underlying grid resource sharing. We rely on process calculi: these core programming languages for concurrency offer a simple, compositional framework in which the main grid components can be precisely expressed and reasoned about. We give models of such components specified in higher-order process calculi, and discuss directions of future work.

    Tipo de proyecto: Investigación y desarrollo 
    STARTUP SABIO: Aceleración
    Inicio: Abril  2014 Fin: Agosto  2014 Duración 
    Resumen

    SABIO (Soccer Analysis Based on Inference Outputs) es una aplicación web que le permite a cualquier aficionado al fútbol descubrir con varias fechas de anticipación lo que puede ocurrir con su equipo favorito (o sus rivales), en un torneo de fútbol por puntos. Usar SABIO no requiere de ningún conocimiento técnico especial. Tampoco requiere conocer de probabilidades o interpretar resultados numéricos. El aficionado requiere seleccionar el torneo, el equipo de fútbol y preguntarle a SABIO (¿podrá mi equipo clasificar?, ¿se podrá salvar mi equipo del descenso?, ¿podrá quedar mi equipo entre los ocho?).

    Tipo de proyecto: Investigación y desarrollo 
    Desarrollo de una Herramienta de Gestion del Espectro Radioelectrico Usando Programacion por Restricciones
    Inicio: Septiembre  2011 Fin: Abril  2013 Duración 
    Resumen

    En este proyecto de investigación, se diseñó e implementó una aplicación web de ayuda a las actividades de gestión del espectro radioeléctrico usando programación por restricciones. El diseño incluye un modelo matemático de restricciones de asignación, un modelo matemático de restricciones para interferencias, una base de datos relacional del CNABF considerando bandas, canales y servicios asociados a la división geopolítica de Colombia, y una base de datos de asignación de operadores. La herramienta permite crear y parametrizar diferentes niveles de restricciones estableciendo diferentes criterios y pesos de costos.