BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
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:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260604T170000
DTEND;TZID=America/Sao_Paulo:20260604T180000
DTSTAMP:20260702T101039
CREATED:20260601T131759Z
LAST-MODIFIED:20260601T131759Z
UID:10642-1780592400-1780596000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Camilo Rivas
DESCRIPTION:Título: Discrepancia de Collares Aritméticos\nDirectores: Nicolás Álvarez y Verónica Becher\nJurados: Martin Mereb y Paula Zabala \nResumen:\nLa discrepancia de una cadena mide el desbalance de símbolos de sus subcadenas. Existen pocas familias de cadenas para las que se conoce el comportamiento de su discrepancia. En esta tesis nos dedicamos a los collares aritméticos: un collar aritmético de orden n es la concatenación de los bloques binarios de longitud n obtenidos al listar los residuos módulo 2^n de una progresión aritmética con diferencia impar. Damos un algoritmo eficiente para calcular la discrepancia de ciertas subsecuencias de un collar aritmético. Usamos este algoritmo para construir collares aritméticos con discrepancia controlada. Además\, realizamos un cómputo exhaustivo de la discrepancia mínima de los collares aritméticos de orden hasta 30 y presentamos estadísticas del crecimiento de la discrepancia respecto del orden. A partir de este análisis conjeturamos que la discrepancia mínima posible de los collares aritméticos es cuadrática respecto del orden.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-camilo-rivas/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260605T110000
DTEND;TZID=America/Sao_Paulo:20260605T130000
DTSTAMP:20260702T101039
CREATED:20260529T151927Z
LAST-MODIFIED:20260529T151927Z
UID:10640-1780657200-1780664400@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Javier Godoy
DESCRIPTION:Título: Abstracciones mediante predicados para la validación de contratos inteligentes \nDirector: Dr. Juan Pablo Galeotti\nConsejero de estudios: Dr. Ricardo O. Rodriguez \nJurados:\nDra. Alessandra Gorla \, Associate Research Professor\, IMDEA Software Institute.\nDr. German E. Regis\, Profesor Adjunto\, Universidad Nacional de Río Cuarto\nDr. Renzo Degiovanni\, Senior Research Scientist\, Luxembourg Institute of Science and Technology (LIST). \nLink Youtube: Se compartirá unos días antes de la defensa. \nResumen: \nLa verificación y validación de contratos inteligentes es crucial debido a la naturaleza inmutable de la blockchain\, donde los errores introducidos antes del despliegue no pueden corregirse posteriormente. Por esta razón\, han surgido numerosas empresas especializadas en la auditoría de contratos inteligentes\, y es frecuente que un mismo contrato sea auditado por múltiples equipos independientes\, lo que evidencia tanto la criticidad como la complejidad del proceso. En la práctica\, la auditoría de contratos inteligentes depende en gran medida del conocimiento y la experiencia de los auditores humanos\, y continúa siendo en gran parte un proceso manual\, a pesar de la disponibilidad creciente de herramientas automáticas y semi-automáticas. En general\, muchas de las herramientas actuales se centran en la verificación\, y requieren la especificación explícita de propiedades\, invariantes o patrones de vulnerabilidades a ser analizados. \nEsta tesis propone un enfoque basado en abstracciones por predicados para asistir la auditoría de contratos inteligentes\, específicamente en la red Ethereum\, aunque aplicable a otros entornos donde los contratos inteligentes implementan protocolos. A diferencia de otros enfoques\, la tesis se centra en la validación\, es decir\, en ayudar a los auditores a comprender si se está cumpliendo con los requerimientos del contrato. Esto se logra mediante la construcción de modelos abstractos representados como máquinas de estados finitos\, que capturan las posibles secuencias de llamadas a funciones y sus efectos en el estado del contrato. El método propuesto permite\, a partir de predicados definidos por el auditor\, generar diferentes visualizaciones del comportamiento de los contratos inteligentes. \nLos principales aportes de esta tesis incluyen: (i) la formalización de dos tipos de abstracciones por predicados (may/must) aplicadas al análisis de contratos inteligentes; (ii) técnicas de refinamiento de transiciones y estados que permiten focalizar el análisis en escenarios específicos de interés; (iii) la incorporación de estados transitorios para capturar comportamientos intermedios relevantes\, como aquellos asociados a vulnerabilidades de reentrada; (iv) la implementación de las técnicas propuestas en dos prototipos funcionales\, uno basado en Alloy y otro en un verificador formal; y (v) una evaluación empírica de las abstracciones mediante benchmarks establecidos y estudios con auditores experimentados. \nLos resultados obtenidos muestran que los modelos abstractos generados a partir de predicados permiten identificar defectos y patrones no detectados por herramientas existentes. Además\, la evaluación aporta evidencia de que las abstracciones propuestas facilitan la comprensión del comportamiento de los contratos inteligentes por parte de los auditores.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-javier-godoy/
LOCATION:Aula 1402
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260608T110000
DTEND;TZID=America/Sao_Paulo:20260608T120000
DTSTAMP:20260702T101039
CREATED:20260602T130729Z
LAST-MODIFIED:20260602T130729Z
UID:10644-1780916400-1780920000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Lucas De Bortoli
DESCRIPTION:Título: Caracterización de fallas en el sistema Apollo para vehículos autónomos\nDirector: Víctor Braberman\nJurado: Juan Pablo Galeotti y Sebastián Uchitel \nResumen \nLa tesis analiza los issues reportados en el repositorio público de\nApollo Auto\, un framework open-source para vehículos autónomos\, con el\nobjetivo de identificar y caracterizar aquellos vinculados a fallas\nrelevantes del sistema. A partir de un proceso de filtrado\, el trabajo\nbusca separar estos reportes pertinentes de los otros. El análisis se\norganiza alrededor de preguntas como: qué tipos de fallas aparecen con\nmayor frecuencia\, en qué módulos del sistema se concentran\, qué\nusuarios tienden a reportarlas\, cómo responden los desarrolladores\nante esos reportes y cuánto tiempo transcurre hasta que son aceptados\no cerrados. Además\, se estudian casos atípicos que requieren más\ninteracción o permanecen abiertos durante más tiempo. Finalmente\, se\ndiscuten posibles acciones para mejorar la detección\, clasificación y\ndepuración de fallas en sistemas de conducción autónoma\, incluyendo\ncriterios de priorización\, mejor uso de etiquetas y estrategias para\nfacilitar el debugging de issues relevantes dentro de repositorios\nabiertos.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-lucas-de-bortoli/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260612T180000
DTEND;TZID=America/Sao_Paulo:20260612T190000
DTSTAMP:20260702T101039
CREATED:20260603T131925Z
LAST-MODIFIED:20260603T131925Z
UID:10646-1781287200-1781290800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Nicolás Sarfati
DESCRIPTION:Título: Compilación de PICs en Smalltalk a partir de LiveTyping\nDirector: Hernán Wilkinson\nJurados: Hernán Gagliardi\, Javier Pimás\n\nResumen:\nLos lenguajes orientados a objetos dinámicamente tipados\, como Smalltalk resuelven los envíos de mensajes en tiempo de ejecución a partir de la clase concreta del receptor. Este modelo favorece la flexibilidad y la evolución dinámica de los programas\, pero introduce un costo de rendimiento asociado al despacho dinámico. Las máquinas virtuales modernas mitigan este costo mediante compilación Just-In-Time\, Inline Caches (ICs) y Polymorphic Inline Caches (PICs). Sin embargo\, estas cachés se construyen de forma reactiva en tiempo de ejecución lo cual también tiene un costo.\nEsta tesis explora un enfoque proactivo para la generación de ICs y PICs usando información de tipos recolectada por LiveTyping. En lugar de usar las PICs como fuente de información dinámica de tipos\, se propone invertir el flujo: aprovechar los tipos previamente observados por LiveTyping para anticipar su generación en tiempo de compilación\, en vez de depender únicamente de que la VM las construya durante la ejecución.\nPara ello\, se implementa soporte en la OpenSmalltalk VM mediante una primitiva que permite generar e instalar explícitamente ICs y PICs en sitios de envío seleccionados. A nivel de imagen\, esta primitiva se integra con Cuis University y LiveTyping mediante un mecanismo que analiza métodos compilados y se concentra\, en esta implementación\, en envíos cuyo receptor proviene de una variable de instancia. A partir de la información de tipos recolectada\, el mecanismo determina las clases receptoras y los métodos destino\, y solicita a la VM la generación e instalación de la caché correspondiente.\nLa evaluación experimental se realiza mediante microbenchmarks que varían la cantidad de sitios de envío\, clases receptoras y el número de iteraciones ejecutadas. Los resultados muestran que la generación proactiva de PICs puede reducir el costo inicial del despacho dinámico\, especialmente en ejecuciones cortas y en métodos con múltiples sitios de envío\, introduciendo un trade-off en términos de código generado y uso de espacio en la zona de código de la VM. \n\nPalabras clave: PIC\, IC\, OpenSmalltalk VM\, LiveTyping\, Smalltalk\, JIT.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nicolas-sarfati/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260618T140000
DTEND;TZID=America/Sao_Paulo:20260618T150000
DTSTAMP:20260702T101039
CREATED:20260612T141604Z
LAST-MODIFIED:20260612T141604Z
UID:10668-1781791200-1781794800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Pablo Zaid
DESCRIPTION:Título: Mejoras algorítmicas al problema de minimización de la duración de rutas\nDirector: Francisco Soulignac\nJurados: Gonzalo Lera Romero y Agustín Pecorari \nRESUMEN\nEn este trabajo estudiamos el problema de minimización de duración de\nrutas (MTDP)\, una variante del problema del viajante de comercio en la\nque un vehículo desea visitar a todos los clientes de un conjunto una\núnica vez. Los clientes tienen ventanas de tiempo asignadas a cada\nuno. El vehículo puede llegar antes de la apertura de un cliente y\nesperar\, pero si se llega después del final de una de estas ventanas\,\nla ruta realizada se considera inválida. El objetivo de este problema\nes minimizar el tiempo de viaje incluyendo la espera. Esto lo\ndiferencia de otra variante conocida como problema de viajante de\ncomercio con ventanas de tiempo con objetivo travel time. En dicha\nvariante se quiere minimizar la suma de los tiempos de viaje entre\nclientes\, asumiendo salida del vehículo en el instante inicial. La\ndiferencia entre ambos problemas es significativa considerando que en\nel MTDP el instante de salida pasa a ser otra variable. \nPara resolver este problema proponemos un algoritmo exacto iterativo\nque alterna entre generar columnas y prohibir rutas que no sean\nelementales. Más específicamente\, usamos técnicas de generación de\ncolumnas con relajación ng\, y un algoritmo de pricing que busca rutas\nde costo mínimo mediante backtracking con búsqueda bidireccional y\nreglas de dominación. También agregamos la técnica de variable fixing\npara eliminar rutas subóptimas. Estos aportes resultan significativos\npuesto que obtenemos resultados mejores que los observados en el\nestado del arte. Para probar el algoritmo se utilizó un conjunto de\n720 instancias\, de las cuales 360 se consideran de dificultad. Se\ncompararon los resultados obtenidos contra los del estado del arte. Se\nlograron resolver 25 nuevas instancias y se mejoraron los tiempos de\n353 instancias difíciles.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-pablo-zaid/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260619T100000
DTEND;TZID=America/Sao_Paulo:20260619T110000
DTSTAMP:20260702T101039
CREATED:20260617T180333Z
LAST-MODIFIED:20260617T180333Z
UID:10678-1781863200-1781866800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Martin Saied
DESCRIPTION:Título: Simulación eficiente del modelo de fuerzas sociales para dinámica peatonal de Helbing-Molnár mediante ambientes reticulados con retQSS \nDirector : Esteban Lanzarotti\, Co-Director: Rodrigo Castro \nJurado: Joaquín Fernandez (FCEIA-UNR/CIFASIS-CONICET)\, Pablo Jacovkis (DC-FCEyN-UBA\, CIEA-UNTREF) \nMeet: https://meet.google.com/bri-jaqs-msw \nResumen: \nLa simulación de dinámica peatonal mediante el modelo de fuerzas sociales de Helbing y Molnár requiere evaluar interacciones entre todos los pares de agentes\, lo que conlleva un costo computacional de orden O(N^2) limitando su escalabilidad a multitudes grandes y a estudios paramétricos extensivos. En este trabajo se implementa dicho modelo en lenguaje μ-Modelica y se aprovecha el marco retQSS de simulación híbrida (continua-discreta) para geometrías reticuladas\, el cual permite organizar espacialmente agentes móviles y restringir el cálculo de fuerzas a vecindades locales. Se realiza una validación funcional sobre el escenario clásico de corredor bidireccional\, reproduciendo la formación espontánea de carriles y verificando la relación aproximadamente lineal entre el número promedio de carriles y el ancho de pasillo. Sobre esa base se efectúa una optimización sistemática de los parámetros de precisión del simulador (intervalo de actualización de motivación de los agentes\, tolerancias absoluta y relativa del método de integración numérica y tamaño de celda del reticulado)\, identificando configuraciones que reducen los tiempos de ejecución entre 2x y 9x respecto de la versión sin reticulado\, con ganancias crecientes a medida que aumenta el número de agentes manteniendo la densidad constante. Finalmente\, se demuestra la flexibilidad y escalabilidad de la implementación en escenarios escolares de complejidad creciente\, mostrando que la arquitectura propuesta soporta geometrías heterogéneas con costos de memoria moderados y constituye una base reutilizable para acoplar la dinámica peatonal con otros procesos\, por ejemplo\, modelos epidemiológicos de transmisión por aerosoles. \n 
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-martin-saied/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260624T180000
DTEND;TZID=America/Sao_Paulo:20260624T190000
DTSTAMP:20260702T101039
CREATED:20260616T125847Z
LAST-MODIFIED:20260616T125847Z
UID:10671-1782324000-1782327600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Tomás Chimenti
DESCRIPTION:Título: Abstraktor: Generación automática de abstracciones de protocolo mediante instrumentación de código para fuzzing de sistemas distribuidos \nDirectores: Sebastián Uchitel y Víctor Braberman\nJurados: Prof. Diego Garbervetsky\, Prof. Hernan Melgratti \nResumen: El testing de sistemas distribuidos es un problema de alta complejidad\, donde los bugs más críticos emergen únicamente ante secuencias específicas de fallas. Si bien la especificación formal permite verificar las propiedades lógicas de un protocolo\, garantizar que la implementación concreta en software sea fiel a dicho modelo abstracto continúa siendo un desafío abierto. Esta tesis aborda dicho problema investigando la viabilidad de sintetizar abstracciones generadas dinámicamente a partir de la ejecución real de un sistema para contrastarlas directamente contra una abstracción de la especificación formal. Con este propósito se desarrolló Abstraktor\, una herramienta de instrumentación y análisis que captura variables dinámicas en tiempo de ejecución durante campañas de fuzzing guiadas\, tomando el comportamiento del sistema como una abstracción de predicados. Como caso de estudio\, la técnica se aplicó sobre el motor de almacenamiento distribuido Dqlite\, regido por el protocolo de consenso Raft\, comparando el modelo dinámica resultante contra el modelo de referencia derivado de la especificación formal en TLA+. A diferencia de un método de verificación exhaustiva\, nuestro enfoque utiliza el fuzzing para sondear el espacio de estados y medir la divergencia entre el comportamiento del sistema y el modelo matemático. Los resultados evidencian una aproximación significativa\, pero también revelan discrepancias que categorizamos en dos dimensiones: anomalías funcionales (que pueden ser bugs) y limitaciones de granularidad en la especificación. Esta clasificación no solo mide la conformidad actual\, sino que funciona como un mecanismo de diagnóstico para refinar tanto la fidelidad del modelo como la robustez del código fuente. \nPalabras clave: Sistemas distribuidos\, Abstracción de predicados\, Verificación formal\,TLA+\, Fuzzing\, Raft.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-tomas-chimenti/
LOCATION:Aula 6\, Pab. 1
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260625T123000
DTEND;TZID=America/Sao_Paulo:20260625T133000
DTSTAMP:20260702T101039
CREATED:20260619T183035Z
LAST-MODIFIED:20260623T163620Z
UID:10682-1782390600-1782394200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Valeria Arrosio
DESCRIPTION:Título: Acerca de cuestiones de distribución uniforme. Traducción del trabajo de N. M. Korobov de 1950\nDirectora: Verónica Becher\nJurados: Nicolás Álvarez y Pablo Amster \nResumen:\nEsta tesis traduce al inglés el artículo del matemático ruso Nikolai Korobov (1917–2004) publicado en 1950: ‘Concerning some questions on Uniform distribution’ (Bulletin of the Academy of Sciences of the USSR\, Mathematical Series 14: 215-238). Es el primero de los seis artículos que Korobov escribió entre 1950 y 1956 sobre la noción de distribución uniforme de funciones f(x) para x=1\,2\,3\,…. Aquí Korobov da condiciones necesarias y suficientes para que una función f(x) con x=1\,2\,3… sea uniformemente distribuida módulo 1. Además define la noción de función completamente uniformemente distribuida y da condiciones necesarias y suficientes para que se cumpla esta propiedad. El tercer aporte es una construcción explícita de números reales \alpha tales que f(x)=\alpha q^x es uniformemente distribuida módulo 1. Esta construcción está basada en sistemas \rho_n(q)\, hoy conocidos como secuencias de Bruijn. Korobov da un método goloso para construir uno de estos sistemas.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-valeria-arrosio/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260626T110000
DTEND;TZID=America/Sao_Paulo:20260626T120000
DTSTAMP:20260702T101039
CREATED:20260622T133829Z
LAST-MODIFIED:20260622T133829Z
UID:10684-1782471600-1782475200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Francisco Cirelli
DESCRIPTION:Título: Condiciones de borde inevitables\nDirector: Sebastián Uchitel\nJurados: Prof. Santiago Cifuentes (UBA)\, Prof. Nazareno Aguirre (UNRC) \nResumen:\nLa ingeniería de requerimientos debe lidiar frecuentemente con metas conflictivas resultantes de múltiples partes interesadas o errores de especificación. Un concepto extensamente estudiado para identificar estos conflictos es el de las condiciones de borde\, que son aquellas situaciones bajo las cuales los objetivos de un sistema no pueden ser alcanzados. Estas suelen ser utilizadas para un mejor entendimiento de los problemas dentro de una especificación. Esta tesis sostiene que la definición clásica de estas condiciones es demasiado débil\, llevando a que un ingeniero deba tener en cuenta condiciones de borde poco útiles a la hora de arreglar una especificación. Para remediar esto\, la tesis propone una formulación más fuerte: las Condiciones de Borde Inevitables (UBC)\, incorporando la noción de realizabilidad proveniente de la Síntesis Reactiva. Al centrarse exclusivamente en aquellas condiciones de borde que el sistema no puede evitar dentro de especificaciones irrealizables\, se reduce de manera no trivial el número de alertas que los ingenieros deben procesar. El trabajo formaliza la noción de UBC\, demuestra experimentalmente su eficacia para filtrar resultados de herramientas existentes y reparar automáticamente especificaciones y además establece su relación teórica con conceptos de Síntesis Reactiva como la irrealizabilidad\, las contraestrategias y los núcleos irrealizables. \nPalabras clave: Condiciones de Borde\, Síntesis Reactiva\, Realizabilidad\, Juegos LTL\, Especificaciones Formales.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-francisco-cirelli/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260626T130000
DTEND;TZID=America/Sao_Paulo:20260626T140000
DTSTAMP:20260702T101039
CREATED:20260619T143417Z
LAST-MODIFIED:20260619T143417Z
UID:10680-1782478800-1782482400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Fernando Frassia
DESCRIPTION:Título: Desarrollo de un framework para la segmentación auto-supervisada de series temporales de imágenes mediante Flujo Óptico y Filtros de Frangi\nDirector: Dr. Rafael Nicolás Gaggion Zulpo\nJurados: Prof. Maria Elena Buemi\, Prof. Daniel Acevedo \nResumen:\nEn el campo de la biología vegetal\, comprender la dinámica de crecimiento radicular es crucial para diversas aplicaciones\, que abarcan desde la mejora genética de cultivos hasta el estudio de respuestas fisiológicas ante diferentes condiciones ambientales. Para analizar dicha dinámica mediante series temporales de imágenes\, es indispensable segmentar las raíces para poder cuantificar dichas respuestas\, obteniendo parámetros fenotipicos como el área cubierta\, velocidad y direcciones de crecimiento. Actualmente\, los métodos de segmentación más utilizados se basan en redes neuronales convolucionales\, las cuales requieren un gran volumen de datos etiquetados manualmente para su entrenamiento\, constituyendo un cuello de botella importante para la adopción amplia de estas herramientas. El presente trabajo aborda este desafío mediante el desarrollo de AutoRoot\, un framework integral para la segmentación de series temporales de imágenes de raíces de Arabidopsis thaliana\, autosupervisada por la detección de movimiento de las raíces. El sistema combina cuatro pipelines de generación de pseudoetiquetas —basados en Flujo Óptico\, Filtros de Frangi\, Propagación de Etiquetas y un Ensamble de los anteriores— con una interfaz gráfica que permite a investigadores gestionar el ciclo completo de procesamiento e inspección cualitativa. Las pseudoetiquetas generadas se utilizan luego para entrenar redes neuronales convolucionales\, reduciendo significativamente la necesidad de anotaciones manuales sin sacrificar la calidad de la segmentación final. \nPalabras clave: segmentación radicular – flujo óptico – fenotipado – auto-supervisado – aprendizaje profundo
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-fernando-frassia/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR