Validité et limite de la technique du GPS dans l'analyse de la tâche en football

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

In situ d18O and Mg/Ca analyses of ODP Site 143-865 samples

We report d18O and minor element (Mg/Ca, Sr/Ca) data acquired by high-resolution, in situ secondary ion mass spectrometry (SIMS) from planktic foraminiferal shells and 100-500 µm sized diagenetic crystallites recovered from a deep-sea record (ODP Site 865) of the Paleocene-Eocene thermal maximum (PETM). The d18O of crystallites (~1.2 per mil Pee Dee Belemnite (PDB)) is ~4.8 per mil higher than that of planktic foraminiferal calcite (-3.6 per mil PDB), while crystallite Mg/Ca and Sr/Ca ratios are slightly higher and substantially lower than in planktic foraminiferal calcite, respectively. The focused stratigraphic distribution of the crystallites signals an association with PETM conditions; hence, we attribute their formation to early diagenesis initially sourced by seafloor dissolution (burndown) ensued by reprecipitation at higher carbonate saturation. The Mg/Ca ratios of the crystallites are an order of magnitude lower than those predicted by inorganic precipitation experiments, which may reflect a degree of inheritance from "donor" phases of biogenic calcite that underwent solution in the sediment column. In addition, SIMS d18O and electron microprobe Mg/Ca analyses that were taken within a planktic foraminiferal shell yield parallel increases along traverses that coincide with muricae blades on the chamber wall. The parallel d18O and Mg/Ca increases indicate a diagenetic origin for the blades, but their d18O value (-0.5 per mil PDB) is lower than that of crystallites suggesting that these two phases of diagenetic carbonate formed at different times. Finally, we posit that elevated levels of early diagenesis acted in concert with sediment mixing and carbonate dissolution to attenuate the d18O decrease signaling PETM warming in "whole-shell" records published for Site 865.

Reversibility Iteration Method to Understand Reaction Networks and to Solve Micro-Kinetics in Heterogeneous Catalysis

Solving microkinetics of catalytic systems, which bridges microscopic processes and macroscopic reaction rates, is currently vital for understanding catalysis in silico. However, traditional microkinetic solvers possess several drawbacks that make the process slow and unreliable for complicated catalytic systems. In this paper, a new approach, the so-called reversibility iteration method (RIM), is developed to solve microkinetics for catalytic systems. Using the chemical potential notation we previously proposed to simplify the kinetic framework, the catalytic systems can be analytically illustrated to be logically equivalent to the electric circuit, and the reaction rate and coverage can be calculated by updating the values of reversibilities. Compared to the traditional modified Newton iteration method (NIM), our method is not sensitive to the initial guess of the solution and typically requires fewer iteration steps. Moreover, the method does not require arbitrary-precision arithmetic and has a higher probability of successfully solving the system. These features make it ∼1000 times faster than the modified Newton iteration method for the systems we tested. Moreover, the derived concept and the mathematical framework presented in this work may provide new insight into catalytic reaction networks.

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.

Utvärdering av effektkartläggning med MA/SIMM : Effektkartläggning som stöd vid val av teknik för att nå önskad effekt vid utveckling av ett mobilt intranät

Kravinsamling görs inför ett systemutvecklingsprojekt för att identifiera användarnas behov och önskade effekter med systemet. Ett problem för många system är att valet av teknik påverkas allt för mycket av vilka tekniker som finns i företaget och är i många fall förutbestämt, istället för att baseras på behov och krav som ställs på systemet. Effektkartläggning är en metod som kan användas för kravinsamling, men metoden har inte fokus på tekniska funktioner. Eftersom tekniken ofta är förutbestämd måste den beaktas redan under kravinsamlingen. Frågan är därför hur man kan använda effektkartläggning för att den ändå ska vara ett stöd vid val av teknik. Syftet med det här examensarbetet har varit att utvärdera metoden effektkartläggning genom en metodanalys enligt metoden MA/SIMM, för att ta fram ett förslag på hur metoden bör användas för att vara ett stöd vid val av teknik för applikationstyp och cms för att nå önskad effekt vid utveckling av ett mobilt intranät. För att kunna besvara syftet har två frågeställningar tagits fram:  Hur bör metoden effektkartläggning användas för att vara ett stöd vid val av teknik för applikationstyp och cms för ett mobilt intranät?  Vilka faktorer bör beaktas vid val av teknik för applikationstyp och cms för att nå önskad effekt vid utveckling av ett mobilt intranät? För att identifiera faktorerna har litteraturstudier och intervjuer genomförts. Resultatet av vilka faktorer som bör beaktas vid val av teknik är en lista på 13 faktorer som grovt kan delas in i faktorer för applikationstyp och cms. Metoden effektkartläggning har analyserats utifrån ett teoretiskt och ett situationellt perspektiv. Resultatet av metodanalysen visar att systemutvecklare bör involveras tidigare i processen, metoder som säkerställer att outtalade krav dokumenteras bör användas samt tre förändringar i effektkartans notation behövs för att effektkartläggning ska vara ett stöd vid val av teknik.

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.