Agenda

Título: Sı́ntesis Dirigida de Controladores No Maximales para Requerimientos de tipo Non-Blocking Director: Sebastian Uchitel Jurados: Mariano Cerruti y Javier Marenco Resumen: Esta tesis se da en el contexto de planning (uno de los temas de Ingeniería II) y presenta un algoritmo para encontrar estrategias ganadoras en una especificación [...]

Título: Un estudio sobre Preprocesamiento y Mecanismos de Atención en Redes Neuronales Convolucionales para Clasificación de Lesiones de Piel Director: Daniel Acevedo Jurados: Marcelo Risk y Pablo Negri Resumen: El melanoma es una forma de cáncer de piel muy peligrosa para la salud. El diagnóstico temprano del mismo es [...]

Los invitamos a la quinta charla de la edición 2021 del seminario. Esta vez presentamos a Marcela Pilloff, directora del laboratorio de Diagnóstico de COVID-19 de la UNAHUR que contará su experiencia en la creación de unidades de diagnóstico covid en la universidad. Quién: Marcela Pilloff. Directora del laboratorio [...]

Los invitamos a la septima charla de la edición 2021 del seminario. Esta vez presentamos a Jorge Geffner de la Facultad de Medicina de la UBA y CONICET. Quiénes: Jorge Geffner: Profesor Titular de Inmunología. Facultad de Medicina. UBA. Investigador Superior. CONICET. Cuándo: Jueves 20 de Mayo, 11 hs. [...]

Título: Simulación por Cuantización de Estados en Física de Altas Energías: Un Estudio de Nuevos Integradores para el Simulador Geant4 Director: Lucio Santi Co-director: Rodrigo Castro Jurados: Pablo Turjanski (Dpto. de Computación) y Gustavo Otero y Garzón (Dpto. de Física) Resumen: Las simulaciones computacionales en física de altas energías [...]

Los invitamos a la octava charla de la edición 2021 del seminario. Esta vez presentamos a Gabriela Barbas. Secretaria de Prevención y Promoción de la Salud de Córdoba. Quién: Gabriela Barbas. Secretaria de Prevención y Promoción de la Salud de Córdoba. Cuándo: Jueves 27 de Mayo, 11 hs. Link [...]

Los invitamos a la novena charla de la edición 2021 del seminario. Esta vez presentamos a Julieta Calmens, subsecretaria de Salud mental de la Provincia de Buenos Aires. Quién: Julieta Calmens, subsecretaria de Salud mental de la Provincia de Buenos Aires. Cuándo: Jueves 3 de Junio, 11 hs. Link [...]

Título: Diseño e implementación de un generador de código .NET Directores: Edgardo Zoppi y Diego Garbervetsky Jurados: Hernán Wilkinson y Alexis Soifer Resumen: En esta tesis presentamos el diseño e implementación de un módulo de generación de código para el framework de análisis estático de código Analysis.NET. Esta herramienta [...]

Título: Verificación de correctitud para tipos de datos replicados en Coq Directores: Christian Roldán y Hernán Melgratti Jurados: Fernando Asteasuain y Agustín Martinez Suñé Resumen: La replicacion de datos es un concepto fundamental en sistemas distribuidos ya que ofrece garantías como escalabilidad y alta disponibilidad a expensas de tener [...]

Los invitamos a la décima charla de la edición 2021 del seminario. Esta vez tenemos el honor de contar con la visita del Dr. Pedro Cahn, Director Científico de la Fundación Huésped y miembro del equipo asesor del gobierno nacional en temas covid.