• 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 ...
• Extensión del TTF a testing de integración 

  Mesuro, Joaquín (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2015-04-08)

  El Test Template Framework (TTF) es un método de testing basado en modelos (Model Base Testing, MBT) para la notación Z, originalmente propuesto para el testing de unidad. En este trabajo analizamos cómo el TTF puede ser ...
• Simulación de Programas Paralelos en Haskell 

  Ceresa, Martín A. (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2015-03-27)

  El aumento del poder de cómputo de procesadores con un solo núcleo ha llegado a su fin, y por lo tanto los procesadores multinúcleo ya están presentes en la mayoría de dispositivos electrónicos. Esto hace que la programación ...
• Programación Funcional y Herencia de Clases: Tipos de Datos Algebraicos Extensibles en Scala 

  Ríos, Agustín Jesús (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2014-04-30)

  Cuando se desarrolla un software muchas veces se tiene que lidiar con tipos de datos recursivamente definidos y operaciones sobre ellos, por ejemplo en un árbol de sintaxis abstracta o en la manipulación simbólica de ...
• Manejo dinámico de accesos a memoria no lineales para paralelización especulativa 

  Campostrini, Esteban (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2014-12-23)

  El modelo del poliedro es un framework matemático orientado al análisis y transformación de loops particularmente aplicado a la paralelización. Si bien es poderoso, está originalmente limitado a ciclos que pueden ser ...
• Análisis Formal de la Instalación de Aplicaciones en MIDP 3.0. 

  Prince, Cristián Germán (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2014-12-19)

  Hoy en día, la telefonía celular se ha vuelto imprescindible para el desarrollo de la vida cotidiana. Además de sus servicios básicos de comunicación, los dispositivos móviles permiten almacenar datos confidenciales y, ...
• Formalización del protocolo de comunicación entre aplicaciones para dispositivos móviles Java 

  Forte, José Armando (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2013-10-25)

  En los últimos años se ha incrementado de manera significativa el uso de dispositivos móviles, tales como teléfonos celulares y smartphones. Este rápido crecimiento ha provocado que los usuarios integren el uso de aplicaciones ...
• Clasificación semántica de objetos urbanos en imágenes satelitales. Una ontología para la interpretación de regiones urbanas basada en sus relaciones espaciales 

  Cravero, Maximiliano (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2014-12-11)

  La información de la cobertura y el uso del suelo en objetos urbanos observados a diferentes escalas espaciales y temporales es de particular interés para planificadores urbanos y expertos geógrafos. Adquirir automáticamente ...
• Definición de estrategias para la aplicación automática de tácticas de testing en el marco del TTF y Fastest 

  Cuenca, Joaquín (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2014-08-27)
• Modelo y simulación de Redes de Petri con el formalismo DEVS 

  Pire, Taihú A. N. (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2010-11-19)

  Existen en la actualidad una gran variedad de formalismos matemáticos para el modelado y simulación de sistemas. Entre ellos, tenemos las Redes de Petri (Petri Nets ó PN), un formalismo para modelado y simulación de sistemas ...
• Sobre el papel de la acetilcolina en la memoria operativa 

  Hansen, Enrique C. A. (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2010-11-12)

  La necesidad de comprender los mecanismos de memoria y aprendizaje es más apremiante a medida que aumenta la expectativa de vida humana. El incremento en la expectativa de vida acarrea numerosos problemas de salud. El ...
• Refinamiento a JAVA de casos de prueba abstractos generados por Fastest, un sistema de testing automatizado 

  Coca, Pablo D. (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2010-09-02)

  Fastest
• Formalización de la aritmética de TLA+ en el asistente de pruebas Isabelle 

  Vanzetto, Hernán P. (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2010-06-18)

  TLA+ es un lenguaje para especificar sistemas distribuidos y concurrentes. Está basado en una lógica clásica de primer orden no-tipada y en una variante de la teoría de conjuntos estándar ZF, más una pequeña parte de lógica ...

Show more