Cargando sitio
Botánica, vallenato y medio ambiente
mar01

Botánica, vallenato y medio ambiente

Botánica, vallenato y medio ambiente con Álvaro Cogollo Pacheco, director científico del Jardín Botánico de Medellín. Departamento de Ciencias Biológicas Universidad EAFIT. Febrero 27 de...

Leer mas
Signal processing applied to ocean hydrodynamics
feb15

Signal processing applied to ocean hydrodynamics

Signal processing applied to ocean hydrodynamics: wave dissipation and nonlinear interactions via Fourier and wavelet transforms. Juan F. Paniagua-Arroyave. Ph.D. Candidate, Geomorphology Laboratory, Department of Geological Sciences, University of Florida, Gainesville, FL, USA Professor in Formation, Marine Sciences Group, Department of Earth Sciences, EAFIT University, Medellin, Antioquia, Colombia. Enero 30 de 2017 Abstract:...

Leer mas
Formal verification of an OS kernel
feb15

Formal verification of an OS kernel

SeL4: Verificación formal de un kernel del sistema operativo seL4: Formal verification of an OS kernel [1] (A proof engineer perspective). Alejandro Gomez-Londoño. Affiliation: Proof Engineer at Data61/CSIRO, Australia. Febrero 13 de 2017. Abstract: The seL4 microkernel is “The world’s first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement” [2]. In this talk, we...

Leer mas
Modelación Experimental
feb15

Modelación Experimental

Modelación Experimental. Febrero 15 de 2017     Modelación Experimental. Febrero 8 de 2017 Modelación Experimental. Olga Lucía Quintero Montoya Doctor en Ingeniería de Sistemas de...

Leer mas
Models and methods for solving an assignment and vehicle scheduling problem
feb15

Models and methods for solving an assignment and vehicle scheduling problem

Modelos y métodos para resolver un problema de asignación y programación de vehículos. Septiembre 5 de 2016. Models and methods for solving an assignment and vehicle scheduling problem. María​ Gulnara Baldoquin de la Peña. Doctor en Ciencias Técnicas, Universidad de la Habana. Affiliation: Research Group in Functional Analysis and Applications, EAFIT University​. Abstract: In this proposed project, a real life problem will be...

Leer mas
Enhancing images in seismic migration is not an easy task
feb15

Enhancing images in seismic migration is not an easy task

Mejorar las imágenes en la migración sísmica no es una tarea fácil Enhancing images in seismic migration is not an easy task. Juan Guillermo Paniagua Castrillón. PhD student in Mathematical Engineering, GRIMMAT – Research group in mathematical modeling, EAFIT University. Septiembre 19 de 2016. Abstract: We demonstrated that, under a good Reverse Time Migration RTM (acoustic wave propagation) algorithm and the zero-lag cross...

Leer mas