Seminar for Electronics and Computer Science Deparment

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.

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.

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)

CIC_007_12.pdf

 
grupos/secsy/secsy.txt · Última modificación: 2017/02/11 10:04 por hbenitez
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki