FCEIA - Escuela de Ciencias Exactas y Naturales

URI permanente para esta comunidad

https://rephip.unr.edu.ar/handle/2133/1815

Examinar

Mostrando 1 - 20 de 135

Acceso Abierto
Devs y patrones de diseño
(Departamento de Ciencias de la Computación; Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2009-02-06) Pomponio, Laura; Hamri, Maâmar El-Amine
Los sistemas computacionales de hoy día creados por el hombre, pertenecen a la clasificación de lo que se llama sistemas a eventos discretos. La característica esencial de estos es que están gobernados por la existencia asíncrona de eventos. Los avances tecnológicos han hecho que estos sistemas sean cada vez más complejos y mayores, y por tanto, resulte importante contar con recursos que faciliten su análisis, diseño e implementación. Formalismos de especificación, mecanismos de simulación, patrones de diseño y buenas prácticas de la Ingeniería de Software, son algunos de los medios con los que se cuenta para construir estos sistemas. En particular, DEVS (Discrete Event Specification System) es un formalismo general fundado sobre una fuerte base teórica, que permite la especificación de sistemas a eventos discretos. Este formalismo, trae además a la par, la definición de un simulador abstracto cuya implementación puede ser relativamente sencilla. Debido a sus bondades, DEVS es ampliamente utilizado para la modelización y simulación de sistemas. Si bien existen herramientas que acompañan estas tareas, en la mayoría de los casos la implementación de modelos requiere cierta intervención manual por parte del usuario. Más aún, en ocasiones la implementación es realizada en forma completa por quien modela. Esto trae aparejado que modificaciones en los modelos especificados, puedan resultar difíciles cambios en el código. En este trabajo se sugieren patrones generales para diseñar la implementación de modelos DEVS, de manera tal, que esta cuente con un código fácilmente legible y mantenible. Para esto se utilizarán los popularmente conocidos patrones de diseño, los cuales ayudan a crear diseños flexibles y sistemas reutilizables.
Acceso Abierto
Obtención automática de metadatos de páginas Web para mejorar la ordenación de los resultados de una búsqueda
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2009-02-20) Burgués, Martín; Bender, Cristina
Actualmente existe en Internet gran cantidad de información, la cual es recopilada e indexada por los buscadores. Esta tarea se perfecciona a cada momento, los motores de los buscadores son aplicaciones extremadamente complejas que evolucionan continuamente para acercarse más a los intereses de los usuarios. La información está muy diversificada en páginas Web que carecen de estructura. Esta carencia implica que las computadoras no puedan comprender y acceder al significado de las páginas, por lo tanto resulta muy difícil la tarea de encontrar contenidos adecuados a los requerimientos de los usuarios. Un área en la cual este problema es particularmente importante es la búsqueda de cursos por Internet, ya sea en sitios dedicados a la recopilación de cursos o en la Web en general. Esto es así porque cuando un usuario busca un curso necesita que el mismo cumpla ciertas características y se adapte a su perfil y necesidades específicas, lo cual hace que los resultados devueltos por los buscadores comunes no sean los más adecuados. En virtud de armar espacios para recopilar contenidos de cursos o tutoriales Web existen sitios que acopian esta información. Para que la información recolectada contenga sentido se pide al usuario que indique aspectos básicos del material que se sube. Esta tarea delega prácticamente toda la responsabilidad de indexación a la información brindada por el autor. Estos sitios son un ejemplo claro de los beneficios de la estructura en los contenidos Web, dado que al tener todas las páginas características homogéneas y estar bien definida su estructura, es más fácil buscar de manera "inteligente" en ellos. El agregado de estructura a los datos desestructurados que conviven en la Web es un trabajo que se viene desarrollando desde hace varios años. La falta de estructura provoca que la información sea más difícil de localizar y muchas veces sea inaccesible. En este trabajo se presenta una propuesta para la extracción de información del contenido de las páginas Web para mejorar las formas de clasificación utilizadas actualmente. Dada una consulta de un usuario y ciertas elecciones que indican las preferencias del mismo, la arquitectura propuesta devuelve las páginas encontradas de acuerdo a las preferencias y a la configuración cargada, otorgándole además información de las características de estas páginas que puede ser utilizada en un análisis posterior de las mismas. Las búsquedas pueden hacerse en la Web en general, o en sitios específicos, como ser repositorios de cursos indicados por el usuario. Este enfoque le da contenido semántico a las búsquedas. Se propone crear un árbol XML con el contenido recolectado de las páginas y utilizar el mismo para darle mayor estructura a los resultados devueltos. En resumen, lo que se busca con este trabajo es hacer las búsquedas en Internet más específicas y personales, añadiendo valor al contenido de cada página encontrada. Un aspecto importante que se tuvo en cuenta en este trabajo es el cálculo de índices de legibilidad sobre el texto de cada página. Esto brinda una información heurística del nivel de dificultad de los contenidos. Estos índices se utilizan en otros países para clasificar textos académicos y para determinar los tiempos que requerirán los alumnos para comprender un texto, y son especialmente útiles en la búsqueda personalizada de material académico.
Acceso Abierto
Fastest: Automatizando el testing de software
(Departamento de Ciencias de la Computación; Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2009-03-23) Rodríguez Monetti, Pablo; Cristiá, Maximiliano
Aún con el uso creciente de los métodos formales en el desarrollo de software, el testing de software continúa siendo la técnica dominante para verificar y validar sistemas. Con el testing basado en especificaciones, la precisión de las especificaciones formales hace del testing una actividad mucho más sistemática. Este trabajo describe el primer prototipo de Fastest, una herramienta que facilita la derivación de casos de prueba a partir de especificaciones en el lenguaje Z.
Acceso Abierto
Selección de variables en problemas multiclase
(FCEIA (Facultad de Ciencias Exactas, Ingenieria y Agrimensura). Universidad Nacional de Rosario, 2009-03-27) Burgos, Andrés C.; Granitto, Pablo M.
La selección de variables es una técnica de preprocesado comúnmente usada en conjuntos de datos de alta dimensionalidad. Tiene como propósito reducir la dimensión del espacio de variables, eliminar variables irrelevantes o redundantes, mejorar la eficiencia de los algoritmos de aprendizaje e incrementar la interpretabilidad de los modelos construidos. En este trabajo se introduce una nueva técnica de selección de variables para problemas multiclase. La técnica es una extensión del popular algoritmo RFE, consistente en resolver el problema de clasificación multiclase con una combinación One Vs. All de clasificadores binarios, y seleccionar luego variables en cada uno de los subproblemas creados por el OVA usando RFE. Usando datos reales de genómica y espectrometría de masa, y varios clasificadores para construir los rankings, se analiza en detalle la performance y estabilidad del nuevo método y se lo compara con el método RFE tradicional.
Acceso Abierto
Un Framework para el Análisis Formal de Modelos de Control de Acceso para Dispositivos Móviles Interactivos
(Facultad de Ciencias Exactas, Ingenieria y Agrimensura. Universidad Nacional de Rosario, 2009-04) Crespo, Juan Manuel; Luna, Carlos D.; Betarte, Gustavo
Los dispositivos portátiles tales como teléfonos celulares y asistentes personales de datos, permiten almacenar información confidencial y establecer comunicaciones con entidades externas. Generalmente, los usuarios pueden descargar e instalar nuevas aplicaciones de fuentes no confiables, que conviven junto con las instaladas por el fabricante del dispositivo o proveedor de servicios de comunicación. Ante este escenario, es importante garantizar la confidencialidad e integridad de los datos almacenados, así como la disponibilidad del servicio, aún cuando una aplicación maliciosa trate de hacer uso indebido de las funciones del dispositivo. La plataforma Java Micro Edition (JME), una tecnología para desarrollo de software Java, provee el estándar Mobile Information Device Profile (MIDP) que facilita el desarrollo de aplicaciones y especifica un modelo de seguridad para el acceso controlado a recursos sensibles del dispositivo. El modelo está construido sobre la noción de dominio de protección, que puede ser concebido como un conjunto de permisos. Un modelo alternativo ha sido propuesto, que extiende los permisos presentes en MIDP, introduciendo la noción de multiplicidad, y flexibilizando la forma en la que el usuario puede conceder a las aplicaciones que son utilizadas en el dispositivo, accesos a los recursos del mismo. Esta tesina presenta un framework, formalizado utilizando el asistente de pruebas Coq, adecuado para la definición y comparación formal de políticas de control de acceso que pueden ser aplicadas por variantes de esos modelos de seguridad y para el análisis y prueba de propiedades de seguridad que éstas satisfacen. Las pruebas de algunas de estas propiedades son dadas y discutidas en el trabajo. Además, se provee una generalización que abstrae el concepto de modelo de control de accesos y se define un concepto de generalidad que permite compararlos formalmente.
Acceso Abierto
Preservación de Obligaciones de Prueba en Entornos Híbridos de Verificación
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2009-05-12) Samborski-Forlese, Julián; Barthe, Gilles; Kunz, César
La producción de software confiable y eficiente requiere, al menos en parte, la automatización de su construcción. Para alcanzar este objetivo es indispensable estudiar a los programas y sus ejecuciones como objetos matemáticos. Los entornos de verificación de programas se basan cada vez más en métodos híbridos que combinan análisis estático con generación de condiciones de verificación. Mientras que dichos entornos de verificación operan sobre programas fuente, a menudo es preferible obtener garantías sobre código ejecutable. El objetivo de este trabajo es mostrar que, para métodos híbridos de verificación basados en análisis estático y generación de condiciones de verificación, la compilación de programas preserva obligaciones de prueba y, en consecuencia, es posible transferir evidencia de ciertas propiedades de programas fuente a programas compilados. Este resultado se sustenta en la preservación de soluciones de análisis por compilación. Esto se logra apoyándose en un análisis de bytecode que realiza una ejecución simbólica de las expresiones del stack con el fin de evitar la pérdida de precisión que conlleva realizar análisis estático en código compilado. Se muestra, además, que los métodos híbridos de verificación son correctos, probando que todo programa demostrable por dichos métodos es también demostrable (a un costo mayor) por métodos estándares. Finalmente, se presenta un caso de estudio en el que se analizan algunas de las principales ventajas que brindan los métodos híbridos en comparación con los métodos clásicos.
Acceso Abierto
Selección dinámica de pivotes que se adaptan a las búsquedas en Espacios Métricos
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2009-09-16) Salvetti, Mariano; Salvetti, Mariano; Deco, Claudia; Bender, Cristina
Una base de datos métrica es una colección de objetos (de cualquier tipo) con una similitud y una manera formal de calcular esta similitud como una métrica. Las consultas por similitud extienden la búsqueda por exactitud en el sentido de que el resultado obtenido es un conjunto de elementos cercanos al objeto de búsqueda, utilizando estructuras indice para acelerar los resultados. Basándonos en el método de indexación Sparse Spatial Selection (SSS), en este trabajo se presenta una estructura de indexación y búsqueda por similitud que periódicamente intenta adaptar los pivotes del índice al uso particular de la Base de Datos y no relegarlo a un estado inicial estático. El objetivo de esta idea es poder mejorar la cantidad de discriminaciones hechas por los pivotes a modo de lograr el primordial objetivo de los índices: bajar la cantidad de evaluaciones de la función distancia. Aquí combinamos las buenas propiedades de trabajos previos, como SSS, con algunas ideas fomentadas recientemente para la selección dinámica de pivotes.
Acceso Abierto
Un sistema inteligente para asistir la búsqueda personalizada de objetos de aprendizaje
(2009-10-22) Casali, Ana; Deco, Claudia; Bender, Cristina; Gerling, Valeria
Se presenta un sistema inteligente para asistir la búsqueda personalizada de Objetos de Aprendizaje. El objetivo es desarrollar un sistema recomendador que ayude a los usuarios a encontrar recursos educativos de acuerdo a sus características y preferencias y brinde los resultados ordenados de acuerdo a su perfil.
Acceso Abierto
Un Sistema Inteligente para Asistir la Búsqueda Personalizada de Objetos de Aprendizaje
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2009-12-16) Gerling, Valeria; Casali, Ana; Deco, Claudia
En este trabajo se describe el desarrollo de un sistema inteligente que ayuda a un usuario a encontrar los recursos educativos electrónicos que le sean más apropiados, de acuerdo con su perfil. Como hipótesis de trabajo se considera que se tienen diferentes repositorios de objetos de aprendizaje, donde cada objeto tiene metadatos descriptivos. Se propone utilizar estos metadatos para recuperar aquellos objetos que satisfagan no sólo el tema de la consulta, sino también el perfil de usuario, teniendo en cuenta sus características y preferencias. El sistema de recomendación se diseña con una arquitectura multiagente para la recuperación de los recursos educativos en la Web. Esta plataforma incluye varios tipos de agentes con diferentes funcionalidades. En particular, en este trabajo se modela el Agente Recomendador (Agente-R), como un agente BDI graduado. Este agente se encarga de realizar una recuperación flexible y presentar una lista ordenada con los mejores recursos, de acuerdo con el perfil de usuario. Se especifica este modelo de agente mediante un sistema multi-contexto y se diseña el Agente-R siguiendo una metodología adecuada. Se implementa un prototipo de este agente utilizando el lenguaje SWI-Prolog y finalmente, se presenta un caso de estudio que permite obtener algunas conclusiones.
Acceso Abierto
Formalización de la aritmética de TLA+ en el asistente de pruebas Isabelle
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2010-06-18) Vanzetto, Hernán P.; Merz, Stephan
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 temporal. Una versión extendida del lenguaje, llamada TLA+2, permite además escribir pruebas estructuradas jerárquicamente para verificar propiedades de las especificaciones. El Administrador de Pruebas TLAPM transforma las pruebas escritas en TLA+2 en una colección de obligaciones de prueba que son enviadas a uno o más demostradores secundarios para que sean verificadas. Estos producen trazas o scripts de las pruebas verificadas que luego deben certificarse en un entorno lógico como el asistente de pruebas genérico Isabelle. De esta forma, el núcleo del entorno lógico es el único componente confiable del sistema de pruebas de TLA+. El lenguaje TLA+ está siendo formalizado en Isabelle como una nueva lógica-objeto llamada Isabelle/TLA+. Hasta el momento incluye un subconjunto de la lógica de primer orden, teoría de conjuntos, funciones, puntos fijos y la construcción de números naturales, y se instanciaron los principales métodos de prueba semi-automáticos ya existentes en Isabelle. El objetivo de este trabajo es extender Isabelle/TLA+ para dar soporte a la aritmética estándar de TLA+ sobre los números naturales y enteros. Esto implica definir axiomáticamente los operadores aritméticos y probar sus propiedades para aumentar el poder de razonamiento de los métodos de prueba automáticos, lo que permitirá al TLAPM certificar las pruebas de especificaciones que utilizan aritmética.
Acceso Abierto
Refinamiento a JAVA de casos de prueba abstractos generados por Fastest, un sistema de testing automatizado
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2010-09-02) Coca, Pablo D.; Cristiá, Maximiliano
Fastest
Acceso Abierto
Sobre el papel de la acetilcolina en la memoria operativa
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2010-11-12) Hansen, Enrique C. A.; Deco, Gustavo; Macchi, Guido
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 envejecimiento humano produce una aguda declinación en habilidades tales como la codificación de memorias, el mantenimiento y manipulación de ítems por un breve período de tiempo (i.e., memoria operativa), y el procesamiento rápido de información. Un gran número de investigaciones fisiológicas han demostrado que ciertas substancias químicas conocidas como neuromoduladores tienen un efecto importante en el cerebro humano. Uno de estos neuromoduladores, la acetilcolina, se considera que está involucrada tanto en el proceso de aprendizaje como en el de rememorar. Estudiamos cómo diferentes concentraciones de acetilcolina, la aplicación de antagonistas muscarínicios y nicotínicos afectan la actividad persistente de neuronas piramidales en la corteza prefrontal. Para ello utilizamos un modelo de red recurrente de memoria operativa de objetos desarrollada por Brunel and Wang; sin embargo, agregamos a dicho modelo un mecanismo de adaptación de frecuencia. En primer lugar analizamos la estabilidad de la red realizando manipulaciones individuales de cada parámetro. Luego simulamos una alta concentración de aceltilcolina, el bloqueo de los receptores nicotínicos y el bloqueo de los receptores muscarínicos. Para cada simulación realizamos 320 ensayos. Dado que no realizamos investigaciones clínicas o experimentales específicas, no pudimos contrastar los resultados obtenidos con datos clínicos propios. Nuestros descubrimientos principales son que los parámetros más importantes para la estabilidad de la actividad persistente de la red son las conexiones inhibitorias recurrentes y la conductancia hiperpolarizante. Además, la actividad persistente de la red decae cuando la magnitud de tanto las conexiones inhibitorias recurrentes como de la conductancia hiperpolarizante es incrementada.
Acceso Abierto
Modelo y simulación de Redes de Petri con el formalismo DEVS
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2010-11-19) Pire, Taihú A. N.; Kofman, Ernesto
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 discretos concurrentes. Por otro lado se encuentra DEVS (Discrete EVent System Specification), un formalismo orientado a la simulación de sistemas de eventos discretos. En este trabajo se modeló el formalismo de Redes de Petri, en DEVS. Permitiendo, de esta manera, integrar e interconectar modelos expresados en distintos formalismos (PN y DEVS) y simular estos modelos bajo el formalismo DEVS. Trabajos anteriores han modelado PN en DEVS pero en esta propuesta se utilizaron algunas características particulares del simulador PowerDEVS para hacer modelos DEVS más similares a los modelos de PN. El desarrollo se realizó en el lenguaje de programación C++ sobre el simulador de DEVS llamado PowerDEVS, donde fue plasmado en una librería para su aplicación.
Acceso Abierto
Sistema inteligente para la recomendación de objetos de aprendizaje
(Fundación Universitaria San Martín Sede Puerto Colombia. Barranquilla, Republica de Colombia, 2011-01) Casali, Ana; Gerling, Valeria; Deco, Claudia; Bender, Cristina
En este trabajo se describe el desarrollo de un sistema recomendador de objetos de aprendizaje. Este sistema ayuda a un usuario a encontrar los recursos educativos que le sean más apropiados de acuerdo a sus necesidades y preferencias. La búsqueda se realiza en diferentes repositorios de objetos de aprendizaje, donde cada objeto tiene metadatos descriptivos. Se utilizan estos metadatos para recuperar aquellos objetos que satisfagan no sólo el tema de la consulta, sino también el perfil de usuario, teniendo en cuenta sus características y preferencias. El sistema tiene una arquitectura multiagente que incluye varios tipos de agentes con diferentes funcionalidades. En particular, en este trabajo se modela el Agente Recomendador (Agente-R), como un agente BDI graduado. Este agente se encarga de realizar una recuperación flexible y presentar una lista ordenada con los mejores recursos de acuerdo con el perfil de usuario. Se ha implementando un prototipo y se presenta un caso de uso.
Acceso Abierto
Poda de árboles de Testing a través de la detección de contradicciones matemáticas
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2011-03-11) Albertengo, Pablo; Cristiá, Maximiliano
El Test Template Framework (TTF) es un framework para testing basado en modelos (MBT), especialmente adecuado para testing de unidad. Fue propuesto por Phil Stocks y David Carrington. En el TTF el espacio de entrada de una operación Z es particionado en lo que se denominan clases de test, las cuales dan lugar a los árboles de testing. Stocks y Carrington sugieren que los casos de test o casos de prueba deben ser derivados solo de las hojas de dichos árboles. El problema que surge es que, debido a ciertas particularidades del TTF, pueden existir hojas de las cuales no es posible obtener un caso de prueba debido a que sus predicados son contradicciones o contienen ciertos términos indefinidos. Por lo tanto, estas hojas deberían ser podadas del árbol de test en una etapa previa al proceso de derivación de casos de prueba. En este trabajo se presenta una propuesta para la poda de arboles de testing en el contexto del TTF y se implementa dicha propuesta en Fastest. Fastest es la primera herramienta que implementa y automatiza el TTF.
Acceso Abierto
Testing de Sistemas de Caja Negra especificados con Redes de Petri
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2011-03-23) Ponce de León, Hernán; Harr, Stefan
La validación de la implementación de un sistema a través del testing es un paso importante en la realización de sistemas complejos. Incluso la verificación más cautelosa de una especificación no puede garantizar la ausencia de errores en el proceso de implementación. Dada la especificación S de un sistema según algún modelo formal y una implementación I de caja negra (aquella que sólo puede ser vista en términos de sus datos de entrada y salida sin el conocimiento de cómo trabaja internamente), intentamos derivar a partir de S secuencias de datos de entrada que nos permitan determinar a partir de los datos de salida que generan en I si I se ajusta a S. Dichas secuencias pueden permitir (i) predecir el comportamiento de los datos de salida, y en el caso de un comportamiento erróneo, (ii) encontrar la causa de dicho error. Varios modelos han sido utilizados para especificar sistemas de caja negra, entre ellos Autómatas de Entrada/Salida, Autómatas de Entrada/Salida con multi-puertos, Autómatas de Entrada/Salida con ordenes parciales, etc. Si bien estos formalismos permiten modelar la concurrencia del sistema, siguen siendo modelos secuenciales y heredan muchas de sus limitaciones. Por lo tanto, debemos abandonar el modelo de máquinas finitas y desarrollar un nuevo modelo para el testing de sistemas de entrada/salida implementados como caja negra. En este trabajo presentamos una extensión de las Redes de Petri, un modelo que permite la representación de sistemas distribuidos y discretos. Gracias a este nuevo modelo hemos sido capaces de establecer una relación de implementación y diseñar un algoritmo para testearla.
Acceso Abierto
Gestión de Múltiples Puntos de Vista en Análisis y Diagnóstico de PyMEs
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2011-04-19) Almirón, Santiago; Zanni-Merk, Cecilia
Este trabajo de tesina está contenido dentro del proyecto MAEOS. MAEOS (Modélisation de l’accompagnement de l’évolution organisationnelle et strategique des PMEs) es un proyecto de los laboratorios de investigación del INSA de Estrasburgo, Francia. Su objetivo principal es la modelización del soporte para el desarrollo estratégico y organizativo de las PyMEs. Por lo tanto, busca mejorar la eficiencia y el rendimiento del asesoramiento empresarial para las PyMEs. En el proyecto se pueden considerar tres aspectos importantes que están estrechamente ligados y son, la manipulación del conocimiento, el uso de conocimientos heterogéneos y la transferencia de ese conocimiento. Particularmente, este trabajo está situado dentro de la segunda etapa, el uso del conocimiento. En esta parte del proyecto se busca llevar a la práctica el uso del conocimiento actual aportado por los expertos en cada una de las distintas áreas y la teoría subyacente existente. Luego, mediante la implementación de un sistema experto, inferir nuevo conocimiento útil para que los consultores tengan ayuda en la toma de decisiones sobre la evolución de la PyME.
Acceso Abierto
Análisis de calidad y confianza en los metadatos de objetos de aprendizaje recuperados
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2011-05-11) Álvarez Machicote, Damián; Deco, Claudia; Bender, Cristina
El importante crecimiento que ha tenido Internet y en particular la World Wide Web, se debe a su habilidad para facilitar la posibilidad de compartir e intercambiar información y recursos. Con la necesidad de tener acceso a esta gran cantidad de información han surgido diversos problemas en su recuperación. Este problema también sucede en el escenario de los repositorios educacionales. Sin embargo aquí no sólo se busca la documentación relevante sino que también se exige una cuidada calidad de contenido y que la misma presente ciertas características de interés o de necesidad para el usuario. Los elementos a recuperar se llaman objetos de aprendizaje, los cuales son elementos para la instrucción, aprendizaje o enseñanza basada en computadora. Los mismos se encuentran almacenados en contenedores conocidos como Repositorios de Objetos de Aprendizaje donde el objetivo principal es organizarlos y mantenerlos disponibles para diferentes usos. En este trabajo se propone medir la calidad y confiabilidad de objetos de aprendizaje con el fin de que los recursos electrónicos de mayor calidad y confianza escalen las primeras posiciones en los resultados de búsqueda y que además se personalicen al perfil del usuario que realiza la búsqueda. La medición de la calidad de los objetos de aprendizaje es llevada a cabo por un fuerte y completo análisis de los metadatos siguiendo el estándar de metadatos LOM (Learning Object Metadata) y la medición de la confiabilidad se obtiene mediante el análisis de las calificaciones otorgadas por los usuarios. Para la implementación de este trabajo se ha desarrollado una aplicación web prototipo que permite realizar búsquedas en un repositorio mediante palabras claves. El objetivo principal será la verificación de la mejora de calidad y confiabilidad de los objetos de aprendizaje recuperados.
Acceso Abierto
Aplicación bioinformática para predicción de genes regulados por microARNs en plantas
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2011-05-11) Chorostecki, Uciel; Palatnik, Javier; Bulacio, Pilar
Los microARNs (o miARNs) son ARN no codificantes que regulan la expresión génica en animales y plantas, implicados en procesos biológicos muy variables, como el desarrollo, la diferenciación y el metabolismo. Estos pequeños ARNs de aproximadamente 21 nucleótidos reconocen secuencias parcialmente complementarias en los ARNm blanco, provocando su corte o arresto de la traducción. Los microARNs han saltado rápidamente a la primera plana del interés de la comunidad científica como un nuevo nivel en el control de la expresión génica en eucariotas. Estudios recientes han puesto de manifiesto que los microARNs están estrechamente involucrados en distintas enfermedades de importancia. Algunos tienen relación con distintos tipos de Cáncer y otros están relacionados con enfermedades cardíacas donde los niveles de expresión de microARNs específicos cambian en el corazón humano cuando están presentes dichas enfermedades. Los cálculos actuales consideran que entre el 20% y el 40% de los genes de humanos se encuentran regulados por microARNs. Este trabajo propone estudiar en forma automatizada a los microARNs en plantas, su biogénesis y los genes que regulan, a través de un enfoque multidisciplinario. Para esto presentaremos una estrategia bioinformática para la identificación de genes blancos de microARNs y además una herramienta web para el análisis y selección de los mejores genes blancos candidatos. Considerando que muchos de estos ARNs pequeños están ampliamente distribuidos en plantas, la herramienta a desarrollar estará basada principalmente en la conservación durante la evolución de la interacción del par microARN-gen blanco en distintas especies. Además, al estar los microARNs utilizados en este proyecto conservados en especies de interés agronómico las aplicaciones potenciales de este trabajo propuesto podrían ser inmediatas.
Acceso Abierto
Documentación de Estilos Arquitectónicos en Sistemas Web Colaborativos Sensibles al Contexto
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2011-06-24) Rizzo, Iván; Sartorio, Alejandro
En este trabajo se realiza una documentación sobre la arquitectura de un Framework Web Colaborativo Sensible al Contexto compuesto por la fusión de cuatro subsistemas. En el desarrollo de dicha documentación se describen como componentes de primera clase a los mecanismos de vinculación entre subsistemas representados en el diseño de la arquitectura. Además, se desarrolla un estudio sobre variantes de diseño de sistemas estratificados utilizado en la resolución de las problemáticas de diseño y documentación que surgieron en este dominio de aplicación. De esta manera, se proporciona como resultado final una contribución sobre la documentación arquitectónica del framework web colaborativo Sakai para su comunidad de diseñadores y desarrolladores.

Examinar

Examinando FCEIA - Escuela de Ciencias Exactas y Naturales por Fecha de publicación

Resultados por página

Opciones de ordenación