BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20190217T020000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200827T170000
DTEND;TZID=America/Sao_Paulo:20200827T180000
DTSTAMP:20260717T070238
CREATED:20200824T130208Z
LAST-MODIFIED:20200824T130208Z
UID:6098-1598547600-1598551200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Julián Del Gobbo
DESCRIPTION:Título: «UNCONSTRAINED TEXT DETECTION IN MANGA: A NEW DATASET AND BASELINE» \nDirectora: Rosana Matuk\nJurados: Enrique Segura\, Daniel Acevedo \nDía y hora: jueves 27 de Agosto de 2020 a las 17:00 hs. \nResumen:\nJapón es un país de una inmensa y milenaria cultura. Desafortunadamente\, el lenguaje japonés es uno de los más complejos del mundo. Esta barrera lingüística dificulta la comprensión y difusión de esta cultura fuera de Japón\, ya que son pocos los extranjeros que aprenden el lenguaje. Los métodos automáticos de traducción constituyen una herramienta indispensable para permitir el acceso a esta cultura. Sin embargo\, los métodos automáticos de escaneo y traducción tienen dificultades\, cuando los caracteres japoneses no provienen de una tipografía estándar de máquina\, sino que tienen diseño\, son manuscritos o están dibujados en documentos gráficos mezclados o superpuestos a figuras. \nPara traducir un documento gráfico\, se necesitan hacer los siguientes pasos:\n1) Detección del texto\n2) Eliminación del texto e inpainting del dibujo\n3) Traducción\n4) Impresión del nuevo texto en el documento gráfico \n\nEn esta tesis se aborda el primer paso de este proceso: la detección de texto japonés. Se estudia este problema en un tipo de documento gráfico japonés con numerosos y sofisticados niveles de diseño: el manga. \nPara que el documento gráfico no baje la calidad de su diseño\, el inpainting debe ser lo más exacto posible y para ello la detección de texto debe ser lo más exacta posible. Las principales contribuciones de esta tesis son: \n\nCreación de un dataset de los caracteres de texto japonés en manga anotados a nivel pixel\, siendo el primero en su tipo\nAdaptación e implementación de métricas especiales para texto sin restricciones\nEl dataset y las métricas se utilizan como guía para hallar un modelo de redes neuronales profundas\, superando para la mayoría de las métricas el estado del arte en detección de texto en manga
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-julian-del-gobbo/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200827T110000
DTEND;TZID=America/Sao_Paulo:20200827T130000
DTSTAMP:20260717T070238
CREATED:20200824T174847Z
LAST-MODIFIED:20200824T175004Z
UID:6100-1598526000-1598533200@www.dc.uba.ar
SUMMARY:Experiencia en la Identificación y Seguimiento de Contactos Estrechos.
DESCRIPTION:Los invitamos a la próxima charla del seminario a cargo de Natalia Fernández\, Mauricio Mendiluce\, Carolina Grillo\, Rodrigo Goldsmit\, coordinadores del Centro de Prevención Covid de Exactas.\n\nCuándo: Jueves 27/8 11AM\nQuienes: Natalia Fernández\, Mauricio Mendiluce\, Carolina Grillo\, Rodrigo Goldsmit\nLink zoom:  https://exactas-uba.zoom.us/j/94443673957\nTambién lo podes ver en youtube acá:\nhttps://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA\nTítulo: Centro de Prevención Exactas Covid-19: Experiencia en la Identificación y Seguimiento de Contactos Estrechos. \n\nResumen: El objetivo de esta charla será exponer la experiencia del Centro de Prevención Exactas (CPE) en la identificación y seguimiento de los contactos estrechos de casos sospechosos y/o confirmados de covid-19. La tarea es llevada adelante por un grupo de 40 estudiantes avanzados y graduados/as de carreras de nuestra Facultad. El CPE forma parte de una red de Centros de Telemedicina Covid Universitario (CeTeC-U) coordinados por el gobierno de la Provincia de Buenos Aires. En particular\, nuestro CPE brinda apoyo al Municipio de Vicente López. Por otra parte\, analizaremos la evolución de casos en dicho municipio para poder inferir sobre el efecto de la tarea llevada adelante desde el CPE. \n\nCoordinadores:\n– Natalia Brenda Fernández: Dra. en Biología (FCEyN-UBA). Becaria posdoctoral del CONICET en el Instituto de Biociencias\, Biotecnología y Biología traslacional (iB3) – FBMC – FCEyN – UBA. Oradora.\n– Mauricio Mendiluce: Lic. en Matemática (FCEyN-UBA). Docente del CBC. Actualmente desempeñando tareas en la Secretaría de Extensión\, Cultura Científica y Bienestar. Orador.\n– Carolina Grillo Vidal: Lic. en Ciencias Geológicas (FCEyN-UBA). Becaria doctoral del CONICET en el Instituto de Geocronología y Geología Isotópica (INGEIS).\n– Rodrigo Goldsmit: Estudiante de Medicina (FMED-UBA). Actualmente cursando el sexto año de la carrera. Ayudante de Farmacología.
URL:https://www.dc.uba.ar/event/centro-de-prevencion-exactas-covid-19-experiencia-en-la-identificacion-y-seguimiento-de-contactos-estrechos/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200820T110000
DTEND;TZID=America/Sao_Paulo:20200820T130000
DTSTAMP:20260717T070238
CREATED:20200818T124021Z
LAST-MODIFIED:20200818T124021Z
UID:6086-1597921200-1597928400@www.dc.uba.ar
SUMMARY:Comunicación interpersonal en tiempos de pandemia
DESCRIPTION:Los invitamos a la próxima charla del seminario a cargo de Mar Lucas\, directora de Innovación Estratégica en la Fundación Huésped.\n\nCuándo: Jueves 20/8 11AM\nQuien: Mg. Mar Lucas\nLink zoom:  https://exactas-uba.zoom.us/j/94443673957\nTambién lo podes ver en youtube acá:\nhttps://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA \nTítulo: Comunicación interpersonal en tiempos de pandemia\nResumen: El encuentro busca colaborar en la calidad de la comunicación entre docentes y estudiantes\, en el contexto de virtualidad\, a partir de la toma de conciencia de los estilos de comunicación interpersonal\, los bloqueadores y facilitadores de la comunicación y la emocionalidad que despierta vivir en tiempos de pandemia. \n\nMar Lucas es Directora de Innovación Estratégica de Fundación Huésped. Es Licenciada en Psicología (UAM – España)\, y posteriormente realizó un Posgrado de Formación en Gestalt (AGBA\, Argentina)\, la Diplomatura en Pedagogía Social y Teoría de la Educación (UNED\, España)\, y la Maestría en Mediación Familiar y Comunitaria (FUE–UNED\, España)\, y es Especialista en Infancia y Desarrollo (IFEJANT\, Perú). Ha trabajado en diferentes organizaciones no gubernamentales en España\, Bolivia y Argentina\, así como en organismos públicos de la Ciudad de Buenos Aires\, las Municipalidades de San Isidro y de Morón\, focalizando su trabajo en áreas diversas como la infancia en situación de calle\, personas privadas de libertad\, víctimas de violencia y abuso de poder\, y personas infectadas y afectadas por el VIH/Sida.
URL:https://www.dc.uba.ar/event/comunicacion-interpersonal-en-tiempos-de-pandemia/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200818T150000
DTEND;TZID=America/Sao_Paulo:20200818T160000
DTSTAMP:20260717T070238
CREATED:20200806T130018Z
LAST-MODIFIED:20200806T130018Z
UID:6065-1597762800-1597766400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Maureen Keegan
DESCRIPTION:Título: «Control y exploración de ambientes de sistemas reactivos»\nDirector: Sebastián Uchitel\nJurados: Hernán Melgratti\, Leandro Nahabedian \nResumen:\nLos sistemas autoadaptativos necesitan poder comprender autónomamente el ambiente en el que operan y usar este conocimiento para controlarlo de manera tal que los objetivos del sistema se cumplan. ¿Cómo se puede lograr esto si el ambiente es desconocido? En esta tesis formalizamos el problema de control y exploración para ambientes de sistemas reactivos. En el caso en que las metas son realizables en el ambiente dado\, la solución genera una estrategia que controla el ambiente y las cumple\, en caso contrario concluye que no es posible cumplirlas. Presentamos una solución restringida a objetivos de tipo GR(1)\, que usa MTS (Modal Transition Systems) para representar el conocimiento parcial del comportamiento del ambiente. Esta solución se basa en la síntesis de controladores para MTS para tomar las decisiones de exploración\, de manera tal que cada paso provea información sobre el ambiente o contribuya a cumplir los objetivos
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-maureen-keegan/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200813T110000
DTEND;TZID=America/Sao_Paulo:20200813T130000
DTSTAMP:20260717T070238
CREATED:20200810T130723Z
LAST-MODIFIED:20200810T130723Z
UID:6072-1597316400-1597323600@www.dc.uba.ar
SUMMARY:La Pandemia más allá de la Salud
DESCRIPTION:Los invitamos a la próxima charla del seminario a cargo de la Dra. Sol\nMinoldo que es Investigadora de CONICET en CIECS-UNC. \nCuándo: Jueves 13/8 11AM\nQuien: Dra Sol Minoldo\nLink zoom:  https://exactas-uba.zoom.us/j/94443673957\nTambién lo podes ver en youtube acá:\nhttps://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA \nTítulo: La Pandemia más allá de la Salud\nResumen: En esta charla discutiremos sobre la realidad Argentina:\n1. Con relación a la distribución de los costos;\n2. (Con relación) a las políticas de Estado dentro de diferentes\nelecciones\, capacidades y oportunidades de acción;\n3. Respecto de la articulación entre la crisis económica y la\nnecesidad de priorizar derechos sociales. \nSol Minoldo es Socióloga (UNLP) y Doctora en Ciencias Sociales (UBA).\nInvestigadora de CONICET en CIECS-UNC. Se especializa en el estudio de\npolíticas sociales\, envejecimiento de las poblaciones y derechos\nsociales de las personas mayores.
URL:https://www.dc.uba.ar/event/la-pandemia-mas-alla-de-la-salud/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200806T150000
DTEND;TZID=America/Sao_Paulo:20200806T160000
DTSTAMP:20260717T070238
CREATED:20200731T140819Z
LAST-MODIFIED:20200731T140819Z
UID:6038-1596726000-1596729600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Ezequiel Zimenspitz
DESCRIPTION:Título:  Collares perfectos máximos\nDirectora: Verónica Becher\nJurados: Sergio Abriola y Pablo Turjanski \nResumen: Hay secuencias muy lindas. Otras aún más lindas. Pero hay algunas que son combinatoriamente perfectas. Estas se vuelven atractivas en la práctica si además podemos dar un algoritmo sencillo y rápido para generarlas. En esta tesis nos dedicamos a unas de estas secuencias combinatoriamente perfectas\, variantes de las bien conocidas secuencias de Bruijn. Mostramos que el algoritmo goloso de Fredricksen de 1982 para generar las secuencias de Bruijn lexicográficamente máximas se puede adaptar para generar estas secuencias perfectas lexicográficamente máximas.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-ezequiel-zimenspitz/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200806T110000
DTEND;TZID=America/Sao_Paulo:20200806T130000
DTSTAMP:20260717T070238
CREATED:20200804T164218Z
LAST-MODIFIED:20200804T164218Z
UID:6049-1596711600-1596718800@www.dc.uba.ar
SUMMARY:Hospitales en Red
DESCRIPTION:Los invitamos a la próxima charla del seminario a cargo de Ines Caridi y Leonardo Boechi del  Instituto del Cálculo  (IC) y Silvina Cohen\, investigadora del Conicet/Prof. Medicina-UBA/Directora Centro Epilepsia\, Hospital del Cruce-Florencio Varela\n\n\n\n\n\n\nTítulo: Hospitales en Red \nLink zoom:  https://exactas-uba.zoom.us/j/94443673957 \nTambién lo podes ver en youtube acá: https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA\n\nResumen: La pandemia de coronavirus COVID-19 ha generado un drástico cambio en la organización de los efectores de salud. El funcionamiento en Red\, tanto a nivel de circulación de pacientes como a nivel administrativo y logístico\, es fundamental para una mejor planificación y uso de los recursos de salud. Nuestro objetivo es desarrollar un sistema integrado de recolección\, organización y visualización de la información epidemiológica de los pacientes\, así como su riesgo clínico y social durante la internación. El sistema se encuentra ampliamente utilizado en la región sudeste del Gran Buenos Aires\, con una activa participación de los profesionales de la salud. Ha resultado ser una fuente de información esencial del uso de camas en terapia intensiva\, clínica o extrahospitalaria de cada centro\, generando condiciones óptimas de organización en el trabajo cotidiano\, que redundan en un beneficio en la salud de los pacientes afectados en la pandemia.
URL:https://www.dc.uba.ar/event/hospitales-en-red/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200730T110000
DTEND;TZID=America/Sao_Paulo:20200730T130000
DTSTAMP:20260717T070238
CREATED:20200727T133229Z
LAST-MODIFIED:20200727T133229Z
UID:6024-1596106800-1596114000@www.dc.uba.ar
SUMMARY:Pandemia COVID-19\, jaque a la salud\, la ciencia y la política.
DESCRIPTION:Los invitamos a la próxima charla del seminario a cargo de la Dra. María Soledad Santini\, Directora del Centro Nacional de Diagnóstico e Investigación en Endemo-Epimdemias (CENDIE)-ANLIS Malbrán\n\nTítulo: Pandemia COVID-19\, jaque a la salud\, la ciencia y la política. \n\n\nCuándo: Jueves 30/7 a las 11AM.\n\n\nLink zoom:  https://exactas-uba.zoom.us/j/94443673957\nTambién lo podes ver en youtube acá: https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA\n\n\nResumen:  La pandemia ocasionada por el virus SARS-Cov2 puso al mundo en jaque\, y la Argentina no es la excepción. Comenzando por la descripción de los patógenos\, pasando por la genética de los agentes involucrados y llegando incluso hasta el estudio de la proteómica\, las enfermedades infecciosas se han contemplado en general y casi únicamente desde su constitución biológica a pesar de la complejidad de estas enfermedades por la multiplicidad de factores sociales que intervienen en el proceso de ocurrencia\, transmisión y desarrollo. \nSin importar del agente infeccioso que se quiere investigar\, debemos considerar que los procesos sociales en lo macro condicionan los patrones biológicos en lo micro. Así\, el proceso salud-enfermedad es complejo\, dinámico y multicausal. Sus ocurrencias no son al azar\, ni las múltiples dimensiones que las describen independientes.  Las problemáticas sanitarias ocurren según un contexto que las hace únicas e irrepetibles\, surgen de la interacción de la naturaleza\, la sociedad\, el desafío de las prácticas y saberes\, tanto de lo político como de lo científico\, por lo que la extrapolación del conocimiento\, de sus estrategias de prevención y control deben ser entendidas para cada territorio.\nIndependientemente del nivel desde donde se analice esta pandemia\, surgen dudas\, se identifican baches\, e incluso nos invita a repensarnos como sistemas socio-ambientales\, socio-económicos y socio-sanitarios. La paradoja que atravesamos día a día como científicos\, nos impide detenernos a repensar afirmaciones ya instaladas que colonizan nuestras formas de construir el conocimiento. La pandemia de COVID-19 refuerza la idea de que el conocimiento científico\, los procesos salud-enfermedad y las acciones políticas no son independientes\, cada uno de estos procesos están interconectados y el abordaje de uno de ellos repercute directamente por sobre los demás\, como define el efecto mariposa.\n\nLa Dra. María Soledad Santini es Lic. en Bióloga (orientación Zoología) y  Dra. en Cs Naturales (UNLP)-PostDoc Eco-epidemiologia leishmaniasis visceral. Diplomada en Planificación Estratégica en Salud. Se desempeña como Directora del Centro Nacional de Diagnóstico e Investigación en Endemo-Epimdemias (CENDIE)-ANLIS Malbrány es presidenta de la Red Argentina de Investigadoras e Investigadores en Salud (RAIIS).
URL:https://www.dc.uba.ar/event/pandemia-covid-19-jaque-a-la-salud-la-ciencia-y-la-politica/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200723T110000
DTEND;TZID=America/Sao_Paulo:20200723T130000
DTSTAMP:20260717T070238
CREATED:20200721T132927Z
LAST-MODIFIED:20200721T132927Z
UID:6019-1595502000-1595509200@www.dc.uba.ar
SUMMARY:Aprendizaje Automático para Triaje de Casos Covid-19
DESCRIPTION:Los invitamos a la próxima charla del seminario a cargo de Luciana Ferrer del  Instituto UBA/CONICET de Ciencias de la Computación (ICC).\n\n\nTítulo: Aprendizaje Automático para Triaje de Casos Covid-19\n\n\n\nLink zoom:  https://exactas-uba.zoom.us/j/94443673957\nTambién lo podes ver en youtube acá: https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA\n\nResumen: En esta charla presentaremos el desarrollo de sistemas de aprendizaje automático para el diagnóstico y prognosis de casos Covid-19. Estos sistemas pueden ser usados para lograr un uso más eficiente de los recursos disponibles para el testeo y para ayudar a los médicos en la priorización de casos\, si fuera necesario. Presentaremos resultados obtenidos en los datos provistos por el Ministerio de Salud de la Provincia de Buenos Aires y mostraremos qué síntomas y comorbilidades resultan importantes para resolver estos problemas.\n\nLuciana Ferrer es investigadora adjunta en el Instituto de Ciencias de la Computación\, UBA-CONICET. Luciana completó su doctorado en Ingeniería Electrónica en Stanford University\, California\, USA\, en 2009 y su grado de Ingeniería Electrónica en la Universidad de Buenos Aires en 2001. Su tema principal de investigación es el aprendizaje de máquinas aplicado a procesamiento de habla\, bioinformática y otras tareas.
URL:https://www.dc.uba.ar/event/aprendizaje-automatico-para-triaje-de-casos-covid-19/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200722T180000
DTEND;TZID=America/Sao_Paulo:20200722T190000
DTSTAMP:20260717T070238
CREATED:20200715T140223Z
LAST-MODIFIED:20200721T141246Z
UID:6001-1595440800-1595444400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Nicolás Chamo
DESCRIPTION:Título: «Análisis de cambios en los parámetros estructurales de bosques utilizando imágenes aéreas de VANTs»\nDirector: Francisco Gómez Fernández\nJurados: Facundo Pessacg (CONICET)\, Pablo De Cristóforis (DC-UBA)\, Sebastián Torrella (EGE-UBA)\n\nDía y hora: miércoles 22 de julio\, 18 hs\n\nLa misma será transmitida en tiempo real a través del siguiente link:\nhttps://www.youtube.com/watch?v=ijAAxUJMP6I\n\n\n\nResumen:\nEl análisis de los parámetros estructurales de bosques tiene múltiples aplicaciones en la gestión de bosques\, como por ejemplo en la elaboración de inventarios forestales. Por medio del estudio de los cambios a lo largo del tiempo de estos parámetros\, es también posible la evaluación del estado de conservación/degradación de estos bosques. Mediante el proceso de Structure from Motion (SFM)\, se analizan imágenes aéreas obtenidas desde VANTs para construir una nube de puntos 3D\, la cual luego es utilizada para generar modelos de superficie (DSM) y suelo (DTM). Al poseer estos modelos de dos vuelos de la misma área\, pero en momentos distintos\, es posible aplicar algoritmos especializados de detección de cambios con el objetivo de generar mapas geo-referenciados de cambios. \nGracias al desarrollo de un simulador de vuelo de vehículos aéreos no tripulados (VANT) en esta tesis\, se logró encontrar una combinación de configuraciones y parámetros de vuelo que mejoran la calidad de la nube de puntos 3D\, logrando una reducción de los errores entre 64% y 75%. Al mismo tiempo\, se desarrollaron nuevos algoritmos de aproximación de superficie del suelo\, logrando así reducir el error promedio de la reconstrucción del DTM en un 45% y la raíz del error cuadrático medio en un 57%. De esta forma\, mostramos que con buena reconstrucción 3D y estimación del suelo\, es posible detectar de forma correcta los cambios en los parámetros estructurales\, al exhibir casos de éxito tanto en las simulaciones\, como en ejemplos reales.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nicolas-chamo/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200722T130000
DTEND;TZID=America/Sao_Paulo:20200722T150000
DTSTAMP:20260717T070238
CREATED:20200721T141005Z
LAST-MODIFIED:20200721T141005Z
UID:6021-1595422800-1595430000@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Andrés Viso
DESCRIPTION:Título: Un estudio semántico sobre extensiones avanzadas del λ-cálculo: patrones y operadores de control\nDirector: Eduardo Bonelli\nJurados:\n– Pablo Castro (Universidad Nacional de Río Cuarto\, Argentina)\n– Alejandro Díaz-Caro (Universidad Nacional de Quilmes e ICC\, FCEN-UBA\, Argentina)\n– Miguel Pagano (FAMAF\, Universidad Nacional de Córdoba\, Argentina) \nDónde: Zoom\, pero se transmitirá por streaming (el link se enviará un rato antes del comienzo de la defensa). \nResumen:\nEl siguiente trabajo presenta distintos análisis semánticos sobre fundamentos de lenguajes de programación funcional. En particular\, se establece como objeto de estudio el λ-cálculo para luego focalizar especialmente en dos de sus extensiones\, a saber: el Pure Pattern Calculus (PPC) y el λμ-cálculo de Parigot.\nEn un primer lugar se estudian estrategias de evaluación para λ-cálculo por medio del sistema de tipos intersección (no idempotente) V. El mismo es capaz de caracterizar (exactamente) los términos normalizantes. Esta herramienta permite establecer una igualdad observacional entre la conocida estrategia call-by-need –noción puramente sintáctica– y el concepto semántico de needed redexes.\nMás precisamente\, se introduce la reducción weak-head needed y se muestra que el sistema V identifica sintácticamente todos los redexes weak-head needed de un término.\nPPC\, introducido por Kesner y Jay\, es una extensión del λ-cálculo con patrones dinámicos y pattern matching que permite abstraer virtualmente cualquier término. Esto dio lugar a dos nuevas formas de polimorfirmo: path polymorphism y pattern polymorphism. El primero se refiere a la definición de funciones que se aplican uniformemente a estructuras de datos arbitrarias\, definidas de manera inductiva. Su escencia recae sobre patrones de la forma x y (i.e. la aplicación de dos variables)\, lo que permite descomponer una estructura de datos en sus diferentes partes. Este trabajo se enfoca en path polymorphism restringiendo el análisis al Calculus of Applicative Patterns (CAP)\, un nuevo formalismo que puede ser visto como el fragmento estático de PPC\, lo que descarta la forma de pattern polymorphism. Se desarrolla un sistema de tipos estático para CAP\, capaz de capturar path polymorphism mediante una combinación adecuada de\nherramientas de tipado como: tipos constantes\, aplicativos\, unión y recursivos.\nLas propiedades fundamentales de subject reduction y progress se satisfacen en el sistema propuesto\, lo que garantiza el buen comportamiento dinámico del cálculo. Esto recae crucialmente en una novedosa noción de compatibilidad de patrones. A su vez\, se desarrolla un algoritmo de type-checking eficiente median-\nte la formulación de una variante dirigida por sintaxis del sistema de tipos. Esto involucra algoritmos de chequeo de equivalencia de tipos y subtipado\, ambos basados en caracterizaciones coinductivas de estas relaciones.\nEn una tercera línea de investigación\, se consideran programas con operadores de control. El objetivo es identificar aquellos programas con tales constructores cuyas semánticas de reducción se corresponden de manera exacta. Esto se logra introduciendo una relación ≃\, definida sobre una presentación alternativa del λμ-cálculo con operadores explícitos llamada ΛM . El resultado se basa en dos ingredientes fundamentales: (1) la factorización de la reducción del λμ-cálculo en pasos multiplicativos y exponenciales mediante el uso de los nuevos\noperadores explícitos introducidos; y (2) la traducción de los términos de ΛM en las Polarized Proof-Nets (PPN) de Laurent\, de modo que cut-elimination en las PPN simula la reducción en ΛM. La relación ≃ propuesta caracteriza la equivalencia estructural de las PPN. Más aún\, ≃ resulta ser una bisimulación fuerte con respecto a la reducción en ΛM \, i.e. dos térmidos ≃-equivalentes tienen exactamente la misma semántica de reducción\, un resultado que falla tanto para la σ-equivalencia de Regnier en el λ-cálculo como para la σ-equivalencia de Laurent en el λμ-cálculo.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-andres-viso/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200717T130000
DTEND;TZID=America/Sao_Paulo:20200717T140000
DTSTAMP:20260717T070238
CREATED:20200713T131516Z
LAST-MODIFIED:20200713T131516Z
UID:5991-1594990800-1594994400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Maia Tanenzapf
DESCRIPTION:Título: «Repeticiones Maximales para la Estimación de la Diversidad en\nMetagenomas»\nDirectores: Pablo Turjanski\, Esteban Lanzarotti\nJuradas: Verónica Becher\, Maria Elena Buemi \nDía y hora: Viernes 17 de Julio\, 13:00hs \nResumen \nLos avances en las tecnologías de secuenciación de ADN producidos en\nla última década permitieron generar grandes cantidades de datos\nnuevos para analizar. A partir de esto\, aplicaciones como la\nmetagenómica tomaron relevancia. Esta consiste en analizar el ADN de\nlos diferentes microorganismos que componen una comunidad a partir de\nmuestras provenientes de distintas fuentes\, por ejemplo\, de estudios\nambientales de suelo o de análisis clínicos de sangre. Las\nlimitaciones actuales de las tecnologías de secuenciación no permiten\nobtener los genomas completos de los microorganismos presentes en\nestas muestras\, es por esto que uno de los desafíos que se presenta en\nla actualidad es poder determinar las especies que componen un\nmetagenoma a partir de sus lecturas. En este trabajo buscamos un\nmétodo para la estimación de la diversidad de metagenomas de bacterias\na partir del cálculo de intervalos maximales de repetición. Para esto\nutilizamos una adaptación del algoritmo propuesto por Ilie et al. para\nel cálculo de estos intervalos y analizamos la relación entre\ndistintas propiedades de los mismos y la cantidad de genomas\nutilizando metagenomas simulados. A partir de este análisis formulamos\nun modelo que\, utilizando los intervalos de repeticiones maximales de\nun metagenoma\, permite estimar la cantidad de genomas que lo integran. \nEvaluamos nuestro método en metagenomas simulados a partir de genomas\nde bacterias conocidos obteniendo una buena estimación de la cantidad\nde genomas que lo componen. Adicionalmente utilizamos un conjunto de\nmetagenomas de virus generado en el trabajo de Roux et al. de manera\nde proveer una validación independiente de los datos usados para\nobtener el modelo. En este caso obtuvimos un error de escala muy alto\nal estimar la diversidad\, pudiendo deberse a que los datos utilizados\nfueron generados a partir de virus mientras que nuestro modelo utilizó\nbacterias o a que en el trabajo de Roux se utilizan entre 500 y 1000\nvirus mientras que nosotros utilizamos solamente 40 bacterias. Sin\nembargo\, sí encontramos cierta correlación al utilizar nuestro método\npara ordenar los metagenomas según la cantidad de genomas.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-maia-tanenzapf/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200716T110000
DTEND;TZID=America/Sao_Paulo:20200716T130000
DTSTAMP:20260717T070238
CREATED:20200713T171733Z
LAST-MODIFIED:20200713T171733Z
UID:5999-1594897200-1594904400@www.dc.uba.ar
SUMMARY:Iniciativas del Instituto Sistemas Complejos de Ingeniería (ISCI) de Chile en el marco del COVID-19
DESCRIPTION:Próxima Charla del Seminario ICC/IC sobre Covid: Jueves 16/7\, 11 hs. \nTítulo: Iniciativas del Instituto Sistemas Complejos de Ingeniería (ISCI) de Chile en el marco del COVID-19\nA cargo de: Leonardo Basso. Director del ISCI. Profesor Titular del Departamento de Ingeniería Civil\, FCFM\, Universidad de Chile \nLink zoom:  https://exactas-uba.zoom.us/j/94443673957\nTambién lo podes ver en youtube acá: https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA\nResumen:  El Instituto Sistemas Complejos de Ingeniería de Chile reorientó durante los últimos meses sus capacidades\, conocimientos y recursos frente a la crisis generada por el COVID-19 para colaborar directamente con la primera línea de salud.\nSe resumen en esta charla las iniciativas desarrolladas que aportan a cada uno de los elementos necesarios para contener la crisis en el país.\nLas iniciativas son útiles en la medida de que se trabaje colaborativamente con quiénes están a cargo de la toma de decisiones y de la ejecución en los diferentes estratos gubernamentales.
URL:https://www.dc.uba.ar/event/iniciativas-del-instituto-sistemas-complejos-de-ingenieria-isci-de-chile-en-el-marco-del-covid-19/
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200715T110000
DTEND;TZID=America/Sao_Paulo:20200715T120000
DTSTAMP:20260717T070238
CREATED:20200713T131303Z
LAST-MODIFIED:20200713T131633Z
UID:5989-1594810800-1594814400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Santiago Hernández
DESCRIPTION:Título: «PREDICTING THE COST OF SECOND PRICE AUCTIONS IN A REAL TIME BIDDING ENVIRONMENT»\n\nDirector: Esteban Feuerstein\n\nJurados: Esteban Mocskos\, Gabriel Tolosa\n\nDía y hora: miércoles 15 de Julio de 2020 a las 11:00 hs.\n\n\n\nLa defensa será transmitida al público a través de Facebook\, accediendo con el siguiente link: https://www.facebook.com/events/1424518427720553/\n\n\nResumen\nReal-time Bidding (RTB) es una forma de gestionar espacios publicitarios que permite subastar espacios individuales mediante subastas en tiempo real\, que suelen ser con la modalidad de sobre cerrado con segundo precio\, de forma programática en el acto y por lo tanto el precio final que deberá pagar el oferente no es conocido al momento de ofertar. RTB permite hacer publicidad a medida; es decir que los anuncios se pueden servir a los consumidores de forma directa basado en sus características demográficas\, psicográficas y comportamiento.\nPara optimizar campañas de marketing digital mostrando anuncios obtenidos mediante el mercado\, el comprador debe poder valuar las oportunidades de mostrar anuncios y determinar si son rentables o no. Para esto es necesario una estimación del valor que aporta mostrar un anuncio y el costo de mostrar el mismo.En este trabajo se introducen y comparan métodos para estimar el costo de subastas de segundo precio desde el punto de vista del comprador. Estos métodos incluyen dos anteriormente publicados:\n1. Una regresión lineal sobre el costo con un dataset de subastas ganadas.\n2. Una regresión logística para estimar la probabilidad de ganar una subasta y luego aplicar métodos numéricos para estimar el costo aprovechando la relación entre ambos valores.\nY métodos aquí introducidos:\n3. Una regresión  logística sobre la proporción entre el costo y la oferta.\n4. Una regresión logística para estimar la probabilidad de ganar una subasta y luego aplicar métodos analíticos para estimar el costo análogamente al método 2.Los experimentos realizados muestran que el método introducido de utilizar una regresión  logística sobre la proporción entre el costo y la oferta obtiene mejores resultados que el resto.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-santiago-hernandez/
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200709T110000
DTEND;TZID=America/Sao_Paulo:20200709T120000
DTSTAMP:20260717T070238
CREATED:20200703T160808Z
LAST-MODIFIED:20200703T160808Z
UID:5967-1594292400-1594296000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Nicolás Len
DESCRIPTION:Título: «Implementación y estudio de un protocolo basado en replicación de datos»\n\nDirector: Christian Roldán\n\nJurados: Nicolas D’Ippolito\,  Mariano Cerrutti\n\nLa misma será transmitida al público a través de youtube\, mandaremos el link antes de comenzar.\n\n\nResumen\n \nMuchas de las aplicaciones que utilizamos hoy les aseguran a sus usuarios que siempre van a estar disponibles\, aunque la red por momentos se encuentre lenta o incluso fuera de servicio. Para alcanzar esto\, los programadores escriben aplicaciones donde el estado se propaga de forma asincrónica a través de distintos dispositivos. Una implementación posible consiste en clientes (dispositivos) que mantienen una copia de los datos y un líder o servidor que decide un orden sobre las operaciones realizadas por los usuarios. La literatura ofrece distintos modelos\, y sus diferencias están asociadas a si la propagación clientes-servidor y servidor-clientes es sincrónica o asincrónica. \nEn esta tesis estudiamos e implementamos GSP (por sus siglas en inglés Global Sequence Protocol)\, un modelo operacional que propaga operaciones de forma asincrónica en ambas direcciones\, es decir\, clientes-servidor y servidor-clientes. Para esto\, la implementación se construye sobre una capa de broadcast llamada RTOB (por sus siglas Reliable Total Order Broadcast) que garantiza que todas las escrituras siempre son entregadas a cada cliente\, en el mismo orden y sin perderse. Concretamente\, desarrollamos una librería OCaml open-source de GSP\, haciendo foco en estudiar cuáles garantías de consistencia\, tales como read my writes\, causalidad o prefijos\, son alcanzadas por utilizar RTOB. Nuestros casos de estudio muestran que\, en la práctica\, GSP depende del protocolo de broadcast para asegurar ciertas garantías de consistencia.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nicolas-len/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200708T110000
DTEND;TZID=America/Sao_Paulo:20200708T130000
DTSTAMP:20260717T070238
CREATED:20200706T132409Z
LAST-MODIFIED:20200706T132409Z
UID:5971-1594206000-1594213200@www.dc.uba.ar
SUMMARY:El trabajo de Fundación Huésped en respuesta a la pandemia
DESCRIPTION:Próxima Charla: Leandro Cahn\nTítulo: El trabajo de Fundación Huésped en respuesta a la pandemia\nMiércoles 8/7\, 11 hs\n\n\n\n\n\nLink zoom:  https://exactas-uba.zoom.us/j/94443673957\nTambién lo podes ver en youtube acá: https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA\n\n\nResumen:\nEn pocos días el trabajo presencial y territorial de Fundación Huésped en relación al VIH\, otras enfermedades transmisibles\, vacunas y derechos sexuales y reproductivos debió tornarse virtual\, al mismo tiempo en el que debimos repensar nuestro rol en relación a la respuesta a la pandemia por el COVID-19. \nEn la charla presentaremos las distintas estrategias de las áreas de Investigación\, Comunicación\, Programas e Innovación Estratégica\, además de la necesaria adaptación de toda la organización\, para generar nuevas actividades en relación a la pandemia. \nLeandro Cahn es Licenciado en Ciencia Política (UBA) y Master en Administración y políticas públicas (Udesa). Director Ejecutivo de Fundación Huésped. Socio refundador. Hincha de San Lorenzo.
URL:https://www.dc.uba.ar/event/el-trabajo-de-fundacion-huesped-en-respuesta-a-la-pandemia/
CATEGORIES:Agenda
ATTACH;FMTTYPE=image/jpeg:https://www.dc.uba.ar/wp-content/uploads/2020/07/Flyer-Cahn.jpeg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200703T180000
DTEND;TZID=America/Sao_Paulo:20200703T190000
DTSTAMP:20260717T070238
CREATED:20200629T131048Z
LAST-MODIFIED:20200629T131048Z
UID:5958-1593799200-1593802800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Lucas Bekier
DESCRIPTION:Título: «Un lenguaje de domino específico para sistemas de condiciones»\nDirector: Ceria\, Santiago\nCodirector: de Caso\, Guido\nJurados: Arcuschin\, Iván (UBA); Garbervetsky\, Diego (UBA) \nLink Aula Zoom: https://zoom.us/my/dc.aula08\nNombre Aula Zoom: dc.aula08\nClave del Aula Zoom: M.Hamilton\nSolicitamos que por favor al conectarse silencien sus micrófonos. \nResumen:\nAsí como a veces existen lenguajes de programación de propósito general para programadores\, otras veces son necesarios lenguajes específicos para usuarios finales que son una especie de versión simplificada\, generalmente para aplicar en dominios específicos. \nEn el marco de este trabajo se propone un lenguaje de dominio específico (DSL) que permita a usuarios no expertos en la programación poder escribir reglas condicionales de manera sencilla. Existen muchos contextos donde es necesario escribirlas: un ejemplo muy común es la necesidad de mostrarle a usuarios diferente información basada en reglas predefinidas\, ya sea de autorización o en base a acciones que desencadenan diferentes flujos de datos. \nAsimismo\, se construye una herramienta que traduce código escrito en JavaScript (un lenguaje de propósito general) que tenga una estructura dada\, al DSL anteriormente propuesto y se mide la eficacia de la herramienta en base a un corpus de programas preexistentes. Por último se analiza la correctitud de la implementación del traductor a través de técnicas de fuzzing.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-lucas-bekier/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200703T100000
DTEND;TZID=America/Sao_Paulo:20200703T120000
DTSTAMP:20260717T070238
CREATED:20200701T122741Z
LAST-MODIFIED:20200701T122741Z
UID:5960-1593770400-1593777600@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Leandro Nahabedian
DESCRIPTION:Titulo: Actualización Dinámica de Controladores de Eventos Discretos.\nDirector: Sebastián Uchitel.\nJurados:\n– Hugo Andrés López\n– Matías Urbieta\n– Andres Diaz Pace \nAbstract:\nLos sistemas de eventos discretos están en el núcleo de muchos sistemas de software que requieren operación continua como los sistemas reactivos. Cambiar estos controladores en tiempo de ejecución\, para dar soporte a cambios del ambiente o cambios en los requerimientos\, es una problema desafiante y no resuelto hasta ahora. En esta tesis\, se plantea formalmente el problema de actualizar dinámicamente sistemas de eventos discretos que controlan sistemas reactivos. Presento aquí un enfoque general para especificar criterios de correctitud para actualizaciones dinámicas y una técnica que computa automáticamente un controlador que maneja la transición desde la vieja especificación hasta la nueva especificación\, garantizando que el sistema alcance un estado en el cual esa transición pueda ocurrir correctamente y en la cual la arquitectura del sistema subyacente pueda reconfigurarse. La solución usa síntesis de controladores de eventos discretos para construir automáticamente un controlador que garantiza ambas: progreso sobre la actualización y actualizaciones seguras. \nLa técnica desarrollada fue aplicada a distintos dominios como sistemas reactivos o sistemas robóticos. Cada uno de ellos comprende distintos desafíos entre los cuales se destaca la urgencia por adaptarse a los nuevos requerimientos y las variedades de estrategias que se pueden computar para lograr la actualización. Otro dominio de aplicación de la técnica fue la reconfiguración de procesos de negocio. Como es esperado\, las organizaciones requieren que sus procesos de negocios evolucionen manteniendo el cumplimiento de nuevas políticas\, estrategias y regulaciones. La reconfiguración de un proceso de negocio es un problema desafiante ya que no solo se debe idear un nuevo workflow\, sino que también\, requiere de entender de cómo debe ser la transición entre el viejo workflow y el nuevo.\nSi bien los procesos de negocio suelen ser más lentos que los sistemas reactivos o los sistemas robóticos\, este problema sólo fue levemente estudiado\, sin poder garantizar un proceso automático que lo resuelva. En esta tesis producimos procesos de reconfiguración que garantiza la evolución de un antiguo workflow a uno nuevo\, satisfaciendo los requerimientos de transición definidos por el usuario. \nPalabras clave: Actualización dinámica. Sistemas Reactivos. Procesos de Negocio. Sistemas de Eventos Discretos. Síntesis.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-leandro-nahabedian/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200702T110000
DTEND;TZID=America/Sao_Paulo:20200702T130000
DTSTAMP:20260717T070238
CREATED:20200702T141122Z
LAST-MODIFIED:20200702T141122Z
UID:5963-1593687600-1593694800@www.dc.uba.ar
SUMMARY:El genoma del SARS-CoV-2: identificación\, seguimiento y tratamiento del virus en tiempo real
DESCRIPTION:A cargo de;\nDario Fernández Do Porto (Instituto de Cálculo\, FCEN-UBA/CONICET)\nAdrián Turjansky (IQUIBICEN\, FCEN-UBA/CONICET)\n\nJueves 2/7\, 11 hs.\n\n\n\n\nLink zoom:  https://exactas-uba.zoom.us/j/94443673957\nTambién lo podes ver en youtube acá: https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA\n\nResumen:\nEn enero de 2020 se reportó oficialmente el agente causal de una nueva y misteriosa neumonía\, una variante de coronavirus: SARS-CoV-2. Casi a la par que esto sucedía\, fueron obtenidos las secuencias genómicas de decenas de miles de aislamientos clínicos de los cinco continentes. El hecho de que las secuencias del genoma se obtengan sincrónicamente con el desarrollo de la pandemia permite estudiar el proceso evolutivo de manera simultánea al desarrollo de la misma. Esto  representa un evento sin precedentes para la historia científica de la humanidad.\n\nEl análisis de las secuencias genómicas de cepas locales\, no solo nos permite establecer políticas de vigilancia sino realizar aportes al diseño racional de drogas y adecuar la administración de futuras vacunas y antivirales para combatir cepas que circulan en nuestro país. \n\nEn este sentido\, contar con un número importante de secuencias genómicas de los virus que circulan es nuestro país resulta fundamental para pensar políticas de salud pública exitosas en el marco de la pandemia.\nEn este seminario contaremos los aportes realizados por el grupo de bioinformática del Instituto de Cálculo en el marco del Proyecto Argentino Interinstitucional de genómica de SARS-CoV-2 (PAIS).
URL:https://www.dc.uba.ar/event/el-genoma-del-sars-cov-2-identificacion-seguimiento-y-tratamiento-del-virus-en-tiempo-real/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200618T110000
DTEND;TZID=America/Sao_Paulo:20200618T130000
DTSTAMP:20260717T070238
CREATED:20200616T124223Z
LAST-MODIFIED:20200616T124223Z
UID:5936-1592478000-1592485200@www.dc.uba.ar
SUMMARY:Seminario: Aportes científicos frente al covid-19
DESCRIPTION:Link a la charla:  https://exactas-uba.zoom.us/j/94443673957\n\nTambién lo podes verlo en youtube acá: https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA\n\n\nPróxima charla: Rodrigo Quiroga\, German Soldano y Juan A. Fraire\n\nTítulo: Análisis\, modelado y recolección de datos sobre la pandemia covid-19 en Argentina\n\nResumen: Sobrellevar y luego superar la pandemia con el menor costo humano posible está descontado. La discusión se centra en cuál es ese mínimo y cuáles son las políticas adecuadas para lograrlo. Al mismo tiempo\, la masificación y disponibilidad de los datos\, característica distintiva de la época en que vivimos\, parece ser una oportunidad que debemos explotar. En este contexto\, en la primer parte de esta charla aplicamos una serie de herramientas estadísticas apropiadas para analizar indicadores claves de la pandemia como letalidad\, positividad\, nowcasting\, efecto del distanciamiento social\, internaciones y fallecidos. Una segunda parte introduce el uso de modelos computacionales de simulación basados en agentes que permiten la obtención de datos realistas considerando la presencia de asintomáticos\, pre-sintomáticos\, los super-spreaders\, características de cuarentena\, capacidad hospitalaria y rastreo de contactos. En la tercer y última parte abordamos la discusión sobre la factibilidad\, valor y compromiso de datos personales del rastreo de contactos por medio de dispositivos móviles\, una herramienta que podría permitir la recolección automática de datos de contactos para así focalizar el tratamiento y aislamiento temprano de infectados.\n\nLos esperamos!
URL:https://www.dc.uba.ar/event/seminario-aportes-cientificos-frente-al-covid-19-2/
LOCATION:ZOOM
CATEGORIES:Agenda
ATTACH;FMTTYPE=image/png:https://www.dc.uba.ar/wp-content/uploads/2020/06/seminario.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200612T140000
DTEND;TZID=America/Sao_Paulo:20200612T150000
DTSTAMP:20260717T070238
CREATED:20200611T181919Z
LAST-MODIFIED:20200611T181919Z
UID:5933-1591970400-1591974000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Martín Baigorria
DESCRIPTION:Título: «Hacia un mejor entendimiento de los modelos de elección discreta basados en órdenes parciales»\nDirector: Gustavo Vulcano\nJurados: Javier Marenco (UBA-UNGS)\,  Paula Zabala (UBA)\n\nZoom: https://utdt.zoom.us/j/98193561241\n\nResumen:\nLa teoría de elección busca modelar la forma en la que un agente elige una alternativa a partir de un conjunto de elecciones posible. Este problema ha sido ampliamente estudiado en la literatura en Marketing\, Psicología\, Econometría\, Investigación Operativa y Aprendizaje Automático\, entre otros. Para modelar este proceso de elección\, puede asumirse que el agente muestrea una lista de preferencia o ranking sobre alternativas a partir de una distribución. El agente luego elige la opción que más prefiere entre las disponibles\, es decir\, que rankea más alto en su lista de preferencia. Esto también se puede interpretar desde un punto de vista de maximización de utilidad\,\ndonde el agente elige la alternativa que le provee del máximo nivel de satisfacción entre las disponibles. Para utilizar un modelo de elección\, primero debemos ajustar una distribución\, sea paramétrica o no paramétrica\, a datos históricos de elecciones. \nLa literatura actualmente está migrando de modelos paramétricos (que imponen una estructura a la función de utilidad) hacia modelos no paramétricos\, con mínimas asunciones y puramente orientados a datos. En contextos donde el modelo subyacente de generación de datos (ground truth) es paramétrico o la cantidad de datos disponible no es grande\, una distribución paramétrica puede ofrecer una performance predictiva competitiva. Sin embargo\, a medida que el número de datos crece\, la literatura ha mostrado (ver por ejemplo Farias et al. [1]) que muchas familias de modelos no paramétricos son capaces de capturar modelos subyacentes paramétricos de generación de datos de manera muy precisa\, lo que ofrece un alto grado de flexibilidad. \nEsta tesis se dividirá en dos partes principales. En la primera parte\, exploraremos métodos de aprendizaje no supervisado para clustering de órdenes parciales. Esto está motivado por el hecho de que la estructura de preferencias de un agente puede ser modelada con un DAG (directed acyclic graph\, o grafo dirigido acíclico). Poder agrupar este tipo de grafos es útil para encontrar grupos similares de agentes en este contexto\, utilizando algún tipo de métrica o noción de similitud. La segunda parte de esta tesis intentará mejorar nuestro entendimiento y la performance de modelos basados en el orden parcial de los agentes. Estos modelos han sido introducidos por Jagabathula y Vulcano [2]\, transicionando de modelos basados en órdenes totales a modelos basados en órdenes parciales\, donde las preferencias latentes de un agente son parcialmente observables. Intentaremos mejorar la performance de estos modelos utilizando diferentes estrategias de clustering para inicializar las funciones de verosimilitud. A partir de esta inicialización\, finalmente computaremos los estimadores de máxima verosimilitud con el algoritmo esperanza-maximización (EM). También haremos experimentos numéricos utilizando el dataset IRI\, que incluye millones de registros reales sobre la disponibilidad de productos en diferentes supermercados y las transacciones a nivel desagregado de los diferentes clientes identificados por sus tarjetas de membresía. \nConcluimos empíricamente que el clustering utilizado para la inicialización de las funciones de verosimilitud parece no tener efecto sobre la performance predictiva de los diferentes modelos. Validamos los resultados encontrados por Jagabathula y Vulcano [2] sobre la performance de los modelos basados en órdenes parciales. Por otro lado\, introducimos un nuevo modelo uniforme sobre órdenes parciales y con el mismo mostramos algunas de las consecuencias de utilizar una estructura de preferencias por cliente dada por un DAG. \n[1] Vivek F Farias\, Srikanth Jagabathula\, and Devavrat Shah. A nonparametric approach to modeling choice with limited data. Management Science\, 59(2):305–322\, 2013.\n[2] Srikanth Jagabathula and Gustavo Vulcano. A partial-order-based model to estimate individual preferences using panel data. Management Science\, 2017.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-martin-baigorria/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200612T100000
DTEND;TZID=America/Sao_Paulo:20200612T110000
DTSTAMP:20260717T070238
CREATED:20200608T130025Z
LAST-MODIFIED:20200608T130252Z
UID:5921-1591956000-1591959600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Christian Ciccaroni
DESCRIPTION:Título: «Mejorando la generación de casos de test Espresso para aplicaciones Android»\nDirector: Iván Arcuschin Moreno\nJurados: Martín Urtasun\,  Leandro Nahabedian\n\nDía y hora: Viernes 12 de Abril\, 10:00hs\n\nLa misma será transmitida al público general a través del siguiente link:\n\n\nLink Aula Zoom: https://zoom.us/my/dc.aula09\nNombre Aula Zoom: dc.aula09\nClave del Aula Zoom: H.Lamarr\n\n\nSolicitamos que por favor al conectarse silencien sus micrófonos.\n\nResumen:\n\n\nEn las aplicaciones móviles se debe testear no solo los objetos de negocio y los objetos que interactúan con el sistema operativo\, sino que también la interfaz de usuario(UI). Esta clase de tests son conocidos como tests de UI y su objetivo es dar garantías de que la interfaz de la aplicación se comporte como se espera ante las interacciones realizadas en cada test sobre los distintos widgets que componen las pantallas. \nRealizar tests correctos y completos de una vista puede llevar más tiempo que desarrollar la vista en sí\, por lo que en la práctica muchas veces no son escritos. En el caso particular de Android\, el principal framework utilizado para este fin es Espresso\, y la escritura de los tests es responsabilidad del desarrollador\, ya que se requiere conocimiento técnico de Android y del código de la aplicación a testear. \nMATE es una herramienta capaz de interactuar con los widgets de la pantalla de una aplicación utilizando el sistema de accesibilidad de Android\, sin necesidad de interactuar con un humano. Una vez finalizada las exploraciones se genera un archivo con las acciones realizadas en cada paso y los widgets sobre los que se realiza cada acción. \nETG es un prototipo académico que se ocupa de generar casos de prueba Espresso recibiendo como input la descripción de una serie de acciones realizadas en los widgets de una aplicación. Si bien el input puede tener cualquier procedencia\, en esta tesis se utiliza el output de MATE ya que dicha herramienta realiza acciones sobre widgets particulares al igual que Espresso. El objetivo de esta herramienta es lograr documentar casos funcionales de una navegación correcta sobre una aplicación y\, además\, servir como punto de partida para la escritura de nuevos casos de tests. \nSe trabajó en mejorar ETG para conseguir casos de tests fieles al input recibido. Se realizaron pruebas sobre aplicaciones creadas específicamente para la búsqueda de casos problemáticos donde la herramienta no se comporte correctamente y los casos generados presenten errores. Luego\, se evaluó el rendimiento de la herramienta en una aplicación industrial de gran tamaño y\, finalmente\, se definen ideas y posibilidades de uso en la industria.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-christian-ciccaroni/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200611T140000
DTEND;TZID=America/Sao_Paulo:20200611T150000
DTSTAMP:20260717T070238
CREATED:20200605T152014Z
LAST-MODIFIED:20200605T152142Z
UID:5916-1591884000-1591887600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Emanuel Lamela
DESCRIPTION:Título: «Una caracterización operacional para modelos de consistencia transaccional»\n\n\nJurados: Hernán Melgratti\,  Agustín Martinez Suñé\nDirector: Christian Roldán\n\nLa misma será transmitida al público general a través del siguiente link:\n\n\nLink Aula Zoom: https://zoom.us/my/dc.aula09\nNombre Aula Zoom: dc.aula09\nClave del Aula Zoom: H.Lamarr\n\n\nSolicitamos que por favor al conectarse silencien sus micrófonos.\nResumen:\n\nHoy en día se construyen aplicaciones sobre bases de datos replicadas que garantizan escalabilidad y alta disponibilidad a expensas de sacrificar la consistencia\, es decir\, los usuarios pueden observar temporalmente diferencias sobre el estado del sistema. Un modelo de consistencia caracteriza este tipo de inconsistencias o anomalías. Por lo tanto\, razonar sobre la semántica de programas está directamente ligado a los modelos de consistencia que este tipo de bases de datos ofrecen. La literatura define a los modelos de consistencia en términos de axiomas que restringen las posibles ejecuciones en una base de datos replicada. En particular\, en esta tesis nos concentramos en modelos de consistencia para transacciones. Una traza de ejecución es reconstruida a través de un grafo de eventos conocido como ejecución abstracta. La misma se define sobre un conjunto de transacciones y dos relaciones: (i) visibilidad\, que define cuando una transacción es conocida por otra\, y (ii) arbitración\, que especifica un orden relativo entre las transacciones ejecutadas por el sistema. Estos mecanismos\, si bien son declarativos\, no inducen una operatoria clara que pueda ser sencillamente traducida a una implementación.\n\n\nEn esta tesis desarrollamos un modelo operacional basado en un sistema de transición etiquetado que captura de forma general los modelos de consistencia para transacciones. Para esto definimos el estado del sistema como un orden parcial sobre una secuencia de transacciones. Además proponemos una regla de equivalencia estructural\, y un conjunto de reglas de derivación descriptas en términos de dos predicados paramétricos: commit consistency y arbitration consistency. Cada modelo de consistencia transaccional\, como Snapshot Isolation y Causal Consistency\, es presentado a partir de la instanciación de cada predicado\, ofreciendo así\, definiciones alternativas de los mismos. Probaremos entonces\, la equivalencia entre la presentación clásica para modelos de consistencia transaccional\, que son definidas axiomáticamente\, y nuestro modelo operacional. Concretamente\, demostramos la correspondencia de ambos enfoques presentando pruebas de soundness y completeness para cada modelo.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-emanuel-lamela/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200611T110000
DTEND;TZID=America/Sao_Paulo:20200611T130000
DTSTAMP:20260717T070238
CREATED:20200605T161845Z
LAST-MODIFIED:20200611T124804Z
UID:5919-1591873200-1591880400@www.dc.uba.ar
SUMMARY:Seminario: Aportes científicos frente al covid-19
DESCRIPTION:Días y horarios: Todos los jueves a las 11hs. (desde el 4 de junio)\nModalidad: Virtual (vía Zoom):\nLink de ingreso: https://exactas-uba.zoom.us/j/94443673957\nTambién lo podes verlo en youtube acá: https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA\n\n\nSegunda charla: jueves 11-06\, 11hs.\nTítulo: Diálogos entre la ciencia y la gestión en tiempos difíciles: el rol de la producción de conocimiento en la toma de decisiones en el marco del COVID-19.\n\nExpositor: Franco Marsico\, biólogo de la FCEN-UBA\, trabaja en identificación de personas desaparecidas en el Banco Nacional de Datos Genéticos. Actualmente es asesor del Gobierno de la Provincia de Buenos en relación a la pandemia COVID-19. \n\nResumen: La pandemia de COVID-19 hace que estemos en uno de los momentos de nuestra historia de mayor demanda de preguntas por parte de nuestra sociedad. Muchas de estas aún siguen sin respuesta y la acuciante realidad que se nos plantea dista de un ensayo científico ideal a partir del cual podamos sacar conclusiones precisas. En esta charla expongo algunos de los criterios\, problemáticas y estrategias utilizadas para canalizar\, con un sentido crítico\, el conocimiento generado por el sistema científico hacia los tomadores de decisiones.\nDías y horarios: Todos los jueves a las 11hs. (desde el 4 de junio)\nModalidad: Virtual (vía Zoom)\nLa crisis mundial generada por esta enfermedad tuvo como respuesta una movilización inédita de la comunidad científica internacional\, y en particular una impresionante generación de sinergias impensadas tiempo atrás entre académicxs y distintos profesionales de nuestro país. Las distintas disciplinas (ciencias de la salud\, ciencias sociales\, ciencias matemáticas y de la computación\, etc) han confluido para dar respuestas a esta crisis y colaborar con el Estado en la toma de decisiones.\nNos proponemos desde este Seminario generar un espacio para que científicos y científicas compartan avances y experiencias de sus disciplinas ante la pandemia generada por el CoVid-19. Es objetivo de este Seminario es poner sobre la mesa buena parte de los desarrollos realizados y generar un espacio abierto de debate y difusión del conocimiento.
URL:https://www.dc.uba.ar/event/seminario-aportes-cientificos-frente-al-covid-19/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200604T110000
DTEND;TZID=America/Sao_Paulo:20200604T150000
DTSTAMP:20260717T070238
CREATED:20200602T125604Z
LAST-MODIFIED:20200605T162112Z
UID:5904-1591268400-1591282800@www.dc.uba.ar
SUMMARY:Nuevo seminario-La Ciencia ante el CoVid-19
DESCRIPTION:SEMINARIO La Ciencia ante el CoVid-19\nSeminario conjunto Instituto de Ciencias de la Computación e Instituto de Cálculo\, ambos FCEN-UBA/CONICET\nDías y horarios: Todos los jueves a las 11hs. (desde el 4 de junio)\nModalidad: Virtual (vía Zoom) \nLa crisis mundial generada por esta enfermedad tuvo como respuesta una movilización inédita de la comunidad científica internacional\, y en particular una impresionante generación de sinergias impensadas tiempo atrás entre académicxs y distintos profesionales de nuestro país. Las distintas disciplinas (ciencias de la salud\, ciencias sociales\, ciencias matemáticas y de la computación\, etc) han confluido para dar respuestas a esta crisis y colaborar con el Estado en la toma de decisiones. \nNos proponemos desde este Seminario generar un espacio para que científicos y científicas compartan avances y experiencias de sus disciplinas ante la pandemia generada por el CoVid-19. Es objetivo de este Seminario es poner sobre la mesa buena parte de los desarrollos realizados y generar un espacio abierto de debate y difusión del conocimiento. \nPrimera charla: 4 de junio\nExpositor: Dr Jorge Aliaga (UNAHUR\, CONICET)\nTítulo: Análisis de datos y la experiencia de transmitirlos a un público masivo en el marco de la pandemia del covid-19\nResumen: En la charla contaré cómo se fueron recolectando los datos que publica el Ministerio de Salud de la Nación y cómo fue avanzando el análisis de estos.\nCon el pasar de los días\, seguidores en twitter fueron aportando ideas y nuevas cosas a mostrar\, que fui aprendiendo y sumando. Detallaré también\, la infomación con que contamos hoy\, luego de 75 informes diarios. \nPara registrarse\, ingresar al siguiente link: \nhttps://exactas-uba.zoom.us/meeting/register/tJApc-quqTgjH9NhpE5EFYh-LnO5XMAiwQWw \n*Después del registro vas a recibir instrucciones de como sumarte a la reunión. \n\nVideo de la primera charla:
URL:https://www.dc.uba.ar/event/nuevo-seminario-la-ciencia-ante-el-covid-19/
LOCATION:ZOOM
CATEGORIES:Agenda
ATTACH;FMTTYPE=image/png:https://www.dc.uba.ar/wp-content/uploads/2020/06/fotoseminarioacovid.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200504T171000
DTEND;TZID=America/Sao_Paulo:20200504T181000
DTSTAMP:20260717T070238
CREATED:20200428T142613Z
LAST-MODIFIED:20200428T142613Z
UID:5854-1588612200-1588615800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Francisco Noriega
DESCRIPTION:Título: «The Vectorial Lambda Calculus Revisited»\nDirector:  Alejandro Díaz-Caro\nJurados:\n    Hernán Melgratti (UBA)\n    Pablo Barenbaum (UBA)\n    Pablo Arrighi (Aix-Marseille Université).\nDía y hora: Lunes 4 de Mayo. 17:10hs\nLugar: Aula Zoom: dc.aula09\n \nResumen:\n\nWe revisit the Vectorial λ-Calculus\, a system that provides a way to model a vector space of terms by extending the classic terms of the λ-calculus with linear combination of them; and by introducing a type system on top. The system can be summarized by the slogan «If Γ ⊢ t : T and Γ ⊢ r : R then Γ ⊢ α · t + β · r : α · T + β · R». \nHowever\, the type system in Vectorial only provides a weakened version of the Subject Reduction property. We prove that our revised Vectorial λ-Calculus supports the standard version of said property as well as many others in the original system\, such as Progress. We also introduce the concept of weight of types and terms\, and a new property relating the weight of a term with the weight of its type.M
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-francisco-noriega/
LOCATION:ZOOM
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200407T163000
DTEND;TZID=America/Sao_Paulo:20200407T173000
DTSTAMP:20260717T070238
CREATED:20200402T141424Z
LAST-MODIFIED:20200402T141424Z
UID:5841-1586277000-1586280600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Pablo Fromer
DESCRIPTION:Título: «Datalog +/-\, una interfaz tolerante a la inconsistencia»\nDirectores: Maria Vanina Martinez y Ricardo O. Rodriguez\nJurados: Santiago Figueira (UBA)\,  Cristhian Ariel D. Deagustini   (Universidad Nacional de Entre Ríos)\n\nLa misma será transmitida al público general a través del siguiente link:\nhttps://us04web.zoom.us/j/949570064\n\n\n\nSolicitamos encarecidamente que por favor al conectarse silencien sus microfonos. Si alguien tiene problemas para conectarse\, les rogamos nos envíen un mail y trataremos de solucionar el inconveniente: mvmartinez@dc.uba.ar o ricardo@dc.uba.ar \n\n\nResumen:\nDurante mucho tiempo se ha estudiado el problema de manejar la inconsistencia. En los últimos años\, ha habido un\ncreciente interés en este tema con el advenimiento de la Web Semántica\, que ha hecho que este asunto sea aún más\nrelevante; teniendo en cuenta que en ambientes abiertos\, con fuentes de información proveniente de diversos orígenes\, es habitual que surjan contradicciones entre los datos. Existen dos enfoques para lidiar con la inconsistencia en bases de conocimiento: el primero consiste en que dada una base de conocimiento inconsistente\, se debe arreglarla de una manera optimal; lo cual puede implicar cambios en la teoría lógica subyacente tanto como agregar o quitar sentencias de la base.\nEl segundo enfoque se basa en considerar todas las maneras posibles de arreglar esa base de conocimientos «on the fly»\, es decir al momento de realizar las consultas. De alguna manera se «convive» con la inconsistencia. En este trabajo nos concentraremos en el segundo enfoque.\nDistintas aproximaciones se pueden considerar también al momento de erradicar la consistencia; existen para esto diferentes semánticas\, algunas más restrictivas que otras\, y con diferente grado también de complejidad computacional. Queremos presentar aquí los diferentes enfoques que se han propuesto en este campo para el caso de lenguajes ontológicos\, basados en reglas\, y presentar también un algoritmo que ayude a resolver el problema de la inconsistencia de manera eficiente. Teniendo en cuenta que la semántica AR\, es la semántica más aceptada para query answering en ontologías potencialmente inconsistentes\, nuestra intención es encontrar una forma de poder responder consultas bajo esta semántica achicando el espacio de búsqueda con un heurística adecuada. Por otro lado\, nuestra motivación se basa también en presentar una herramienta que le permita al usuario lidiar con la inconsistencia de manera amigable\, dándole además la posibilidad de resolverla\, y de comparar los resultados\nque se obtendrían al ejecutar consultas bajo la semántica AR y la semántica IAR\, siendo la segunda más restrictiva que la primera.\nEnmarcaremos este problema en el contexto de Datalog +/-\, una familia de extensiones de Datalog que permite cuantificar variables existencialmente en la implicaciones lógicas.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-pablo-fromer/
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200403T180000
DTEND;TZID=America/Sao_Paulo:20200403T190000
DTSTAMP:20260717T070238
CREATED:20200330T125800Z
LAST-MODIFIED:20200402T140736Z
UID:5829-1585936800-1585940400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Christian Cuneo
DESCRIPTION:Título: «Sistema de escaneo 3D integrado y de bajo costo usando luz estructurada y súper-resolución»\nDirector: Francisco Gómez Fernández\nJurados: Julio Jacobo (UBA)\, Gabriel Taubin (Brown University)\n\nNota: \nLa misma será transmitida al público general a través del siguiente link\, donde podrán dejar sus preguntas que serán respondidas al final de la defensa:\nhttps://www.youtube.com/watch?v=TTH8IDQm6jM\n\n\nResumen:\nEl escaneo 3D es utilizado en diversas áreas de investigación tanto científicas como de ingeniería. En la actualidad los escáneres 3D de bajo costo orientados a la investigación requieren un conocimiento técnico complejo previo para su configuración y uso\, mientras que los orientados al desarrollo de juegos y aplicaciones no sólo carecen de garantías claras de precisión y exactitud\, sino que al ser diseñados para desarrollo\, no tienen una interfaz de usuario.\nPor otro lado\, los escáneres 3D disponibles que sí ofrecen alta precisión y exactitud garantizada y a su vez son relativamente fáciles de usar se ofrecen a precios superiores a los U$D 20.000. Todo esto limita significativamente el acceso a esta tecnología a numerosos grupos de investigación con presupuestos limitados o falta de conocimiento técnico en computación.\nEn esta tesis desarrolló e implementó un sistema de escaneo 3D de alta precisión y exactitud. El escáner se basa en visión estéreo utilizando luz estructurada. El mismo es integrado y de bajo costo con una interfaz de usuario que permite ser calibrado y utilizado por usuarios ajenos al campo.\nA su vez se desarrollaron dos técnicas de súper-resolución para lograr superar los límites de resolución impuestos por los dispositivos de bajo costo que componen el escáner. La primera está integrada al escáner y está basada en hardware\, utilizando una plataforma de movimiento preciso para controlar la posición del objeto escaneado. Mientras que la segunda técnica consiste en un algoritmo de escaneo volumétrico por tallado (space carving). Tanto la implementación del escáner y como las técnicas de súper-resolución se evaluaron en su precisión\, exactitud y calidad al escanear una serie objetos de prueba con garantía de fabricación.\nSe concluye que el escáner 3D desarrollado alcanza niveles de precisión y exactitud comparables con escáneres 3D que cuestan un orden de magnitud de precio más\, aunque con un tiempo de adquisición mayor. A su vez el escáner logra alcanzar súper-resolución utilizando la técnica basada en hardware\, mientras que la técnica de space carving necesita trabajo adicional para lograr generar superficies limpias a partir del tallado logrado.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-christian-cuneo/
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200319T110000
DTEND;TZID=America/Sao_Paulo:20200319T120000
DTSTAMP:20260717T070238
CREATED:20200312T132301Z
LAST-MODIFIED:20200312T132348Z
UID:5813-1584615600-1584619200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Lucas Rafael Romero
DESCRIPTION:Titulo:  Una extensión polimórfica para los λ-cálculos cuánticos λρ y λρ°\nDirector:  Alejandro Díaz-Caro\nJurados:  Hernán Melgratti – Andrés Viso \nResumen:\nEn 2017 Díaz-Caro presentó dos extensiones al cálculo lambda simplemente tipado que modelaban el cómputo cuántico\, llamadas λρ y λρ°. La novedad de estos cálculos radica en que representan los sistemas cuánticos mediante sus matrices de densidad asociadas haciendo que el cálculo esté más cercano a su semántica. El paper original contiene las demostraciones de las propiedades de subject reduction y progreso. En 2019 Borgna demostró en su tesis de licenciatura la normalización fuerte de los cálculos mediante una traducción al cálculo cuántico λq de Selinger y Valiron. \n\nEste trabajo apunta a extender ambos cálculos con un sistema de tipado polimórfico a la Curry\, extensión de System F\, y contextos de tipado un poco más permisivos. Sobre estas extensiones demostramos que se mantienen subject reduction y presentamos una demostración de normalización fuerte mediante candidatos de reducibilidad. También probamos que  λρ° es confluente\, y utilizando la noción de confluencia probabilística definida por Martínez en 2018\, presentamos las dificultades y posibles enfoques para lograr la confluencia de λρ.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-lucas-rafael-romero/
LOCATION:Aula 3\, Pabellón 2
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200313T150000
DTEND;TZID=America/Sao_Paulo:20200313T160000
DTSTAMP:20260717T070238
CREATED:20200309T135722Z
LAST-MODIFIED:20200312T131829Z
UID:5804-1584111600-1584115200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Gonzalo Fernandez
DESCRIPTION:Título: «Estimación de la veracidad de expresiones faciales utilizando aprendizaje profundo»\nDirector: María Elena Buemi\nJurados: Enrique Segura – Daniel Acevedo\n\nResumen:\nEn este trabajo se estudian diferentes enfoques basados en aprendizaje automático (en particular\, variantes de redes neuronales artificiales) para clasificar instancias de expresiones faciales en video según su veracidad. Este problema tiene la particularidad\, en comparación\na la mayorı́a de problemas que las computadoras aprendieron a resolver utilizando inteligencia artificial\, de que es una tarea que no es trivial de resolver para los seres humanos.\nCon ello surge la dificultad de evaluar el rendimiento de los modelos desarrollados. Entre las múltiples aplicaciones que tiene este problema están mejorar la interacción\nhumano-computadora\, aumentar la efectividad de los robots asistentes\, aportar en el tratamiento de desórdenes cognitivos crónicos\, asistir investigaciones policiales\, entre otros.\nTambién podrı́a ser utilizado como herramienta para inferir qué tan bueno es un actor o para juzgar si un sospechoso dice la verdad.\nSe utiliza como base de entrenamiento la SASE-FE que fue diseñada especı́ficamente para resolver este problema en particular. Esta base contiene videos de sujetos realizando expresiones faciales\, etiquetados según tipo de expresión y valor de verdad.\nEl principal análisis se basa en comparar redes neuronales profundas (feed-forward) con redes neuronales recurrentes. Este tipo particular de redes se caracteriza por su capacidad de extraer información de una secuencia y almacenarla a través del tiempo. Ası́\, un video puede ser clasificado utilizando no sólo los atributos obtenidos en cada cuadro sino también los de sus antecesores.\nAnte la escasez de datos para experimentar\, se propone una nueva métrica para realizar un análisis más granular y la cual permite comparar con más detalle los resultados que arroja cada variante implementada. Los resultados sugieren que los rasgos determinantes que permiten distinguir entre una expresión sincera y una fingida están muy arraigados al sujeto que las ejecuta y\, por lo tanto\, desarrollar un clasificador universal (independiente\ndel sujeto en cuestión) parece ser poco viable.\nEn cuanto a la comparación entre los dos tipos de redes\, si bien las recurrentes no mejoraron los valores obtenidos por las profundas\, sı́ se destaca que obtuvieron resultados similares con menor cantidad de épocas de entrenamiento.\nPalabras claves: Expresiones Faciales\, Landmarks\, Redes Neuronales Recurrentes.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-gonzalo-fernandez/
LOCATION:Aula 5
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR