Molecular Medicine and Molecular Pathology for Hematologists:II. Lets go Techno; Principles of the Molecular Technologies and their Applications in Haematology

Molecular techniques have a key role to play in laboratory and clinical haematology. Restriction enzymes allow nucleic acids to be reduced in size for subsequent analysis. In addition they allow selection of specific DNA or RNA sequences for cloning into bacterial plasmids. These plasmids are naturally occuring DNA molecules which reside in bacterial cells. They can be manipulated to act as vehicles or carriers for biologically and medically important genes, allowing the production of large amounts of cloned material for research purposes or to aid in the production of medically important recombinant molecules such as insulin. As acquired or inherited genetic changes are implicated in a wide range of haematological diseases, it is necessary to have highly specific and sensitive assays to detect these mutations. Most of these techniques rely on nucleic acid hybridisation, benefitting from the ability of DNA or RNA to bind tighly to complimentary bases in the nucleic acid structure. Production of artificial DNA molecules called probes permits nucleic acid hybridiation assays to be performed, using the techniques of southern blotting or dot blot analysis. In addition the base composition of any gene or region of DNA can be determined using DNA sequencing technology. The advent of the polymerase chain reaction (PCR) has revolutionised all aspects of medicine, but has particular relevance in haematology where easy access to biopsy material provides a wealth of material for analysis. PCR permits quick and reliable manipulation of sample material and its ability to be automated makes it an ideal tool for use in the haematology laboratory.

A aprendizagem da noção de derivada no 11º ano

Relatório da prática de ensino supervisionada, Mestrado em Ensino da Matemática, Universidade de Lisboa, 2014

Dificuldades na resolução de equações de 2º grau dos alunos do 8º ano

Relatório da Prática de Ensino Supervisionada, Ciências da Educação (Mestrado em Ensino da Matemática), Universidade de Lisboa, Instituto de Educação, 2014

The Impact of Thought Speed and Variability on Psychological State and Threat Perception: Further Exploration of the Theory of Mental Motion

Thought speed and variability are purportedly common features of specific psychological states, such as mania and anxiety. The present study explored the independent and combinational influence of these variables upon condition-specific symptoms and affective state, as proposed by Pronin and Jacobs’ (Perspect Psychol Sci, 3:461–485, 2008) theory of mental motion. A general population sample was recruited online (N = 263). Participants completed a thought speed and variability manipulation task, inducing a combination of fast/slow and varied/repetitive thought. Change in mania and anxiety symptoms was assessed through direct self-reported symptom levels and indirect, processing bias assessment (threat interpretation). Results indicated that fast and varied thought independently increased self-reported mania symptoms. Affect was significantly less positive and more negative during slow thought. No change in anxiety symptoms or threat interpretation was found between manipulation conditions. No evidence for the proposed combinational influence of speed and variability was found. Implications and avenues for therapeutic intervention are discussed.

Rhetorical Topographies of Post-Earthquake L'Aquila: Locality, Activism, and Citizenship Engagement

Thesis (Ph.D.)--University of Washington, 2014

The challenge and response to global tourism in the post-modern era: the commodification, reconfiguration and mutual transformation of Habana Vieja, Cuba

There is a growing literature on the symbolic and cultural meanings of tourism and the ways in which cities are increasingly competing for tourists through the promotion of cultural assets and different forms of spectacle in the `tourist bubble'. To date, research on the role and impact of tourism in cities has largely been confined to those in Western, post-industrial economies. This paper examines the growth of cultural tourism in the central area of Havana, Cuba, and explores the range of unique, devolved, state-owned enterprises that are attempting to use tourism as a funding mechanism to achieve improvements in the social and cultural fabric of the city for the benefit of residents. The paper concludes with an assessment of the implications of this example for our understanding of how the pressures for restructuring and commodification can be moderated at the city level. Copyright 2008 SAGE Publications. All rights reserved. Not for commercial use or unauthorized distribution.

Newspaper coverage impact on cultural events: Porto 2001 and Guimarães 2012: European Cultural Capitals

Artigo baseado na comunicação proferida no 1st International Symposium on Media Studies, realizado na Akdeniz Universitesi Yayınları, Antalya, Turquia, 21-23 de novembro de 2013

The encounter with the real and post-Soviet trauma : fantasy construction in Russian popular cinema /

This thesis examines the impact of the Soviet Union's collapse on the Russian Symbolic as represented through popular cinema of the post-Soviet period. The disintegration of the USSR in 1991 became one of the most traumatic experiences for many Russian people. The trauma of the collapse of the Soviet Union penetrated the everyday reality of the Russian Symbolic, leaving the traces-symptoms in different cultural fonns like literature, arts, television and cinema. Because popular culture usually reacts very quickly to any social, political and economical shifts in society, it is an excellent barometer for deeper changes in society. Focusing on postSoviet popular cinema, this thesis analyzes the symptoms of cultural and individual trauma occasioned by the momentous changes of the 1990's. This study is grounded in post-analytic theory of Jacques Lacan and its interpretation by Slavoj Zizek, which emphases the traumatic encounter with the Real as a "hard core" of our reality. According to this paradigm, a new chain of signifiers is structured around the traumatic breach in the Symbolic, initiating a process of fantasy construction to deal with consequences of trauma and, thus, to support our Symbolic order. This thesis examines three major fantasy constructions - drinking, traveling to a "happy land" and family reunion and money - in popular films by Alexander Rogozhkin, Yurij Mamin, Georgij Shengelia, Dmitrij Astrakhan, Valerij Todorovskij, Alexej Balabanov, Sergej Bodrov Jr. and Petr Buslov. According to Zizek, enjoyment underlies any fantasy constructions, and that is why after the intrusion of the Real every individual and culture should go through the process of fantasizing about some substitutes which can help to minimize the traumatic effect and which can lead to a partial enjoyment. By analyzing the fantasies about drinking, "happy land", reconstruction of the family bonds and money in Russian popular cinema since 1991, this thesis demonstrates how the traumatic engagement with the Real affected the everyday lives of Russian people, and how individuals tried to fill the gap, the lack, in the post-Soviet Symbolic and "return" the lost feeling of unity and plenitude.

Region Connection Calculus: Composition Tables and Constraint Satisfaction Problems

Qualitative spatial reasoning (QSR) is an important field of AI that deals with qualitative aspects of spatial entities. Regions and their relationships are described in qualitative terms instead of numerical values. This approach models human based reasoning about such entities closer than other approaches. Any relationships between regions that we encounter in our daily life situations are normally formulated in natural language. For example, one can outline one's room plan to an expert by indicating which rooms should be connected to each other. Mereotopology as an area of QSR combines mereology, topology and algebraic methods. As mereotopology plays an important role in region based theories of space, our focus is on one of the most widely referenced formalisms for QSR, the region connection calculus (RCC). RCC is a first order theory based on a primitive connectedness relation, which is a binary symmetric relation satisfying some additional properties. By using this relation we can define a set of basic binary relations which have the property of being jointly exhaustive and pairwise disjoint (JEPD), which means that between any two spatial entities exactly one of the basic relations hold. Basic reasoning can now be done by using the composition operation on relations whose results are stored in a composition table. Relation algebras (RAs) have become a main entity for spatial reasoning in the area of QSR. These algebras are based on equational reasoning which can be used to derive further relations between regions in a certain situation. Any of those algebras describe the relation between regions up to a certain degree of detail. In this thesis we will use the method of splitting atoms in a RA in order to reproduce known algebras such as RCC15 and RCC25 systematically and to generate new algebras, and hence a more detailed description of regions, beyond RCC25.

Informing the structure of subjective well-being through examining changes in life satisfaction, positive affect, and negative affect

Subjective well-being (SWB) refers to how individuals evaluate and experience their lives in positive ways, and encompasses global judgments of life satisfaction (LS), as well as the frequency of positive and negative affect (PA and NA, respectively) in one’s life. To inform the current ambiguity concerning the structure of SWB, the aim of this Masters thesis was to evaluate the structure of SWB based on whether the three components of SWB change together or independently naturally, over time and following experimental manipulation. In Study 1, associations among changes in LS, PA, and NA were evaluated using a longitudinal approach tracking natural changes in the components over periods of three months and three years. Results indicated that change in one component was related to change in the other two components. In Study 2, an experimental design was used to manipulate each SWB component individually, and evaluate changes in all three components following each manipulation. Manipulation materials designed to target LS only were effective (i.e., led to heightened focus on LS, and not PA or NA) and created an increase in both LS and PA. Manipulation materials designed to target PA and NA only were not effective (i.e., led to heightened focus on the target component, as well as on LS). Furthermore, in both studies the strength of an individual’s SWB (assessed in terms of structural consistency and structural ambivalence in Study 1 and Study 2, along with subjective ambivalence in Study 2) did not consistently moderate the degree to which changes in the components were associated with one another. Together, these findings indicate that the structure of SWB may be complex and dynamic, rather than static. Alternatively, the components of SWB may not be easily manipulated in isolation of one another. Implications for existing structural models of SWB are discussed.

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

Carbon metabolism in transgenic roots with altered levels of hexokinase and triosephosphate isomerase and growing under different nitrogen status

Ce projet a pour but d’évaluer la capacité de la voie des pentoses phosphates (VPP) dans les racines transgéniques de pomme de terre (Solanum tuberosum) modifiées pour exprimer différents niveaux de l'hexokinase (HK) et de la triosephosphate isomérase cytosolique (cTPI). Dans les racines, la VPP alimente la voie de l’assimilation de l’azote en equivalents réducteurs et permet donc la biosynthèse des acides aminés. Le glucose-6-phosphate produit par l’HK est consommé par la partie oxydative de la VPP catalysée par la glucose-6-phosphate déshydrogénase (G6PDH) et la 6-phosphogluconate déshydrogénase (6PGDH). Les changements dans l'expression de HK et cTPI peuvent affecter le fonctionnement de la VPP et les mécanismes qui sont liés à l’utilisation des équivalents réducteurs produits par la VPP, comme l'assimilation de l’azote et la synthèse des acides aminés. Afin d’évaluer l’effet des manipulations génétiques de l’HK et de la cTPI sur l’assimilation de l’azote, nous avons cultivé les racines transgéniques sur des milieux contenant des concentrations élevées (7 mM) ou basses (0,7 mM) de nitrate d’ammonium comme source d’azote. Les résultats montrent que la culture sur un milieu riche en azote induit les activités G6PDH et 6PGDH. Les données montrent que la capacité de la VPP est plus grande avec des niveaux élevés en HK ou en cTPI. Nous avons aussi pu démontrer une plus grande activité spécifique de l’HK dans les conditions pauvres en azote. Ces données ont été complémentées par des mesures des pools d’acides aminés dans les racines transgéniques cultivées sur différents niveaux d’azote. Aucune tendance notable des pools d’acides aminés n’a été remarquée dans les racines modifiées pour leur contenu en HK suggèrant que la manipulation de HK n’affecte pas l'assimilation de l’azote. Dans les racines transgéniques modifiées pour la cTPI, les ratios Gln/Glu et Asn/Asp sont plus élevés chez les clones antisens, indiquant une assimilation de l’azote plus élevée. Ces résultats ont démontré l'activation de l'assimilation de l’azote chez les clones antisens cTPI dans les conditions élevées et basses d’azote alors que la manipulation de l’HK n’affecte pas l’assimilation de l’azote.

Engendered Conversations: Gender Subversion Through Fictional Dialogue in Lawrence, Hemingway and Forster

This dissertation examines gendered fictional dialogue in popular works by D.H. Lawrence, Ernest Hemingway and E.M. Forster, including Howards End (1910), The Sun Also Rises (1926) and Lady Chatterley’s Lover (1928). I apply Judith Halberstam’s notion of female masculinity to direct speech, to explore how speech traits inform modernist literary aesthetics. My introduction frames this discussion in sociolinguistics, Judith Butler’s theory of performativity, M.M. Bakhtin’s discourse theory, and gender studies. It provides an opportunity to establish experimental dialogue techniques, and the manipulation of gendered talk, in transgressive texts including James Joyce’s Ulysses (1922), Virginia Woolf’s Orlando (1928) and Radcyffe Hall’s The Well of Loneliness (1928). The first chapter discusses taboos and dialect in D.H. Lawrence’s fictional dialogue. The second chapter establishes gender subversion as a crucial element in Ernest Hemingway’s dialogue style. The third chapter contrasts Forster’s latently gendered speech with his techniques of dialect emphasis and dialect suppression. Finally, my conclusion discusses gender identity in the poetry of Dorothy Parker and Baroness Elsa von Freytag Loringhoven, and the temporality of gender in “Time Passes” from Virginia Woolf’s To the Lighthouse (1927). New Woman characters like Lady Brett Ashley typified a crucial moment in women’s liberation. They not only subverted stereotypes of womanhood through their dress or sexual freedom, they also adopted/adapted masculine idiom to shock, to rebel against and challenge male dominance. Different speech acts incited fashionable slang, became a political protest symbol or inspired psychoanalytic theory. The intriguing functions of women’s masculine speech in early twentieth century fiction establishes the need to examine additional connections between gender and talk in literary studies.

Identifikation spezieller Funktionen, die durch Rodriguesformeln gegeben sind

Es ist allgemein bekannt, dass sich zwei gegebene Systeme spezieller Funktionen durch Angabe einer Rekursionsgleichung und entsprechend vieler Anfangswerte identifizieren lassen, denn computeralgebraisch betrachtet hat man damit eine Normalform vorliegen. Daher hat sich die interessante Forschungsfrage ergeben, Funktionensysteme zu identifizieren, die über ihre Rodriguesformel gegeben sind. Zieht man den in den 1990er Jahren gefundenen Zeilberger-Algorithmus für holonome Funktionenfamilien hinzu, kann die Rodriguesformel algorithmisch in eine Rekursionsgleichung überführt werden. Falls die Funktionenfamilie überdies hypergeometrisch ist, sogar laufzeiteffizient. Um den Zeilberger-Algorithmus überhaupt anwenden zu können, muss es gelingen, die Rodriguesformel in eine Summe umzuwandeln. Die vorliegende Arbeit beschreibt die Umwandlung einer Rodriguesformel in die genannte Normalform für den kontinuierlichen, den diskreten sowie den q-diskreten Fall vollständig. Das in Almkvist und Zeilberger (1990) angegebene Vorgehen im kontinuierlichen Fall, wo die in der Rodriguesformel auftauchende n-te Ableitung über die Cauchysche Integralformel in ein komplexes Integral überführt wird, zeigt sich im diskreten Fall nun dergestalt, dass die n-te Potenz des Vorwärtsdifferenzenoperators in eine Summenschreibweise überführt wird. Die Rekursionsgleichung aus dieser Summe zu generieren, ist dann mit dem diskreten Zeilberger-Algorithmus einfach. Im q-Fall wird dargestellt, wie Rekursionsgleichungen aus vier verschiedenen q-Rodriguesformeln gewonnen werden können, wobei zunächst die n-te Potenz der jeweiligen q-Operatoren in eine Summe überführt wird. Drei der vier Summenformeln waren bislang unbekannt. Sie wurden experimentell gefunden und per vollständiger Induktion bewiesen. Der q-Zeilberger-Algorithmus erzeugt anschließend aus diesen Summen die gewünschte Rekursionsgleichung. In der Praxis ist es sinnvoll, den schnellen Zeilberger-Algorithmus anzuwenden, der Rekursionsgleichungen für bestimmte Summen über hypergeometrische Terme ausgibt. Auf dieser Fassung des Algorithmus basierend wurden die Überlegungen in Maple realisiert. Es ist daher sinnvoll, dass alle hier aufgeführten Prozeduren, die aus kontinuierlichen, diskreten sowie q-diskreten Rodriguesformeln jeweils Rekursionsgleichungen erzeugen, an den hypergeometrischen Funktionenfamilien der klassischen orthogonalen Polynome, der klassischen diskreten orthogonalen Polynome und an der q-Hahn-Klasse des Askey-Wilson-Schemas vollständig getestet werden. Die Testergebnisse liegen tabellarisch vor. Ein bedeutendes Forschungsergebnis ist, dass mit der im q-Fall implementierten Prozedur zur Erzeugung einer Rekursionsgleichung aus der Rodriguesformel bewiesen werden konnte, dass die im Standardwerk von Koekoek/Lesky/Swarttouw(2010) angegebene Rodriguesformel der Stieltjes-Wigert-Polynome nicht korrekt ist. Die richtige Rodriguesformel wurde experimentell gefunden und mit den bereitgestellten Methoden bewiesen. Hervorzuheben bleibt, dass an Stelle von Rekursionsgleichungen analog Differential- bzw. Differenzengleichungen für die Identifikation erzeugt wurden. Wie gesagt gehört zu einer Normalform für eine holonome Funktionenfamilie die Angabe der Anfangswerte. Für den kontinuierlichen Fall wurden umfangreiche, in dieser Gestalt in der Literatur noch nie aufgeführte Anfangswertberechnungen vorgenommen. Im diskreten Fall musste für die Anfangswertberechnung zur Differenzengleichung der Petkovsek-van-Hoeij-Algorithmus hinzugezogen werden, um die hypergeometrischen Lösungen der resultierenden Rekursionsgleichungen zu bestimmen. Die Arbeit stellt zu Beginn den schnellen Zeilberger-Algorithmus in seiner kontinuierlichen, diskreten und q-diskreten Variante vor, der das Fundament für die weiteren Betrachtungen bildet. Dabei wird gebührend auf die Unterschiede zwischen q-Zeilberger-Algorithmus und diskretem Zeilberger-Algorithmus eingegangen. Bei der praktischen Umsetzung wird Bezug auf die in Maple umgesetzten Zeilberger-Implementationen aus Koepf(1998/2014) genommen. Die meisten der umgesetzten Prozeduren werden im Text dokumentiert. Somit wird ein vollständiges Paket an Algorithmen bereitgestellt, mit denen beispielsweise Formelsammlungen für hypergeometrische Funktionenfamilien überprüft werden können, deren Rodriguesformeln bekannt sind. Gleichzeitig kann in Zukunft für noch nicht erforschte hypergeometrische Funktionenklassen die beschreibende Rekursionsgleichung erzeugt werden, wenn die Rodriguesformel bekannt ist.