628 research outputs found

    Are Shakespeare's plays always metatheatrical?

    Get PDF
    The ambiguity of the term "metatheatre" derives in part from its text of origin, Lionel Abel's 1963 book of the same name. By his own admission, Abel's use of the term was "loose and sometimes erratic" (v). If we use the term in its broadest sense—to describe any theater that in some way draws attention to its own artifice—it becomes evident that early modern drama is always "metatheatrical" to some extent: these plays are designed never entirely to lose sight of the material realities of their performance, or of the physical co-presence of their audiences. If this is the case, how useful is the term "metatheatre"? Indeed, are Shakespeare's plays always metatheatrical? This article unpicks some of the conflicting notions of metatheatre suggested in Abel's book, and suggests a modified conceptual model based on the work of Arthur Koestler. Arguing against the tendency to see early modern theatrical self-consciousness as a form of proto-Brechtian alienation, it uses Koestler's concept of bisociation to think about the delight produced by "universes of discourse colliding, frames getting entangled, or contexts getting confused" (40). It considers several examples from performance, especially moments from productions at the reconstructed Shakespeare's Globe, to argue that metatheatre functions as a kind of imaginative game. This game may be prompted by cues in the written text, but it is one that can be played only in performance. While Harry Newman's essay for this special issue argues that metatheatricality was available to early modern readers "on the paper stage of printed playbooks" (104), my essay posits a decidedly more theatrical definition of the term, contending that the agency of the actors plays a central role in determining the metatheatricality of particular moments on stage

    Using Strategy Improvement to Stay Alive

    Full text link
    We design a novel algorithm for solving Mean-Payoff Games (MPGs). Besides solving an MPG in the usual sense, our algorithm computes more information about the game, information that is important with respect to applications. The weights of the edges of an MPG can be thought of as a gained/consumed energy -- depending on the sign. For each vertex, our algorithm computes the minimum amount of initial energy that is sufficient for player Max to ensure that in a play starting from the vertex, the energy level never goes below zero. Our algorithm is not the first algorithm that computes the minimum sufficient initial energies, but according to our experimental study it is the fastest algorithm that computes them. The reason is that it utilizes the strategy improvement technique which is very efficient in practice

    Improving Strategies via SMT Solving

    Full text link
    We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widening operators for enforcing convergence within a finite number of iterations (ii) the use of merge operations (often, convex hulls) at the merge points of the control flow graph. It instead computes the least inductive invariant expressible in the domain at a restricted set of program points, and analyzes the rest of the code en bloc. We emphasize that we compute this inductive invariant precisely. For that we extend the strategy improvement algorithm of [Gawlitza and Seidl, 2007]. If we applied their method directly, we would have to solve an exponentially sized system of abstract semantic equations, resulting in memory exhaustion. Instead, we keep the system implicit and discover strategy improvements using SAT modulo real linear arithmetic (SMT). For evaluating strategies we use linear programming. Our algorithm has low polynomial space complexity and performs for contrived examples in the worst case exponentially many strategy improvement steps; this is unsurprising, since we show that the associated abstract reachability problem is Pi-p-2-complete

    The level set method for the two-sided eigenproblem

    Full text link
    We consider the max-plus analogue of the eigenproblem for matrix pencils Ax=lambda Bx. We show that the spectrum of (A,B) (i.e., the set of possible values of lambda), which is a finite union of intervals, can be computed in pseudo-polynomial number of operations, by a (pseudo-polynomial) number of calls to an oracle that computes the value of a mean payoff game. The proof relies on the introduction of a spectral function, which we interpret in terms of the least Chebyshev distance between Ax and lambda Bx. The spectrum is obtained as the zero level set of this function.Comment: 34 pages, 4 figures. Changes with respect to the previous version: we explain relation to mean-payoff games and discrete event systems, and show that the reconstruction of spectrum is pseudopolynomia

    Proarrhythmic remodelling of the right ventricle in a porcine model of repaired tetralogy of Fallot

    Get PDF
    OBJECTIVE: The growing adult population with surgically corrected tetralogy of Fallot (TOF) is at risk of arrhythmias and sudden cardiac death. We sought to investigate the contribution of right ventricular (RV) structural and electrophysiological remodelling to arrhythmia generation in a preclinical animal model of repaired TOF (rTOF). METHODS AND RESULTS: Pigs mimicking rTOF underwent cardiac MRI functional characterisation and presented with pulmonary regurgitation, RV hypertrophy, dilatation and dysfunction compared with Sham-operated animals (Sham). Optical mapping of rTOF RV-perfused wedges revealed a significant prolongation of RV activation time with slower conduction velocities and regions of conduction slowing well beyond the surgical scar. A reduced protein expression and lateralisation of Connexin-43 were identified in rTOF RVs. A remodelling of extracellular matrix-related gene expression and an increase in collagen content that correlated with prolonged RV activation time were also found in these animals. RV action potential duration (APD) was prolonged in the epicardial anterior region at early and late repolarisation level, thus contributing to a greater APD heterogeneity and to altered transmural and anteroposterior APD gradients in rTOF RVs. APD remodelling involved changes in Kv4.3 and MiRP1 expression. Spontaneous arrhythmias were more frequent in rTOF wedges and more complex in the anterior than in the posterior RV. CONCLUSION: Significant remodelling of RV conduction and repolarisation properties was found in pigs with rTOF. This remodelling generates a proarrhythmic substrate likely to facilitate re-entries and to contribute to sudden cardiac death in patients with rTOF

    The nuclear energy density functional formalism

    Full text link
    The present document focuses on the theoretical foundations of the nuclear energy density functional (EDF) method. As such, it does not aim at reviewing the status of the field, at covering all possible ramifications of the approach or at presenting recent achievements and applications. The objective is to provide a modern account of the nuclear EDF formalism that is at variance with traditional presentations that rely, at one point or another, on a {\it Hamiltonian-based} picture. The latter is not general enough to encompass what the nuclear EDF method represents as of today. Specifically, the traditional Hamiltonian-based picture does not allow one to grasp the difficulties associated with the fact that currently available parametrizations of the energy kernel E[g,g]E[g',g] at play in the method do not derive from a genuine Hamilton operator, would the latter be effective. The method is formulated from the outset through the most general multi-reference, i.e. beyond mean-field, implementation such that the single-reference, i.e. "mean-field", derives as a particular case. As such, a key point of the presentation provided here is to demonstrate that the multi-reference EDF method can indeed be formulated in a {\it mathematically} meaningful fashion even if E[g,g]E[g',g] does {\it not} derive from a genuine Hamilton operator. In particular, the restoration of symmetries can be entirely formulated without making {\it any} reference to a projected state, i.e. within a genuine EDF framework. However, and as is illustrated in the present document, a mathematically meaningful formulation does not guarantee that the formalism is sound from a {\it physical} standpoint. The price at which the latter can be enforced as well in the future is eventually alluded to.Comment: 64 pages, 8 figures, submitted to Euroschool Lecture Notes in Physics Vol.IV, Christoph Scheidenberger and Marek Pfutzner editor

    Unacceptably High Mortality Related to Measles Epidemics in Niger, Nigeria, and Chad

    Get PDF
    BACKGROUND: Despite the comprehensive World Health Organization (WHO)/United Nations Children's Fund (UNICEF) measles mortality–reduction strategy and the Measles Initiative, a partnership of international organizations supporting measles mortality reduction in Africa, certain high-burden countries continue to face recurrent epidemics. To our knowledge, few recent studies have documented measles mortality in sub-Saharan Africa. The objective of our study was to investigate measles mortality in three recent epidemics in Niamey (Niger), N'Djamena (Chad), and Adamawa State (Nigeria). METHODS AND FINDINGS: We conducted three exhaustive household retrospective mortality surveys in one neighbourhood of each of the three affected areas: Boukoki, Niamey, Niger (April 2004, n = 26,795); Moursal, N'Djamena, Chad (June 2005, n = 21,812); and Dong District, Adamawa State, Nigeria (April 2005, n = 16,249), where n is the total surveyed population in each of the respective areas. Study populations included all persons resident for at least 2 wk prior to the study, a duration encompassing the measles incubation period. Heads of households provided information on measles cases, clinical outcomes up to 30 d after rash onset, and health-seeking behaviour during the epidemic. Measles cases and deaths were ascertained using standard WHO surveillance-case definitions. Our main outcome measures were measles attack rates (ARs) and case fatality ratios (CFRs) by age group, and descriptions of measles complications and health-seeking behaviour. Measles ARs were the highest in children under 5 y old (under 5 y): 17.1% in Boukoki, 17.2% in Moursal, and 24.3% in Dong District. CFRs in under 5-y-olds were 4.6%, 4.0%, and 10.8% in Boukoki, Moursal, and Dong District, respectively. In all sites, more than half of measles cases in children aged under 5 y experienced acute respiratory infection and/or diarrhoea in the 30 d following rash onset. Of measles cases, it was reported that 85.7% (979/1,142) of patients visited a health-care facility within 30 d after rash onset in Boukoki, 73.5% (519/706) in Moursal, and 52.8% (603/1,142) in Dong District. CONCLUSIONS: Children in these countries still face unacceptably high mortality from a completely preventable disease. While the successes of measles mortality–reduction strategies and progress observed in measles control in other countries of the region are laudable and evident, they should not overshadow the need for intensive efforts in countries that have just begun implementation of the WHO/UNICEF comprehensive strategy

    HSP90 is essential for Jak-STAT signaling in classical Hodgkin lymphoma cells

    Get PDF
    In classical Hodgkin lymphoma (cHL) chemotherapeutic regimens are associated with stagnant rates of secondary malignancies requiring the development of new therapeutic strategies. We and others have shown that permanently activated Signal Transducer and Activator of Transcription (STAT) molecules are essential for cHL cells. Recently an overexpression of heat-shock protein 90 (HSP90) in cHL cells has been shown and inhibition of HSP90 seems to affect cHL cell survival. Here we analysed the effects of HSP90 inhibition by geldanamycin derivative 17-AAG or RNA interference (RNAi) on aberrant Jak-STAT signaling in cHL cells. Treatment of cHL cell lines with 17-AAG led to reduced cell proliferation and a complete inhibition of STAT1, -3, -5 and -6 tyrosine phosphorylation probably as a result of reduced protein expression of Janus kinases (Jaks). RNAi-mediated inhibition of HSP90 showed similar effects on Jak-STAT signaling in L428 cHL cells. These results suggest a central role of HSP90 in permanently activated Jak-STAT signaling in cHL cells. Therapeutics targeting HSP90 may be a promising strategy in cHL and other cancer entities associated with deregulated Jak-STAT pathway activation

    Colloquium: Mechanical formalisms for tissue dynamics

    Full text link
    The understanding of morphogenesis in living organisms has been renewed by tremendous progressin experimental techniques that provide access to cell-scale, quantitative information both on theshapes of cells within tissues and on the genes being expressed. This information suggests that ourunderstanding of the respective contributions of gene expression and mechanics, and of their crucialentanglement, will soon leap forward. Biomechanics increasingly benefits from models, which assistthe design and interpretation of experiments, point out the main ingredients and assumptions, andultimately lead to predictions. The newly accessible local information thus calls for a reflectionon how to select suitable classes of mechanical models. We review both mechanical ingredientssuggested by the current knowledge of tissue behaviour, and modelling methods that can helpgenerate a rheological diagram or a constitutive equation. We distinguish cell scale ("intra-cell")and tissue scale ("inter-cell") contributions. We recall the mathematical framework developpedfor continuum materials and explain how to transform a constitutive equation into a set of partialdifferential equations amenable to numerical resolution. We show that when plastic behaviour isrelevant, the dissipation function formalism appears appropriate to generate constitutive equations;its variational nature facilitates numerical implementation, and we discuss adaptations needed in thecase of large deformations. The present article gathers theoretical methods that can readily enhancethe significance of the data to be extracted from recent or future high throughput biomechanicalexperiments.Comment: 33 pages, 20 figures. This version (26 Sept. 2015) contains a few corrections to the published version, all in Appendix D.2 devoted to large deformation
    corecore