Re-defining the Dream on the American Stage

Forsyth, Alison, 'Re-defining the Dream on the American Stage', In: 'American Dreams: Dialogues in US Studies', Ricardo Miguez (ed), (Newcastle upon Tyne: Cambridge Scholars Press), pp.207-233, 2007 RAE2008

Femina (Trinity College, Cambridge MS B.14.40) : edited with an Introduction and Notes

Rothwell, W., Femina (Trinity College, Cambridge MS B.14.40); edited with an Introduction and Notes (The Anglo-Norman On-Line Hub, 2005) RAE2008

Aspects of Semantics and Pragmatics of Dialogue. SemDial 2010, 14th Workshop on the Semantics and Pragmatics of Dialogue

The papers collected in this book cover a range of topics in semantics and pragmatics of dialogue. All these papers were presented at SemDial 2010, the 14th Workshop on the Semantics and Pragmatics of Dialogue. This 14th edition in the SemDial series, also known as PozDial, took place in Poznań (Poland) in June 2010, and was organized by the Chair of Logic and Cognitive Science (Institute of Psychology, Adam Mickiewicz University). From over 30 submissions overall, 14 were accepted as full papers for plenary presentation at the workshop, and all are included in this book. In addition, 10 were accepted as posters, and are included here as 2-4 page short papers. Finally, we also include abstracts from our keynote speakers. We hope that the ideas gathered in this book will be a valuable source of up-to-date achievements in the field, and will become a valuable inspiration for new ones. We would like to express our thanks to all those who submitted to and participated in SemDial 2010, especially the invited speakers: Dale Barr (University of Glasgow), Jonathan Ginzburg (King's College London), Jeroen Groenendijk (University of Amsterdam) and Henry Prakken (Utrecht University, The University of Groningen). Last but not least, we would like to thank everybody engaged in the workshop organization -- the chairs, the local organizing committee for their hard work in Poznań, and the programme committee members for their thorough and helpful reviews.

Bezpieczeństwo socjalne a wykluczenie społeczne

Wśród niematerialnych potrzeb ludzkich do najważniejszych, z punktu widzenia polityki społecznej, należy potrzeba bezpieczeństwa. Stąd takim istotnym problemem jest gwarantowanie obywatelom poczucia bezpieczeństwa socjalnego. Choć z jednej strony, rozwój gospodarczy przynosi za sobą wzrost zamożności społeczeństwa, a co za tym idzie, wzrost poczucia bezpieczeństwa socjalnego, z drugiej strony w społeczeństwie nadal występują osoby i grupy, które, z różnych powodów, nie korzystają z owoców owego postępu. Dotyczy to zwłaszcza tych, którzy maja ograniczony dostęp do podstawowych dóbr i usług powszechnie przysługujących. Ta kategoria osób – to osoby wykluczone, czy też marginalizowane społecznie. Dla wykluczenia społecznego najbardziej charakterystyczne są trzy cechy: niski poziom uczestnictwa w życiu społecznym, długotrwałość i niedobrowolność takiej sytuacji, ograniczenie możliwości korzystania z podstawowych praw obywatelskich. Kwestia wykluczenia społecznego od niedawna została uznana przez Unię Europejską za jeden z podstawowych problemów społecznych. Stąd ogłoszenie roku 2010 Europejskim Rokiem Walki z Ubóstwem i Wykluczeniem Społecznym i podjęcie konkretnych działań w celu ograniczenia tych zjawisk. Daje to nadzieję, że tak w Unii Europejskiej, jak i w Polsce uda się zmniejszyć ilościowe rozmiary wykluczenia społecznego.

Polski Hamlet

Chapter is an attempt at reconstruction of the culminating moment of the first stage of the Polish reception of Shakespeare's "Hamlet". It has been entirely devoted to J. Słowacki's "Horsztyński". There is no doubt that "Horsztyński" should be viewed as the fullest and deepest interpretation of Shakespearean elements in the literary output of Juliusz Słowacki. Numerous citations and references to the works of the Elizabethan dramatist reach deeply into the structure of the world and human's life. Thanks to many adductions (citations) to Shakespeare, Słowacki approached the so much important problem for the Romantic period in Polish literature, namely the problem of individual tragedy of existence of the main character of a play and a clash with historical dilemmas of the community. The analysis of the text is aimed at showing all references to Shakespearean masterpiece with a particular emphasis on the hamletism of the charactwe of Szczęsny Kossakowski. The author describes the motif of betrayal, ever-present on different levels of the text structure, which in the most complete way describes the organisation of space between humans and their interaction in "Horsztyński". The author focuses his attention on detailed description and analysis of the recurrent themes frequently repeated in Szczęsny's statements, namely motifs of "man-harp", "man-actor in the theatre of the world", and "man-puppet", harlequin, clown. These motifs prove the sensibility of Szczęsny's to the theatrical aspect of the surrounding reality. The motif of darkness and of a blind man groping his way in the darkness so frequent in Szczęsny's statements can be interpreted as a manifestation of utter lack of hope and the feeling of uselessness of one's existence in the world.

Promoção da Adesão à Terapêutica e da Qualidade de Vida na Epilepsia

Tese apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Doutor em Ciências Sociais, especialidade em Psicologia

Teaching Crossroads: 11th IPB Erasmus Week

In the wake of the latest news regarding IPB’s award for best Polytechnic Institute in Portugal, we would like to congratulate the IPB community who has always striven for the quality of the institution within the national and international academic milieu. We are, undoubtedly, bowled over by the 1st place in the national context (out of the 27 national institutions under evaluation) and the 7th position in the international scope. In fact, it is worth mentioning that the IPB has won this award, three years in a row, being in a leading position in the ranking promoted and sponsored by the European Union. This year’s edition has selected and evaluated over 1300 world higher education institutions. Teaching Crossroads intends thus to give a watershed contribution to the IPB’s successful and most valued pathway. Numbers indicate that Teaching Crossroads has had over 2550 downloads since it first came out. But let’s cut to the chase. Once again, we are delighted to present the 5th number of Teaching Crossroads. This wholly calculated and well-sustained editorial adventure started in 2012 when the first number of Teaching Crossroads first saw the light. This year’s publication includes the areas of Human Geography/anthropology, Information Technology and Forensics and Language and culture, focusing on minority languages. Alongside this, as in the two last previous numbers, we’ve included the specific area for International mobility, Intensive Programmes and Erasmus+ Mobility of Individuals, being the latter financed by the European Union within the Erasmus+ Programme, whereas the former is sponsored uniquely by the foreign partner institution, in this case, Lillebaelt Academy in Denmark. These types of programmes convey very positive and overarching ideas, resonant in cross-cultural and educational benefits, valuable for all the involved partners. We would very kindheartedly like to thank the authors for having contributed with much enlightening and serious articles on a wide array of areas. Pablo M. Orduna Pórtus’s article focuses on border culture and heritage management. The author’s study is placed on two borderlands of the Iberian Peninsula: Roncal Valley (Navarre) and Riverbanks of Douro. Going beyond the linear or physical conception of the border, the author centres his study on the metaphysical and symbolic ideas of the frontier that sustain his anthropological analysis. Michal Popdora manages to find evidence for his proposal of a new conception of teaching Image Processing, based on the student-centered approach. A hands-on experience on a Project-based Learning methodology sustains the teaching project. Grounded on “a forensic-flavored style”, using the author’s own words, he shows how students can become engaged in a highly effective learning process. Cláudia Martins is already a confirmed habitué of this publication, as in every Erasmus Week she delivers a lecture on Portuguese language and culture to visiting teaching and non-teaching staff. This time, the author decided to delve into a Portugal’s official language, Mirandese, spoken in a small designated area in the northeastern part of Portugal, Miranda do Douro and its surrounding area. The author gives account of some thought-provoking facts about the language, from the origin and the survival of the language, however still a minority language, up to the moment when it was acknowledged Portugal’s second official language, together with the challenges that nowadays faces. Luís Frölen Ribeiro, João Eduardo Ribeiro, Carlos Casimiro Costa, António Duarte, Carlos Andrade from the Polytechnic Institute and Arne Svinth, John Madsen, Morten Thomsen, Kent Smidstrup, Carsten John Jacobsen from the Lillebaelt Academy, in Denmark, participate in a joint project which they describe, outlining the main goals and gains of the project. To overcome teaching difficulties regarding the engineering degrees, a 12-ECTS joint course from Lillebaelt Academy and Polytechnic Institute of Bragança was created based on the Danish model. The course Product Development and Industrial Processing was hence created. Rui Pedro Lopes presents an insightful and acute account of the Internationalization programmes in Higher Education in Europe. At one go, the author describes his own experience as a visiting lecturer, within the Erasmus+ programme, to Università Politecnica delle Marche in Ancona, Italy, in a Master’s degree in computer science, bringing to light a personal reflection on the goals and benefits of the mobility for both students and teachers. Finally, the author puts forth some suggestions that would improve the whole mobility process. We sincerely hope to have stimulated you to keep on reading, upholding the belief that these texts can represent valuable sources for both teachers and students in their research work.

HEATING IN VASCULAR TISSUE AND FLOW-THROUGH TISSUE PHANTOMS INDUCED BY FOCUSED ULTRASOUND

High intensity focused ultrasound (HIFU) can be used to control bleeding, both from individual blood vessels as well as from gross damage to the capillary bed. This process, called acoustic hemostasis, is being studied in the hope that such a method would ultimately provide a lifesaving treatment during the so-called "golden hour", a brief grace period after a severe trauma in which prompt therapy can save the life of an injured person. Thermal effects play a major role in occlusion of small vessels and also appear to contribute to the sealing of punctures in major blood vessels. However, aggressive ultrasound-induced tissue heating can also impact healthy tissue and can lead to deleterious mechanical bioeffects. Moreover, the presence of vascularity can limit one’s ability to elevate the temperature of blood vessel walls owing to convective heat transport. In an effort to better understand the heating process in tissues with vascular structure we have developed a numerical simulation that couples models for ultrasound propagation, acoustic streaming, ultrasound heating and blood cooling in Newtonian viscous media. The 3-D simulation allows for the study of complicated biological structures and insonation geometries. We have also undertaken a series of in vitro experiments, in non-uniform flow-through tissue phantoms, designed to provide a ground truth verification of the model predictions. The calculated and measured results were compared over a range of values for insonation pressure, insonation time, and flow rate; we show good agreement between predictions and measurements. We then conducted a series of simulations that address two limiting problems of interest: hemostasis in small and large vessels. We employed realistic human tissue properties and considered more complex geometries. Results show that the heating pattern in and around a blood vessel is different for different vessel sizes, flow rates and for varying beam orientations relative to the flow axis. Complete occlusion and wall- puncture sealing are both possible depending on the exposure conditions. These results concur with prior clinical observations and may prove useful for planning of a more effective procedure in HIFU treatments.

IDENTIFYING AND MONITORING THE ROLES OF CAVITATION IN HEATING FROM HIGH-INTENSITY FOCUSED ULTRASOUND

For high-intensity focused ultrasound (HIFU) to continue to gain acceptance for cancer treatment it is necessary to understand how the applied ultrasound interacts with gas trapped in the tissue. The presence of bubbles in the target location have been thought to be responsible for shielding the incoming pressure and increasing local heat deposition due to the bubble dynamics. We lack adequate tools for monitoring the cavitation process, due to both limited visualization methods and understanding of the underlying physics. The goal of this project was to elucidate the role of inertial cavitation in HIFU exposures in the hope of applying noise diagnostics to monitor cavitation activity and control HIFU-induced cavitation in a beneficial manner. A number of approaches were taken to understand the relationship between inertial cavitation signals, bubble heating, and bubble shielding in agar-graphite tissue phantoms. Passive cavitation detection (PCD) techniques were employed to detect inertial bubble collapses while the temperature was monitored with an embedded thermocouple. Results indicate that the broadband noise amplitude is correlated to bubble-enhanced heating. Monitoring inertial cavitation at multiple positions throughout the focal region demonstrated that bubble activity increased prefocally as it diminished near the focus. Lowering the HIFU duty cycle had the effect of maintaining a more or less constant cavitation signal, suggesting the shielding effect diminished when the bubbles had a chance to dissolve during the HIFU off-time. Modeling the effect of increasing the ambient temperature showed that bubbles do not collapse as violently at higher temperatures due to increased vapor pressure inside the bubble. Our conclusion is that inertial cavitation heating is less effective at higher temperatures and bubble shielding is involved in shifting energy deposition at the focus. The use of a diagnostic ultrasound imaging system as a PCD array was explored. Filtering out the scattered harmonics from the received RF signals resulted in a spatially- resolved inertial cavitation signal, while the amplitude of the harmonics showed a correlation with temperatures approaching the onset of boiling. The result is a new tool for detecting a broader spectrum of bubble activity and thus enhancing HIFU treatment visualization and feedback.

Reading Between the Lines: The Potential of Popular Young Adult Fiction in Adolescent Spiritual Formation

Popular culture is a powerful, shaping force in the lives of teenagers between the ages of fourteen through eighteen in the United States today. This dissertation argues the importance of popular fiction for adolescent spiritual formation and it investigates that importance by exploring the significance of narrative for theology and moral formation. The dissertation employs mythic and archetypal criticism as a tool for informing the selection and critique of narratives for use in adolescent spiritual development and it also incorporates insights gained from developmental psychology to lay the groundwork for the development of a curriculum that uses young adult fiction in a program of spiritual formation for teenagers in a local church setting. The dissertation defends the power of narrative in Christian theology and concludes that narrative shapes the imagination in ways that alter perception and are important for the faith life of teenagers in particular. I go on to argue that not all narratives are created equal. In using literary myth criticism in concert with theology, I use the two disciplines’ different aims and methods to fully flesh out the potential of theologies intrinsic to works meant for a largely secular audience. The dissertation compares various works of young adult fiction (M.T. Anderson’s Feed and Terry Pratchett’s Nation in dialogue with a theology of creation; Marcus Zusak’s I am the Messenger and Jerry Spinelli’s Stargirl in dialogue with salvation and saviors; and the four novels of Stephanie Meyer’s Twilight saga in dialogue with a theology of hope (eschatology). The dissertation explores how each theme surfaces (even if only implicitly) from both literary and theological standpoints. The dissertation concludes with a sample four-week lesson plan that demonstrates one way the theological and literary critique can be formed into a practical curriculum for use in an adolescent spiritual development setting. Ultimately, this dissertation provides a framework for how practitioners of young adult formation can select, analyze, and develop materials for their teenagers using new works of popular young adult fiction. The dissertation comes to the conclusion that popular fiction contains a wealth of material that can challenge and shape young readers’ own emerging theology.

Programming Examples Needing Polymorphic Recursion

Inferring types for polymorphic recursive function definitions (abbreviated to polymorphic recursion) is a recurring topic on the mailing lists of popular typed programming languages. This is despite the fact that type inference for polymorphic recursion using for all-types has been proved undecidable. This report presents several programming examples involving polymorphic recursion and determines their typability under various type systems, including the Hindley-Milner system, an intersection-type system, and extensions of these two. The goal of this report is to show that many of these examples are typable using a system of intersection types as an alternative form of polymorphism. By accomplishing this, we hope to lay the foundation for future research into a decidable intersection-type inference algorithm. We do not provide a comprehensive survey of type systems appropriate for polymorphic recursion, with or without type annotations inserted in the source language. Rather, we focus on examples for which types may be inferred without type annotations.

Deanonymizing Users of the SafeWeb Anonymizing Service

The SafeWeb anonymizing system has been lauded by the press and loved by its users; self-described as "the most widely used online privacy service in the world," it served over 3,000,000 page views per day at its peak. SafeWeb was designed to defeat content blocking by firewalls and to defeat Web server attempts to identify users, all without degrading Web site behavior or requiring users to install specialized software. In this article we describe how these fundamentally incompatible requirements were realized in SafeWeb's architecture, resulting in spectacular failure modes under simple JavaScript attacks. These exploits allow adversaries to turn SafeWeb into a weapon against its users, inflicting more damage on them than would have been possible if they had never relied on SafeWeb technology. By bringing these problems to light, we hope to remind readers of the chasm that continues to separate popular and technical notions of security.

Validating Arbitrarily Large Network Protocol Compositions with Finite Computation

Formal tools like finite-state model checkers have proven useful in verifying the correctness of systems of bounded size and for hardening single system components against arbitrary inputs. However, conventional applications of these techniques are not well suited to characterizing emergent behaviors of large compositions of processes. In this paper, we present a methodology by which arbitrarily large compositions of components can, if sufficient conditions are proven concerning properties of small compositions, be modeled and completely verified by performing formal verifications upon only a finite set of compositions. The sufficient conditions take the form of reductions, which are claims that particular sequences of components will be causally indistinguishable from other shorter sequences of components. We show how this methodology can be applied to a variety of network protocol applications, including two features of the HTTP protocol, a simple active networking applet, and a proposed web cache consistency algorithm. We also doing discuss its applicability to framing protocol design goals and to representing systems which employ non-model-checking verification methodologies. Finally, we briefly discuss how we hope to broaden this methodology to more general topological compositions of network applications.

Novel insights into the inflammatory basis of gastrointestinal disease

It has become clear that inflammation is beneficial to man, there are situations though that the inflammatory response causes damage to the host that is harmful to health. When the inflammatory response fails or is too strong, the health of the host is damaged and disease can occur. The implication of intestinal disease caused by an ineffective immune response is of great social and economic burden to society. The overarching purpose of this thesis is to assess inflammatory signalling targets associated with immune mediated disorders such as IBD, IBS and inflammatory liver disease. By assessing these targets and modifying their function I hope to contribute and expand further the pre-existing information on these disorders and improve the therapeutic interventions available in these debilitating conditions. I will assess the role of inflammation in disorders of the GI tract and liver IBD, IBS, hepatic inflammatory injury and furthermore, I will use pharmaceutical agents to activate and suppress components of the immune system. I will examine the inflammatory response in experimental models of disease for IBD and liver injury, I will attempt to alter these pathways using pharmaceutical intervention to delineate the disease causing mechanism that may lead to clinically relevant therapeutic interventions. In regards to IBS, I will attempt to improve the existing knowledge that exists in relation to the pathogenesis of this functional bowel disorder. I will attempt to define a mechanism by which the low grade mucosal inflammation that has been demonstrated by others arises and what this inflammation is induced by. The overall aim of this thesis is to attempt to further understand the mechanisms behind GI and liver disease. Looking at the inflammatory response in these specific conditions and how they can be altered may lead to exciting new therapies for inflammatory conditions in the gastrointestinal tract.

The contribution of warlordism to the disintegration of the western Roman army (c. AD 395-480)

My thesis investigates the dynamics behind the changing nature of the leadership of the western Roman army in the fifth century through the concept of ‘warlordism’. I carried this out by analyzing those cases of insubordination and military unrest in the officer class of the western Roman army, which can be shown to be linked to the slow decline of central authority and the imperial office in the period 395-480. My thesis demonstrates that theories of ‘Warlordism’, as developed in social sciences, can be useful for both the late Imperial west as for other eras of ancient history, such as the late Roman republic. Warlordism was a way of continuing politics, if necessary by military means, when commanders found themselves outside the legitimate framework. Unlike the case of usurpation of the imperial office, when there was little hope of achieving permanent recognition and acceptance, it offered insubordinate officers a chance of returning to the ruling imperial regime depending on circumstances and the success of their resistance. I propose that warlordism functioned as an alternative to usurpation, a tool for military dissidence, fuelled by an economy of violence. Contrary to modern warlordism, the warlordism of the fifth century AD represented a transient phase which no imperial commander was willing to prolong indefinitely. At some stage, given the means, warlords in the western Roman army wanted to become part of the imperial echelon again. Yet these alternative methods of violent opposition, and the acquisition of force through private means, ensured the breakdown of the state’s monopoly on violence and the disintegration of centralized armies. What started as an accidental revolution became a new form of military rule.