Recursos de colección

Universidad Nacional de La Plata (74.783 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 1997

Mostrando recursos 1 - 20 de 109

  1. Integrating interactive tools using concurrent haskell and synchronous events

    Karlsen, Einar W.
    In this paper we describe how existing interactive tools can be integrated using Concurrent Haskell and synchronous events. The base technology is a higher-order approach to concurrency as in CML extended with a framework for handling external events of the environment. These events are represented as first class synchronous events to achieve a uniform, composable approach to event handling. Adaptors are interposed between the external event sources and the internal set of listening agents to achieve this degree of abstraction. A substantially improved integration framework compared to existing technology (such as for example the combination of Tcl/Tk with expect) is...

  2. HARMONY: Sistema funcional de ayuda a la composición musical

    Cueva Lovelle, Juan Manuel; Labra Gayo, Jose Emilio; Oliveira Rodríguez, Luis Ángel
    En este artículo se describe HARMONY: un sistema que integra las fases que intervienen en la creación de una composición musical. El sistema contempla la generación automática de melodías mediante fractales y algoritmos genéticos, la armonización de las melodías generadas, la asignación de instrumentos a cada voz y la ejecución en formato MIDI. El núcleo del sistema, desarrollado en lenguaje Haskell, permite armonizar melodías según las reglas de la teoría musical clásica.

  3. Mecanismos de sincronización en programación funcional concurrente

    Blanco, Javier; Martínez López, Pablo E.; Mocciola, Pablo Andrés
    Muchas aplicaciones y o algoritmos se expresan de manera más sencilla utilizando lenguajes con estructuras o primitivas de concurrencia. En este tipo de problemas es necesaria la presencia y manipulación de variables o estructuras de estados las cuales se utilizan como mecanismos de sincronización y comunicación entre los procesos Los semáforos son herramientas utilizadas para solucionar problemas de secciones críticas e implementar protocolos de sincronización en programación concurrente Los lenguajes funcionales son her ramientas propicias para expresar paralelismo Concurrent Haskell es una extensión concurrente del lenguaje funcional puro y lazy Haskell. En este trabajo se presentan varias implementaciones de semáforos...

  4. Implementación de un model checker para lógicas modales en Haskell

    Cardoso, Marco A.
    Las lógicas modales son utilizadas en una gran variedad de campos relacionados con las ciencias de la computaci ón Entre ellos se encuentran la veri ficaci ón de programas la concurrencia la teor ía de aut ómatas los operadores de punto jo y los sistemas de comunicaci ón distribu dos El objetivo de este trabajo es describir la implementaci ón en Haskell de un veri ficador de modelos gen erico para l ógicas modales y analizar su comportamiento ven tajas y desventajas con respecto a posibles implementaciones basadas en lenguajes imperativos

  5. Generic parsing combinators

    Martínez López, Pablo E.
    Parsing combinators are a well known technique to the functional programming com munity Several de nitions of them were proposed and each one has its own advantages From the programmer point of view this wide range of possibilities implies that she needs to mantain several di erent modules with several di erent namespaces but all aimed to solve the same problem Type classes and constructor classes were introduced in Functional Programming as a mean to provide overloading that is sharing of names between functions of di erent types Several design decisions can be made when implementing class systems In particular...

  6. Implementación en Haskell de un algoritmo general para resolución de ecuaciones por métodos iterativos

    Caffa, Angel; Rosa, Sylvia da
    En este trabajo se dise na e implementa en el lenguaje funcional Haskell un algoritmo gen erico para solucionar ecuaciones no lineales y sistemas de ecuaciones lineales El dise no del algoritmo se basa en que los m etodos num ericos usados en la resoluci on de ecuaciones y sistemas presentan el mismo esquema de iteraci on lo cual permite abstraer el m etodo y obtener cada algoritmo de resoluci on por un m etodo determinado como una instancia del algoritmo general Uno de los aspectos m as detacables del uso de Haskell en la implementaci on radica en la...

  7. Using higher-order functional programming to do register allocation on a functional language

    Koch, Juan E.
    We show how to translate a call by value functional language to a RISC architecture in a uniform way that encompasses register alloca tion and spill code placement avoids unnecessary copy instructions provides short circuit translation of Boolean expressions and can make use of inter procedural information The translation is directed by the source language structure It uses higher order functional programming extensively Prelimi nary measurements suggest that this method can compete with graph colouring the framework in which most contemporary register allocators are cast The translation is implemented in the ML Kit a region inference based SML compiler On...

  8. A functional programming approach to a computational biology problem

    Krasnogor, Natalio; Martínez López, Pablo E.; Mocciola, Pablo Andrés; Pelta, David Alejandro
    Protein Folding is an important open problem in the eld of Computational Biology Due to its com binatorial nature exact polynomial algorithms to solve it could not exist and so approximation algorithms and heuristics has to be used In this paper a new heuristic is studied based on the approach that considers that the folding process is coded into the protein One important aspect of this work is that the algorithm was implemented using functional programming resulting in advantages for the understanding of the problem The results obtained are comparable with the ones obtained for classical algorithms .

  9. Análisis asintótico amortizado en lenguajes funcionales perezosos

    Gonzalía, Carlos José
    Los lenguajes funcionales con r egimen de evaluaci on perezosa presentan di ficultades para el an alisis de la complejidad asint otica de los algoritmos programados en ellos Las t ecnicas de an alisis amortizado permiten en muchos casos an alisis accesibles y utiles sobre el comportamiento de una estructura de datos en dichos lenguajes En este trabajo se da un panorama de estas cuestiones y se analiza la estructura de datos de montí culo sesgado implementada en Haskell como un ejemplo de la utilidad de dichas t ecnicas para el programador funcional .

  10. Expresando hypermedia en programación funcional

    Marcos, Daniel H.; Martínez López, Pablo E.; Risi, Walter A.; Gallego Sagastume, Ignacio
    En este art ículo se presentan un conjunto de herramientas constru idas sobre el lenguaje funcional lazy Haskell para describir documentos hypermediales El trabajo consiste en el dise ño e implementaci ón de un conjunto de funciones y tipos que permitan describir los elementos b asicos de un documento hypermedial nodos links componentes multimediales y la interacci on entre ellos La construcci on de los documentos de hypermedia se realiza utilizando unametodolog a composicional en la que componentes de hypermedia complejos se construyen combinando repetidamente otros m as simples Esta metodolog ía puede utilizarse tambi en para crear componentes gen...

  11. Hierarchical N-body simulations in haskell

    Martínez López, Pablo E.
    Functional Programming was historically considered a toy for re searchers but recent developments in the eld show that its area of ap plication is wider The Hierarchical N Body method is an iterative method used in as trophysics to simulate the gravitational evolution of collisionless matter in order to understand the formation of galaxies In this work functional programming is used as a tool for the descrip tion and prototipation of the Hierarchical N Body method in an attempt to show that it is a suited tool for expressing problems mantaining a good understanding of them and allowing a great...

  12. An application of a theorem prover

    Campos, M.; Lins, R.
    This work uses the speci cation of the type interval in OBJ to prove some properties of the interval probability OBJ is a functional language and also includes mechanisms for theorem proving

  13. Introducing Scheme in a FP-less environment

    Aerts, Kris; De Vlaminck, Karel
    Since the rst programming language taught to students of the faculty of Applied Sciences is Scheme We brie y describe our preference for Scheme and give an overview of the course The controversial language choice induced a lot of reactions mainly because of unfamiliarity with the functional programming FP paradigm We are very open to these reactions and even more performed two surveys This article discusses the answers We believe to be the rst to actually concentrate on the students opinion This may be of particular interest to any teacher considering the move to Scheme or any other functional language...

  14. CAMILA formal software engineering supported by functional programming

    Oliveira, J. N.; Almeida, J. J.; Barbosa, L. S.; Neves, F. L.
    This paper describes two experiences in teaching a formal approach to software engineering at undergraduate level supported by Camila a functional programming based tool Carried on in di erent institutions each of them addresses a particular topic in the area requirement analysis and generic systems design in the rst case speci cation and implementation development in the second Camila the common framework to both experiences animates a set based language extended with a mild use of category theory which can be reasoned upon for program calculation and classi cation purposes The project a liates itself to but is not restricted...

  15. T-Splines: Interpolación de curvas C2 continua

    Silvetti, Andrea; Delrieux, Claudio; Castro, Silvia Mabel
    La interpolación es el más intuitivo de los esquemas de representación geométrica o algebraica de curvas a partir de puntos de control. Al mismo tiempo, en muchos problemas de ingeniería o arquitectura es necesario garantizar que las curvas resultantes pasen por localizaciones específicas, probablemente también con una tangente determinada. Sin embargo, los métodos de interpolación tienen una desventaja fatal, dado que la interpolación con trozos de curvas polinomiales solamente garantizan un orden de continuidad C, es decir, curvas continuas y derivables, pero discontinuas en su segunda derivada. En este trabajo proponemos un método de interpolación, denominado T-Splines, que supera dicha...

  16. Padronização POSIX x sistemas operacionais de tempo-real: uma análise comparativa

    Corrêa, Edgard de Faria; Friedrich, Luis Fernando
    Diversas áreas de pesquisa buscam atualmente conquistar a padronização em suas respectivas tecnologias. Em Sistemas Operacionais o desejo de padronização deve-se, principalmente, á questão da portabilidade, possibilitando a independência dos programas em relações aos sistemas operacionais e á s máquinas onde são executados. No âmbito do tempo-real isso se torna mais crucial pelo fato da necessidade de se ter previsibilidade, ou seja, a garantia de que determinado evento ou tarefa aconteça dentro de um intervalo de tempo especificado ou até um certo tempo limite. Muitas vezes Sistemas Operacionais para Tempo-Real apresentam características específicas de uma determinada aplicação e, portanto, são ainda...

  17. Formas argumentales: un acercamiento a la argumentación rebatible con información no básica

    Chesñevar, Carlos Iván; Simari, Guillermo Ricardo
    Los sistemas argumentativos [SL92, Vre93, Che96] constituyen una formalización del razonamiento rebatible. Un argumento A para un literal h es una pieza de razonamiento que permite a un agente inteligente explicar h de manera tentativa. Para determinar si h es finalmente aceptable (o justificable) es necesario llevar a cabo un análisis para determinar si existe un argumento A que sea una justificación. El análisis precedente resulta en la construcción de un árbol dialéctico, en el cual se parte d ela suposición de que h es literal básico. La construcción de dicho árbol es computacionalmente costosa, incidiendo en la perfomance de un...

  18. Un compilador para la programación en lógica rebatible

    García, Alejandro Javier; Simari, Guillermo Ricardo
    La programación en lógica rebatible es una extensión de la programación en lógica que captura aspectos del razonamiento del sentido común que son difíciles de expresar en la programación en lógica tradicional. Los programas lógicos rebatibles (PLR) permiten representar información incompleta y potencialmente inconsistente, y utilizan los conceptos de la argumentación rebatible a fin de poder decidir entre metas contradictorias. El objetivo de este trabajo es presentar un compilador que se desarrolló para los programas lógicos rebatibles, Dicho compilador toma como entrada un PLR, y produce como salida un programa en instrucciones de una máquina abstracta para la programación rebatible llamada...

  19. A randomized algorithm for solving the satisfiability problem

    Cecchi, Laura
    In spite of the NP-completeness of the satisfiability decision problem (SAT problem), many researchers have been attracted by it because SAT has many applications in Artificial Intelligence. This paper presents a randomized David-Putnam based algorithm (RSAT) which solves this problem. Instead of selecting the next literal to be set true or false through a heuristic selection rule, RSAT does it through a random algorithm. RSAT not only improves the well-know Davis-Putnam Procedure that has been implemented with a heuristic selection rule, but avoids the incompleteness problem of the local search algorithms as well. RSAT is described in detail and it is...

  20. Weak properties of circumscriptive logic programming

    Fillottrani, Pablo Rubén; Simari, Guillermo Ricardo
    This is the second in a series of two papers in which we intend to study the formal properties of the semantics of Circumscriptive Logic Programs [6, 7]. The first one [8] was devoted to the strong properties [3], so called after its counterparts in nonmonotonic consequence relations [13, 20]. In this work we apply to this semantics the weak properties [4], specifically defined an extension of these principles to extended logic programs (they were originally defined for normal logic programs) and prove that the semantics of Circumscriptive Logic Programs is well-behaved [4, 5] in the sense it satisfies all...

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.