This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
Michael R. Lowry, Andrew Philpot, Thomas Pressburg...
Background: Genome-wide association studies have been successful in finding common variants influencing common traits. However, these associations only account for a fraction of t...
Robert Lawrence, Aaron G. Day-Williams, Katherine ...
Background: Recent progresses in genotyping technologies allow the generation high-density genetic maps using hundreds of thousands of genetic markers for each DNA sample. The ava...
Abstract. This paper examines the problem of uncertainty due to instrumentation in user modeling systems within spatial domains. We consider the uncertainty of inferring a user’s...
Daniel F. Schmidt, Ingrid Zukerman, David W. Albre...
Navigating through the ever-changing information space is becoming increasingly difficult. Social navigation support is a technique for guiding users to interesting and relevant in...