• 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 ...
• 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. ...
• Promoción de la Salud. Una perspectiva latinoamericana. 

  Enria, Graciela María Teresita; D’Andrea, Lorena Cecilia; Staffolani, Claudio Mario; Colunga Gallegos, Francisco; Álvarez Rodriguez, Francisco; Mera Gaona, Maritza Fernanda; Mireya Betancur Acosta; Colobig, María de los Milagros (Iniciativa Latinoamericana de Libros de Texto Abiertos (LATIn), 2014)

  La enunciación del concepto Promoción de la Salud remite a una diversidad de experiencias muy disímiles entre sí. Recuperado en la Conferencia Internacional sobre Atención Primaria de Salud, en Alma Ata (1978), como la ...
• Economía Internacional. Claves teórico-prácticas sobre la inserción de Latinoamérica en el mundo 

  Fernández Alonso, José; Actis, Esteban; Bonaldo Coelho, Diego; Boisier, Guy; Bueno, María del Pilar; Liceth Fajardo, Claudia; Fuders, Felix; Otero, Ronald Macaucé; Marini, Gustavo Alberto; Max-Neef, Manfred; Moncada Marino, Cristian; Paredes Rodríguez, Rubén; Sinisterra, Mónica María; Zelicovich, Julieta (Iniciativa Latinoamericana de Libros de Texto Abiertos (LATIn), 2014)

  A semejanza de toda realidad social -siempre compleja y variable-, la economía internacional exige un abordaje comprehensivo e integral. En efecto, al comprender el dinámico universo de transacciones económicas entre ...
• Planes de Negocios para Emprendedores 

  Garzozi Pincay, René; Messina Scolaro, María; Moncada Marino, Cristian; Ochoa Luna, José; Pérez, Griselda Ilabel; Zambrano Segura, Ricardo (Iniciativa Latinoamericana de Libros de Texto Abiertos (LATIn), 2014)

  Escribir un texto sobre cómo apoyar a las personas en el desarrollo de sus competencias emprendedoras y en la creación de nuevas empresas, fue la principal motivación para reunir a un grupo de profesores de distintas ...
• Objetos de Aprendizaje de Contenidos Abiertos Accesibles: Del Diseño a la Reutilización. 

  Álvarez González, Luis; Carballo Barrera, Yusneyi; Collazos Ordoñez, César; Echenagusía, Javier; Gutiérrez Hernández, Ricardo; Hernández Bieliukas, Yosly; Hernández Saldivar, Flor; Muñoz Arteaga, Jaime; Solano Alegría, Andrés; Velázquez Amador, Cesar (Iniciativa Latinoamericana de Libros de Texto Abiertos (LATIn), 2014)

  Es notorio el impacto de las Tecnologías de la Información y Ia Comunicación (TIC) en todos los ámbitos de la sociedad actual, la educación no escapa de esta realidad. Ella no son un fin en sí mismo, sino un medio para ...
• Educación Alimentaria y Nutricional en el marco de la Educación para la Salud 

  Saravia Makowski, Luisa; Carmona Garcés, Isabel; Fernández, Mariano; Ibañez, Ana; Meroni, Ana Laura; Miguel, Vanessa; Nari, María del Huerto; Ongay, María Elena; Panvini de Rubín, Jaqueline; Rodríguez, Griselda (Iniciativa Latinoamericana de Libros de Texto Abiertos (LATIn), 2014)

  Partamos en primer lugar del concepto de educación, Freire postula que “la educación verdadera es praxis, reflexión y acción del hombre sobre el mundo para transformarlo” (1), uno de los principales objetivos de la ...
• Cálculo Diferencial e Integral. Tomo I 

  Bonacina, Marta Susana; Teti, Claudia; Haidar, Alejandra; Bortolato, Santiago Andrés; Philippe, Valeria; Lisandrini, Franco; Quiroga, Marisa (Iniciativa Latinoamericana de Libros de Texto Abiertos (LATIn), 2014)

  La docencia en la universidad pública durante más de 40 años, el estudio a lo largo de todos estos años de la problemática del alumno que ingresa, me ha permitido conocer las necesidades tanto de aquellos que llegan ...
• Aprendizaje Colaborativo apoyado por Computador 

  Collazos, César; Muñoz, Jaime; Hernández, Yosly (Iniciativa Latinoamericana de Libros de Texto Abiertos (LATIn), 2014)

  Marx, en 1884, define el término trabajo cooperativo como “múltiples individuos trabajando juntos de una manera planificada en un mismo proceso de producción o en procesos de producción diferentes pero conectados” [MAR84]. ...

Show more