The notion of tripos (Hyland, Johnstone, and Pitts 1980; Pitts 1981) was motivated by the desire to explain in what sense Higg’s description of sheaf toposes as H-valued sets and Hyland’s realizability toposes are instances of the same construction. The construction itself can be seen as the universal solution to the problem of realizing the predicates of a first order hyperdoctrine as subobjec...

The discrepancy between the supply of organs for transplantation and the clinical demand for them is a crucial issue in nephrology. To overcome this gap, several policies have been implemented to increase the general public’s knowledge and awareness of the problem; accordingly, Italian law requires that transplantation medicine and end of life issues be discussed in high school [1,2]. In public...

In this work, we present the creation of the first Greek Speech Corpus and the implementation of a Dictation System for workflow improvement in the field of journalism. The current work was implemented under the project called Logotypografia (Logos = logos, speech and Typografia = typography) sponsored by the General Secretariat of Research and Development of Greece. This paper presents the pro...