There are many situations in which a very detailed low-level description encodes, through a hierarchical organization, a recognizable higher-order pattern. The macro-molecular structural conformations of proteins exhibit higher order regularities whose recognition is complicated by many factors. ARIADNE searches for…

We present the first vouchered record from Chubut provincein Futaleufú Department. Suburbs of Esquel city, along Ruta Nacional 259 to Trevelin on El Pinar, Roberts Farm. This is the southernmost record for the species; to our knowledge the previous southernmost…

This dissertation investigates "geological" literature in the 19th century, and aims to describe a poetics of the earth sciences. Focusing on the work of Adalbert Stifter (1805-1868), whose literary experiments translate and transform scientific knowledge, the dissertation argues that the…

In the last few years, several studies have emphasized the use of ontologies as an alternative to organization of the information.
The notion of ontology has become popular in fields such as intelligent information integration, information retrieval on the Internet,…

In this paper, we build on previous work on Belief Revision operators based on the use of logic programming with Answer Set semantics as a representation language. We present a set of postulates for Answer Set Revision with respect to…

Since the rst programming language taught to students of the faculty of Applied Sciences is Scheme We brie y describe our preference for Scheme and give an overview of the course The controversial language choice induced a lot of reactions…

We present a new algorithm to process captured images of reflected Placido rings. Up to our knowledge, conventional topographers transform from Cartesian to polar coordinates and vice-versa, thus extrapolating corneal data and introducing noise and image artefacts. Moreover, captured data…

Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. A criterion for deciding between them is needed. The aim of this paper is to investigate an inherent…

This dissertation is the first comprehensive and interdisciplinary study of Ottoman economic thought within the context of modernization during the reign of Abdülhamid II (1876-1909). Drawing on a broad array of primary sources ranging from textbooks and manuals of economics…

Over the course of the twentieth century, how were real estate developers and architects involved in transforming their own professional practices and the built form of American cities? My dissertation uses historical, architectural, and urban analysis to show how real…