We present a method for the construction of patient-specific atlases of the brain. Traditional atlases of the brain aim to characterize the variability of a population of subjects...
This paper considers the problem of knowledgebased model construction in the presence of uncertainty about the association of domain entities to random variables. Multi-entity Bay...
Abstract. Intuitively, a recursion theorem asserts the existence of selfreferential programs. Two well-known recursion theorems are Kleene’s Recursion Theorem (krt) and Rogers’...
While most polynomial Julia sets are computable, it has been recently shown [12] that there exist non-computable Julia sets. The proof was non-constructive, and indeed there were ...
Annotation is a key way in which hypertexts grow and increase in value. This paper first characterizes annotation according to a set of dimensions to situate a long-term study of ...