Sufism and Theology. Edinburgh, Edinburgh University Press, 2007, 201 p.

THE UNIVERSITY of EDINBURGH

The University of Edinburgh system description for IWSLT 2007

We present the University of Edinburgh’s submission for the IWSLT 2007 shared task. Our efforts focused on adapting our statistical machine translation system to the open data conditions for the Italian-English task of the evaluation campaign. We examine the challenges of building a system with a limited set of in-domain development data (SITAL), a small training corpus in a related but distinc...

Explorer Protestant Ecumenism and Theology in China Since Edinburgh 1910

The University of Edinburgh and Poland

throughout the ages remained that it was the office of the pulmonary veins to bring air to the left heart and take away the smoky products of combustion. Today it is fully justified to point out how far Galen had really advanced and that on the basis of some of his first principles (such as the arterial blood content) he could and should have arrived at a transit of the arterio-venous pulmonary...

University of Edinburgh Division of Informatics

We present the Isabelle/HOL formalisation of some key equa-tional properties of the untyped λ-calculus with one-sorted variable names. Existing machine formalisations of λ-calculus proofs typically rely on alternative representations and/or proof principles to facilitate mechanization and we briefly account for these works. Our own development remains faithful to the standard textbook presentat...