Higher-Order Functions for Parsing

In combinator parsing, the text of parsers resembles BNF notation. We present the basic method, and a number of extensions. We address the special problems presented by white-space, and parsers with separate lexical and syntactic phases. In particular, a combining form for handling the offside rule is given. Other extensions to the basic method include an $quot;into$quot; combining form with many useful applications, and a simple means by which combinator parsers can produce more informative error messages.

Monadic Parsing in Haskell

This paper is a tutorial on defining recursive descent parsers in Haskell. In the spirit of one-stop shopping, the paper combines material from three areas into a single source. The three areas are functional parsers, the use of monads to structure functional programs, and the use of special syntax for monadic programs in Haskell. More specifically, the paper shows how to define monadic parsers using do notation in Haskell. The paper is targeted at the level of a good undergraduate student who is familiar with Haskell, and has completed a grammars and parsing course. Some knowledge of functional parsers would be useful, but no experience with monads is assumed.

Espaço público e sociabilidade urbana: apropriações e significados dos espaços públicos na cidade contemporânea

Study public space is studying the city and its dynamics through a representation point. The changes that are observed in these spaces and in the relations established there, or with it, are related to changes that occurred in the city as a whole, in the urban way of living. Study public space allied to urban sociability permits an even better focus on this relation between people in these spaces and with the spaces and in the consequences and fragile aspects this relation can impose to people and cities. This work is aimed towards this relation between public space and urban sociability. Through a conceptual/theoretical discussion aims, specifically, comprehend how to establish and what is the relation between urban space and urban sociability (appropriation/perception of place, tendencies of seclusion), from an isolated analysis of each one of these themes in the contemporaneous city. The Brazilian public space has peculiar characteristics, arising from its historical process of construction, also influenced by the public sphere fragile construction that permeates it, as well as more recent variables such as the sensation of insecurity and commodification of these places. The urban sociability influences and is influenced along all this process of significance and reframing of the public space. The conceptual discussion about each isolate variable provides the necessary coverage for discussion and analysis of the relation between them and the consequence of this relation in the city, such as the notation of relevant experiences of this process of revaluation of the public space. The hereby search is not through a path to reestablish the relation as it already existed, but also for an understanding of the dynamic as is established today and for existing possibilities for maintenance and appreciation of the relation between people and the city by believing in its importance to urban life

Journal publishing with Acrobat: the CAJUN project

The publication of material in electronic form should ideally preserve, in a unified document representation, all of the richness of the printed document while maintaining enough of its underlying structure to enable searching and other forms of semantic processing. Until recently it has been hard to find a document representation which combined these attributes and which also stood some chance of becoming a de facto multi-platform standard. This paper sets out experience gained within the Electronic Publishing Research Group at the University of Nottingham in using Adobe Acrobat software and its underlying PDF (Portable Document Format) notation. The CAJUN project1 (CD-ROM Acrobat Journals Using Networks) began in 1993 and has used Acrobat software to produce electronic versions of journal papers for network and CD-ROM dissemination. The paper describes the project's progress so far and also gives a brief assessment of PDF's suitability as a universal document interchange standard.

Maude Object-Oriented Action Tool

MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.

Criteria for graphic representation in musical scores: Visual elements in musical scores

A interdisciplinaridade entre a música e as artes visuais tem sido explorado por conceituados teóricos e filósofos, embora não exista muito na área da interpretação visual do grafismo de partituras musicais. Este estudo investiga como os grafismos na notação e símbolos musicais afectam o intérprete na sua transformação em som, com referência especial a partituras contemporâneas, que utilizam notação menos convencional para a criação de uma interpretação por sugestão. Outras relações entre o som e o visual são exploradas, incluindo a sinestesia, a temporalidade e a relação entre obra de arte e público. O objectivo desta dissertação é a de constituir um estudo inovativo sobre partituras musicais contemporâneas, simultaneamente do ponto de vista musical e visual. Finalmente, também vai mais longe, incluindo desenhos da própria autora inspirados e motivados pela música. Estes já não cumprem uma função de notação convencional para o músico, embora existe uma constante possibilidade de uma reinterpretação. ABSTRACT; The inter-disciplinarity between music and visual art has been explored by leading theorists and philosophers, though very little exists in the area of the visual interpretation of graphic musical scores. This study looks at how the graphics of musical notation and symbols affect the performer in transforming them into sound, with particular reference to contemporary scores that use non¬conventional notation to create an interpretation through suggestion. Other sound-visual relationships are explored, including synaesthesia, temporality and the interconnection between work of art and audience or public. This dissertation aims to be an innovative study of contemporary musical scores, from a musical as well as visual perspective. Finally, it takes a step further with drawings of my own, directly inspired and motivated by the music. These no longer fulfil a conventionally notational function for the musician, yet the potential for a re-interpretation is ever-present.

Catálogo de Serviços de TI

As Tecnologias de Informação são responsáveis pelas transformações que vivemos, pois permitiram a construção de um mundo global, quebraram fronteiras, gerando conhecimento de uma forma cada vez mais rápida o que levanta enormes desafios às organizações. Estas transformações originam a necessidade de as organizações procurarem soluções e inovarem o seu modelo de estratégia organizacional, para conseguirem sobreviver e agregarem valor ao negócio. As Tecnologias de Informação são parte integrante nos processos das empresas, levando à necessidade de estarem alinhados com a estratégia de Governance, procurando aumentar a confiabilidade das suas operações e o presente trabalho aborda a adoção das melhores práticas das frameworks orientadas para esta área nomeadamente o COBIT 5, a ITIL V3, introduzindo os conceitos de Governance de TI e Gestão de TI. A Design Science Research foi a metodologia de investigação adotada, pois permite a construção e operacionalização de artefactos para os SI e encontrar uma solução para a construção de um Catálogo de Serviços como fator diferenciador para o negócio. Para a construção de um Catálogo de Serviços, é proposto um método baseado nas melhores práticas para a área dos Sistemas de informação, em que este passa a ser o principal ponto de contacto, permitindo o registo dos pedidos, mas também a definição de tempos de resposta, custos, faturação de serviços e ainda a construção de um repositório de conhecimento. São definidos os processos que se consideram mais relevantes, são propostos artefactos para a construção do catálogo, é efetuada a modelação em BPMN dos processos inerentes ao registo de pedidos, pois desta forma facilita o entendimento, bem como a sua implementação.

Project Flappy Crab : an edugame for music learning

This chapter discusses some possibilities of gamification and remixing processes for music education. It also analyzes the concepts of gamification, mashup/remix and presents its possible usage in education—music teaching—through the development of the project/educational game FLAPPY CRAB. The chapter begins with a brief introduction to the concepts listed above, trying to consider them in the school context. After that, we will make the summary presentation of the music educational game FLAPPY CRAB, a clone of the GEARS Studios Flappy Bird, developed for mobile devices and other platforms with the UNITY 3D© game engine. In this chapter we’ll talk yet, albeit briefly, about the game engine used in the development of this educational application. This educational game aims to assess the possible impacts that its use has on learning and skill development related to auditory memory, qualitative discrimination of musical sound height (pitch—in the range of an octave with a central point in 440 Hz), visual identification of musical notation symbols and its relative organization according to the grammar rules of traditional music spelling. The game has been tested by a group of approximately 30 teenagers over a period of about 6 months, over which data was collected. In this chapter, we will present a review of the preliminary data collected to date.

Credit risk & forward price models

Doutoramento em Gestão

Design de comunicação aplicado à educação musical

Dissertação de Mestrado para obtenção do grau de Mestre em Design de Comunicação, apresentada na Universidade de Lisboa - Faculdade de Arquitectura.

“Contemporandino”: tres piezas de música andina colombiana en lenguaje contemporáneo

La Música contemporánea, como corriente estética de los siglos XX y XXI, ha contado con distintos desarrollos teóricos y técnicos, que se han convertido en herramientas con amplias posibilidades creativas para la renovación del lenguaje sonoro del compositor -- El objetivo de este artículo es dar cuenta de un proceso compositivo que buscó unir la riqueza tímbrica, rítmica y melódica de las músicas populares tradicionales de la zona andina colombiana, con algunas de las estéticas y formas más representativas de la música académica contemporánea -- En primer lugar, se realizó una investigación sobre estas últimas, seleccionando, en un primer momento, algunas de las más representativas, seguido por una identificación de ciertos aires, formas y estructuras propias de la música tradicional colombiana que permitieran este proceso de fusión entre ambos lenguajes -- Esta etapa de reflexión y experimentación dio lugar a la composición de tres piezas instrumentales basadas en elementos de Guabina-Torbellino (primer movimiento); Danza (segundo movimiento) y Bambuco-Pasillo (tercer movimiento), acompañadas de su respectivo análisis descriptivo que tiene, como objetivo pedagógico, el acercar a compositores y a ejecutantes intérpretes de cuerdas pulsadas colombianas (Bandola, Tiple y Guitarra) a este tipo de fusión, que buscó que la música andina colombiana pueda encontrar, en otro tipo de estéticas, nuevos caminos de evolución

Espaço público e sociabilidade urbana: apropriações e significados dos espaços públicos na cidade contemporânea

Study public space is studying the city and its dynamics through a representation point. The changes that are observed in these spaces and in the relations established there, or with it, are related to changes that occurred in the city as a whole, in the urban way of living. Study public space allied to urban sociability permits an even better focus on this relation between people in these spaces and with the spaces and in the consequences and fragile aspects this relation can impose to people and cities. This work is aimed towards this relation between public space and urban sociability. Through a conceptual/theoretical discussion aims, specifically, comprehend how to establish and what is the relation between urban space and urban sociability (appropriation/perception of place, tendencies of seclusion), from an isolated analysis of each one of these themes in the contemporaneous city. The Brazilian public space has peculiar characteristics, arising from its historical process of construction, also influenced by the public sphere fragile construction that permeates it, as well as more recent variables such as the sensation of insecurity and commodification of these places. The urban sociability influences and is influenced along all this process of significance and reframing of the public space. The conceptual discussion about each isolate variable provides the necessary coverage for discussion and analysis of the relation between them and the consequence of this relation in the city, such as the notation of relevant experiences of this process of revaluation of the public space. The hereby search is not through a path to reestablish the relation as it already existed, but also for an understanding of the dynamic as is established today and for existing possibilities for maintenance and appreciation of the relation between people and the city by believing in its importance to urban life

Herramienta para mejorar la afinación vocal en Android

In this paper, a tool to improve vocal tuning in Android devices is presented. This application aims to offer exercises to practice and improve singing skills. The designed tool includes two main functionalities: sound synthesis, to provide with singing sound references, and fundamental frequency analysis, to analize the sound and check if the user sings the right musical note. The well-known Yin algorithm has been selected to perform the fundamental frequency analysis. Three different singing exercises are included: sing single notes, sing intervals and sing a note in order to complete a chord. The system also includes a graphical interface in which musical notation is employed to write down the singing sound. The system has been evaluated in order to test out its correct performance regarding both the analysis and synthesis of musical sounds.

Supporting business intelligence usage: an integrated framework with automatic weighting

This paper presents an integrated framework that comprises an automatic weighting method for assessing data quality (DQ) of the framework so as to better support the business intelligence (BI) usage. Specifically, we utilize business process modeling (BPM) notation and information product map and frame them into a hierarchical mapping structure. Furthermore, we develop and demonstrate an automatic weight-assignment method for evaluating critical dimensions (i.e., completeness and accuracy) of DQ of the integrated framework. Through a design science paradigm, the effectiveness of the framework and the associated DQ weighting method has been rigorously validated by faculty management users of a university. The framework together with the DQ weighting method builds user confidence by enhancing the traceability of a BI product. The automatic DQ weight assignment also provides better time efficiency because the weight of each data attribute is determined automatically based on its usage on the BI dashboard.

l'importanza della modellazione dei processi applicata ad un caso aziendale

La pianificazione e la gestione dei processi è diventata un elemento critico a causa della crescente complessità delle attività all’interno delle organizzazioni. Nell’era dell’impresa digitale, la gestione dei processi di businesss viene coadiuvata mediante l’utilizzo di sistemi software che sono in grado di gestire una grande quantità di informazioni ovvero i sistemi BPM. Il Business Performance Management è una disciplina gestionale che si occupa di descrivere e gestire i processi di business di una organizzazione. L’obiettivo della seguente tesi è verificare se il modello del processo realizzato precedentemente all’implementazione del sistema reale possa permettere una più dettagliata analisi del sistema e anticipare relative problematiche che talvolta si evincono solamente durante il mero sviluppo. Inoltre si vuole verificare se il modello realizzato in fase di discussione di un nuovo progetto cliente possa poi migliorare anche lo scambio di informazioni nel team di sviluppo. A supporto di questa tesi è stato sviluppato un caso di studio reale in una società di gestione del risparmio specializzata in fondi di investimento immobiliare. Inizialmente si è proceduto con una prima fase di raccolta dei requisiti dell’applicativo che si è conclusa con la realizzazione dei modelli creati utilizzando due linguaggi che sono il Business Process Model and Notation (BPMN) e il Decision Model and Notation (DMN); il medesimo applicativo è stato successivamente implementato seguendo i modelli realizzati. I tempi globali di sviluppo del sistema e la migliore comprensione del modello da parte del team di sviluppo hanno fatto evincere l’utilità della modellazione a fronte di maggiori giornate uomo. Inoltre è stata riscontata maggiore manutenibilità complessiva del sistema.