Current corpus-based machine translation techniques do not work very well when given scarce linguistic resources. To examine the gap between human and machine translators, we created an experiment in which human beings were asked to translate an unknown language into English on the sole basis of a very small bilingual text. Participants performed quite well, and debriefings revealed a number of...

Downward translation of equality refers to cases where a collapse of some pair of complexity classes would induce a collapse of some other pair of complexity classes that (a priori) one expects are smaller. Recently, the first downward translation of equality was obtained that applied to the polynomial hierarchy—in particular, to bounded access to its levels [HHH97]. In this paper, we provide a...

Translational medicine and evidence based practice (EBP) are key principles that have guided clinical applications of research over the past two decades, helping to transform research on disease and disability. There is less evidence that clinical practice has shifted by similar dimensions. As a clinician and clinical manager turned researcher, I have seen clinicians struggle to integrate resea...

A network was trained by back propagation to map locative expressions of the form "noun-preposition-noun" to a semantic representation, as in Cosic and Munro (1988). The network's performance was analyzed over several simulations with training sets in both English and German. Translation of prepositions was attempted by presenting a locative expression to a network trained in one language to ge...

The composition of this project can be described as half responsive digital media composition and half social experiment. It is built for the seven-screen display of the Decision Theater and utilizes a combination of digital media and creative software tools along with sensor technology to create a media environment that responds to real time physical feedback from participants. The experience ...

This article examines how the Disability Living Allowance claim form, used in the United Kingdom to allocate £13 billion of disability benefits, translates and transforms disability and care. Twenty-two people with acquired brain injury and their main informal caregivers (n = 44) were video-recorded filling in the disability claim form. Participants disagreed on 26% of the questions, revealing ...

Dedukti is a logical framework based on the λΠ-calculus modulo rewriting, which extends the λΠcalculus with rewrite rules. In this paper, we show how to translate the proofs of a family of HOL proof assistants to Dedukti. The translation preserves binding, typing, and reduction. We implemented this translation in an automated tool and used it to successfully translate the OpenTheory standard li...

Stories, and especially their resolutions are sedimented within a web of belief and value specific to a particular culture. The traditions or shared understandings of a culture are communicated intergenerationally through shared social practice, and especially through language. They suggest paradigmatic dilemmas, and offer solutions drawing upon the prevailing cultural beliefs and meanings. One...

Clinically relevant remuscularization of the failing human heart remains unachieved to date. Proof-of-concept studies in small and large animal models provide compelling evidence as to the principle feasibility of myocardial remuscularization with human cardiomyocyte grafts. Clinical trials suggest myocardial protection and preservation by cell therapeutics. The mechanisms underlying the report...

The concept-oriented structure of the MeSH® thesaurus is not yet in common use. Nevertheless, it has been shown that a concept-based querying of PubMed may be of interest. To take full advantage of the concept-oriented structure of MeSH in the information retrieval tool associated with the CISMeF catalogue, it was necessary to translate such concepts into French.