• Estudio de la técnica de Biospeckle como una herramienta de análisis de la dinámica eritrocitaria 

  Guido, Martín Alberto (2022-09)

  La técnica óptica de BioSpeckle láser ha sido de gran utilidad en el estudio de materiales biológicos que presentan algún tipo de actividad. Debido a que es una técnica no destructiva y de alta sensibilidad, es empleada ...
• Concretización a Perl de casos de prueba abstractos generados a partir de especificaciones Z 

  Bonet, Javier (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2020-11)

  La investigacíón entorno a la especificación de sistemas de software se ha acrecentado los últimos años y se debe a la importancia que tienen éstas tanto para la construcción como para el mantenimiento de sistemas. La ...
• Generación de monitores C embebidos para especificaciones Lola 

  Ramirez, Aldana (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2022-06)

  En las últimas décadas se ha experimentado un gran crecimiento en el desarrollo de sistemas embebidos para diversas áreas de aplicación, muchas de las cuales involucran sistemas críticos donde resulta imprescindible proveer ...
• Hacia un prototipo certificado del sistema de permisos de Android 10 

  De Luca, Guido (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2022-11)

  Android es un sistema operativo para dispositivos celulares que actualmente, acapara más del 85% del mercado. Permite a sus usuarios realizar múltiples tareas a través del uso de apps. Sin embargo, el fácil uso de las ...
• EDSL en Haskell para la programaci ́on segura respecto a la propiedad Delimited Release 

  Latorre, Gonzalo de (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2022-05)

  La confidencialidad de la información manipulada por sistemas informáticos ha tomado mayor importancia con el uso creciente de aplicaciones a través de internet. Los mecanismos de seguridad tradicionales como control de ...
• String Matching Aproximado mejorado con SIMD 

  Fiori, Fernando Jesús (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2019-12)

  Consideramos la versión de k sustituciones de String Matching Aproximado (o búsqueda aproximada de cadenas) para uno solo y múltiples patrones. El problema básicamente consiste en encontrar todas las ocurrencias de uno o ...
• Aplanado eficiente de grandes sistemas de ecuaciones algebraico-diferenciales 

  Marzorati, Denise (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2020-12)

  Diversas ramas de la ciencia y de la técnica utilizan modelos matemáticos de los sistemas que estudian. Sobre estos modelos matemáticos se realizan simulaciones para analizar el comportamiento de dichos sistemas. Dado ...
• Memorias de las Segundas Jornadas de Práctica Profesional Docente en Profesorados Universitarios en Matemática 

  Sgreccia, Natalia (Asociación de Profesores de la Facultad de Ciencias Exactas e Ingeniería de la Universidad Nacional de Rosario, 2022-07-01)
• Memorias de las Primeras Jornadas de Práctica Profesional Docente en Profesorados Universitarios en Matemática 

  Sgreccia, Natalia (Asociación de Profesores de la Facultad de Ciencias Exactas e Ingeniería de la Universidad Nacional de Rosario, 2019-10-01)
• Proyectos Innovadores en Educación Matemática - Volumen 1 

  Di Biaggio, Bianca; Galindo, Julieta; Gonzalez, Florencia; Marconetto, Bianca; Rudi, Denise; Valeri, Lara (2022-08-10)

  A partir de problematizar el propio trayecto de la Práctica Profesional Docente, seis futuras profesoras o profesoras noveles han desplegado posibilidades de acción en términos de innovación educativa en Matemática. Como ...
• Invertibilidad de un generador entrenado adversariamente 

  Pividori, Marcos (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2019)

  Las Redes Adversarias Generativas (GAN) han demostrado resultados excepcionales en el modelado de la distribución de imágenes naturales, aprendiendo representaciones latentes que capturan variaciones semánticas sin ...
• Codificación y reconstrucción de rostros con redes adversarias generativas 

  Zanetti, Álvaro (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2020)

  Se ha observado que en una arquitectura GAN en general es difícil obtener una función inversa del generador (G), es decir, una función tal que dada una imagen se obtenga el vector Z que le permita al generador reconstruir ...
• Odometría visual monocular basada en redes adversarias generativas 

  Cremona, Javier Alejandro (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2019)

  Uno de los principales desafíos a resolver en el campo de la robótica móvil es el de lograr que un robot autónomo pueda estimar su posición y orientación en el entorno que se encuentra navegando. Al problema de estimar el ...
• Sistemas de Apoyo a la Ingeniería Legal 

  Perezzini, Luciano Francisco (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2019-10)

  Dentro de la ingeniería legal se necesitan agentes artificiales con la capacidad de extraer conocimiento y patrones dentro de documentos legales para crear aplicaciones que asistan a profesionales a realizar ciertas tareas, ...
• Sistema de búsqueda con expansión de la consulta para la recuperación de documentos legales 

  Catacora Gimenez, Joel Arnaldo (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2021)

  Se propone una herramienta, destinada a los abogados, que facilite la construcción del marco legal de un caso determinado. El objetivo del sistema de búsqueda es mejorar la precisión de los resultados en la búsqueda de ...
• Simulación de un potencial atomístico de C-O/CU (110) mediante redes neuronales artificiales 

  Lopez, Miranda I. (2020-08)

  Se implementó un método iterativo de desarrollo de varios potenciales atomísticos basados en redes neuronales (CO/Cu(110)), donde en cada iteración se amplío el tamaño de la base de datos (construida a partir de datos ...
• Vacíos WAdS x Σ en teorías de alta curvatura 

  Caselli, Gerónimo Jesús (2022-05)

  En esta tesis he estudiado una extensión particular de la correspondencia AdS/CFT (Anti-de Sitter/Conformal Field Theory), específicamente, he trabajado en la conocida dualidadWarped AdS/CFT. La Conjetura de Maldacena ...
• Modelos teóricos de onda distorsionada orientados a radioterapia vectorizada 

  Esponda, Nicolás Julián (2021-03)

  En este trabajo se presenta el modelo de onda distorsionada del continuo con estado inicial eikonal (CDW-EIS) para el cálculo de secciones eficaces en reacciones de ionización simple de sistemas de colisión entre iones o ...
• ²²C como halo borromeano supergigante, estudio de su estructura 

  Gerdau, Franco Nicolás (2022-04)

  En este trabajo se utilizó el modelo de capas con energía compleja para estudiar la estructura de los núcleos 5He, 6He, 21C y 22C. Los núcleos 5He y 21C fueron estudiados utilizando la aproximación de un neutrón interactuando ...
• Descripción holográfica dual de plasmas de teorías de Yang-Mills 

  Cabrera, Lucía (2019-05)

  El norte de este trabajo es el de presentar, motivar y saborear algunas cuestiones interesantes de la física teórica de altas energías actual, y mostrar cómo de esta plétora de desarrollos pueden calcularse resultados ...

Show more