Qualitative spatial reasoning is usually performed using spatial calculi specially designed to represent certain aspects of spatial knowledge. However most calculi must be adapted for use in applications where additional constraints are at play. This paper combines the DRA and CYC algebras into a new calculus for reasoning within network structures. In the process we prove some interesting resu...

This report describes a minimalistic set of methods engineered to anchor clinical events onto a temporal space. Specifically, we describe methods to extract clinical events (e.g., Problems, Treatments and Tests), temporal expressions (i.e., time, date, duration, and frequency), and temporal links (e.g., Before, After, Overlap) between events and temporal entities. These methods are developed an...

Here, our objective was to develop a spatio-temporal image fusion model (STI-FM) for enhancing temporal resolution of Landsat-8 land surface temperature (LST) images by fusing LST images acquired by the Moderate Resolution Imaging Spectroradiometer (MODIS); and implement the developed algorithm over a heterogeneous semi-arid study area in Jordan, Middle East. The STI-FM technique consisted of t...

In this paper we study the decidability of various fragments of monodic first-order temporal logic by temporal resolution. We focus on two resolution calculi, namely, monodic temporal resolution and finegrained temporal resolution. For the first, we state a very general decidability result, which is independent of the particular decision procedure used to decide the first-order part of the logi...

Atomic force microscopy (AFM)-based single-molecule force spectroscopy (SMFS) enables a wide array of studies, from measuring the strength of a ligand-receptor bond to elucidating the complex folding pathway of individual membrane proteins. Such SMFS studies and, more generally, the diverse applications of AFM across biophysics and nanotechnology are improved by enhancing data quality via impro...

The introduction of forward genetic screens in the mouse asks for techniques that make rapid screening of visual function possible. Transcranial imaging of intrinsic signal is suitable for this purpose and could detect the effects of retinal degeneration, and the increased predominance of the contralateral eye in albino animals. We quantified visual response properties of the cortex by introduc...

In this masters project, a system is developed for the analysis of the structure and the style of a percussive audio sequence with the aim of generating an arbitrarily long musically meaningful and interesting sound sequence with the same stylistic characteristics as the original. The framework is developed around a Variable Length Markov Chain (VLMC) that is used to predict and re-shuffle the ...