Now showing items 2-21 of 131

    • Accurate annotation of non-coding RNAs in practical time 

      Weinberg, Zasha (2005)
      Several times each year, one thousand computers at the Sanger Institute in England spend two weeks updating the Rfam Database.This intensive effort is needed to support recent surprising discoveries showing that RNAs are ...
    • Action Recognition and Prediction with Applications to Medical Diagnosis and Daily Living 

      Soran, Bilge
      The purpose of this research is to explore the possible ways of improving people’s lives using information from static or egocentric (wearable) cameras. The usage of this information can be diagnostic or preventive. In a ...
    • Active Learning and Submodular Functions 

      Guillory, Andrew Russell (2012-09-13)
      Active learning is a machine learning setting where the learning algorithm decides what data is labeled. Submodular functions are a class of set functions for which many optimization problems have efficient exact or ...
    • Algorithmic applications of propositional proof complexity 

      Sabharwal, Ashish, 1977- (2005)
      This thesis explores algorithmic applications of proof complexity theory to the areas of exact and approximation algorithms for graph problems as well as propositional reasoning systems studied commonly by the artificial ...
    • Algorithmic Approaches to Detecting Interviewer Fabrication in Surveys 

      Birnbaum, Benjamin (2013-02-25)
      Surveys are one of the principal means of gathering critical data from low-income regions. Bad data, however, may be no better--or worse--than no data at all. Interviewer data fabrication, one cause of bad data, is an ...
    • Analysis and application of subdivision surfaces 

      Schweitzer, Jean E., 1968- (1996)
      Subdivision surfaces are a convenient representation for modeling objects of arbitrary topological type. In this dissertation, we investigate the analysis of a piecewise smooth subdivision scheme, and we apply the scheme ...
    • An analysis of software interface issues for SMT processors 

      Redstone, Joshua Abram (2002)
      Simultaneous Multithreading (SMT) has gradually progressed from a research concept to commercial processor technology. This thesis explores three software interface issues on SMT that are important to its real-world ...
    • Annotating digital documents for asynchronous collaboration 

      Brush, Alice Jane Bernheim (2002)
      Annotations are a natural way to record comments and ideas in specific contexts within a document. When people read, they often underline important parts of a document or write notes in the margin. While we typically think ...
    • Applications of Metric Embeddings in Solving Combinatorial Problems 

      Moharrami, Mohammad (2013-11-14)
      Metric embeddings constitute one of the fundamental tools for exploiting the underlying geometric structure of many combinatorial problems. In this dissertation we study some of the applications of metric embeddings in the ...
    • Approaches to Food Journaling on Mobile Devices 

      Andrew, Adrienne Hope (2013-04-17)
      A healthy diet has the power to both prevent and heal disease, and the high rates of lifestyle- and diet-related disease in America indicates the need for tools to help improve diet. Self-monitoring one's food intake is ...
    • Approximate Acceleration for a Post Multicore Era 

      Esmaeilzadeh, Hadi (2013-11-14)
      Starting in 2004, the microprocessor industry has shifted to multicore scaling--increasing the number of cores per die each technology generation--as its principal strategy for continuing performance growth. This work first ...
    • Array restructuring for cache locality 

      Leung, Shun-Tak Albert (1996)
      Caches are used in almost every modem processor design to reduce the long memory access latency, which is increasingly a bottleneck to program performance. For caches to be effective, programs must exhibit good data locality. ...
    • Assisted cognition: compensatory activity assistance technology 

      Patterson, Donald Jay (2005)
      The predicted increase in the number of elderly members of the industrialized world suggests an associated increase in the number of people who are going to be diagnosed with various forms of cognitively disabling dementias, ...
    • Automatic Scaffolding for Procedural Learning 

      Andersen, Erik
      A key challenge in education is how provide support that is tailored to the learner's individual needs. Effective teachers and curricula typically provide such support, often referred to as instructional scaffolding, through ...
    • Automatic Scaffolding for Procedural Learning 

      Andersen, Erik
      A key challenge in education is how provide support that is tailored to the learner's individual needs. Effective teachers and curricula typically provide such support, often referred to as instructional scaffolding, through ...
    • Automatic staged compilation 

      Philipose, Matthai (2005)
      The ability to optimize programs while they execute has become increasingly important in recent years. The primary challenge in such optimization is to keep the run-time overhead of optimization down while maximizing its ...
    • Automating Stochastic Optimal Control 

      Dvijotham, Krishnamurthy (2014-04-30)
      Stochastic Optimal Control is an elegant and general framework for specifying and solving control problems. However, a number of issues have impeded its adoption in practical situations. In this thesis, we describe algorithmic ...
    • Avoiding State-Space Explosion in Multithreaded Programs with Input-Covering Schedules and Symbolic Execution 

      Bergan, Thomas (2014-04-30)
      This dissertation makes two high-level contributions: First, we propose an algorithm to perform symbolic execution of multithreaded programs from arbitrary program contexts. We argue that this can enable more efficient ...
    • Backscatter Protocols and Energy-Efficient Computing for RF-Powered Devices 

      Buettner, Michael (2013-02-25)
      RF-powered computers operate using energy they harvest from radio frequency (RF) signals. Compared to battery powered devices, they have the advantages of being small and long-lived as they do not need to carry an onboard ...
    • Bayesian Computation and Optimal Decision Making in Primate Brains 

      Huang, Yanping
      This dissertation investigates the computational principles underlying the brains’ remarkable capacity to perceive, learn and act in environments of constantly varying uncertainty. Bayesian probability theory has suggested ...