Mover/se(r) a gênese do corpo entre/corpos e seus trajetos no processo coreográfico

This paper proposes a reflection on the body between/bodies, especially in contemporary dance, in their path that starts from the choreographic construction, permeating the body of the choreographer, the dancer s body and when fulfills themselves as artistic expression, the body of the spectator. Initially discusses the body in dance as a body/space for convergence, connectedness and continuity, from the thought of the Greek philosopher Epicurus of Samos, in dialogue with the thought of Maurice Merleau-Ponty, Gilles Deleuze and José Gil. Reflect about the creation of this body/space in the relationship choreographer/dancer using as connecting thread the experiences of the author in his artistic path. Finally describes the process of creating the scenic experiment (h)áporos, which constitutes the practice scene of this dissertation, having as main objective the creation of spaces of convergence and interaction between a proponent and an affluent body that, in this move, transforms itself and the space that now cohabits / is

Structured Approaches for Exploring Interpersonal Relationships in Natural Language Text

Human relationships have long been studied by scientists from domains like sociology, psychology, literature, etc. for understanding people's desires, goals, actions and expected behaviors. In this dissertation we study inter-personal relationships as expressed in natural language text. Modeling inter-personal relationships from text finds application in general natural language understanding, as well as real-world domains such as social networks, discussion forums, intelligent virtual agents, etc. We propose that the study of relationships should incorporate not only linguistic cues in text, but also the contexts in which these cues appear. Our investigations, backed by empirical evaluation, support this thesis, and demonstrate that the task benefits from using structured models that incorporate both types of information. We present such structured models to address the task of modeling the nature of relationships between any two given characters from a narrative. To begin with, we assume that relationships are of two types: cooperative and non-cooperative. We first describe an approach to jointly infer relationships between all characters in the narrative, and demonstrate how the task of characterizing the relationship between two characters can benefit from including information about their relationships with other characters in the narrative. We next formulate the relationship-modeling problem as a sequence prediction task to acknowledge the evolving nature of human relationships, and demonstrate the need to model the history of a relationship in predicting its evolution. Thereafter, we present a data-driven method to automatically discover various types of relationships such as familial, romantic, hostile, etc. Like before, we address the task of modeling evolving relationships but don't restrict ourselves to two types of relationships. We also demonstrate the need to incorporate not only local historical but also global context while solving this problem. Lastly, we demonstrate a practical application of modeling inter-personal relationships in the domain of online educational discussion forums. Such forums offer opportunities for its users to interact and form deeper relationships. With this view, we address the task of identifying initiation of such deeper relationships between a student and the instructor. Specifically, we analyze contents of the forums to automatically suggest threads to the instructors that require their intervention. By highlighting scenarios that need direct instructor-student interactions, we alleviate the need for the instructor to manually peruse all threads of the forum and also assist students who have limited avenues for communicating with instructors. We do this by incorporating the discourse structure of the thread through latent variables that abstractly represent contents of individual posts and model the flow of information in the thread. Such latent structured models that incorporate the linguistic cues without losing their context can be helpful in other related natural language understanding tasks as well. We demonstrate this by using the model for a very different task: identifying if a stated desire has been fulfilled by the end of a story.

Garbage collection optimization for non uniform memory access architectures

Cache-coherent non uniform memory access (ccNUMA) architecture is a standard design pattern for contemporary multicore processors, and future generations of architectures are likely to be NUMA. NUMA architectures create new challenges for managed runtime systems. Memory-intensive applications use the system’s distributed memory banks to allocate data, and the automatic memory manager collects garbage left in these memory banks. The garbage collector may need to access remote memory banks, which entails access latency overhead and potential bandwidth saturation for the interconnection between memory banks. This dissertation makes five significant contributions to garbage collection on NUMA systems, with a case study implementation using the Hotspot Java Virtual Machine. It empirically studies data locality for a Stop-The-World garbage collector when tracing connected objects in NUMA heaps. First, it identifies a locality richness which exists naturally in connected objects that contain a root object and its reachable set— ‘rooted sub-graphs’. Second, this dissertation leverages the locality characteristic of rooted sub-graphs to develop a new NUMA-aware garbage collection mechanism. A garbage collector thread processes a local root and its reachable set, which is likely to have a large number of objects in the same NUMA node. Third, a garbage collector thread steals references from sibling threads that run on the same NUMA node to improve data locality. This research evaluates the new NUMA-aware garbage collector using seven benchmarks of an established real-world DaCapo benchmark suite. In addition, evaluation involves a widely used SPECjbb benchmark and Neo4J graph database Java benchmark, as well as an artificial benchmark. The results of the NUMA-aware garbage collector on a multi-hop NUMA architecture show an average of 15% performance improvement. Furthermore, this performance gain is shown to be as a result of an improved NUMA memory access in a ccNUMA system. Fourth, the existing Hotspot JVM adaptive policy for configuring the number of garbage collection threads is shown to be suboptimal for current NUMA machines. The policy uses outdated assumptions and it generates a constant thread count. In fact, the Hotspot JVM still uses this policy in the production version. This research shows that the optimal number of garbage collection threads is application-specific and configuring the optimal number of garbage collection threads yields better collection throughput than the default policy. Fifth, this dissertation designs and implements a runtime technique, which involves heuristics from dynamic collection behavior to calculate an optimal number of garbage collector threads for each collection cycle. The results show an average of 21% improvements to the garbage collection performance for DaCapo benchmarks.

Wondrous transformations: rereading and rewriting wonder in contemporary anglophone and francophone fairy tales

This thesis compares contemporary anglophone and francophone rewritings of traditional fairy tales for adults. Examining material dating from the 1990s to the present, including novels, novellas, short stories, comics, televisual and filmic adaptations, this thesis argues that while the revisions studied share similar themes and have comparable aims, the methods for inducing wonder (where wonder is defined as the effect produced by the text rather than simply its magical contents) are diametrically opposed, and it is this opposition that characterises the difference between the two types of rewriting. While they all engage with the hybridity of the fairy-tale genre, the anglophone works studied tend to question traditional narratives by keeping the fantasy setting, while francophone works debunk the tales not only in relation to questions of content, but also aesthetics. Through theoretical, historical, and cultural contextualisation, along with close readings of the texts, this thesis aims to demonstrate the existence of this francophone/anglophone divide and to explain how and why the authors in each tradition tend to adopt such different views while rewriting similar material. This division is the guiding thread of the thesis and also functions as a springboard to explore other concepts such as genre hybridity, reader-response, and feminism. The thesis is divided into two parts; the first three chapters work as an in-depth literature review: after examining, in chapters one and two, the historical and contemporary cultural field in which these works were created, chapter three examines theories of fantasy and genre hybridity. The second part of the thesis consists of textual studies and comparisons between francophone and anglophone material and is built on three different approaches. The first (chapter four) looks at selected texts in relation to questions of form, studying the process of world building and world creation enacted when authors combine and rewrite several fairy tales in a single narrative world. The second (chapter five) is a thematic approach which investigates the interactions between femininity, the monstrous, and the wondrous in contemporary tales of animal brides. Finally, chapter six compares rewritings of the tale of ‘Bluebeard’ with a comparison hinged on the representation of the forbidden room and its contents: Bluebeard’s cabinet of wonder is one that he holds sacred, one where he sublimates his wives’ corpses, and it is the catalyst of wonder, terror, and awe. The three contextual chapters and the three text-based studies work towards tracing the tangible existence of the division postulated between francophone and anglophone texts, but also the similarities that exist between the two cultural fields and their roles in the renewal of the fairy-tale genre.

Language-based Techniques for Practical and Trustworthy Secure Multi-party Computations

Secure Multi-party Computation (MPC) enables a set of parties to collaboratively compute, using cryptographic protocols, a function over their private data in a way that the participants do not see each other's data, they only see the final output. Typical MPC examples include statistical computations over joint private data, private set intersection, and auctions. While these applications are examples of monolithic MPC, richer MPC applications move between "normal" (i.e., per-party local) and "secure" (i.e., joint, multi-party secure) modes repeatedly, resulting overall in mixed-mode computations. For example, we might use MPC to implement the role of the dealer in a game of mental poker -- the game will be divided into rounds of local decision-making (e.g. bidding) and joint interaction (e.g. dealing). Mixed-mode computations are also used to improve performance over monolithic secure computations. Starting with the Fairplay project, several MPC frameworks have been proposed in the last decade to help programmers write MPC applications in a high-level language, while the toolchain manages the low-level details. However, these frameworks are either not expressive enough to allow writing mixed-mode applications or lack formal specification, and reasoning capabilities, thereby diminishing the parties' trust in such tools, and the programs written using them. Furthermore, none of the frameworks provides a verified toolchain to run the MPC programs, leaving the potential of security holes that can compromise the privacy of parties' data. This dissertation presents language-based techniques to make MPC more practical and trustworthy. First, it presents the design and implementation of a new MPC Domain Specific Language, called Wysteria, for writing rich mixed-mode MPC applications. Wysteria provides several benefits over previous languages, including a conceptual single thread of control, generic support for more than two parties, high-level abstractions for secret shares, and a fully formalized type system and operational semantics. Using Wysteria, we have implemented several MPC applications, including, for the first time, a card dealing application. The dissertation next presents Wys*, an embedding of Wysteria in F*, a full-featured verification oriented programming language. Wys* improves on Wysteria along three lines: (a) It enables programmers to formally verify the correctness and security properties of their programs. As far as we know, Wys* is the first language to provide verification capabilities for MPC programs. (b) It provides a partially verified toolchain to run MPC programs, and finally (c) It enables the MPC programs to use, with no extra effort, standard language constructs from the host language F*, thereby making it more usable and scalable. Finally, the dissertation develops static analyses that help optimize monolithic MPC programs into mixed-mode MPC programs, while providing similar privacy guarantees as the monolithic versions.

Être médecin diplômé à l’étranger au Québec : des parcours contrastés d’intégration professionnelle

En 2015, il y aurait au Québec plus de 5 000 médecins diplômés à l’étranger, dont près de 2 500 travaillent comme médecins et possiblement autant qui ont emprunté d’autres voies professionnelles, momentanément ou durablement. Les migrants très qualifiés sont réputés faire face à de multiples barrières sur le marché du travail, particulièrement ceux membres de professions réglementées. Le cas des médecins est exemplaire compte tenu de sa complexité et de la multiplicité des acteurs impliqués au cours du processus de reconnaissance professionnelle. Ayant comme principal objectif de documenter les trajectoires d’intégration professionnelle de diplômés internationaux en médecine (DIM) et leurs expériences sur le marché du travail québécois, cette thèse s’attache à comprendre ce qui pourrait distinguer les trajectoires d’intégration en emploi pour un même groupe professionnel. En observant notamment les stratégies d’intégration et les ressources mobilisées, nous cherchons à mieux saisir les parcours des DIM qui se requalifient et qui exercent au Québec et ceux qui se réorientent vers d’autres secteurs d’activités. La démarche méthodologique est qualitative (terrain 2009 à 2012), le cœur des analyses étant basé sur 31 récits de vie professionnelle de DIM ayant migré au Québec principalement dans les années 2000. Les données secondaires incluent 22 entretiens non dirigés auprès d’acteurs clés de milieux institutionnels, communautaires ou associatifs ainsi qu’auprès de DIM très récemment immigrés ou ayant le projet d’immigrer. S’y ajoute l’observation ethnographique ponctuelle, telle que des activités associatives. La forme retenue pour cette thèse en est une par articles. Le fil directeur est l’exploration de l’interface entre les politiques, les pratiques et les individus au cœur des trajectoires d’intégration professionnelle. Les trois articles (chapitres 4 à 6) visent des focales complémentaires avec le même objectif : l’exploration de la complexité des trajectoires d’intégration professionnelle et la dialectique entre les niveaux micro, méso et macrosociaux. Ces derniers renvoient respectivement à la puissance d’agir des individus et leurs contraintes d’action, les relations sociales, les institutions et les pratiques organisationnelles et plus largement les structures sociopolitiques. Les résultats de cette thèse mettent en lumière des aspects complémentaires de l’intégration professionnelle et en interaction dynamique : 1) dimension macrosociale et politique; 2) dimensions institutionnelles et relations sociales; 3) identité professionnelle. Suite à l’introduction, la problématique (chap. 1) et la méthodologie (chap.2), le chapitre 3 expose les types des trajectoires d’intégration des DIM, leur hétérogénéité, et met en relief leurs récits de vie professionnelle. Le chapitre 4 soulève le paradoxe entre les politiques d’attraction de l’immigration déployés par les gouvernements canadien et québécois et les mécanismes de régulation opérant sur le marché du travail. Le chapitre 5 explore les stratégies et ressources mobilisées par les DIM et met en lumière l’effet positif des ressources symboliques. Les ressources institutionnelles de soutien, quoique élémentaires dans le processus de reconnaissance professionnelle, ne sont subjectivement pas considérées comme un élément central. Ce sont plutôt les ressources informelles qui jouent ce rôle d’appui significatif, en particulier les pairs DIM. Le chapitre 6 adopte une perspective microsociale et explore le caractère dynamique et relationnel de l’identité professionnelle, mais surtout, la puissance des conditions d’appartenance qui obligent à une flexibilité professionnelle et parfois au retrait de la profession ou du pays. Le chapitre 7 discute au plan théorique de l’intérêt d’une combinaison d’échelles analytiques et d’une ouverture disciplinaire afin de souligner les tensions et angles morts en ce qui concerne les mobilités de professionnels de la santé et leur intégration professionnelle. Cette thèse explore l’interrelation complexe entre les ressources économiques, sociales et symboliques, dans un contexte de fragmentation des ressources institutionnelles et de corporatisme.

Estudio comparativo para el tratamiento de la amigdalitis recidivante, entre el uso de penicilinas y amigdalectomizados, en el H.V.C.M. Cuenca Enero-Junio, 1994

La amigdalitis es una de las infecciones más comunes generalmente acusada por el estreptococo bata hemofílico del grupo A y con menor frecuencia debido a infecciones víricas. La amigdalitis recidivante es desde hace muchos años, la indicación más frecuente para practicar amigdalotomía aunque esta intervención tiene escasa complicaciones, su utilidad en la prevención de las recidivas no ha sido demostrada prospectivamente hasta estudios actuales en el que se compara la eficacia del tratamiento quirúrgico con una pauta antibiótica clásica la penicilina. Varios son los estudios en cuales se ha puesto en evidencia la incapacidad de la penicilina para acabar con el estado de portador del estreptococo beta hemolítico del grupo A. Entre las posibles explicaciones de esta aparente pérdida de eficacia de la penicilina, la más aceptada supone que la administración repetida del antibiótico selecciona flora productora de beta lactamasa. Los objetivos del tratamiento de la amigdalitis recidivante incluyen tanto la resolución de los signos clínicos y los síntomas de infección y la erradicación del agente causal de la cavidad oro faríngeo, por otro lado será importante evitar las complicaciones supurativas y no suporativas. La penicilina G es el agente antimicrobiano más efectivo para el tratamiento de la amigdalitis y debe emplearse almenos que el paciente sea alérgico lo que evita en lo posterior complicaciones

Os castros marcuenses : o povoamento proto-histórico : património da paisagem milenar

A zona geográfica circunscrita que abrange este trabalho de investigação encontra-se exígua de pesquisa e trabalhos arqueológicos, sendo no entanto reconhecida como uma zona enxameada de vestígios. Um imenso património por descobrir. Ambiciona-se, por isso clarificar a ocupação, no que respeita ao povoamento do território do actual concelho do Marco de Canaveses, no período cronológico da Proto-História, de forma a contribuir para uma actualização da investigação realizada e procurando novos pontos a desenvolver, alargando-a depois a uma vasta área territorial de serrania que integra o imenso noroeste peninsular. Orientada por um fio condutor sequencial de natureza cronológica, a investigação realizada conta com o contributo da toponímia, análise cartográfica, monografias e resenhas locais para o conhecimento de toda uma realidade patrimonial existente ao longo do território em estudo. A correlação das temáticas de ordem social, como a circulação de pessoas e bens através da rede viária e, por outro lado, de ordem geográfica no que respeita a locais propícios à fixação da população pelas suas características culturais e naturais, permite uma análise geográfica a este nível e a resposta a questões como: “De que forma habitou?” e “Porque habitou?”.

El principio de igualdad y no discriminación en relación con la pensión de viudedad y el «matrimonio gitano»

El punto de partida de nuestro estudio se sitúa en el polémico y discutido asunto resuelto por la sentencia del Tribunal Europeo de Derechos Humanos de 8 de diciembre de 2009, Caso Muñoz Díaz c. España, donde se condena al Estado español por denegar la pensión de viudedad a una ciudadana casada exclusivamente por el rito matrimonial gitano. Al hilo de esta resolución analizaremos, entre otras cuestiones, las diversas formas matrimoniales a las que nuestro legislador otorga efectos civiles, la incidencia de dichas disposiciones en el principio de igualdad y no discriminación consagrado en el artículo 14 de la Constitución y en el artículo 14 del Convenio Europeo de Derechos Humanos, y la posible vulneración de dicho principio en el marco de las prestaciones sociales reguladas en la Ley General de la Seguridad Social, recientemente reformada.

Plan of a tract of land (marked in the General Plan no. 7), containing in the whole 5000 acres, & divided into 20 plantations of 250 acres each, situate on a left hand branch of Elk River, & on the head waters of Salt Lick Creek, in Harrison County, State of Virginia /

Covers part of Harrison County (W.Va.)

Improvements in Hardware Transactional Memory for GPU Architectures

In the multi-core CPU world, transactional memory (TM)has emerged as an alternative to lock-based programming for thread synchronization. Recent research proposes the use of TM in GPU architectures, where a high number of computing threads, organized in SIMT fashion, requires an effective synchronization method. In contrast to CPUs, GPUs offer two memory spaces: global memory and local memory. The local memory space serves as a shared scratch-pad for a subset of the computing threads, and it is used by programmers to speed-up their applications thanks to its low latency. Prior work from the authors proposed a lightweight hardware TM (HTM) support based in the local memory, modifying the SIMT execution model and adding a conflict detection mechanism. An efficient implementation of these features is key in order to provide an effective synchronization mechanism at the local memory level. After a quick description of the main features of our HTM design for GPU local memory, in this work we gather together a number of proposals designed with the aim of improving those mechanisms with high impact on performance. Firstly, the SIMT execution model is modified to increase the parallelism of the application when transactions must be serialized in order to make forward progress. Secondly, the conflict detection mechanism is optimized depending on application characteristics, such us the read/write sets, the probability of conflict between transactions and the existence of read-only transactions. As these features can be present in hardware simultaneously, it is a task of the compiler and runtime to determine which ones are more important for a given application. This work includes a discussion on the analysis to be done in order to choose the best configuration solution.

Estudo da viabilidade econômica em campos maduros

When it comes to oil and gas in Brazil is almost certain that we are referring to activities in deep waters off the coast of Campos, Rio de Janeiro, the main field of action of PETROBRAS and a small number of multinational oil companies . Since the Law 9.478/97 allows, by means of concessions, that other companies other than Petrobras, to explore and produce oil and gas domestically. Soon it moved, then the private companies that want small and medium-sized businesses to invest in such activities, forming a segment of independent producers, as occurs in other countries. In this context, this work aims at making an economic feasibility study, is currently analyzing how this thread and focus on the factors that contribute to its development as well as those that constitute barriers. To this end, we conducted a survey examining some mature fields that are in production in order to capture cost information in the phases of project, operation and abandonment. The work also presents an analysis of the results obtained in the survey, identifying the costs higher. With the results obtained through the study used economic engineering tools such as NPV and IRR, using a variety of design scenarios, to study the economic viability of these fields. In scenario 4 was set a production of 4.0 m³ / d of oil, which is an expected average production for several of these fields, whose minimum value of a barrel of oil, to enable this field, was $ 55.00, this value well below what was being practiced in the market today.

Tectonics of Central and Eastern California, Late Cretaceous to Modern

The Late Cretaceous to Modern tectonic evolution of central and eastern California has been studied for many decades, with published work generally focusing on specific geographic areas and time periods. The resulting literature leaves the reader, whether graduate student, faculty member, or layperson, wondering what a coherently integrated tectonic evolution might look like, or if it would be at all possible to undertake such a task. This question is the common thread weaving together the four studies presented in this work. Each of the individual chapters is targeted at a specific location and time period which I have identified as a critical yet missing link in piecing together a coherent regional tectonic story. In the first chapter, we re-discover a set of major west down normal faults running along the western slope of the southern Sierra, the western Sierra fault system (WSFS). We show that one of these faults was offset by roughly a kilometer in Eocene time, and that this activity directly resulted in the incision of much of the relief present in modern Kings Canyon. The second chapter is a basement landscape and thermochronometric study of the hanging wall of the WSFS. New data from this study area provide a significant westward expansion of basement thermochronometric data from the southern Sierra Nevada batholith. Thermal modeling results of these data provide critical new constraints on the early exhumation of the Sierra Nevada batholith, and in the context of the results from Chapter I, allow us to piece together a coherent chronology of tectonic forcings and landscape evolution for the southern Sierra Nevada. In the third chapter, I present a study of the surface rupture of the 1999 Hector Mine earthquake, a dextral strike slip event on a fault in the Eastern California Shear Zone (ECSZ). New constraints on the active tectonics in ECSZ will help future studies better resolve the enigmatic mismatch between geologic slip rates and geodetically determined regional rates. Chapter IV is a magnetostratigraphic pilot study of the Paleocene Goler Formation. This study provides strong evidence that continued investigation will yield new constraints on the depositional age of the only fossil-bearing Paleocene terrestrial deposit on the west coast of North America. Each of these studies aims to provide important new data at critical missing links in the tectonic evolution of central and eastern California.

Mover/se(r) a gênese do corpo entre/corpos e seus trajetos no processo coreográfico

This paper proposes a reflection on the body between/bodies, especially in contemporary dance, in their path that starts from the choreographic construction, permeating the body of the choreographer, the dancer s body and when fulfills themselves as artistic expression, the body of the spectator. Initially discusses the body in dance as a body/space for convergence, connectedness and continuity, from the thought of the Greek philosopher Epicurus of Samos, in dialogue with the thought of Maurice Merleau-Ponty, Gilles Deleuze and José Gil. Reflect about the creation of this body/space in the relationship choreographer/dancer using as connecting thread the experiences of the author in his artistic path. Finally describes the process of creating the scenic experiment (h)áporos, which constitutes the practice scene of this dissertation, having as main objective the creation of spaces of convergence and interaction between a proponent and an affluent body that, in this move, transforms itself and the space that now cohabits / is

Racionalismo y socialización femenina: vivir en laico

La existencia de un hilo conductor entre distintas corrientes del feminismo histórico español, desde los presupuestos del laicismo, ha sido ya puesta de manifiesto. En este artículo se intenta analizar dicho proceso desde la educación femenina, lo que permite incorporar nuevas protagonistas al universo femenino laico. El debate sobre religión-laicismo, moral y emancipación de las mujeres subyace al interés por la instrucción femenina. Las estrategias educativas emprendidas en las escuelas neutras y laicas, frente al modelo de la Iglesia católica, se plasman en la implantación de una educación mixta o en la coeducación. Se subraya asimismo la pluralidad de formas de entender el racionalismo y el laicismo, desde la religiosidad de espiritistas y masonas del siglo XIX al ateísmo de las anarquistas del siglo XX.