• 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 ...
• 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 ...
• Búsqueda de mejoras en la detección automática de estrellas variables 

  Rodríguez, Jeremías (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2021-05)

  La astronomía está atravesando una profunda transformación debido al desarrollo de modernos telescopios terrestres y satelitales, que han fomentado la realización de enormes relevamientos astronómicos. Ante la ...
• Brecha de dualidad y límites de tipo Ramsey para familias de grafos de intersección de rectángulo 

  Capretto, Margarita (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2021-03-10)

  En teoría de grafos, el problema de encontrar el conjunto independiente máximo (MIS, por sus siglas en inglés), y el problema de encontrar el conjunto de golpe mínimo (MHS), son de vital relevancia en el campo de estudi. ...
• Aprendizaje multiclase de videoimágenes deportivas con arquitecturas profundas 

  Escarrá, Martín (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2016-03-08)

  Las arquitecturas profundas permiten representar de manera compacta funciones altamente no lineales. Entre ellas, las redes convolucionales han adquirido gran protagonismo en la clasificación de imágenes debido a la ...
• Conversión de modelos PowerDEVS al lenguaje Modelica 

  Andrade, Luciano (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2015-12-21)

  El modelado y simulación se ha convertido en una actividad central de todas las disciplina ingenieriles y científicas y son utilizados en el análisis de sistemas ayudándonos a ganar un mejor entendimiento de su funcionamiento. ...
• Razonamiento abductivo aplicado al diagnóstico de PyMEs 

  Boullosa, Lucas (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2015-12-04)

  Las pequeñas y medianas empresas tienen un rol preponderante en las economías de todos los países. Este sector se caracteriza por proveer productos y servicios singulares, a diferencia de las grandes empresas que suelen ...
• Enfoque basado en ontologías para el desarrollo de un asistente web nutricional para pacientes diabéticos 

  LatanzI, María Clementina (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2015-11-24)

  La Diabetes Mellitus es una enfermedad crónica, caracterizada por altos valores de glucosa en sangre debido a una deficiencia absoluta (diabetes Mellitus Tipo 1) o parcial (Tipo 2) en la secreción de insulina. El número ...
• Visión por Computadora en la Predicción de la Enfermedad de Alzheimer en Pacientes Mayores por Medio de la Evaluación del Rendimiento en Actividades Diarias. 

  Gómez Uría, Álvaro (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2015-09-23)

  La enfermedad de Alzheimer (EA) es una de las demencias más comunes que afecta a gran parte de la población de la tercera edad. Un diagnóstico oportuno permitiría a los médicos actuar de manera preventiva en el cuidado de ...
• Optimización de recorridos en ciudades. Una aplicación al sistema de recolección de residuos sólidos urbanos en el Municipio de Concordia 

  Bertero, Federico (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2015-09-22)

  En esta tesis se estudia la aplicación de técnicas de la Investigación Operativa y de Sistemas de Información Geográfica en el diseño de recorridos en ciudades. En particular, se aplican estas técnicas a las rutas que deben ...
• Asistente para el depósito de documentos en Repositorios utilizando extracción semiautomática de metadatos 

  Fontanarrosa, Santiago (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2015-09-18)

  El desarrollo de Repositorios Institucionales de Acceso Abierto es prioritario para la preservación y diseminación de conocimiento abierto y accesible para toda la ciudadanía. En particular, la creación de repositorios de ...
• Aplanado eficiente de grandes modelos Modélica 

  Botta, Mariano (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2015-08-19)

  Modelica es un lenguaje de modelado de todo tipo de sistemas. Gracias a su metodología de programación orientada a objetos y a la posibilidad de vectorizar los medelos, mediantes arreglos y ecuaciones for, Modelica facilita ...

Show more