Submitted by Lucelia Lucena (lucelia.lucena@ufpe.br) on 2015-03-06T17:22:54Z No. of bitstreams: 2 DISSERTAÇÃO Bruno Edson Martins de Albuquerque Filho.pdf: 4020784 bytes, checksum: 772f84ef1cd45cc696672db6764be3ab (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-06T17:22:54Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Bruno Edson Martins de Albuquerque Filho.pdf: 4020784 bytes, checksum: 772f84ef1cd45cc696672db6764be3ab (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014-02-05 / Alguns benchmarks foram propostos para auxiliar o projeto de testes de desempenho em DW (Data Warehouse). Entretanto, foi identificada a falta de um benchmark para serviços de análises (OLAP – On-line Analytical Processing). Assim, esta dissertação apresenta a especificação e análise experimental do benchmark OBAS (OLAP Benchmark for Analysis Services). Este benchmark corresponde a uma extensão do Star Schema Benchmark (SSB) (O'Neil et al., 2009), para avaliação de serviços de análises e utilização de consultas escritas na linguagem MDX (Multidimensional Expressions). Na sua especificação, são apresentadas configurações de execução, como utilização de cache, localidade, paralelismo, serviços e catálogos. Foram definidos o esquema relacional e multidimensional correspondente, e as consultas SQL (Structured Query Language) do SSB traduzidas para MDX, além de serem adicionadas novas consultas que avaliam funções OLAP na linguagem MDX. As métricas utilizadas consistem no tempo de resposta, taxas de execução e confiabilidade. Esta última constitui um diferencial na avaliação, pois o SSB apresenta apenas taxas de execução. Componentes são especificados para preparação e execução do OBAS. Foi desenvolvida uma ferramenta de testes para a execução do OBAS de forma portável, que utiliza XMLA (XML for Analysis) como forma de comunicação com os serviços de análises. O OBAS também foi aplicado a uma base de dados real, com as devidas alterações. Dois serviços de análises foram avaliados na análise experimental do OBAS. Os resultados da execução foram tratados e analisados em relação à funcionalidade e complexidade das consultas, e à carga submetida, que consiste no número de fluxos concorrentes de execução, em vez de apresentar um único número como resultado do experimento, o que perde detalhes do comportamento dos serviços. Assim, é possível avaliar o comportamento do serviço diante destes aspectos e identificar a melhor utilização de cada serviço.

Empathy is a central concern in the counselling process. Though much researched, and broadly commented upon, empathy is still largely understood through the words within a client-counsellor interaction. This semantic focus continues despite converging lines of evidence that suggest other elements of an interaction – for example body language – may be involved in the communication of empathy. In this thesis, the foundations of empathy are examined, focusing on empathy’s professional instantiation. These foundations are then related to the idea that the face, and its ability to express emotion, are an important part of the empathic process. What follows is an experiment testing 60 participants. This was a between groups design, with participants assigned to two even groups; one group receiving training in how emotion appears on the face: using the training program eMETT; the other reading a passage on empathy. Following the intervention, hypothesised group differences were assessed using the following analyses. Firstly, an Independent sample T-test, compared group means on the Ickes Empathic Accuracy paradigm, the measure of empathy used. Secondly, a further Independent sample T-test assessed the effect of eMETT training. Thirdly, an ANCOVA, evaluated whether the obtained results may have been confounded by age difference between the experimental groups. Finally a correlational analyse tested for any relationship between baseline and outcome measures. The hypothesis tested stated: training in facial expressions of emotion will enhance counsellors’ empathic accuracy; a hypothesis for which positive evidence was shown. The implications of this evidence suggest efficacy of the eMETT training to enhance empathic accuracy, though this is qualified through critical examination of the experimental method. Suggestions for refinement of this method are discussed.

The objectives of this paper are twofold: the first is to illustrate the potential of the World Wide Web as a new or complementary resource for researching various linguistic phenomena, while the second objective is to apply the idea of the “Web as corpus” to a concrete example – in this case, the study of lexical variation in French idiomatic expressions. The first part of this paper examines the idea of using the World Wide Web as an exploitable corpus for linguistic research and provides an overview of related theoretical and practical issues. The major advantages and drawbacks of using the Web as a linguistic corpus are surveyed. Two different approaches to using the Web for corpus linguistics are also described. The latter half of the paper presents results of a small-scale study conducted to investigate lexical variation in seven selected French idiomatic expressions. An online concordancing tool called WebCorp is used to search the Web and generate concordances for analysis. The theory behind the notions of lexical frozenness and variation are also briefly discussed. / Arts, Faculty of / French, Hispanic, and Italian Studies, Department of / Graduate

Humans spend a large amount of their time interacting with computers of one type or another. However, computers are emotionally blind and indifferent to the affective states of their users. Human-computer interaction which does not consider emotions, ignores a whole channel of available information. Faces contain a large portion of our emotionally expressive behaviour. We use facial expressions to display our emotional states and to manage our interactions. Furthermore, we express and read emotions in faces effortlessly. However, automatic understanding of facial expressions is a very difficult task computationally, especially in the presence of highly variable pose, expression and illumination. My work furthers the field of automatic facial expression tracking by tackling these issues, bringing emotionally aware computing closer to reality. Firstly, I present an in-depth analysis of the Constrained Local Model (CLM) for facial expression and head pose tracking. I propose a number of extensions that make location of facial features more accurate. Secondly, I introduce a 3D Constrained Local Model (CLM-Z) which takes full advantage of depth information available from various range scanners. CLM-Z is robust to changes in illumination and shows better facial tracking performance. Thirdly, I present the Constrained Local Neural Field (CLNF), a novel instance of CLM that deals with the issues of facial tracking in complex scenes. It achieves this through the use of a novel landmark detector and a novel CLM fitting algorithm. CLNF outperforms state-of-the-art models for facial tracking in presence of difficult illumination and varying pose. Lastly, I demonstrate how tracked facial expressions can be used for emotion inference from videos. I also show how the tools developed for facial tracking can be applied to emotion inference in music.

Si selon le psychiatre Jacques Hassoun « le judaïsme n'est pas une religion funèbre », l'ensemble des mondes juifs n'est toutefois pas réductible au seul aspect religieux et l'expression de ses courants musicaux aux seuls répertoires liturgiques. Parler de cultures juives au pluriel permet d'envisager toute les nuances du sentiment d'appartenance autour du deuil et des thématiques funèbres. Cette étude, dont l'étendue chronologique (1880-1980) permet de prendre ancrage dans un long XXe siècle, fait le choix d'espaces en mutations et en mouvements. Plutôt que de se concentrer sur la « zone de résidence » ou sur les capitales culturelles européennes, elle s'inscrit dans un axe Europe orientale - Europe centrale - États-Unis, afin de prendre en compte les logiques de transferts, de contre-transferts et plus encore de maillages culturels, en prenant soin de distinguer entre des contextes bien spécifiques. Une étude des cadres rituels et des réseaux sociaux au sein desquels les compositeurs s'inscrivent, permet dans un premier temps d'envisager les conditions et les contraintes variables propres au travail d'écriture musicale sur des thématiques funèbres, qu?il s'agisse de musique liturgique ou de musique profane. Afin d'espérer appréhender l'immense diversité des attitudes et des expressions musicales face à la mort du quotidien comme face à la mort « ensauvagée » des pogroms et du génocide, il s'avère nécessaire de prendre en compte l'évolution des espaces vécus et des réseaux de création musicale, au regard des bouleversements et des moments de rupture. De ce fait, la Shoah s'avère un point nodal dans l'histoire des formes musicales : il s'agit alors de s'attacher aux modalités de création et de diffusion des chants de mort et de deuil dans les camps et dans les ghettos ainsi qu'à la transmission de cette mémoire, à partir de traces musicales souvent fragmentaires ou transmises oralement. Enfin, cette thèse s'attache, dans sa dernière partie, aux représentations et aux phénomènes d'appropriation de ce répertoire et de cette mémoire dans l'après-guerre, comme révélateurs d'angoisses et d'un nouveau rapport au deuil collectif et individuel. / Even if, according to psychiatrist Jacques Hassoun "Judaism is not a funeral religion?", the wide Jewish world is not, however, restricted to only the religious aspects, and its musical currents are not only attached to liturgy. Dealing with Jewish cultures (insisting on the plural) allows us to take into account the feelings of affiliation in their all diversity, linked with mourning and the funeral thematic. This study, whose chronological extension (1880-1980) corresponds to a wide Twentieth Century, makes the choice of changing and evolving spaces. Rather than focusing on the "Pale of Settlement", or on the cultural capitals of Europe, it inscribes itself in an Eastern Europe - Central Europe - United States axis, so as to take into account transfers, counter-transfers and cultural mesh works, while distinguishing specific contexts. Studying ritual frameworks and social networks inside of which composers work, allows us, firstly, to understand fluctuant conditions and restrictions of the musical composition process on funeral thematic, in the liturgical or in the secular fields. So as to catch the huge diversity of attitudes and musical expressions, confronting day to day's death or "brutalized" death of pogroms and genocide, it is necessary to take into account the mutations of the experienced spaces and the creation's networks, regarding break points and times of disruption. Incidentally, Shoah is a nodal point in the history of musical forms: so, it deals with the methods of creation and diffusion of dirges and mourning songs in concentration camps from often sketchy and oral musical traces. Finally, the last part of this dissertation focuses on representations and phenomena of appropriation of a repertoire and a memory in the post-World War II era, as revealing anxiety as well as a new collective or individual way of mourning.

Model-based development (MBD) is an increasingly used approach for the development of embedded control software, with Matlab Simulink/Stateflow as the widely accepted language. The adoption of this development paradigm is prevalent in many safety-critical domains, including the automotive industry. With an increasing reliance on software for controlling vehicle functionality and the yearly advent of new vehicle features, automotive models have been growing in size and complexity, causing them to become increasingly difficult to maintain, refactor, and test. Given the centrality of models in MBD, it is a requisite that they be maintained under well-defined and principled software development processes that use precise notation to document system requirements and behavioural design description. Tabular methods have long been used for defining decision-making logic in software, due to their concise and precise manner of communicating complex behaviour, so it is not surprising that they are finding increased use in automotive software models. Thus their presence in Simulink models is increasingly prominent in the implementation of complex behaviour in production code. As a result of the safety-critical nature of the automotive industry, as well as the increasing size and complexity of its models, reliable refactoring and simplification techniques for tabular expressions are becoming an important need for automotive companies. To address this need, this thesis presents a methodology for refactoring complex tabular designs to improve requirements traceability with a focus on Matlab Simulink/Stateflow and the MBD approach. A case study of industrial examples from an automotive partner are used to motivate the work and demonstrate the proposed methodology's effectiveness in reducing design size and complexity, while also increasing testability and requirements traceability. / Thesis / Master of Applied Science (MASc)

No description available.

<p> The pattern matching calculus introduced by Kahl provides a fine-grained mechanism of modelling non-strict pattern matching in modern functional programming languages. By changing the rule of interpreting the empty expression that results from matching failures, the pattern matching calculus can be transformed into another calculus that abstracts a "more successful" evaluation. Kahl also showed that the two calculi have both a confluent reduction system and a same normalising strategy, which constitute the operational semantics of the pattern matching calculi.</p> <p> As a new technique based on Haskell's language extensions of type-saft cast, arbitrary-rank polymorphism and generalised algebraic data types, type-indexed expressions introduced by Kahl demonstrate a uniform way of defining all expressions as type-indexed to guarantee type safety.</p> <p> In this thesis, we implemented the type-indexed syntax and operational semantics of the pattern matching calculi using type-indexed expressions. Our type-indexed syntax mirrors the definition of the pattern matching calculi. We implemented the operational semantics of the two calculi perfectly and provided reduction and normalisation examples that show that the pattern matching calculus can be a useful basis of modelling non-strict pattern matching.</p> <p> We formalised and implemented the bimonadic semantics of the pattern matching calculi using categorical concepts and type-indexed expressions respectively. The bimonadic semantics employs two monads to reflect two kinds of computational effects, which correspond to the two major syntactic categories of the pattern matching calculi, i.e. expressons and matchings. Thus, the resulting implementation provides the detotational model of non-strict pattern matching with more accuracy.</p> <p> Finally, from a practical programming viewpoint, our implementation is a good demonstration of how to program in the pure type-indexed setting by taking fully advantage of Haskell's language extensions of type-safe cast, arbitrary-rank polymorphism and generalised algebraic data types.</p> / Thesis / Master of Science (MSc)

<p> Algebraic simplification is the task of reducing an algebraic expression to a simpler form without changing the meaning of the expression. Simplification is generally a difficult task and may have different meanings according to what the subject considers as "simple" . This thesis starts off by reverse-engineering the concept of algebraic processors in the IMPS interactive mathematical proof system - which is responsible for handling all the algebraic simplification tasks - and discusses its algorithm and usage in detail. Then it explores the idea of algebraic processors as generic programs that can be configured for any type of algebraic structure to simplify expressions of that type by first formalizing the theory of algebraic processors of IMPS and then extending it to provide solutions for related topics. Algebraic processors can be defined for any user-defined algebra, as long as it conforms to the structure defined in this paper. The processors are defined as external units that can communicate with other mechanized mathematics systems in a trustable fashion and provide a program and a proof of correctness for any requests of simplification. Finally, some related processors such as one for simplification in partial orders and equivalence classes are outlined with some discussion of possible future expansions.</p> / Thesis / Master of Science (MSc)

Yes / Being able to recognize facial expressions of basic emotions is of great importance to social development. However, we still know surprisingly little about children’s developing ability to interpret emotions that are expressed dynamically, naturally, and subtly, despite real-life expressions having such appearance in the vast majority of cases. The current research employs a new technique of capturing dynamic, subtly expressed natural emotional displays (happy, sad, angry, shocked, and disgusted). Children aged 7, 9, and 11 years (and adults) were systematically able to discriminate each emotional display from alternatives in a five-way choice. Children were most accurate in identifying the expression of happiness and were also relatively accurate in identifying the expression of sadness; they were far less accurate than adults in identifying shocked and disgusted. Children who performed well academically also tended to be the most accurate in recognizing expressions, and this relationship maintained independently of chronological age. Generally, the findings testify to a well-developed ability to recognize very subtle naturally occurring expressions of emotions.