Introduction 3 1 A short guide to constructive type theory 7 1.1 A dependent type over a type . . . . . . . . . . . . . . . . . . . . . . . . 8 1.1.1 Dependent products . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.1.2 Dependent sums . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.2 Defining types inductively . . . . . . . . . . . . . . . . . . . . . . . . . . 12 2 Type theor...

In organizations, information systems produce increasing amounts of digital information that needs to be preserved. Simultaneously, human intervention in preservation activities needs to be minimized, due to scarce resources available for preservation. Thus, digital preservation services need to be integrated with other organizational information systems as seamlessly as possible, and preservat...

Construction of precise confidence sets of disease gene locations after initial identification of linked regions can improve the efficiency of the ensuing fine mapping effort. We took the confidence set inference, a framework proposed and implemented using the Mean test statistic (CSI-Mean) and improved the efficiency substantially by using a likelihood ratio test statistic (CSI-MLS). The CSI f...

Intrasensory interference during visual working memory (WM) maintenance by object stimuli (such as faces and scenes), has been shown to negatively impact WM performance, with greater detrimental impacts of interference observed in aging. Here we assessed age-related impacts by intrasensory WM interference from lower-level stimulus features such as visual and auditory motion stimuli. We consiste...

This study reports evidence that individuals with schizophrenia (SC) demonstrate intact attentional selection for visual working memory (WM) storage. A group of 62 participants with SC and 55 control participants without SC were studied in a series of 5 experiments that examined the ability to use top-down and bottom-up cues to guide WM encoding, as well as the ability to spontaneously select a...

Gene diversity is sometimes estimated from samples that contain inbred or related individuals. If inbred or related individuals are included in a sample, then the standard estimator for gene diversity produces a downward bias caused by an inflation of the variance of estimated allele frequencies. We develop an unbiased estimator for gene diversity that relies on kinship coefficients for pairs o...

3D thinning algorithms are generally faster than any other connectivity-preservation skeletonization methods. However, most 3D thinning algorithms cannot guarantee to generate unit-width skeleton. This document describes an algorithm to generate unit-width skeleton based on 3D thinning and shortest path finding.

Establishing metadata requirements is a key challenge for any attempt to implement a digital preservation repository. The repository’s capacity to provide costeffective, trustworthy services largely derives from the metadata it uses. This paper describes the metadata posited to support services the Chronopolis preservation system will offer at the conclusion of its first year of development. Ch...