The Supercore for Normal Form Games

We study the supercore of a system derived from a normal form game. For the case of a finite game with pure strategies, we define a sequence of games and show that the supercore of that system coincides with the set of Nash equilibrium strategy profiles of the last game in the sequence. This result is illustrated with the characterization of the supercore for the n-person prisoners’ dilemma. With regard to the mixed extension of a normal form game, we show that the set of Nash equilibrium profiles coincides with the supercore for games with a finite number of Nash equilibria. For games with an infinite number of Nash equilibria this need not be no longer the case. Yet, it is not difficult to find a binary relation which guarantees the coincidence of these two sets.

Diez años de investigación sobre teatro traducido en España: el proyecto TRACE y los archivos de censura

[EN] This contribution offers a brief overview of research undertaken for the last few years under the TRACE (translation and censorship, or censored translations) project with respect to theatre. The AGA (General Administration Archive in Alcala de Henares, Madrid), a unique source for information for translation scholars, has become the focus of TRACE-theatre investigations on Francoist Spain in the last few years. In Spain, these censorship archives have proved to be an essential source of information, and a rich reservoir of data that, when explored in depth, help draw a history of Spanish theatre in translation. Contrary to what one may think at first, the purpose of using censorship archives in TRACE is not only to check what got censored (banned, crossed out or modified) but rather to trace back all written evidence left by plays that underwent the bureaucratic censoring process which was applied to all cultural manifestations, national or foreign, theatrical as well as non-dramatic. And it is precisely when tracing back censorship records that one finds a way to uncover a history of Spanish theatre in translation that is yet to be written but can now be outlined.

Presentación de la Base de Datos TRACE. (Traducciones censuradas Inglés-Español)

Eterio Pajares, Raquel Merino y José Miguel Santamaría (eds.)

La labor del equipo TRACE: metodología descriptiva de la censura en traducción

Raquel Merino Álvarez, José Miguel Santamaría, Eterio Pajares (eds.)

Traducciones (censuradas) de teatro inglés en la España de Franco. TRACE: Una perspectiva histórica

[ES] La historia del teatro traducido en la España del siglo XX está aún por escribirse. Este segmento de nuestra cultura traducida ha sido tradicionalmente ignorado en las historias del teatro español. Por suerte, lo que hace sólo veinte años se describía como un páramo investigador es hoy un terreno mucho mejor abonado y roturado. Las investigaciones sobre teatro traducido que han visto la luz progresivamente en estos años nos permitirán en breve escribir y documentar la historia del teatro traducido. Se ofrece en este artículo una visión del modo en que podría acometerse esa tarea,partiendo de lo ya investigado en el proyecto TRACE desde la perspectiva de lo archivado por la censura (de teatro) en la época de Franco.

A novel form of human disease with a protease-sensitive prion protein and heterozygosity methionine/valine at codon 129: Case report

Background: Sporadic Creutzfeldt-Jakob disease (sCJD) is a rare neurodegenerative disorder in humans included in the group of Transmissible Spongiform Encephalopathies or prion diseases. The vast majority of sCJD cases are molecularly classified according to the abnormal prion protein (PrPSc) conformations along with polymorphism of codon 129 of the PRNP gene. Recently, a novel human disease, termed "protease-sensitive prionopathy", has been described. This disease shows a distinct clinical and neuropathological phenotype and it is associated to an abnormal prion protein more sensitive to protease digestion. Case presentation: We report the case of a 75-year-old-man who developed a clinical course and presented pathologic lesions compatible with sporadic Creutzfeldt-Jakob disease, and biochemical findings reminiscent of "protease-sensitive prionopathy". Neuropathological examinations revealed spongiform change mainly affecting the cerebral cortex, putamen/globus pallidus and thalamus, accompanied by mild astrocytosis and microgliosis, with slight involvement of the cerebellum. Confluent vacuoles were absent. Diffuse synaptic PrP deposits in these regions were largely removed following proteinase treatment. PrP deposition, as revealed with 3F4 and 1E4 antibodies, was markedly sensitive to pre-treatment with proteinase K. Molecular analysis of PrPSc showed an abnormal prion protein more sensitive to proteinase K digestion, with a five-band pattern of 28, 24, 21, 19, and 16 kDa, and three aglycosylated isoforms of 19, 16 and 6 kDa. This PrPSc was estimated to be 80% susceptible to digestion while the pathogenic prion protein associated with classical forms of sporadic Creutzfeldt-Jakob disease were only 2% (type VV2) and 23% (type MM1) susceptible. No mutations in the PRNP gene were found and genotype for codon 129 was heterozygous methionine/valine. Conclusions: A novel form of human disease with abnormal prion protein sensitive to protease and MV at codon 129 was described. Although clinical signs were compatible with sporadic Creutzfeldt-Jakob disease, the molecular subtype with the abnormal prion protein isoforms showing enhanced protease sensitivity was reminiscent of the "protease-sensitive prionopathy". It remains to be established whether the differences found between the latter and this case are due to the polymorphism at codon 129. Different degrees of proteinase K susceptibility were easily determined with the chemical polymer detection system which could help to detect proteinase-susceptible pathologic prion protein in diseases other than the classical ones.

La historia de las traducciones del teatro inglés en España en el siglo XX: Perspectiva desde el proyecto TRACE

Editoras Rosa Rabadán; Trinidad Guzmán; Marisa Fernández.

Building TRACE (translations censored) theatre corpus: some methodological questions on text selection

Editores:Micaela Muñoz-Calvo; Carmen Buesa-Gómez

Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.