Seminar for Electronics and Computer Science Deparment
 |
 |
 |
Talks 2017
- Análisis formal de lenguajes específicos de dominio, Francisco Durán, Universidad de Málaga, Enero 27, 2017.
Talks 2016
- 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
- La Ingeniería Dirigida por Modelos (MDE) logra en las empresas sistemas de software con mayor productividad y calidad. María Consuelo Franky, Mayo 13 2016.2016-puj-cali-lion-lion2-aplicacionmavenmde.pdf
Talks 2015
- 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
Talks 2014
- Progress on the Discontinuous Galerkin Time Domain Method for Multiscale Electromagnetics,
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.
Talks 2013
- 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.
Talks 2012
- Computational Electromagnetics: Definitions, applications and research. Luis Tobon. Noviembre 30 2012Presentaciones 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.
Talks 2010
- 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.
- Camilo Rueda, Model checking a social network application using yices, November 10 2010,Saman Building A5 5-6 pm. Model checking a social network application using yices
- 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.
- Juan Sequeda, Semantic Web and Data Integration, University of Texas in Austin, August 11 2010, Saman building A5 4 pm - 6pmsemantic_web_and_data_integration.doc
Talks 2009
- 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.
Talks 2008
- 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 DefenseSlides
Technical Reports
- 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
- Camilo Rueda. A Machine-Checked Proof for a Translation of Event-B Machines to JML Speci cations (Technical Report)
