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:20180218T020000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0300
TZOFFSETTO:-0200
TZNAME:-02
DTSTART:20181104T030000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20190217T020000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200709T110000
DTEND;TZID=America/Sao_Paulo:20200709T120000
DTSTAMP:20260630T220335
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:20260630T220335
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:20260630T220335
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:20260630T220335
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:20260630T220335
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:20260630T220335
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:20260630T220335
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:20260630T220335
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:20260630T220335
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:20260630T220335
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:20260630T220335
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:20260630T220335
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:20260630T220335
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:20260630T220335
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:20260630T220335
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:20260630T220335
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
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200221T143000
DTEND;TZID=America/Sao_Paulo:20200221T153000
DTSTAMP:20260630T220335
CREATED:20200217T141102Z
LAST-MODIFIED:20200217T141304Z
UID:5690-1582295400-1582299000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Julian Palladino
DESCRIPTION:Título: Adaptación de dominio no supervisada para segmentación de resonancias magneticas cerebrales mediante redes adversarias de consistencia cíclica.\nDirectores: Enzo Ferrante / Diego Fernandez Slezak\nJurados: Marcelo Risk / Enzo Tagliazzuchi\nResumen:\n\nLa segmentación automática es uno de los problemas más importantes en el campo de visión por computadora aplicado al análisis de imágenes médicas. En particular\, la segmentación de estructuras anatómicas y patológicas en imágenes de resonancia magnética cerebrales (MRI\, por sus siglas en inglés) es una tarea fundamental en el ámbito de neuroimágenes (por ejemplo\, para el análisis morfométrico de cerebro o el planeamiento de radioterapia).Las redes neuronales convolucionales (CNN) específicamente diseñadas para segmentación de imágenes biomédicas (tales como U-Net o DeepMedic) han superado toda técnica previa en esta labor. Sin embargo\, son extremadamente dependientes de los datos y sólo mantienen un buen rendimiento cuando no hay cambios entre las distribuciones de datos de entrenamiento y de evaluación. Este escenario ocurre frecuentemente en la práctica\, ya que variar la marca\, el modelo o los parámetros de adquisición del equipo de resonancia magnética utilizado tiene gran impacto en la distribución de las MRI que genera. En otras palabras\, dichas variciones generan un cambio en el «dominio» del que provienen las imágenes. Para poder hacer frente a este problema y reutilizar modelos que han sido entrenados en dominios diferentes\, se utilizan técnicas de «adaptación de dominio». \nEn este trabajo se propone una estrategia no supervisada de adaptación de dominio basada en redes neuronales adversarias de consistencia cíclica (CycleGAN)\, cuyo objetivo es aprender una función «traductora» que transforme eficazmente imágenes de resonancia magnética volumétricas a través de distintos dominios. Para ello\, se implementaron modelos de CycleGAN en 2D y 3D\, y se verificó que ambos permiten reducir la divergencia de Jensen-Shannon entre dominios de MRI\, lo cual posibilita una segmentación automática con modelos de CNN sobre dominios donde no se tienen datos etiquetados.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-julian-palladino/
LOCATION:Laboratorio 1
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191220T170000
DTEND;TZID=America/Sao_Paulo:20191220T180000
DTSTAMP:20260630T220335
CREATED:20191213T163311Z
LAST-MODIFIED:20191213T163709Z
UID:5640-1576861200-1576864800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Patricio Tarantino
DESCRIPTION:Titulo: Compresores de datos como estimadores de diversidad en repertorios de células T \nDirector: Esteban Lanzarotti \nJurados: Pablo Turjanski y Diego Ferreiro \nResumen: \nLa diversidad de receptores de células T presentes en el cuerpo humano es una forma de saber la eficiencia del mismo\, ya que nos permite saber a cuántos antígenos distintos es capaz de reconocer. Sin embargo\, su medición es difícil pues no todos se presentan en muestras sanguíneas\, y más aún\, aunque tengamos a los receptores de células T\, no es fácil saber qué antígeno reconocerán. Pero sí podemos suponer que receptores de células T con estructura similar reaccionarán frente a las mismas moléculas externas. \nProponemos entonces un modelo basado en los compresores de datos\, que son capaces de reconocer patrones en cadenas de texto (cadenas de aminoácidos)\, que intentarán\, dado un conjunto de receptores de células T\, estimar su diversidad basado en su composición estructural\, y a su vez\, a cuántos antígenos distintos reconocen. Mejoraremos luego dicho modelo\, que llamaremos CompreScore\, agregando la noción de similitud entre aminoácidos provista por las matrices BLOSUM\, que proveerá más información a los compresores a la hora de encontrar patrones y obtener información. Por último\, probaremos nuestro modelo CompreScore frente a pacientes\, y veremos que genera una nueva métrica de diversidad\, independiente de las ya conocidas como Shannon o Simpson\, y más aún\, es también capaz de brindar información en otras dimensiones del paciente\, como es su rango etario.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-patricio-tarantino/
LOCATION:Laboratorio 5
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191220T140000
DTEND;TZID=America/Sao_Paulo:20191220T150000
DTSTAMP:20260630T220335
CREATED:20191213T162857Z
LAST-MODIFIED:20191219T114101Z
UID:5638-1576850400-1576854000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Martín Mongi Badía
DESCRIPTION:Título: Algoritmos basados en programación lineal entera para el problema de ruteo de buses escolares\nDirector: Javier Marenco\nJurados: Dra. Paula Zabala y Dr. Federico Pousa \nResumen:\nEn esta tesis\, estudiamos maneras de resolver el problema de ruteo de buses escolares. Este problema consiste en\, dado un sector urbano\, un conjunto de potenciales paradas\, estudiantes y sus ubicaciones\, buscar un conjunto de rutas y asignación de paradas óptimos. Aunque se pueden usar varias definiciones de optimalidad\, nosotros buscamos minimizar la distancia recorrida por los buses. Nuestro enfoque es en la resolución exacta de este\nproblema.\nPresentamos tres modelos diferentes de programación lineal entera básicos. Generamos variantes sobre los modelos particulares\, con el fin de mejorar la performance. Con el objetivo de reducir la simetría de nuestros modelos\, presentamos una técnica de agrupación de estudiantes. Creamos una heurística para utilizar una solución inicial y una heurística primal sobre subnodos. Realizamos una extensa experimentación y presentamos los resultados obtenidos y las conclusiones al respecto.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-martin-mongi-badia/
LOCATION:Aula E24
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191219T110000
DTEND;TZID=America/Sao_Paulo:20191219T120000
DTSTAMP:20260630T220335
CREATED:20191213T133251Z
LAST-MODIFIED:20191213T133251Z
UID:5628-1576753200-1576756800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Kevin Piotrkowski
DESCRIPTION:Título: Bitcoin: Todos se benefician por igual\, pero… ¿Hay algunos más iguales que otros?\nDirectores: David Gonzalez Marquez\, Maximiliano Geier\nJurados: Daniel Foguelman\, Gabriel Wainer\n\nResumen:\n\n\n\n\n\nLa aparición y el auge de Bitcoin plantean nuevos posibilidades sobre la forma tradicional de hacer transacciones\, así como también nuevos desafós a resolver.Desde distintos grupos académicos y de la industria del software se está trabajando en herramientas que permitan evaluar el comportamiento de la red bajo diferentes condiciones.\nEn este trabajo presentamos una herramienta para simular la red Bitcoin utilizando el framework provisto por SimGrid\, un simulador de eventos discretos.\nEl foco está puesto en los aspectos que permiten llegar a un consenso distribuido sobre el historial de transacciones que ocurrieron en la red.\nVamos a tener dos tipos de actores: nodos y mineros.  Todos los actores van a seguir el comportamiento del cliente de referencia de Bitcoin para transmitir\, recibir y validar los mensajes en la red simulada.\nLa herramienta provista permite analizar como se comporta la red ante una traza de actividad determinada así como el comportamiento ante cambios de parámetros en el protocolo de consenso o de red\, y en particular será utilizada en nuestro trabajo para identificar ventajas que puedan obtener los actores mediante una mejora en su conectividad o en el poder de cómputo disponible.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-kevin-piotrkowski/
LOCATION:Laboratorio Turing
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191218T180000
DTEND;TZID=America/Sao_Paulo:20191218T190000
DTSTAMP:20260630T220335
CREATED:20191212T132826Z
LAST-MODIFIED:20191218T124639Z
UID:5626-1576692000-1576695600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Daniela Marottoli
DESCRIPTION:Título: Detección estática de canales no cerrados usando tipos comportamentales\nDirector: Hernan Melgratti\nJurados: Carlos Lopez Pombo\, Christian Roldán\n\nResumen:\nGo es un lenguaje de programación tipado estáticamente cuyo diseño presenta primitivas explícitas de intercambio de mensajes a través de canales. Lange\, Ng\, Toninho y Yoshida proponen un sistema de tipos comportamentales para analizar propiedades sobre aspectos comunicacionales de programas en Go\, tales como ausencia de deadlocks y errores de comunicación. Esta verificación se realiza a través de dos herramientas\, Dingo Hunter y Gong\, que toman un programa en Go e indican si satisfacen estas propiedades. Furman extiende estas herramientas agregando mensajes de error que contienen información sobre la línea de código que viola las propiedades\, y la historia de ejecución asociada. El objetivo de este trabajo es mejorar la usabilidad de las herramientas incorporando una detección estática de canales abiertos\, de manera de agregar en el output información sobre canales que no son cerrados y que no se utilizan en el futuro de la ejecución. Para ello se extiende la implementación de Gong de manera de obtener información sobre tipos asociados a canales que se eliminan cuando se construye la máquina de estados que representa la ejecución simbólica de los tipos comportamentales de un programa.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-daniela-marottoli/
LOCATION:Aula E24
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191218T170000
DTEND;TZID=America/Sao_Paulo:20191218T180000
DTSTAMP:20260630T220335
CREATED:20191211T125150Z
LAST-MODIFIED:20191211T125150Z
UID:5620-1576688400-1576692000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Ángel Abregú y Martín De Micheli
DESCRIPTION:Título: LigQ 2.0 y ReverseLigQ: dos herramientas de Virtual Screening e Inverse Virtual Screening basadas en aprendizaje automático\nDirectores: Pablo Turjanski y Marcelo Martí\nJurados: Esteban Lanzarotti y Darío Fernández Do Porto \nResumen\nEn el presente trabajo de tesis se aborda el problema de generación de conjuntos de moléculas pequeñas que puedan comportarse como ligandos para proteínas de interés y su inverso\, la generación de conjuntos de proteínas con altas chances de acoplamiento a un ligando objetivo. En la actualidad\, las bases de datos de moléculas poseen millones de compuestos y\, poder predecir acoplamientos\, es un problema relevante para la comunidad. Durante el desarrollo de esta tesis\, nos enfocamos específicamente en el problema de vincular las propiedades conocidas sobre el sitio de unión de la proteína estudiada con las propiedades de los ligandos candidatos. Los descriptores escogidos son\, por lo general\, valores fisicoquímicos\, morfológicos y topológicos\, ya sean calculados o conocidos experimentalmente. Para realizar este vínculo de manera óptima\, aplicamos técnicas de aprendizaje automático\, estableciendo una valoración de los compuestos obtenidos en base a los parámetros calculados como óptimos para que una molécula se acople  eficientemente a nuestro objetivo de interés. Los resultados finales\, si bien no fueron los esperados\, dan lugar a modelos de uso real mediante su incoporación en sistemas web que permiten su uso irrestricto.\nPara acercar a la comunidad nuestros desarrollos\, tomamos como punto de partida una herramienta preexistente denominada LigQ. Esta herramienta permite calcular\, dada una proteína como entrada\, conjuntos de moléculas candidatas a ser ligandos de la misma\, es decir\, que pueden potencialmente acoplarse a ella modulando o inhibiendo su actividad. Adaptamos dicha herramienta\, incorporando modelos de aprendizaje automático construídos durante este trabajo. Análogamente\, para el problema inverso\, desarrollamos una herramienta similar\, a la que denominamos reverse-LigQ.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-angel-abregu-y-martin-de-micheli/
LOCATION:Laboratorio 6
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191218T150000
DTEND;TZID=America/Sao_Paulo:20191218T160000
DTSTAMP:20260630T220335
CREATED:20191212T132554Z
LAST-MODIFIED:20191218T143204Z
UID:5624-1576681200-1576684800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Alejandro Candioti
DESCRIPTION:Título:  «Buscando un ciclo Euleriano compatible: un algoritmo rápido”\nDirectora: Verónica Becher\nJurados: Flavia Bonomo y Min Chih Lin \nResumen: Un ciclo Euleriano en un grafo G es un camino cerrado que usa todos los arcos de G exactamente una vez. Dos ciclos Eulerianos son compatibles si no comparten ningún camino de longitud 2. Fleischner y Jackson demuestran en 1990  que para todo camino Euleriano en un grafo dirigido de grado mínimo 3\, existe otro ciclo Euleriano compatible. El resultado principal de esta tesis es un algoritmo para calcular un ciclo Euleriano compatible a uno dado en un grafo dirigido  de grado mínimo 3\, con  complejidad de peor caso  O(E * log(V)) donde  V y E la cantidad de vértices y arcos del grafo. Nuestro algoritmo  se basa en las ideas de Lin\, Ward\, Jain y Skiena de 2011.     Un segundo resultado de esta tesis responde una pregunta de Becher y Heiber en 2011 y es un algoritmo para  extender una secuencia de  Bruijn de orden n a otra de orden n+1 para alfabetos de grado mayor o igual que 3.  Nuestra solución de este problema se basa en el algoritmo previamente descripto que genera un ciclo Euleriano compatible a otro dado. Esta solución también puede usarse para  extender  otras secuencias que son variantes de las secuencias de Bruijn\, como los llamados collares perfectos.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-alejandro-candioti/
LOCATION:Aula E24
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191217T180000
DTEND;TZID=America/Sao_Paulo:20191217T190000
DTSTAMP:20260630T220335
CREATED:20191211T124859Z
LAST-MODIFIED:20191211T124859Z
UID:5618-1576605600-1576609200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Vera Bogdanich Espina
DESCRIPTION:Título: Verificación de smart contracts en Ethereum: un estudio y un prototipo\nDirector: Diego Garbervetsky\nJurados: Juan Pablo Galeotti\, Hernan Melgratti\n\nResumen:\nLos contratos inteligentes\, o smart contracts\, son programas que pueden ser ejecutados consistentemente por una red de nodos que se desconfían mutuamente\, sin el arbitraje de una autoridad centralizada. Debido a su resistencia a la manipulación\, los smart contracts son atractivos en muchos escenarios\, especialmente en aquellos que requieren transferencias de dinero respetando ciertas reglas acordadas. Desafortunadamente\, programar smart contracts es una tarea delicada que requiere experiencia: sus aplicaciones y la semántica de los sistemas descentralizados inevitablemente introducen una gran cantidad de problemas de seguridad. Por lo tanto\, surgieron métodos y herramientas para apoyar el desarrollo de smart contracts seguros. Evaluar la calidad de estas herramientas resulta difícil.\nEsta tesis pretende ser una guía para quienes tienen la intención de analizar smart contracts\, ya sea durante una auditoría o durante el desarrollo de aplicaciones descentralizadas. En particular\, para los auditores de OpenZeppelin\, que mostraron interés en el análisis automático y quieren aplicarlo en su trabajo diario. Además de realizar este estudio sobre técnicas de análisis automático para smart contracts\, también desarrollamos una herramienta prototipo que combina dos enfoques existentes y agrega un lenguaje de especificación para crear un monitor para controles de seguridad. Este monitor se implementó como una instrumentación del contrato proporcionado\, por lo que se puede evaluar con casi cualquier programa de análisis para así aprovechar sus capacidades\, y al mismo tiempo expresar invariantes del contrato en un lenguaje inspirado en las lógicas temporales.\n 
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-vera-bogdanich-espina/
LOCATION:Laboratorio Turing
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191216T170000
DTEND;TZID=America/Sao_Paulo:20191216T180000
DTSTAMP:20260630T220335
CREATED:20191210T121525Z
LAST-MODIFIED:20191210T121525Z
UID:5614-1576515600-1576519200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Brian Bokser
DESCRIPTION:Título: Verficación de invariantes en tipos de datos replicados con consistencia mixta\nDirectores: Christian Roldán y Hernán Melgratti\nJurados: Juan Pablo Galeotti y Agustín Martinez Suñé\n\nResumen: \n\nLos sistemas geográficamente distribuidos replican su estado sobre diferentes nodos (llamados también réplicas) con el fin de satisfacer requerimientos no-funcionales como la alta disponibilidad. Sin embargo\, dado que la comunicación entre réplicas es asincrónica\, los usuarios de estos sistemas pueden\, temporalmente\, observar discrepancias en la información debido a que acceden a distintas replicas. Por lo tanto\, razonar sobre la correctitud de sistemas geo-replicados se convierte en una tarea difícil. Es así como hoy en día existe la necesidad de contar con herramientas que nos permitan especificar\, modelar y analizar sistemas geo-replicados. Los tipos de datos replicados han sido propuestos a tal fin. Los tipos de datos replicados son análogos a los tipos de datos abstractos\, pero sus operaciones tienen en cuenta los distintos niveles de consistencia\, es decir\, las anomalías o inconsistencias que el sistema puede aceptar hasta que las réplicas converjan a el mismo estado.\n\nEn esta tesis abordamos el problema de probar invariantes de datos sobre tipos de datos replicados. Como modelo formal de computación de sistemas geo-replicados adoptamos Quelea\, un modelo formal de consistencia mixta\, es decir\, que permite combinar operaciones con diferentes niveles de consistencia. Si bien Quelea está equipado con un lenguaje de contratos que permite razonar sobre la consistencia de las operaciones\, no provee herramientas que permitan escribir y probar invariantes de datos a nivel aplicación. Concretamente\, proponemos una técnica para probar invariantes de datos sobre el framework Quelea. Para ello\, proponemos una semántica operacional alternativa que garantiza una propiedad de consistencia conocida como visibilidad causal. Luego\, presentamos un conjunto de proof-rules que permiten verificar invariantes de datos y finalmente ilustramos como estas proof-rules pueden implementarse en F*\, un lenguaje de programación que descarga pruebas sobre un SMT solver.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-brian-bokser/
LOCATION:Laboratorio Turing
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191211T183000
DTEND;TZID=America/Sao_Paulo:20191211T203000
DTSTAMP:20260630T220335
CREATED:20190326T124059Z
LAST-MODIFIED:20190326T124059Z
UID:5036-1576089000-1576096200@www.dc.uba.ar
SUMMARY:Charla de la Carrera
DESCRIPTION:El miercoles 11 de diciembre a las 18:30 hs nos encontraremos para nuestra clásica charla de la carrera de Computación\, junto con graduados y graduadas\, docentes y estudiantes de la carrera. Nos vemos unos minutos antes de la hora de comienzo en el Hall del Pabellón I de Ciudad Universitaria. \n¿Te interesa saber qué hacemos? ¿Qué cosas vas a aprender? ¿Cuál es la salida laboral? Vamos a responder todas tus dudas. \nEsta será la última charla de carrera del 2019. La próxima recién será a mitad de febrero de 2020\, ¡así que vení\, que te esperamos! \nTenés varias formas de llegar a Ciudad Universitaria.\nColectivos: líneas 28\, 33\, 34\, 37\, 42\, 45\, 107 y 160\nTren Línea Belgrano: estación Ciudad Universitaria\nSubte Línea C: hasta estación Retiro\, y luego combinación con tren Línea Belgrano
URL:https://www.dc.uba.ar/event/charla-de-la-carrera-dicembre19/
LOCATION:Hall de Pabellón 1
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191211T170000
DTEND;TZID=America/Sao_Paulo:20191211T180000
DTSTAMP:20260630T220335
CREATED:20191203T115755Z
LAST-MODIFIED:20191203T182615Z
UID:5601-1576083600-1576087200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Martin Forte y Eitan Rosenzvaig
DESCRIPTION:Título: Aprendizaje por Refuerzo. Aprendiendo en Comunidad.\nDirector: Enrique Carlos Segura\nJurados: Marta Mejail\, Julio Jacobo Berlles. \nResumen: El aprendizaje por refuerzo es una de las areas de mayor auge en la inteligencia articial gracias al desarrollo de las redes neuronales profundas y por la versatilidad del algoritmo de aprendizaje para abordar problemas de la vida cotidiana. Como jugar al Truco.\nEn este trabajo abordamos el aprendizaje por refuerzo acotado a los problemas donde se crea un enfrentamiento entre 2 sujetos\, como el Ajedrez\, Go\, Truco\, Poker y otros. Para poder entrenar a los agentes artificiales la estrategia dominante en la comunidad científica es una en la cual un agente se enfrenta a una copia de sí mismo e intenta sobreponerse. Inclusive se puede simular esta copia y llevar al agente a enfrentarse a si mismo.\nLa alternativa que proponemos es introducir más agentes al entrenamiento para que haya una mayor riqueza de estrategias\, una suerte de comunidad. Es decir\, en vez de que un jugador se enfrente durante todo el ciclo de entrenamiento a una única copia y por ende a una única estrategia (que evoluciona al pasar el tiempo) se enfrente a n agentes distintos que evolucionan a la par donde se enfrentarán todos contra todos\, por turnos.\nMostramos con el juego del Truco que este aumento en contrincantes brinda un beneficio al momento de entrenar y por ende los agentes que son enfrentados a más contrincantes son superiores a los agentes que solo fueron entrenados contra un único rival.\nPalabras clave: Q-Learning\, Truco\, Comunidad\, Red Neuronal\, Aprendizaje por Refuerzo
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-martin-forte-y-eitan-rosenzvaig/
LOCATION:Aula E24
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191206T150000
DTEND;TZID=America/Sao_Paulo:20191206T160000
DTSTAMP:20260630T220335
CREATED:20191204T123146Z
LAST-MODIFIED:20191205T155512Z
UID:5605-1575644400-1575648000@www.dc.uba.ar
SUMMARY:Charla de Inteligencia Artificial para Responsabilidad Social
DESCRIPTION:El viernes 6 de diciembre a las 15 hs. en lugar a confirmar\, tenemos el honor de tener en el Departamento de Computación a Verónica Dahl\, quien dará una charla titulada «AI for Social Responsibility: Embedding principled guidelines into AI systems». \nLa charla estará dada en español. \nCuando termine la charla\, Verónica estará disponible para charlar informalmente sobre inferencia gramatical. Verónica está trabajando con lenguajes de bajos recursos como el Yor`ub´a (un lenguaje tonal africano) y el Ch’ol (una lengua maya hablada en México) y está interesada en trabajar con lenguas originarias de Argentina. \nBio: Verónica Dahl is an Argentine/Canadian mother\, computer scientist\, musician\, and writer. She co-founded the Logic Programming field with 14 other scientists\, and made pioneering contributions to human languages processing\, computational molecular biology\, constraint programming and knowledge-based systems. She received numerous awards for her scientific results in AI\, and three first prizes for her literary work. Her research program is supported by NSERC. Her greatest scientific ambition is to help bridge the gap between the formal and the humanistic sciences\, for a more balanced and ethical world. \nCharla: AI for Social Responsibility: Embedding principled guidelines into AI systems \nIn this position talk we briefly retrace the historic and evolutionary context that led to AI’s results not necessarily being used first and foremost to benefit the public that funded it\, nor to necessarily focus on human values and concerns.\nNext\, we discuss how the AI language Constraint Handling Rules -CHR- can promote social responsibility by making it easy to embed principled guidelines into our systems\, and we exemplify this idea within an application to enhance voting and decision-making power.\nFinally\, we examine the very notion of intelligence in the light of the more recent notion of group intelligence\, and draw consequences on what might be needed to ensure that AI capabilities are put to socially responsible uses only. In particular\, we identify what legislations might help place AI at the service of the urgently needed solutions for today’s various crises\, with the overall aim\, as K. Raworth put it\, to «meet the needs of all within the means of the planet».
URL:https://www.dc.uba.ar/event/charla-de-inteligencia-artificial-para-responsabilidad-social/
LOCATION:Aula 8
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191204T160000
DTEND;TZID=America/Sao_Paulo:20191204T170000
DTSTAMP:20260630T220335
CREATED:20191129T171533Z
LAST-MODIFIED:20191129T171533Z
UID:5593-1575475200-1575478800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Sebastián Taboh
DESCRIPTION:Título: Planificacióon de consumo el éctrico residencial en redes inteligentes\nDirectoras: Isabel Méndez-Díaz y Paula Zabala\nJurados: Javier Marenco y Federico Pousa \nResumen: En Argentina\, como en el resto del mundo\, el consumo energético se encuentra en permanente crecimiento. Esta demanda no es s ólo impulsada por el aumento de poblacióon\, sino tambiéen por el desarrollo de nuevas tecnolog í as y formas de vida\, cada vez m ás dependientes del suministro el éctrico. Las redes inteligentes utilizan nuevas tecnolog ías\, como controladores inteligentes y aut ónomos\, software avanzado para la gesti ón de datos y optimizacióon\, y comunicaciones bidireccionales entre las empresas el éctricas y los consumidores\, con el fin de crear una red de distribución de energ í a automatizada y distribuida. \nPara optimizar el costo de la factura el ectrica\, el usuario residencial debe evitar utilizar artefactos en las horas caras (de alta demanda) cuando esto sea posible o\, al menos\, operarlos a bajos niveles de consumo. Para dar soporte en esta toma de decisiones es necesario contar con algoritmos de optimización a nivel residencial\, que sean capaces de manejar las componentes hogareñas de las redes inteligentes considerando las preferencias del usuario. El problema que se abord o en este trabajo es desde el punto de vista de un usuario que debe tomar decisiones sobre el uso de distintos dispositivos eléectricos en el transcurso de un dí a. El usuario dispone de dos tipos de aparatos: programables y no programables. En el primer caso\, los artefactos deben programarse a cierta potencia y tienen un horario deseado de comienzo dentro de una ventana de tiempo. En el segundo caso\, los artefactos deben programarse en un perí odo establecido de tiempo y tienen una potencia de funcionamiento deseada. Se busca encontrar una planificaci ón que minimice una medida de discomfort y el costo de la energí a utilizada. Dentro de este marco general\, contemplamos diferentes escenarios: (a) con y sin interrupciones en el funcionamiento de cada aparato y (b) con y sin cotas m áximas de consumo energ ético en cada perí odo. En este trabajo presentamos diferentes algoritmos exactos y heurí sticos para resolver el problema\, analizamos su performance y el impacto que cada escenario tiene en el usuario.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-sebastian-taboh/
LOCATION:Aula 8
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191204T130000
DTEND;TZID=America/Sao_Paulo:20191204T140000
DTSTAMP:20260630T220335
CREATED:20191202T123329Z
LAST-MODIFIED:20191204T150831Z
UID:5598-1575464400-1575468000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Kevin Kujawski
DESCRIPTION:Título: Modelos de NLP aplicados al discurso libre para la caracterización de propiedades discursivas de sujetos\nDirectores: Diego Fernández Slezak y Facundo Carrillo\nJurados: Dr Lucas Drucaroff y Dr Rodrigo Castaño\n\nResumen:\nEn los últimos años\, ha surgido un fuerte interés en estudiar cómo las patologías psiquiátricas modifican distintos aspectos de las personas que las sufren (como por ejemplo tiempo de respuesta en tareas\, problemas de memoria de trabajo\, cambios en el discurso) de forma cuantitativa y con tareas predefinidas. Esto ha dado lugar a lo que hoy se conoce como Psiquiatría Computacional.\nSi bien han aparecido muchas medidas para caracterizar cada una de las patologías\, aún no se han definidos estrategias estandarizadas y cuantitativas para la medición del discurso de los pacientes\, y cómo puede usarse el discurso para el soporte diagnóstico y monitoreo de estas personas.El objetivo de esta tesis es realizar una prueba piloto para medir y analizar respuestas orales con distintos métodos de procesamiento del lenguaje (NLP) e indicadores cuantitativos de estudiantes de la carrera de Licenciatura en Ciencias de la Computación y a otras carreras de la Universidad de Buenos Aires\, para luego comparar los resultados obtenidos\, partiendo de la hipótesis de que los y las estudiantes de la carrera de Licenciatura en Ciencias de la Computación muestran una disminución léxica en su discursos frente a alumnos y alumnas de otras carreras. Debido a las características de la carrera\, donde se hace un foco en lo formal para la demostración de correctitud de programas y se enseña a pensar abstracciones de problemas que terminan siendo programados en lenguajes de sintaxis fuerte\, hipotetizamos que los y las estudiantes que estudian gran cantidad de horas semanales esta carrera cambian su estructura de pensamiento que podría alterar su capacidad de comunicación y verse reflejado en su discurso\, tanto en tareas técnicas como en la vida cotidiana.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-kevin-kujawski/
LOCATION:Aula 8
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR