Departamento de Computación

Defensa Tesis Licenciatura Florencia Zanollo y Matias Duran
2021-05-12 15:00 - 16:00 (America/Sao_Paulo) | ZOOM
Título: Sı́ntesis Dirigida de Controladores No Maximales para Requerimientos de tipo Non-Blocking
Director: Sebastian Uchitel
Jurados: Mariano Cerruti y Javier Marenco
Resumen:
Esta tesis se da en el contexto de planning (uno de los temas de Ingeniería II) y presenta un algoritmo para encontrar estrategias ganadoras en una especificación de juego de dos jugadores, modelado mediante autómatas finitos, discretos y determinísticos.
En detalle, presenta la primera implementación de síntesis de directores para resolver problemas de Control de Eventos Discretos con la propiedad central de tipo non-blocking. El método aprovecha la naturaleza composicional del problema y su input compacto, minimizando la explosión exponencial al componer la planta total. Con el enfoque de exploración on-the-fly de forma best-first-search guiada por distintas heurísticas, se busca reducir la parte de la planta a componer. La implementación fue incorporada al software MTSA, junto con una batería de tests para conservar su correctitud ante futuros cambios.

Defensa Tesis Licenciatura Miguel Nehmad Alche
2021-05-13 11:00 - 12:00 | ZOOM
Título: Un estudio sobre Preprocesamiento y Mecanismos de Atención en Redes Neuronales Convolucionales para Clasificación de Lesiones de Piel
Director: Daniel Acevedo
Jurados: Marcelo Risk y Pablo Negri
Resumen: El melanoma es una forma de cáncer de piel muy peligrosa para la salud. El diagnóstico temprano del mismo es crucial para aumentar las posibilidades de su cura. En base a ello se puede utilizar algoritmos de visión por computadora para analizar imágenes dermoscópicas de las lesiones en la piel y clasificar si se trata de lesiones benignas o malignas. En este trabajo estudiamos diversas mejoras que se le pueden aplicar a las redes convolucionales: desde métodos de pre-procesamiento sobre el dataset hasta mecanismos de attention sobre redes profundas. Descubrimos que el mecanismo de attention residual learning mejora la performance de la red EfficientNet, así también como utilizar algoritmos de pre-procesamiento que realzan detalles de las imágenes del dataset.

Creación de la Unidad de Diagnóstico COVID-19 UNAHUR: Interacción entre Diagnóstico-Docencia-Investigación
2021-05-13 11:00 - 13:00 | ZOOM
Los invitamos a la quinta charla de la edición 2021 del seminario. Esta vez presentamos a Marcela Pilloff, directora del laboratorio de Diagnóstico de COVID-19 de la UNAHUR que contará su experiencia en la creación de unidades de diagnóstico covid en la universidad.
Quién: Marcela Pilloff. Directora del laboratorio de Diagnóstico de COVID-19 de la UNAHUR
Cuándo: Jueves 13 de Mayo, 11 hs.
Link zoom: https://exactas-uba.zoom.us/j/94443673957
También lo podes ver en youtube acá:
https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA
Título:Creación de la Unidad de Diagnóstico COVID-19 UNAHUR: Interacción entre Diagnóstico-Docencia-Investigación
Resumen. Al comenzar la pandemia el área de biotecnología de la UNAHUR tenía un desarrollo muy incipiente. En el marco de la pandemia, y como respuesta a las necesidades de la comunidad, la Universidad Nacional de Hurlingham generó aportes en distintas áreas.
En este contexto se construyó el laboratorio de diagnóstico de COVID19.
Allí intentamos conjugar las prioritarias actividades de servicios con investigación, desarrollo y formación de alumnos y graduados para tener una respuesta integral acorde a las actividades sustantivas de la Universidad. Presentaremos los resultados de estas actividades.
Dra de la UNQ- Mención en Ciencias Básicas y Aplicadas. Directora del laboratorio de Diagnóstico de COVID-19 de la UNAHUR. Directora de las carreras Tecnicatura Universitaria en Laboratorio y de la Lic en Biotecnología del Instituto de Biotecnología de la UNAHUR. Profesora Adjunta de la UNQ y UNAHUR.

Investigación, diagnóstico y docencia en el escenario de la pandemia: nuestra experiencia desde el INBIRS (CONICET-Facultad de Medicina, UBA)
2021-05-20 11:00 - 13:00 | ZOOM
Los invitamos a la septima charla de la edición 2021 del seminario. Esta vez presentamos a Jorge Geffner de la Facultad de Medicina de la UBA y CONICET.
Quiénes: Jorge Geffner: Profesor Titular de Inmunología. Facultad de Medicina. UBA. Investigador Superior. CONICET.
Cuándo: Jueves 20 de Mayo, 11 hs.
Link zoom: https://exactas-uba.zoom.us/j/94443673957
También lo podes ver en youtube acá:
https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA
Título: Investigación, diagnóstico y docencia en el escenario de la pandemia: nuestra experiencia desde el INBIRS (CONICET-Facultad de Medicina, UBA)
Resumen: En marzo del 2020, cuando la pandemia recién comenzaba a golpear en la Argentina, los investigadores, becarios, personal técnico y no docentes de nuestro Instituto (Facultad de Medicina-UBA-CONICET) nos planteamos cómo aportar a la lucha frente a la pandemia por SARS-CoV2, en el escenario de una enérgica respuesta orientada, en el campo científico, desde el Ministerio de Ciencia y Técnica y el CONICET. La idea de la presentación es brindar un panorama global de los principales aportes que pudimos concretar y también de las frustraciones que nos acompañaron a lo largo de estos largos 14 meses.
Jorge Geffner es Investigador Superior del CONICET en el Instituto de Investigaciones Biomédicas en Retrovirus y Sida. Es Profesor Titular en el Departamento de Microbiología, Parasitología e Inmunología, Facultad de Medicina, UBA

Defensa Tesis Licenciatura Maximiliano Urso
2021-05-21 10:00 - 11:00 | ZOOM
Título: CorsiBot: Interfaz humano-computadora para la evaluación de memoria de trabajo
Director: Matías Lopez-Rosenfeld
Co-Director: Federico Giovannetti
Jurados: Julia Hermida, Facundo Pessacg y Herman Schinca
Resumen: La prueba de Bloques de Corsi es utilizada en Psicología y ciencias cognitivas para evaluar la memoria de trabajo viso espacial. Consiste en la presentación de una serie de estímulos visuales en un determinado orden, que deben ser recordados y repetidos en el mismo orden por las personas evaluadas. La versión original era administrada por un/a investigador/a manualmente, mostrando las secuencias, anotando errores, tiempos y aciertos. En la práctica, esto implicaba reiteradas dificultades y la imposibilidad de reproducir la experiencia de manera precisa.
A lo largo de los años, se han desarrollado diversas versiones digitales utilizando computadoras o tabletas. Si bien dichos esfuerzos han significado un gran avance para reducir la cantidad de procesos manuales, existe un debate respecto a cómo impacta en la memoria de trabajo el uso de versiones digitales mediante dispositivos con pantalla, respecto de las mismas pruebas en versiones físicas.
En esta tesis se presenta el desarrollo del CorsiBot: Una versión física y automatizada que permite estudiar el desempeño y las estrategias de resolución de la prueba Bloques de Corsi. Se presenta una versión física, similar a la original, pero con una administración y registro automatizados. Se ha probado satisfactoriamente el funcionamiento del dispositivo, realizando la prueba a 30 personas a las que se las evaluó con esta versión y con una versión digital sobre una computadora. Se han verificado grandes similitudes en el desempeño y algunas diferencias en los tipos de errores cometidos por las personas evaluadas con ambas versiones de la prueba.

Defensa Tesis Licenciatura Lucas Rossi
2021-05-21 16:00 - 18:00 | ZOOM
Título: Simulación por Cuantización de Estados en Física de Altas Energías: Un Estudio de Nuevos Integradores para el Simulador Geant4
Director: Lucio Santi
Co-director: Rodrigo Castro
Jurados: Pablo Turjanski (Dpto. de Computación) y Gustavo Otero y Garzón (Dpto. de Física)
Resumen:
Las simulaciones computacionales en física de altas energías (FAE) consisten en reproducir las trayectorias de partículas subatómicas sometidas a procesos físicos a medida que se desplazan por un detector (típicamente modelado mediante geometrías complejas compuestas por volúmenes 3D adyacentes de variadas formas y materiales). Los modelos resultantes tienen la particularidad de ser sistemas dinámicos que están constantemente expuestos a discontinuidades a medida que las partículas cruzan de un volumen al siguiente.
Geant4 es el simulador más usado a nivel mundial en esta disciplina. Esta herramienta ofrece métodos de integración numérica basados en discretización temporal, los cuales no están naturalmente preparados para lidiar de forma eficiente con esta clase de discontinuidades espaciales. El proceso de integración debe ser interrumpido sistemáticamente para poder calcular los instantes de los cruces a través de otros algoritmos iterativos que introducen costos computacionales adicionales.
Entre tanto, existe otra clase de métodos numéricos modernos que discretizan el estado del sistema, dejando al tiempo fluir de forma continua. La familia de métodos Quantized State System (QSS) es un ejemplo de estos. QSS exhibe propiedades muy atractivas para la problemática en cuestión –en particular, un manejo y detección eficiente de discontinuidades sustentado por la resolución de funciones polinomiales simples.
En trabajos anteriores se ha comprobado el potencial de QSS para simular modelos típicos de FAE, particularmente aquellos en los que la intensidad de los cruces de volúmenes es elevada. En función de estos hallazgos, se ha propuesto una interfaz de co-simulación entre Geant4 y otros simuladores externos –en particular, QSS Solver, la implementación por excelencia de los métodos QSS– con el objeto de delegar las tareas de transporte de partículas propias de Geant4. Si bien se ha demostrado que esta estrategia es metodológicamente correcta, su concepción inherentemente genérica no permite explotar al máximo los beneficios de los métodos QSS.
En esta Tesis profundizamos estos resultados proponiendo una nueva estrategia de simulación basada en un integrador QSS autónomo embebido en el ecosistema de integración numérica de Geant4. Contrastamos su desempeño frente a los integradores más relevantes de la herramienta en el contexto de distintos escenarios, incluyendo un caso realista que modela el detector de partículas CMS ubicado en el CERN. Comprobamos que el integrador puede ofrecer mejoras de rendimiento en situaciones variadas, en particular cuando se manifiesta una alta actividad de cruces geométricos.

Estrategias de abordaje de la pandemia de COVID-19 en la provincia de Córdoba.
2021-05-27 11:00 - 13:00 | ZOOM
Los invitamos a la octava charla de la edición 2021 del seminario. Esta vez presentamos a Gabriela Barbas. Secretaria de Prevención y Promoción de la Salud de Córdoba.
Quién: Gabriela Barbas. Secretaria de Prevención y Promoción de la Salud de Córdoba.
Cuándo: Jueves 27 de Mayo, 11 hs.
Link zoom: https://exactas-uba.zoom.us/j/94443673957
También lo podes ver en youtube acá:
https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA
Título: Estrategias de abordaje de la pandemia de COVID-19 en la provincia de Córdoba.
Resumen: El abordaje de la pandemia en la Provincia de Córdoba se fue adecuando de acuerdo a la situación epidemiológica, al conocimiento de la infección y a las experiencias locales. Desde el comienzo, en el mes de marzo se conformó en nuestra provincia un COE con el fin de realizar un trabajo interagencial e interdisciplinario. En este sentido, cuando la forma de transmisión era a través de brotes aislados se profundizaron medidas específicas en determinados lugares, mediante cordones sanitarios. Desde el comienzo de la pandemia, los principales ejes de la gestión fueron: Testeo (en personas sintomáticas como asintomáticas), rastreo y aislamiento de sus contactos estrechos, investigación epidemiológica, seguimiento de las personas positivas para COVID-19 y adecuación del sistema de salud.
Actualmente ante una transmisión comunitaria sostenida y en ascenso, las principales medidas que se están profundizando son: Ampliación diagnóstica, rastreo y aislamiento, seguimiento de positivos mediante los dispositivos pre-hospitalarios y tratamiento adecuado y oportuno de los pacientes positivos que lo requieran.
Siempre en nuestra provincia se puso en valor el conocimiento basado en la evidencia, trabajando conjuntamente con distintos grupos de investigadores de nuestra universidad nacional de Córdoba y de Conicet, lo que permite tomar decisiones de salud pública basadas en la evidencia.
La estrategia de vacunación es un eje central y transversal para el abordaje de la pandemia priorizando y estratificando de acuerdo a los grupos poblacionales de mayor morbi-mortalidad y de mayor exposición en el menor tiempo posible.
Maria Gabriela Barbás es la Secretaria de Prevención y Promoción de la Salud. Bioquímica especialista en Virología. Miembro del consejo consultivo de VIH e ITS del Ministerio de Salud de Nación. Ex Jefa del Laboratorio Central de Córdoba. Coordinadora de las Redes de Laboratorio de Anlis Malbrán por la provincia de Córdoba. Docente de la catedra de Microbiologia de la Facultad de Medicina de la Universidad Católica de Córdoba. Miembro de la comision de la Especialidad en Virología de la Universidad Nacional de Córdoba.

Políticas públicas de asistencia y acompañamiento en salud mental en la Provincia de Buenos Aires: abordajes en salud en el marco de la Pandemia.
2021-06-03 11:00 - 13:00 | ZOOM
Los invitamos a la novena charla de la edición 2021 del seminario. Esta vez presentamos a Julieta Calmens, subsecretaria de Salud mental de la Provincia de Buenos Aires.
Quién: Julieta Calmens, subsecretaria de Salud mental de la Provincia de Buenos Aires.
Cuándo: Jueves 3 de Junio, 11 hs.
Link zoom: https://exactas-uba.zoom.us/j/94443673957
También lo podes ver en youtube acá:
https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA
Título: Políticas públicas de asistencia y acompañamiento en salud mental en la Provincia de Buenos Aires: abordajes en salud en el marco de la Pandemia.
Resumen: Desde la provincia de Buenos Aires, a partir de la declaración de la pandemia por covid-19, se fueron instrumentando un conjunto de políticas de atención y cuidado que incluyen algunas específicas vinculadas a la salud mental.
Esto implicó, por un lado el refuerzo de todos los ámbitos de asistencia y tratamiento de salud mental que en nuestra provincia se despliegan a través de los cuatro hospitales neuropsiquiátricos, los 80 hospitales generales con servicios de salud mental y de un conjunto de dispositivos de base comunitaria dependientes de la provincia donde se encuentran centros de atención, unidades residenciales para temas de consumos y salud mental y centros de día comunitarios; conformando un total de 150 dispositivos. Y junto a esto, los equipos móviles regionales.
La pesperctiva con la que trabajamos desde la provincia supone que la comprensión de que una catástrofe de la magnitud de la pandemia que atravesamos no debe leerse exclusivamente en términos de incremento de patologías en salud mental, sino que debe leerse contextualmente y generando los procesos de cuidados y acompañamiento de situaciones múltiples de sufrimiento y de dolor con una presencia estatal cercana a las situaciones de vida de la gente. Y en el marco, además, de la apuesta por un procesamiento también colectivo de una situación de esta magnitud.
Bio: Julieta Calmens es subsecretaria de Salud Mental, Consumos Problemáticos y violencias en el ámbito de la salud pública. Provincia de Buenos Aires. Ex Directora del Centro Ulloa. Centro de asistencia a víctimas de violaciones a los derechos humanis. Secretaria de Derechos Humanos de la Nación.
Fue directora y actualmente es docente en la diplomatura de Salud Mental y Derechos Humanos de la Universidad de José C. Paz y Asociacion Civil Enclaves.
Fue asesora de la cámara de diputados y la cámara de senadores de la nación en temas de salud, derechos humanos y género; y fue docente e investigadores de la Facultad de Psicología UBA.

Defensa Tesis Licenciatura Francisco Curdi
2021-06-09 09:00 - 10:00 | ZOOM
Título: Diseño e implementación de un generador de código .NET
Directores: Edgardo Zoppi y Diego Garbervetsky
Jurados: Hernán Wilkinson y Alexis Soifer
Resumen:
En esta tesis presentamos el diseño e implementación de un módulo de generación de código para el framework de análisis estático de código Analysis.NET. Esta herramienta permite leer ejecutables de .NET y realizar distintos análisis sobre ellos. Si bien la misma existe hace tiempo ya, actualmente tiene la limitante de no poder generar código ejecutable. El módulo agregado busca cubrir esa brecha y lograr una herramienta más completa, como las que podemos encontrar para otras tecnologías similares.
Adicionalmente incluimos otro módulo que permite realizar una conversión entre dos representaciones intermedias que brinda el framework. Esto, sumado a la nueva funcionalidad de generación de código, nos permite hacer uso de distintos análisis y transformaciones que provee la herramienta pudiendo impactar cambios en un nuevo ejecutable.
En este trabajo presentamos la plataforma .NET, junto con su arquitectura, y el framework Analysis.NET. Detallamos el diseño e implementación de los módulos agregados explicando la problemática que resuelven y las dificultades encontradas durante su implementación.
Nos concentramos en cuatro ejes de estudio que nos ayudarán a entender el valor de la funcionalidad agregada. Estos son Generación, Instrumentación, Optimización y Generación programática, siendo el primero de ellos el foco principal de este trabajo.
Por último realizamos una evaluación empírica, experimentando la herramienta completa con distintos casos de pruebas para los cuales evaluamos los resultados obtenidos para cada eje.

Defensa Tesis Licenciatura Pablo Gómez
2021-06-10 11:00 | ZOOM
Título: Verificación de correctitud para tipos de datos replicados en Coq
Directores: Christian Roldán y Hernán Melgratti
Jurados: Fernando Asteasuain y Agustín Martinez Suñé
Resumen:
La replicacion de datos es un concepto fundamental en sistemas distribuidos ya que ofrece garantías como escalabilidad y alta disponibilidad a expensas de tener una vision inconsistente del estado del sistema. Esto significa que los usuarios de dicho sistema, temporalmente, podrían percibir diferencias sobre el estado del mismo.
En particular, esta tesis se concentra en un enfoque de replicación basada en estados, donde cada réplica (o nodo) que compone al sistema, transmite su estado al resto de las réplicas con el fin que estas puedan combinarlo con su propio estado y alcancen así un mismo estado común. La literatura propone los tipos de datos replicados o RDTs (por su acrónimo en inglés, Replicated Data Types) quienes lidean con inconsistencias temporales que puedan existir y resuelven de forma automática cuando existen conflictos entre escrituras concurrentes. Diferentes líneas de investigación han abordado el problema de especificar e implementar RDTs. Más aún, hay demostraciones manuales sobre la correcta implementación de un RDT con respecto a su especificación.
En esta tesis proponemos abordar el problema de formalizar y verificar la correcta implementación de RDTs utilizando el asistente de demostraciones Coq. Coq es un sistema formal de semidesición de manejo de demostraciones de teoremas chequeadas por computadora. Proveemos por lo tanto, de un marco de trabajo para verificar la correctitud de RDTs de una manera computarizada, lo cual ofrece una alternativa confiable y mecánica de abordar esta tarea. Mas concretamente, en esta tesis nos centramos en realizar la experiencia de formalizar en Coq una especificacion y una implementacion de un RDT (tomando como caso de estudio el tipo de datos: Contador). Para esto, (i) mostraremos como transformar las definiciones existentes en definiciones equivalentes en Coq. Luego, (ii) probaremos que la implementacion del tipo de datos es correcta, basándonos en un resultado que establece la existencia de una relacion de simulacion entre la semantica operacional asociada a la especificacion, y la implementacion concreta del Contador. Finalmente, (iii) presentamos una prueba en el asistente sobre la correcta implementación del tipo de datos, mostrando para esto, la existencia de dicha relación de simulación.

Lecciones aprendidas y desafíos pendientes
2021-06-10 11:00 - 13:00
Los invitamos a la décima charla de la edición 2021 del seminario. Esta vez tenemos el honor de contar con la visita del Dr. Pedro Cahn, Director Científico de la Fundación Huésped y miembro del equipo asesor del gobierno nacional en temas covid.
Quién: Dr. Pedro Cahn, Director Científico de la Fundación Huésped
Cuándo: Jueves 10 de Junio, 11 hs.
Link zoom: https://exactas-uba.zoom.us/j/94443673957
También lo podes ver en youtube acá:
https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA
Título: Lecciones aprendidas y desafíos pendientes
Resumen: Presentaré un resumen del impacto epidemiológico a la fecha, mecanismos de transmisión, clínica, tratamientos disponibles, vacunas e impacto social de la pandemia. Abriré la discusión sobre virtudes y defectos en las respuestas de nuestro país y el mundo frente a la pandemia.
Pedro Cahn es Médico infectólogo, Doctor en Medicina UBA. Director Científico, Fundación Huésped. Ex Jefe de Infectología y actual consultor de la División Infectología, Htal. Juan Fernandez. Ex Profesor Titular de Infectología, Facultad de Medicina, UBA. Asesor externo de OMS, ONUSIDA, OPS y Ministerio de Salud, Argentina. Past-President, International AIDS Society y autor de más de 200 trabajos publicados en revistas con referato.

Defensa Tesis Licenciatura Brian Bohe
2021-06-11 16:00 - 17:00 | ZOOM
Título: Problema de ruteo de vehículos con ventanas de tiempo, opciones de entrega y capacidades dinámicas
Directores: Juan José Miranda Bront y Gonzalo Lera Romero
Jurados: Isabel Méndez-Díaz y Daniel Negrotto
Resumen:
El reciente crecimiento del e-commerce trae consigo un abrupto incremento en la cantidad y complejidad de los desafíos con los que tienen que lidiar las empresas que particiíen la logística de última milla. Entre ellos, los inconvenientes de acceso al lugar de destino de la entrega y una limitada disponibilidad del receptor, aumentan la cantidad de intentos de entrega fallidos e impactan directamente en la eficiencia. En este contexto, muchas empresas optan por soluciones híbridas que consideran por un lado la opción de entregar directamente al domicilio del cliente, así como también utilizar puntos de entrega compartidos, llamados locker-boxes, a los que el cliente luego se acerca para retirar sus pedidos. Esta nueva modalidad que en algún grado ayuda a resolver las problemáticas mencionadas, presenta nuevos desafíos desde la gestión relacionados a la capacidad máxima en la recepción de productos, resultante de las características físicas de espacio disponible
y de las entregas y retiros que se realicen durante el horizonte de planificación.
Esta variante del conocido problema de ruteo de vehículos, ha sido introducida recientemente y todavía es muy incipiente lo que hay. Si bien se han analizado distintos aspectos, como la utilización de ventanas de tiempo y la heterogeneidad de los puntos de entrega compartidos, hasta ahora se consideró que la capacidad de recepción es constante durante el horizonte de planificación; mientras que en la realidad, es variable. Aunque la naturaleza de esta información es estocástica, se la puede considerar conocida y determinista para afrontar la resolución del problema que la engloba, pudiendo en la práctica ser reemplazada por el resultado de un pronóstico. En este trabajo presentamos una solución Branch & Price para el problema de ruteo de vehículos con ventanas de tiempo, opciones de entrega y capacidades dinámicas, utilizando heurísticas para acelerar los tiempos de cómputo incurridos en el problema de pricing. También, mostramos que considerar las capacidades de recepción dinámicas en los modelos, permite reducir el costo logístico hasta un 37% en el mejor caso, en detrimento de mayores tiempo de cómputo.

Defensa Tesis Licenciatura Damián Mazzini
2021-06-15 14:00 - 15:00 | http://www.youtube.com/watch?v=BYbw2ycj_QM
Título: Recuperando ‘fórmulas culpables’ de un lenguaje deóntico mediante el mapeo inverso de unsat cores
Director: Fernando Schapachnik
Jurados: Sergio Mera y Hernán Czemerinski
Resumen:
FormaLex es un conjunto de herramientas que tiene como objetivo modelar y analizar sistemas legales realizando de manera automatizada verificaciones de fórmulas lógicas que representan textos normativos. Como resultado de la ejecución, FormaLex determina si un documento normativo es consistente o si por el contrario se hallaron inconsistencias. En este proceso de verificación intervienen distintas herramientas, entre ellas se encuentra NuSMV que es un model checker utilizado como motor de razonamiento.
Este trabajo se centra principalmente en la interacción entre FormaLex y NuSMV, principalmente en la interpretación del output del mismo. El problema está relacionado con que actualmente el model checker al momento de responder que existe una contradicción no da indicios de cuáles son las fórmulas involucradas en la misma. En un trabajo previo llamado Recuperación de “fórmulas culpables” mediante análisis de unsat core de un trabajo previo se realizaron modificaciones a las herramientas que intervienen en el proceso de verificación de modelos, el model checker NuSMV y su interacción con el SAT solver Picosat. Dichas modificaciones permitieron formar un vínculo directo entre las variables del unsat core y las variables del model checker. Esta información brindada resulta valiosa para entender en dónde residen las inconsistencias, por lo que la propuesta de este trabajo en este aspecto consiste en tomar la información resultante de la extracción de unsat core y procesarla para identificar las variables de alto nivel involucradas en las fórmulas que hacen que un modelo legal no sea satisfacible.

Desarrollo y aplicaciones del test serológico COVIDAR
2021-06-17 11:00 - 13:00 | ZOOM
Los invitamos a la décimo primera charla de la edición 2021 del seminario. Esta vez tenemos el honor de contar con la visita del Dr. Julio Caramelo que nos hablará del desarrollo de test serológicos y varios aplicaciones del mismo.
Quién: Dr. Julio Caramelo. Departamento de Química Biológica, IIBBA-CONICET-FIL
Cuándo: Jueves 17 de Junio, 11 hs.
Link zoom: https://exactas-uba.zoom.us/j/94443673957
También lo podes ver en youtube acá:
https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA
Título: Desarrollo y aplicaciones del test serológico COVIDAR
Resumen: Dentro de la Unidad Coronavirus del MINCyT un aspecto central fue el desarrollo de tests de diagnóstico moleculares y serológicos. En ese contexto, en menos de dos meses se desarrollaron los tests de anticuerpos COVIDAR IgG y COVIDAR IgM. Esto requirió resolver varios problemas técnicos y logísticos. Al día de la fecha se produjeron y se han distribuido más de 1.5 millones de tests en forma gratuita al sistema de salud público. Los mismos han sido empleados para estudios de seroprevalencia, detección de focos de infección y en el último tiempo para estudiar la respuesta de la vacunación con Sputnik V. Esta información ha sido de utilidad en la toma de diversas decisiones de salud pública, y plantean una estrategia para optimizar la administración de las segundas dosis de las vacunas. En el seminario les contaré como fue el desarrollo de estas herramientas, los desafíos que tuvimos que resolver, y para qué han servido.
Dr. Julio Caramelo es Profesor Adjunto en el Departamento de Química Biológica e Investigador Independiente en el IIBBA-CONICET-FIL

La Humedad Relativa como posible predictor de fluctuaciones en los casos de COVID-19 en CABA
2021-06-24 11:00 - 13:00
Los invitamos a la décimo primera charla de la edición 2021 del seminario. Esta vez tenemos el honor de contar con la visita del Dr. Emilio Kropff de la Fundación Leloir que nos hablará entre el vínculo de la humedad y contagios de covid.
Quién: Dr. Emilio Kropff, Jefe del Laboratorio de Fisiología y Algoritmos del Cerebro de la Fundación Instituto Leloir.
Cuándo: Jueves 24 de Junio, 11 hs.
Link zoom: https://exactas-uba.zoom.us/j/94443673957
También lo podes ver en youtube acá:
https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA
Título: «La Humedad Relativa como posible predictor de fluctuaciones en los casos de COVID-19 en CABA»
Resumen: Los posibles vínculos entre la transmisión de la COVID-19 y la meteorología se han investigado comparando los casos positivos entre regiones geográficas o estaciones del año. Sin embargo, se sabe poco sobre hasta qué punto las condiciones ambientales podrían modular la dinámica diaria de propagación en un lugar determinado. Una de las razones es que las olas de propagación individuales suelen ser demasiado abruptas, lo que hace difícil aislar la contribución de las variables meteorológicas. En este estudio presentamos el caso de la primera ola del brote en la ciudad de Buenos Aires, que tuvo una evolución lenta de la carga de casos, extendiéndose a lo largo de la mayor parte de 2020. Encontramos que la humedad juega un papel prominente en la modulación de la variación de los casos positivos de COVID-19 a través de una relación lineal de pendiente negativa, con un desfase óptimo de 9 días entre la observación meteorológica y el reporte de casos positivos. Esta relación es específica de los meses de invierno, cuando la humedad relativa predice hasta la mitad de la varianza del recuento de casos positivos. Nuestros resultados proporcionan una herramienta para anticipar aumentos locales de casos de COVID-19 tras eventos de baja humedad. De forma más general, se suman a la evidencia acumulada que señala al aire seco como facilitador de la transmisión de COVID-19 y otros virus respiratorios.
Emilio Kropff es investigador adjunto del CONICET y desde el año 2019 es jefe del laboratorio de Fisiología y Algoritmos del Cerebro de la Fundación Instituto Leloir. Luego de finalizar la licenciatura en Ciencias Físicas en la Universidad de Buenos Aires, se especializó en neurociencia, realizando el doctorado en SISSA (Trieste, Italia) y una estadía postdoctoral en Kavli Institute for Systems Neurosciences (Trondheim, Noruega).

Barbijos o mascarillas? ¿Activas o tradicionales? Un desarrollo desde Exactas y el CONICET para enfrentar a la pandemia
2021-07-01 11:00 - 13:00 | ZOOM
Los invitamos a la próxima charla del seminario. Esta vez tenemos el honor de contar con la visita de la Dra. Silvia Goyanes del Departamento de Física que nos va a hablar sobre desarrollo de barbijos más protectivos y la experiencia Atom protect.
Quién: Dra. Silvia Goyanes, Investigadora Superior CONICET y Profesora Titular FCEN-UBA.
Cuándo: Jueves 1 de Julio, 11 hs.
Link zoom: https://exactas-uba.zoom.us/j/94443673957
También lo podes ver en youtube acá:
https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA
Título: «Barbijos o mascarillas? ¿Activas o tradicionales? Un desarrollo desde Exactas y el CONICET para enfrentar a la pandemia»
Resumen: Mascarillas N95, quirúrgicas y barbijos sociales, tienen diferentes destinatarios. Estos productos se diferencian en el tipo de material con el que están realizados, así como por la eficiencia en la filtración de partículas y bacterias que poseen. Una ventaja adicional es la adición de activos. Estos se aplican en las diferentes capas del barbijo o mascarilla con diferentes fines y pueden ser físicos o químicos.
En esta presentación mostraremos algunos de los desarrollos de nuestro grupo, aplicado a los barbijos Atom Protect, y al desarrollo de mascarillas N95 mediante tecnologías nuevas para producir materiales no tejidos. Este último tipo de mascarillas aparecieron en USA el año pasado y hoy se están posicionando en el mercado como consecuencia de lograr la misma eficiencia en el filtrado pero una mejora sustancial en la respirabilidad.
Silvia Goyanes es Dra en Ciencias Físicas. Investigadora Superior CONICET y Profesora Titular UBA. Autora de más de 130 publicaciones en revistas indexadas, 20 capítulos de libros internacionales, 9 patentes (4 aceptadas) y más de 10 convenios con empresas. Entre estos el asociado a los productos Atom Protect.

NeoQ: El lado púrpura del SARS-COV-2
2021-07-08 11:00 - 13:00 | ZOOM
Los invitamos a la próxima charla del seminario. Esta vez tenemos el honor de contar con la visita del Dr. Roberto Etchenique que nos va a hablar sobre desarrollo de NeoQ que desarrolló junto con su equipo.
Quién: Dr. Roberto Etchenique. Laboratorio de Dispositivos Moleculares. DQIAyQF-INQUIMAE
Cuándo: Jueves 8 de Julio, 11 hs.
Link zoom: https://exactas-uba.zoom.us/j/94443673957
También lo podes ver en youtube acá:
https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA
Título: «NeoQ: El lado púrpura del SARS-COV-2»
Resumen: Los tests colorimétricos LAMP desarrollados en la Argentina han cumplido una tarea crucial en el diagnóstico y monitoreo de las infecciones por el nuevo Coronavirus. En el equipo hemos desarrollado un sistema óptico-electrónico que determina en tiempo real la presencia del genoma de SARS-COV 2 durante un test Neokit, permitiendo cuantificar y evitando la ambigüedad de la visión humana.
El sistema NeoQ permite reducir a la mitad el tiempo medio de testeo en las muestras de alta carga, haciéndolo comparable a los tests de antígeno, a la vez que aumenta la sensibilidad de forma de poder determinar cargas virales muy bajas. Contaremos la historia del desarrollo, los resultados obtenidos, las pruebas que ya se han hecho y el futuro próximo.
Roberto Etchenique es Profesor Titular Quimica Analitica, FCEyN UBA Inv. Principal de CONICET. Laboratorio de Dispositivos Moleculares.

Vacunas para COVID-19: Situación en Argentina y el mundo
2021-07-15 11:00 - 13:00 | ZOOM
Los invitamos a la próxima charla del seminario. Esta vez tenemos el honor de contar con la visita del Dr. Guillermo Docena hablando sobre vacunas para la covid-19.
Quién: Dr. Guillermo Docena. Instituto de Estudios Inmunológicos y Fisiopatológicos (UNLP/CONICET)
Cuándo: Jueves 15 de Julio, 11 hs.
Link zoom: https://exactas-uba.zoom.us/j/94443673957
También lo podes ver en youtube acá:
https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA
Título: Vacunas para COVID-19: Situación en Argentina y el mundo,
Resumen: A más de un año de declarada la pandemia mucho se ha aprendido de esta infección viral emergente. Pero lo destacable es lo logrado a nivel de desarrollo y producción de vacunas. Se han obtenido varias vacunas en tiempo récord y con valores de eficacia realmente inesperados. Actualmente, habiéndose administrado más de 3 billones de dosis en el mundo podemos confirmar que las vacunas para COVID-19 son seguras, protegen y están modificando el curso de la pandemia. Diferentes plataformas vacunales han mostrado capacidad para generar distintos mecanismos inmunes que confieren protección y al mismo tiempo nuestro país está demostrando condiciones para desarrollar vacunas locales. Sin embargo, la dinámica de la pandemia obliga a re-dimensionar distintas estrategias sanitarias y epidemiológicas. Nuestro país ha debido tomar decisiones en cuanto a los planes de vacunación en el contexto mundial de producción y distribución de vacunas y constituyen actualmente un desafío frente a la llegada de la temida variante viral Delta.
Guillermo Docena es Investigador Principal de CONICET, Profesor Titular de Inmunología en la UNLP, Vicedirector del Instituto de Estudios Inmunológicos y Fisiopatológicos (UNLP y CONICET), Director del Centro de Excelencia FOCIS y Ex Presidente de la Sociedad Argentina de Inmunología

Análisis de variantes del Sars-Cov-2: Su circulacion en Argentina y el mundo
2021-07-22 11:00 - 13:00 | ZOOM
Los invitamos a la próxima charla del seminario. Esta vez tenemos el honor de contar con la visita del Dr. Guido König hablándonos sobre variantes del Sars-Cov-2.
Quién: Guido König, Centro de Investigaciones en Ciencias Veterinarias y Agronómicas (CICVyA, INTA)
Cuándo: Jueves 22 de Julio, 11 hs.
Link zoom: https://exactas-uba.zoom.us/j/94443673957
También lo podes ver en youtube acá:
https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA
Título: Análisis de variantes del Sars-Cov-2: Su circulacion en Argentina y el mundo
Resumen: El Proyecto Argentino Interinstitucional de genómica de SARS-CoV-2 (PAIS) es desarrollado por el Consorcio Argentino de Genómica de SARS-CoV-2 y financiado a través de un subsidio de la Agencia Nacional de la Promoción de la Investigación, el Desarrollo Tecnológico y la Innovación del Ministerio de Ciencia, Tecnología e Innovación.
El objetivo general es analizar la trayectoria evolutiva de las variantes del SARS-CoV-2 que circulan en Argentina para estudiar su origen y dispersión en el país, en el contexto de las variantes mundiales, como así también analizar las mutaciones que pudieran afectar el diagnóstico, la transmisión y la virulencia del virus.
El consorcio está formado por más de 50 centros de diagnóstico, 9 centros de secuenciación, un nodo de bioinformática, un nodo de estudios evolutivos y un nodo de coordinación general con sede en el Hospital Nacional Ricardo Gutierrez. Desde abril de 2020 el trabajo se enfocó en la secuenciación del genoma completo por las tecnologías de Illumina y de Oxford Nanopore del virus de SARS-CoV-2. Desde diciembre del 2020, a fin de brindar información más cercana sobre la penetración de las variantes de preocupación de SARS-CoV-2, se sumó una tercera aproximación que es la secuenciación por Sanger de una región que codifica para la proteína de la espícula y que permitía diferenciar las variantes y acortar los tiempos de respuesta.
En este Seminario se informarán los resultados obtenidos luego de más de 6 meses continuos de análisis de muestras obtenidas en distintos puntos del país.
Guido König es Lic y Dr. en Biología de la FCEN-UBA. Investigador Independiente de CONICET del Instituto de Biotecnología (CICVyA – INTA)
Coordinador del grupo de Investigación de Genómica de SARS-CoV-2 del CICVyA en el proyecto PAIS.

Covid, política y muertes. La sociedad argentina frente a la gestión de la pandemia
2021-07-29 11:00 - 13:00
Los invitamos a la próxima charla del seminario. Esta vez tenemos el honor de contar con la visita de Javier Balsa nos va a contar su visión de cómo actúa la sociedad frente a la pandemia.
Quién: Javier Balsa. Instituto de Economía y Sociedad en la Argentina Contemporánea (IESAC-UNQ)
Cuándo: Jueves 29 de Julio, 11 hs.
Link zoom: https://exactas-uba.zoom.us/j/94443673957
También lo podes ver en youtube acá:
https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA
Título: Covid, política y muertes. La sociedad argentina frente a la gestión de la pandemia»
Resumen: Procuraremos reflexionar sobre los motivos que llevaron a cierto acostumbramiento de buena parte de la sociedad frente al elevado número de muertes producidas por la pandemia. Analizaremos la construcción de la idea de que no existían políticas alternativas a las aplicadas, y el boicot que realizó la burguesía a las políticas de cuidado. Por último, consideraremos la construcción de «minorías intensas» que se arrogan legitimidad para sostener estos rechazos desde un discurso centrado en una idea de «libertad» que no es compartida por mayorías que tienen, al mismo tiempo, graves dificultades para reconocerse como tales.
Javier Balsa es magíster en Ciencias Sociales y doctor en Historia. Se desempeña como investigador independiente del CONICET y es profesor titular en el área de Sociología de la Universidad Nacional de Quilmes (Argentina), siendo actualmente director del Instituto de Economía y Sociedad en la Argentina Contemporánea (IESAC-UNQ). Actualmente investiga cuestiones teóricas y metodológicas sobre la hegemonía, perspectiva con la que estudia las disputas políticas contemporáneas.

Impacto de la pandemia en el trabajo desde una perspectiva de género.
2021-08-05 11:00 - 13:00 | ZOOM
Los invitamos a la próxima charla del seminario. Esta vez tenemos el honor de contar con la visita de Sol Minoldo que nos va a hablar sobre el impacto de la pandemia desde una perspectiva de género.
Quién: Sol Minoldo. Centro de Investigaciones y Estudios sobre Cultura y Sociedad (CIECS-CONICET.)
Cuándo: Jueves 5 de Agosto, 11 hs.
Link zoom: https://exactas-uba.zoom.us/j/94443673957
También lo podes ver en youtube acá:
https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA
Título: Impacto de la pandemia en el trabajo desde una perspectiva de género.
Resumen: Además de su impacto sanitario, la pandemia ha golpeado en diversas dimensiones de la vida. El trabajo y los ingresos fueron afectados por la gravísima crisis económica, las políticas sanitarias, regulaciones laborales y políticas sociales y de ayuda al sector productivo.
En este seminario intentaremos entender, desde el análisis de los ingresos y los indicadores laborales de los primeros 9 meses de la pandemia en Argentina, el impacto socioeconómico de la emergencia sanitaria, desde una perspectiva de género.
Se presentarán algunos resultados del análisis que estamos realizando al interior de la Unidad de Género y Economía del Ministerio de Hacienda y Finanzas Públicas de la Provincia de Buenos Aires, junto con Ana Garriga y con la Coordinación de Laura Lombardía.
Bio: Sol Minoldo es Doctora en Ciencias Sociales de la UBA. Investigadora de CIECS-CONICET. Asistente técnica de la Unidad de Género y Economía del MHyFP de la Provincia de Buenos Aires.

Defensa Tesis Licenciatura Gastón Requeni
2021-08-05 18:00 - 19:00 | ZOOM
Título: Modelos de programación lineal entera para la gestión de interrupciones ferroviarias en tiempo real con reprogramación de tripulaciones
Director: Juan José Miranda Bront
Jurados: Federico Pousa y Javier Marenco
Resumen:
Grandes interrupciones ocurren a diario en las redes ferroviarias. A fin de dar una rápida respuesta a los usuarios, se dispone de un corto período de tiempo para reprogramar servicios y mantener la red en funcionamiento con la menor cantidad de cancelaciones y demoras posibles. Este problema se suele dividir en tres partes: reprogramación de cronograma, de material rodante y de tripulación. En la literatura se encuentran diversos modelos de programación lineal entera para resolver cada uno de los subproblemas y para resolver el problema completo se utiliza un algoritmo que resuelve cada parte de manera secuencial e iterativa hasta converger a una solución en común. El modelo de Veelenturf et al. (2016) resuelve el problema de reprogramación de cronograma en una ventana de tiempo incorporando restricciones de material rodante, con el objetivo de mejorar la factibilidad del segundo subproblema y de esa manera mejorar la calidad de la solución final. En este trabajo se extiende dicho modelo para incorporar algunas restricciones de tripulación, con el objetivo de mejorar también la factibilidad en el tercer subproblema y por lo tanto mejorar aún más la calidad de la solución final. Se pone a prueba este modelo en instancias de la red ferroviaria del tren Mitre acotada al recorrido Retiro-Tigre y se compara con un modelo secuencial similar al utilizado en la literatura. Se observa una mejora considerable en la calidad de las soluciones obtenidas, especialmente en cuanto al uso de la tripulación.

Defensa Tesis Licenciatura Ana Felisatti y Mariano De Sousa Bispo
2021-08-11 18:00 - 19:00 | Youtube
Título: Anotación automática de tipos para colecciones en ambientes dinámicos
Directores: Hernán Wilkinson
Jurados: Hernán Melgratti, Diego Garbervetsky
Resumen:
Las colecciones son el principal ejemplo de tipos paramétricos o genéricos y son, a su vez, utilizadas ampliamente en el desarrollo de software, dándole una importancia aún mayor a su correcto tipado. Este trabajo presenta una implementación para la anotación automática de tipos sobre dichos objetos, basada en los tipos añadidos a sus instancias y extendiendo el soporte de LiveTyping.
LiveTyping es un sistema de anotación automática de tipos con el fin de mejorar la experiencia de desarrollo en ambientes dinámicos, donde la falta de tipado estático dificulta la implementación de herramientas. Su funcionamiento se basa en la intervención a nivel VM de primitivas de asignación y ejecución de métodos, puntos donde se inspeccionan y recolectan los tipos observados. Al funcionar sobre un ambiente de desarrollo vivo donde la misma VM se utiliza tanto para ejecutar código como para ejecutar la IDE, la información recolectada es inmediatamente puesta a disposición de las herramientas de desarrollo.
La investigación se centra en extender este sistema a colecciones, donde la información de tipos sólo puede ser recolectada de manera diferida sobre las instancias, a medida que los objetos son añadidos a las mismas. En este trabajo discutiremos los cambios sobre la VM e imagen realizados para ello, los cambios sobre el ambiente de desarrollo para beneficiarse de esta nueva información disponible, así como los desafíos enfrentados.
Como conclusión, se presenta una generalización de la implementación realizada y se discuten los cambios requeridos para extender LiveTyping de manera de soportar todo tipo paramétrico.
Palabras claves: Virtual Machine, LiveTyping, Tipado Estatico, Tipado Dinámico, Tipos Paramétricos, Generics, Parametrización Polimórfica, Live Development Environments

Desarrollo de una vacuna nacional contra COVID-19: ARVAC "Cecilia Grierson"
2021-08-12 11:00 - 13:00 | ZOOM
Los invitamos a la próxima charla del seminario. Esta vez tenemos el honor de contar con la visita de Lorena Coria, sobre el desarrollo de una vacuna nacional.
Quién: Lorena Coria. Instituto de Investigaciones Biotecnológicas (UNSAM-CONICET)
Cuándo: Jueves 12 de Agosto, 11 hs.
Link zoom: https://exactas-uba.zoom.us/j/94443673957
También lo podes ver en youtube acá:
https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA
Título: Desarrollo de una vacuna nacional contra COVID-19: ARVAC «Cecilia Grierson»
Resumen: Inicialmente, el proyecto de vacuna contra COVID-19 es desarrollado por un grupo interdisciplinario de investigadores del Instituto de Investigaciones Biotecnológicas UNSAM-CONICET liderados por la Dra. Juliana Cassataro. Este proyecto fue seleccionado en mayo 2020 para recibir financiación en el marco de los proyectos IP COVID 19 de la ANPCyT y el MinCyT y recientemente ha sido el primer proyecto de vacuna argentina contra SARSCOV2 financiado por el FONARSEC (ANPCyT) para concluir la etapa preclínica. El objetivo inicial del proyecto fue generar una prueba de concepto de distintos prototipos vacunales contra SARS-CoV-2 a nivel preclínico. Actualmente, estamos completando los ensayos preclínicos necesarios para iniciar los ensayos clínicos en humanos.
En este Seminario se mostrará cómo fue el diseño de la vacuna, los resultados obtenidos durante el año 2020 y el estado actual del proyecto.
Bio: Lorena Coria es Lic y Dr. en Biología de la FCEN-UBA. Investigadora Asistente de CONICET del Instituto de Investigaciones Biotecnológicas (UNSAM-CONICET). Docente en UNSAM. Forma parte del grupo de investigadores que lleva adelante el proyecto vacuna COVID-19.

Defensa Tesis Licenciatura Matias Garcia Marset
2021-08-12 14:00 - 15:00 | https://youtu.be/Qb-OviL9ihM
Título: Arquitectura para Parametrización de Atributos
Directores: Mariano Camilo González Lebrero, Esteban Mocskos
Resumen
Durante el siglo pasado, el desarrollo de instrumentos electrónicos acompañó grandes cambios en la forma de hacer música. Además de guitarras, bajos eléctricos y samplers, se exploraron técnicas computacionales para la elaboración de mejores sintetizadores buscando interpretar y concebir una gran variedad de sonidos.
La simulación numérica mediante diferencias finitas, por su parte, permite capturar las características de los instrumentos, brindando un alto nivel de flexibilidad a la hora de modificar propiedades inherentes del objeto simulado. En particular, la simulación de una cuerda está controlada por una gran variedad de parámetros (fricción, frecuencia, masa, entre otros) que permiten la posibilidad de experimentar diferentes sonidos mediante sus variaciones. Así, una determinada configuración podría generar el sonido de una cuerda de guitarra criolla y otra produciría el de una guitarra eléctrica. No obstante, esta técnica de simulación tiene un alto costo computacional ya que debe ejecutarse en tiempo real en base a las perturbaciones introducidas por el ejecutante, imponiendo un desafío computacional en sı́ mismo.
Este trabajo de tesis se enmarca en un proyecto interdisciplinario que tiene por objetivo crear herramientas de simulación de instrumentos musicales que puedan ser utilizadas por diferentes públicos (desde estudiantes hasta luthiers). Se busca obtener simulaciones fidedignas así como abrir la posibilidad de crear nuevos sonidos, facilitando la experimentación para lograr sonoridades nuevas o mejoradas. Esta exploración se realiza por medio de la modificación de los distintos parámetros que controlan la simulación y se debe lograr sin que esto cambios afecten la fluidez de la simulación, representando todo un desafío, ya que la misma debe generar resultados en el orden de los microsegundos para evitar latencias, distorsiones o interrupciones. Es decir que cualquier cambio en las propiedades, por más grande o pequeño que sea, no debe escaparse de este límite. A su vez es imperativo contar con un protocolo de comunicación entre el usuario y el simulador tal que no limite la cantidad o tamaño de los parámetros de entrada removiendo cualquier tipo de restricción a la hora de experimentar con el instrumento.
En esta tesis extendimos un prototipo de simulador de cuerdas que admitía exclusivamente MIDI como entrada para que también acepte un nuevo protocolo capaz de transmitir todas las propiedades deseadas sin las limitaciones propias de MIDI. Para esto buscamos e implementamos una arquitectura que permite ampliar los parámetros que utiliza el sintetizador en forma dinámica, sin que esto produzca interrupciones en la simulación (o incumplimientos en los límites temporales del sistema).
Así fue que se adaptó el simulador a la arquitectura propuesta, utilizando un protocolo de actualización que admite realizar cambios a los distintos componentes del sistema, enriqueciendo la interacción del usuario con el sintetizador. Adicionalmente agregamos una interfaz más amigable, mediante una aplicación Android, para facilitar la explotación de la herramienta a instrumentistas manteniendo muy bajo impacto en el sistema (menor a 400μs) y una correcta latencia (en el orden de 15ms).
Palabras claves: Simulador, Propiedades Físicas, Sonidos, Síntetis, Guitarra, Cuerdas, Parametrización, Bluetooth, Android, Simulación Numérica.

RTqPCR en pools para vigilancia de variante d de SARS Cov2
2021-08-19 11:00 - 13:00 | ZOOM
Los invitamos a la próxima charla del seminario. Esta vez tenemos el honor de contar con la visita de Maximiliano Juri Ayub, sobre un método de vigilancia de la variante delta.
Quién: Maximiliano Juri Ayub, Investigador del IMIBIO (Conicet/Universidad Nacional de San Luis)
Cuándo: Jueves 19 de Agosto, 11 hs.
Link zoom: https://exactas-uba.zoom.us/j/94443673957
También lo podes ver en youtube acá:
https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA
Título: RTqPCR en pools para vigilancia de variante d de SARS Cov2
Resumen: Durante la pandemia ocasionada por el SARS Cov2, el surgimiento de las llamadas Variantes de Preocupación (VOCs, por sus siglas en inglés) es una de las muchas aristas que requiere de herramientas flexibles para su abordaje. La aparición de variantes con mayor transmisibilidad puede modificar drásticamente el escenario, pasando de una situación de casos en descenso a un ascenso exponencial, con el consiguiente aumento de internaciones y muertes. Actualmente, en nuestra provincia y en nuestro país, la preocupación está centrada en el eventual ingreso y establecimiento de la variante delta (B.1.617.2). La vigilancia de variantes se lleva a cabo esencialmente mediante secuenciación (parcial o total) a partir de muestras seleccionadas aleatoriamente. Sin embargo, la capacidad de secuenciación es finita, y en el actual escenario de alta circulación viral permite analizar una proporción muy pequeña de las muestras. Además, al haber pocos centros de secuenciación, el proceso de logística genera demoras en los resultados.
En nuestro laboratorio hemos desarrollado reacciones de RT-qPCR específicas para las diferentes VOCs, los cuales emplean reactivos y equipamiento disponible en muchos laboratorios de diagnóstico e investigación. En la presente charla mostraremos los resultados que nos llevan a proponer el uso de un protocolo sencillo como indicador proxy de VOC. Dicha reacción detecta con alta especificidad una región de 9 nucleótidos dentro del gen ORF1ab, que está presente en la variante delta y ausente en las variantes que actualmente circulan en nuestro país. La alta especificidad de la reacción nos permitió, además, validar el uso de la misma en pools de 5 muestras, ampliando aún más la capacidad de tamizaje de la técnica. Discutiremos el protocolo actualmente en uso en San Luis, así como posibles modificaciones y adaptaciones del mismo, de acuerdo a necesidades y capacidades en otras regiones.
Maximiliano Juri Ayub es Profesor Adjunto Área de Biología Molecular en la Universidad Nacional de San Luis e Investigador Independiente CONICET (IMIBIO-SL). Investiga sobre Evolución a nivel molecular.

Defensa Tesis Licenciatura Gustavo Cairo
2021-08-26 14:00 - 15:00 | https://youtu.be/A7IA3dk-WU8
Título: Efectos de la topología de redes complejas en el aprendizaje social
Directores: Gustavo Landfried, Esteban Mocskos
Jurados: Flavia Bonomo y Bruno Bianchi
Resumen
La experiencia individual es un factor fundamental para el aprendizaje. Sin embargo, el aprendizaje humano es también un fenómeno poblacional que depende de las interacciones entre los individuos: la cultura es información que una comunidad de agentes desarrolla y acumula en el tiempo. Una de las preguntas abiertas intenta develar la influencia que la estructura de la red de interacciones entre agentes tiene sobre el flujo de la información cultural y el aprendizaje de las personas. Ninguna de las metodologías utilizadas hasta ahora (desde los experimentos de laboratorio, los trabajos de campo antropológicos, o
las simulaciones numéricas) analizan la evolución de la estructura de la red en el tiempo y su relación con el aprendizaje. En este contexto nos preguntamos, ¿podemos detectar la influencia que la posición de un individuo en la red tiene sobre su aprendizaje?
Para avanzar en la resolución de esta pregunta tomamos como caso de estudio una comunidad de jugadores en línea del juego de mesa Go. En primer lugar, estudiamos las curvas de aprendizaje individuales utilizando el estimador de habilidad estado del arte en la industria de los videojuegos. Luego, creamos la red de interacciones en base a las partidas (una arista entre dos jugadores cuando se enfrentan en una partida) y analizamos la evolución de las centralidades individuales usando ventanas temporales deslizantes. El objetivo es explorar el impacto de las medidas de centralidad sobre el aprendizaje que no
puede ser explicado por simple experiencia individual.
Nuestra hipótesis inicial esperaba observar una relación positiva entre la conectividad y el aprendizaje. Lo que encontramos fue evidencia en el sentido contrario: una centralidad relativamente baja está asociada a mejores curvas de aprendizaje. Este resultado, sin embargo, está en línea con las conclusiones a la que llegaron los primeros trabajos que abordan el efecto de la estructura sobre la acumulación cultural. En un extremo, redes demasiado interconectadas pueden ser contraproducentes para el aprendizaje, por ejemplo debido a la sobre-información.
En el otro extremo, niveles muy bajos de conectividad incrementan las chances de pérdida cultural. Son las redes de conectividad moderada las que exhiben mejores procesos de aprendizaje.
Palabras Clave: Habilidad, Go, Topología, Centralidad

Vacunación contra Covid-19: contexto internacional y la experiencia en la Argentina
2021-08-26 15:00 - 17:00 | ZOOM
Les invitamos a la edición #50 del seminario! Esta vez tenemos el honor de contar con la visita de Cecilia Nicolini, asesora presidencial y una de las principales responsables de la adquisición de vacunas por parte del gobierno nacional.
Quién: Cecilia Nicolini. Asesora del Presidente de la Nación e integrante del Consejo Económico y Social
Cuándo: Jueves 26 de Agosto, 15 hs (OJO!).
Link zoom: https://exactas-uba.zoom.us/j/94443673957
También lo podes ver en youtube acá:
https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA
Título: Vacunación contra Covid-19: contexto internacional y la experiencia en la Argentina
Resumen: La conferencia propone un recorrido por los objetivos alcanzados y las dificultades atravesadas desde la puesta en marcha del Plan de Vacunación Nacional contra el COVID-19. Además, se abordará la problemática del acceso desigual a las vacunas a nivel mundial y la articulación entre el Estado, el sistema científico y la industria tecnológica para la producción local de vacunas.
Cecilia Nicolini es asesora del Presidente de la Nación e integrante del Consejo Económico y Social. Se graduó como licenciada en Ciencias Políticas en la Universidad Católica de Argentina, magíster en Comunicación Política e Institucional en el Instituto Ortega y Gasset y MBA en la IE Business School en España. Estudió además una maestría en Administración Pública en Harvard y realizó investigaciones en el Instituto Tecnológico de Massachusetts (MIT).
Como funcionaria del gobierno de la Nación Argentina, ha tenido un rol relevante en las gestiones para hacer frente a la pandemia y en la adquisición de las vacunas contra el COVID-19.

Semana de la Computación 2021
2021-08-31 09:00 - 2021-09-02 12:00 | https://www.youtube.com/c/PopExactasUBAOficial
¡Se viene una nueva Semana de la Computación desde casa!

Invitamos a que participen de la Semana de la Computación de Exactas UBA que se realizará, en formato virtual, del 31 de agosto al 2 de septiembre.
Durante esos tres días, podrán encontrar en el canal de Youtube de Popularización Exactas UBA charlas en vivo y videos temáticos. También habrá más actividades, como talleres interactivos y estaciones demostrativas sobre inteligencia artificial, algoritmos, detección de errores, y otros temas de Computación, donde participarán aquellas colegios inscriptos.

¡Les esperamos!

#ComputaciónDesdeCasa
#SemanaDeLaComputacion
#QuieroEstudiarComputacion

Defensa Tesis Licenciatura Gisela Confalonieri
2021-09-02 09:00 - 10:00 | https://www.youtube.com/watch?v=SzlPB2YrlDk
Titulo: Cuadernos Activos Para la Enseñanza de la Programación
Director: Rodrigo Castro
Co-Director: Fernando Schapachnik
Jurados: Marcos Gómez (FaMAF-UNC) y Matías López-Rosenfeld (FCEyN-UBA)
Link: https://www.youtube.com/watch?v=SzlPB2YrlDk
Resumen:
En el estado de la práctica actual, el material producido y/o utilizado por docentes para dar clases de programación suele constar principalmente de información expuesta estáticamente, acompañada por el uso de herramientas para la ejercitación de los conceptos. Ante la necesidad de una herramienta dinámica e interactiva que presente de forma integrada el material generado por el docente y las actividades intervenidas por los estudiantes, surgen los Cuadernos Activos como documentos holísticos en los cuales los contenidos progresan evolucionando en el tiempo acorde a decisiones tomadas por el docente respecto a cada estudiante.
En esta tesis implementamos una clase de Cuadernos Activos basada en los llamados Cuadernos Computacionales, los cuales permiten combinar secciones de texto, código, y resultados de ejecuciones en un mismo documento dinámico.
Trabajando con Jupyter Notebooks y aprovechando la posibilidad de extender su funcionamiento, presentamos un mecanismo para analizar las entradas ingresadas por un estudiante, evaluarlas de manera tanto individual como contextual, y ofrecer respuestas automatizadas en forma de mensajes y/o contenidos subsiguientes que sean función de la trayectoria previa del Cuaderno Computacional.
Finalmente desarrollamos un prototipo que integra la aplicación educativa Pilas Bloques con la especificación Learning Tools Interoperability (LTI), mostrando una forma de incrustar una aplicación externa en el Cuaderno Computacional permitiendo además el intercambio sistematizado de calificaciones de ejercitaciones entre ambas herramientas.
