The purpose of this seminar is to present and discuss results, projects and challenges of the department research groups AVISPA, DESTINO, GAR, as well as research&development initiatives by members of the department. The seminar also welcomes talks given by visiting scholars.
Análisis formal de lenguajes específicos de dominio, Francisco Durán, Universidad de Málaga, Enero 27, 2017.
Análisis formal de lenguajes específicos de dominio, Francisco Durán, Enero 27, 2017.
Evaluación de la diversidad acústica animal en el bosque tropical, Juan Sebastian Ulloa, Museo Nacional de Historia Natural de Francia Universidad Paris-Sud, Diciembre 9, 2016.
Sistema de Razonamiento Basado en Casos, Definición, Usos y Aplicaciones, Carlos Fajardo, Diciembre 2, 2016.
Uso De Organismos Modelos Para El Estudio De Enfermedades En Humanos, Julieth Irene Murillo Silva, Pontificia Universidad Javeriana, Noviembre 4, 2016.
Revisión de aplicación de sistemas de recomendación en procesos de Ingeniería de Software, Fernando Barraza, Pontificia Universidad Javeriana, Octubre 25, 2016.
Big Data - Visualization Through Immersive Virtual Reality: Proposed Research Work Overview, Adolfo Hoyos, Pontificia Universidad Javeriana, Octubre 14, 2016.
Comportamiento asintótico del grado promedio en el modelo de Albert-Barabási con reglas de conexión que varían en el tiempo, Pontificia Universidad Javeriana, Juan Carlos Romero, Octubre 14 2016.
La fermentación como una alternativa para la producción de péptidos antifúngicos: una oportunidad para la industria alimentaria, Pontificia Universidad Javeriana, Andrea Molina, Septiembre 16, 2016.
Reactive Sessions, Mauricio Cano, University of Groningen, The Netherlands, Septiembre 15, 2016.
Network to provide high speed broadband capability, Luis Omar Quesada, Insight Centre for Data Analytics, Septiembre 2 2016, University College Cork, Ireland.
Research Interests and Experience, Overview and Research Directions/Projects, Camilo Rocha, Pontificia Universidad Javeriana, Febrero 12, 2016.
camilorocha.pdf
-
Stability of networks, Isabel Fernandez, Ohio State University, Noviembre 20, 2015.
Competences that facilitate the achievement of the objectives of an introductory programming course, Ana Victoria Prados, Pontificia Universidad Javeriana, Noviembre 20, 2015.
Direct numerical simulation of a droplet impinging onto a hot surface in the Leidenfrost Regime, Lucía Rueda Villegas, Universidad de Toulouse, Septiembre 25, 2015.
Experimental study of turbulent open-channel flows over rough homogeneus beds, Maxime Rouzès, Universidad de Toulouse, Septiembre 25, 2015.
Foundations for Reliable and Flexible Interactive Multimedia Scores, Camilo Rueda, Pontificia Universidad Javeriana, Agosto 28 2015.
Un algoritmo para calcular la distancia aparente de un código Abeliano. Diana Bueno. Pontificia Universidad Javeriana, Agosto 28 2015.
Técnicas automáticas de análisis de imágenes en microscopía, Manuel Forero,Universidad de Ibague. Junio 5 2015.
Uso de redes bayesianas como herramienta de diagnóstico de fallas en motores eléctricos de inducción de jaula de ardilla, Alejandro Paz, Pontificia Universidad Javeriana. Junio 5 2015.
Self-Healing Spatio-Temporal Data Streams Using Error Signatures,Carlos A. Varela, Rensselaer Polytechnic Institute, Enero 23 2015.
varela.pdf
Luis Tobon, Pontificia Universidad Javeriana, Noviembre 21 2014. luistobonseminarioecc.pdf
Non-reference assessment of sharpness in blur/noise degraded images, Hernán Darío Benítez Restrepo, Pontificia Universidad Javeriana, Noviembre 21 2014.
seminariodepartamento2014_ii.pdf
Formal Models to Compose and Execute Interactive Multimedia Scores, Jaime Arias, Laboratoire Bordelais de Recherche en Informatique (LaBRI) at Université de Bordeaux, Octubre 24 2014
A Proof Theoretic Study of Soft Concurrent Constraint Programming, Carlos Olarte, Pontificia Universidad Javeriana, Octubre 24, 2014.
Big data analytics application to mobile telecommunications networks. Diego Perea. Vantrix Corp, Septiembre 5 2014, AUD 3 Palmas.
Optimización de frecuencias en sistemas de transporte público, Antonio Mauttone, Universidad de la República, Uruguay. Septiembre 5 2014, AUD 3 Palmas.
Centre de Recherche en Informatique: its work and interests in Dynamic Product Line Engineering. Raúl Mazo, Universidad de París 1 Panthéon-Sorbonne, Julio 22, AUD 4 Los Almendros.
Modelo computacional para redes sociales, Frank Valencia, École Polytechnique de Paris, Julio 22, AUD 4 Los Almendros.
Método para identificar y clasificar causas de defectos en modelos de características que representan líneas de productos, Luisa Fernanda Rincón, PUJC, Mayo 16 2014. AUD 6 Las Palmas.
Large-Scale Non-Adiabatic Dynamics Simulation of Materials in Extreme Conditions, Andrés Jaramillo-Botero, Caltech, Marzo 14 2014.
Designing SOCs at Intel, Freddy Torres, Intel, Mayo 16 2014, AUD 6 Las Palmas.
Discriminant Features and Temporal Structure of Nonmanuals in American Sign Language. Carlos Fabian Benitez, Ohio State University, Febrero 14 2014. AUD 6 Las Palmas.
Sistema De Síntesis De Imágenes De Trazado De Rayos En Una Plataforma De Desarrollo Para Hardware Embebido, Julian Guarin, Febrero 14 2014, AUD 6 Las Palmas.
Exploiting cognitive signals for brain-machine interfaces. Ricardo Chavarriaga. Ecole Politechnique Federale de Lausanne. Diciembre 4 de 2013.
Perceptual Image Processing for Human Vision - Visual Simulation and Texture Manipulation – , Katsunori Okajima Yokohama National University. Octubre 11 2013.
Estrategias Para Mejorar la Audición en Personas con Pérdida Auditiva Binaural: Métodos Multicanal de Reducción de Ruido, Jorge Ivan Marín, Universidad del Quindío. Octubre 11 2013.
Minería de datos en agricultura. Evolución en el análisis de información compartida por los agricultores en Colombia, Daniel Jimenez, Centro Internacional de Agricultura Tropical (CIAT). Septiembre 27 2013.
Evaluation of Disparity Maps, Ivan Cabezas, Universidad San Buenaventura. Septiembre 27 2013.
Designing robust distributed systems with weakly interacting feedback structures, Peter Van Roy, Université Catholique de Louvain. Agosto 16 2013.
Sparse Representation in Pattern Recognition and Classification, Carlos Ramirez, University of Texas, El Paso. Julio 26 2013.
Spatial - temporal features of thermal images for Carpal Tunnel Syndrome detection, Hernán Benítez. Pontificia Universidad Javeriana-Cali. Julio 26 2013.
Software adaptativo. Gabriel Tamura, Universidad ICESI. Mayo 10 2013.
Desafío y Oportunidades de la Televisión Digital Interactiva, José Arciniegas,Universidad del Cauca. Mayo 3 2013
Metagenómica: desarrollos y aplicaciones, Fabian Tovar, PUJC, Mayo 3 2013.
Adaptive Computing Technologies for Sustainable Growth, Lakshmi Narasimhan , Distinguished ACM Speaker, Abril 26 2013.
Image Processing in Medical Imaging Applications, Maria Alejandra Zuluaga, Research associate, University College London, Marzo 22 2013.
Computational Electromagnetics: Definitions, applications and research. Luis Tobon. Noviembre 30 2012
Presentaciones DECC
pView: an abstraction to represent abstract data types in parallel environments. Antal Buss. Noviembre 30 2012.
Sustainable Development in the Context of Climate Change. Jorge Francisco Estela. Octubre 26 2012.
Local Requirements for Optimal Allocation of Heterogeneous Agents. Juan Manuel Nogales. Septiembre 28 2012.
De computación gráfica y otros temas. Andrés Navarro. Septiembre 28 2012.
Temporal, spatial and epistemic modalities in SELLF. Carlos Olarte. Agosto 31 2012.
A Machine-Checked Proof for a Translation of Event-B Machines to JML Specifications. Camilo Rueda. Agosto 31 2012.
Workshop en Electrónica y Ciencias de la Computación, Julio 10 de 2012.Pontificia Universidad Javeriana Cali
Presentaciones DECC
Gerardo Sarria, Búsqueda de/en sonidos. Mayo 4 2012. Sala 1, Edificio El Lago.
Jaime Aguilar, Evaluación de requerimientos para productos de apoyo en movilidad y agarre para personas en situacion de discapacidad en Cali. Mayo 04 2012. Sala 1, Edificio El Lago.
Jaime Aguilar, Diseño interdisciplinar de un sistema incentivo para la respiracion en cuidados post-operatorios. Mayo 04 2012. Sala 1, Edificio El Lago.
Diagnóstico de síndrome de túnel carpiano por termografía infrarroja. Hernán Darío Benítez Restrepo. Mayo 04 2012. Sala 1, Edificio El Lago.
Giraldo, Carlos Lozano, Carlos Sacanamboy, Maribell. Optimización de un panel solar para carga de baterías. Mayo 04 2012. Sala 1, Edificio El Lago.
Jaime-Alberto Parra-Plaza, Camilo Rueda-Calderón. Robust design of embedded systems by using system-level modeling formal methods. Mayo 04 2012. Sala 1, Edificio El Lago.
Carlos Olarte, A Finer Approximation of Temporal Concurrent Constraint Programs, November 17 2010, Saman Building A5 4-5 pm. * Juan Carlos Martinez, JML-Based Formal Development a Social Network Core Application, November 10 2010, Saman Building A5 4-5 pm.
-
Ivan Mauricio Cabezas, Visión estéreo: Fundamentación, desafíos, aplicaciones y un enfoque de investigación, October 27 2010, Saman Building A5 4-6 pm
stereovision_mmv.pdf
Gloria Ines Alvarez, Results on application of grammatical inference methods to the cleavage site prediction problem, October 20 2010, Saman Building A5 4-5 pm
María Constanza Pabon, Query Languages for Semantic Image Retrieval, October 20 2010, Saman Building A5 5-6 pm
Hernán Darío Benítez Restrepo, Reconocimiento de Patrones Espaciales Sísmicos en el Sur Occidente Colombiano, August 25 2010, Saman Building A5 4-5 PM.
Julian Colorado, Aerial, Terrestrial and Aquatic Robotics: Navigation and Control Issues,Universidad Politécnica de Madrid, August 18 2010, Saman building A5 4 pm - 6pm
Lubomir Bic, Information and Computer Science at the University of California, Irvine, University of California, August 11 2010, Saman building A5 4 pm - 6pm.
Diego Vega Perea, Continuos optimization application in communications, Septiembre 30 2009
Antal Buss, STAPL: A Compositional Approach to Scalable Parallel Software por Antal Buss, Agosto 5 2009
Irene Tisher, Bioinformática desde la perspectiva de la ingeniería, Mayo 6 2009
Facial animation in dogs- Andrés Navarro, Pontificia Universidad Javeriana, Cali, Mayo 20 2009
Donald Knuth:El artista de la Programación de Computadores por Juan Francisco Diaz, Universidad del Valle, Mayo
20 2009-11-20
Marzo 11 2009, 4 PM, Almendros 3, Hernán Darío Benítez R, Gloria Inés Alvarez. System for defective
electrical equipment infrared image retrieval using CBIR (Content Based Image Retrieval) Slides
Constraint-based model of sensing coverage and connectivity in wireless sensor networks, Luis Tobon, Pontificia Universidad Javeriana, Cali Febrero 18 2009.
June 25 2008, 4 PM, Almendros 8. Hernán D Benítez. The Advanced pattern recognition course at TUDELFT
CIC-001-08_slides.pdf
July 23 2008, 4 PM, Almendros 7. E. Tamura. Towards a Predictable, High-Performance Instruction Memory Hierarchy in Fixed-Priority Preemptive Real-Time Systems
Abstract
Agosto 1 2008, 11 AM, Almendros 2. F. Amaya. Redes de Acceso Ópticas: Desafíos y Perspectivas
Slides
Septiembre 22 2008, 11 AM, G. Sarria. Formal Models of Timed Musical Processes Doctoral Defense
Slides
Hernán Darío Benítez. Defect characterization in thermographic non destructive testing with pattern recognition
CIC-001-08.pdf
Hernán Darío Benítez, Gloria Inés Alvarez V. System for retrieval of defective electrical equipment infrared images using CBIR (Content Based Image Retrieval)
CIC-002-09.pdf
Hernán Darío Benítez. Reconocimiento de patrones espaciales sísmicos en el Sur Occidente Colombiano
CIC-003-10.pdf
María Constanza Pabón. Recuperación Semántica de Imágenes y Datos de Fuentes Heterogéneas
CIC-004-10.pdf
Maribel Sacanamboy. Estudio del algoritmo de Viterbi para decodificación basado en la minimización de la probabilidad de error de palabra
CIC-005-10.pdf
Gloria Inés Alvarez. Results on Using Grammatical Inference to Solve the Cleavage Site Prediction Problem.
CIC-006-10.pdf
Juan Carlos Martinez y Nestor Cataño Collazos. Desarrollo formal de la estructura formal de una aplicación (core application) para una red social utilizando JML.
CIC-007-10.pdf
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi. A Finer Approximation of Timed CCP Programs (Technical Report).
CIC-001-11.pdf
CIC_007_12.pdf