Recursos de colección

Universidad Nacional de La Plata (74.538 recursos)

Este servicio se brinda en el marco del Proyecto de Enlace de Bibliotecas (PrEBi) y significa una novedosa iniciativa en pos de la difusión a través de Internet, dentro y fuera del ámbito de la Universidad, de los conocimientos que en ella se generan para servir como vehículo de promoción y jerarquización. Los objetivos que se han planteados para SeDiCI son sumamente ambiciosos e incluyen la difusion electrónica de tesis, tesinas y disertaciones pero también de otros tipos de creaciones intelectuales, pretendiendo abarcar la ciencia, la tecnología y el arte buscando modos de presentación no solo de objetos en forma de documentos de texto sino también otros medios multimediales aptos para creaciones no documentales.

CACIC 1999

Mostrando recursos 1 - 20 de 55

  1. Computación Gráfica en la Universidad Nacional del Sur

    Castro, Silvia Mabel; Delrieux, Claudio; Silvetti, Andrea
    Las currículas de los cursos de Computación Gráfica adecuados para los alumnos de Ciencias de la Computación e Ingeniería plantean un gran desafío al docente que debe diseñar sus contenidos. Computación Gráfica es una de las áreas de Ciencias de la Computación más dependientes de la tecnología y, sin duda, en estos últimos años ha habido avances increíbles en el campo tecnológico que la afectan directamente. Esto obliga a estructurar sus contenidos manteniendo el equilibrio entre los fundamentos y objetivos tradicionales y los cambios acelerados que se producen tanto en el contexto académico y cultural en los que se desenvuelve...

  2. Errores que cometen los alumnos de nuestro curso de Programación Funcional

    Medel, Ricardo; Novaira, Maria Marta; Scoppa, Albino
    En el presente trabajo se reportan los resultados preliminares de analizar la ocurrencia de errores de programación en el paradigma funcional, cometidos por los alumnos de las carreras de Cs. de la Computación de la UNRC en los exámenes parciales de la asignatura “Programación Avanzada” durante los años 1996 y 1997. Se reconocen y clasifican los errores de programación en el paradigma funcional y se proponen mejoras en el dictado de la asignatura a fin de minimizar la aparición de dichos errores.

  3. La perplejidad como recurso didáctico

    Aguirre, Jorge; Aguirre, Nazareno Matías
    En este trabajo se propone la utilización de la perplejidad y la sorpresa en la enseñanza de la computación. Se recalca la importancia de la utilización de los recursos computacionales en esta tarea, y se presentan algunos ejemplos que han sido utilizados con éxito.

  4. El software abierto y su impacto en la enseñanza de la computación

    Aguirre, Jorge; Arroyo, Marcelo; Aguirre, Nazareno Matías; Smaldone, Javier
    En este trabajo se comenta el impacto que la existencia de software abierto está produciendo en la enseñanza de la Computación, y se comenta la forma en la cual la educación puede bene ficiarse a partir de esta nueva y creciente filosofí a de desarrollo de software.

  5. Modelado difuso para tratamientos térmicos en materiales

    Dai Pra, Ana Lucía; Acosta, Gerardo
    Los modelos basados en lógica difusa, o modelos difusos, se construyen a partir de reglas que vinculan las entradas y las salidas de una caja negra, que describen el comportamiento del sistema a modelar. La lógica difusa permite definir reglas en términos lingüísticos, a partir del conocimiento que a priori se tiene del sistema. Existen casos en los que este conocimiento (estructural) no es bien conocido y a cambio se dispone de datos provenientes de la observación de variables de entrada y salida. Es posible encontrar un conjunto de reglas que vinculen estos datos y así determinar un modelo estructural...

  6. Una triangulación jerárquica para modelos topográficos multiresolución

    Abásolo Guerrero, María José; De Giusti, Armando Eduardo; Blat Gimeno, Josep
    La visualización en tiempo real de modelos de terreno triangulados sigue considerándose un problema en los sistemas de realidad virtual. Los modelos poligonales de grandes volúmenes de datos de terreno requieren un gran número de polígonos. Problemas fundamentales son la eficiencia del rendering o visualización de la representación, así como también la transmisión del modelo por red. Los modelos multiresolución representan múltiples niveles de detalle de un objeto. De este modo un algoritmo de rendering puede elegir el nivel de detalle a visualizar de acuerdo a la posición del observador, y un algoritmo de transmisión puede realizar la transmisión progresiva...

  7. Descubrimiento dinámico de recursos en sistemas de objetos distribuidos

    Fillottrani, Pablo Rubén; Fuxman, Ariel
    En los sistemas orientados a objetos tradicionales, el acceso a los provee- dores de servicio se lleva a cabo de manera sencilla a partir de referencias explícitas, tales como punteros o nombres. Sin embargo, la situación es mucho más complicada en los sistemas de objetos distribuidos, debido a su gran complejidad. En este trabajo se estudia en detalle este problema y se plantean alternativas de solución a través de mecanismos de descubrimiento dinámico de recursos. Fundamentalmente, se describe un mecanismo de descubrimiento dinámico denominado Trading en una presentación que sigue el estilo de los patrones de Gamma et al [Gamma...

  8. Visualization of 3-dimensional bargaining problems

    Sánchez, Laura; Castro, Silvia Mabel; Quintas, Luis Guillermo
    This paper presents a visualization in three dimensions of the classical solutions of the bargaining problem for 3 agents. It provides a helpful tool for game theorists, economists and other researchers and professionals in these areas in order to visualize and compare the solutions over a wide family of bargaining problems and gain intuition about general results. The theory of bargaining, a branch of the Cooperative Game Theory, tries to find reasonable solutions when two or more agents have to decide over a wide variety of possible agreements among a family of conflictive situations. There are a lot of parameters entering in...

  9. Un ambiente para programación y control de robots móviles autónomos

    Michalczewsky, Erika; Fillottrani, Pablo Rubén
    Se presenta un ambiente para programación y control de robots móviles autónomos. El objetivo principal de este ambiente es proporcionar una herramienta que facilite el uso y la evaluación de las distintas técnicas existentes para planeamiento y control, simplificando la interacción entre los distintos módulos. Para ello se ha desarrollado una arquitectura basada en el sistema Saphira [Konolige 97a], que puede trabajar tanto sobre un robot real o una simulación del mismo provista por el sistema.

  10. Notions of relevance for modeling the dynamics of belief

    Falappa, Marcelo Alejandro; Maguitman, Ana Gabriela
    We identify different kinds of relevance relations between formulas that emerge in the process of belief revision. Informal definitions for alternative notions of relevance are suggested and a set of schemas and intuitive postulates for formalizing these notions are proposed. The notions of relevance proposed here are shown to be good candidates for modeling the process of belief revision.

  11. Análisis comparativo del método de asignación por clases en GAVaPS

    Lanzarini, Laura Cristina; Sanz, Cecilia Verónica; Naiouf, Marcelo; Romero, Fernando
    Se presentan tres alternativas dentro del método de asignación por clases para el cálculo del tiempo de vida de los individuos en algoritmos genéticos con población de tamaño variable (GAVaPS). En la estrategia planteada (asignación por clases), se agrupa a los individuos de acuerdo a su fitness. El objetivo es utilizar el rango de valores permitidos para el tiempo de vida de una manera más adecuada para la búsqueda del óptimo, que en las estrategias proporcional, lineal y bilineal. Se realiza un estudio comparativo de las tres posibilidades de asignación por clases con relación a los métodos tradicionales, y se muestran resultados...

  12. Ambiente de simulación para la recuperación en un entorno con Bases de Datos Distribuidas

    Miaton, Ivana Carla; Ruscuni, Sebastián Mariano; Bertone, Rodolfo Alfredo; De Giusti, Armando Eduardo
    La utilización de bases de datos distribuidas (BDD) o de bases de datos federales o federativas (DBF) representan una solución viable para los usuarios cuando deben optar para la generación de sus sistemas de información. La utilización de estas bases de datos para el mantenimiento de la información requiere el estudio de una gran cantidad de casos particulares, a fin de determinar las mejores condiciones de trabajo para cada problema real. Este artículo es la continuidad del desarrollo de un modelo de simulación, donde estudiamos, modelizamos, implementamos y medimos situaciones en la que una BDD debe mantener la integridad de la...

  13. Traducción con optimización de expresiones del cálculo relacional al álgebra relacional

    Gagliardi, Edilma Olinda; Turull Torres, José María; Yrusta, Mariano Martín
    Considerando los lenguajes formales Cálculo Relacional y Álgebra Relacional para expresar consultas a bases de datos relacionales, y tomando en cuenta la equivalencia entre ambos, la motivación de este trabajo consistió en la generación de una herramienta que contuviera una estrategia propia para la traducción del Cálculo Relacional al Álgebra Relacional con optimización incluida, para toda consulta perteneciente a la familia completa de consultas expresables por ambos lenguajes. Para ello, se tomó como marco de referencia la complejidad de las operaciones algebraicas y sus influencias en las relaciones temporarias generadas en la evaluación de la consulta.

  14. Una implementación eficiente del algoritmo de marching cubes

    Silvetti, Andrea; Delrieux, Claudio; Castro, Silvia Mabel
    Uno de los algoritmos de rendering de volúmenes más difundido y utilizado es el denominado marching cubes, propuesto por Lorensen y Cline en 1987. En el mismo se busca extraer una superficie umbral a partir de una matriz volumétrica de datos escalares. Una celda en el espacio está delimitada por los ocho valores de sus vértices. Cada celda se clasifica según los valores de sus vértices respecto al valor umbral. Una celda contiene un trozo de la superficie umbral si por lo menos uno de sus vértices está por debajo del valor umbral y por lo menos otro está por...

  15. Utilización de extensiones de lógica de primer orden para la computación de queries en problemas de redes

    Gagliardi, Edilma Olinda; Maldocena, P.; Reyes, Nora Susana
    Este trabajo presenta resoluciones de queries a una base de datos que mantiene información acerca de redes de computadoras, utilizando Lógica de Primer Orden extendida con los cuantificadores Clausura Transitiva, Clausura Transitiva Determinística, Puntos fijos en sus variantes Inflaccionario y No Inflaccionario, en su versión Determinística. Para los queries mostrados no alcanza con Lógica de Primer Orden, mientras que con las extensiones planteadas es posible expresarlos. En algunos casos, ellos representan casos críticos y pertenecen a una clase de consultas no expresables en lenguajes cuya expresivividad sea equivalente al de la Lógica de Primer Orden, por lo que es necesario contar...

  16. A genetic approach using direct representation of solution for the parallel task scheduling problem

    Esquivel, Susana Cecilia; Gatica, Claudia R.; Gallard, Raúl Hector
    In scheduling, a set of machines in parallel is a setting that is important, from both the theoretical and practical points of view. From the theoretical viewpoint, it is a generalization of the single machine scheduling problem. From the practical point of view the occurrence of resources in parallel is common in real-world. When machines are computers, a parallel program can be conceived as a set of parallel components (tasks) which can be executed according to some precedence relationship. In this case efficient scheduling of tasks permits to take full advantage of the computational power provided by a multiprocessor or a multicomputer...

  17. Collective computing

    Gonzalez, Jesús Alberto; León, Coromoto; Piccoli, María Fabiana; Printista, Alicia Marcela; Roda García, José Luis; Rodriguez, C.; Sande, Francisco de
    The parallel computing model used in this paper, the Collective Computing Model (CCM), is a variant of the well-known Bulk Synchronous Parallel (BSP) model. The synchronicity imposed by the BSP model restricts the set of available algorithms and prevents the overlapping of computation and communication. Other models, like the LogP model, allow asynchronous computing and overlapping but depend on the use of specific libraries. The CCM describes a system exploited through a standard software platform providing facilities for group creation, collective operations and remote memory operations. Based in the BSP model, two kinds of supersteps are considered: division supersteps and...

  18. Translating fork specification into logic programs

    Baum, Gabriel Alfredo; Frias, Marcelo F.; Aguirre, Nazareno Matías; Arroyo, Marcelo
    In this work a compiler from fork specifications into logic programs is presented. The technique implemented by the compiler consists of transforming a set of fork equations (with some restrictions) into normal logic programs in such a way that the semantics of the fork equations is preserved. After translating a fork specification, it can be executed by consulting the generated logic program.

  19. Ruteamiento multicast en redes de computadoras

    Sánchez Tores, Héctor A.
    Muchas aplicaciones como video-conferencia o sistemas colaborativos, requieren soporte multicast desde la capa de red. Multicast involucra el envío de mensajes sobre un árbol, con raíz en el nodo fuente, y cuyos caminos llegan hasta varios receptores. Uno de los objetivos de los algoritmos de ruteo es encontrar un árbol con costo mínimo. El establecer o encontrar ese árbol puede ser modelado como un problema del árbol de Steiner NP-completo. Muchas heurísticas han sido propuestas para encontrar en forma eficiente el árbol más cercano al óptimo. En este trabajo se propone y evalúa un algoritmo para encontrar el árbol multicast...

  20. Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal

    Medel, Ricardo; Baum, Gabriel Alfredo
    En este trabajo los sistemas de software son especificados por medio de un grafo y las propiedades que debe cumplir son expresadas como fórmulas de la lógica modal KPI. Ambos, sistema y propiedades, son traducidos a relaciones de un álgebra Fork. Con estas relaciones resultantes se puede alimentar al sistema RELVIEW, el cual permite verificar automáticamente si dichas propiedades se verifican en el sistema diseñado.

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.