Current GPU computing models support a mixture of coherent and incoherent classes of memory operations. Workloads using these models typically have working sets too large to fit in an economical SRAM structure. Still, GPU ...

Herein, we have adapted, developed, and implemented novel technologies from molecular microbial ecology to understand the role of Acinetobacter spp. as a model phosphorus accumulating organisms in biological phosphorus ...

The application of photonic crystal surfaces for label-free bioimaging and sensing is presented. A label-free biosensor assay is used to monitor the density of cell attachment to the sensor surface, and to quantify changes ...

A new method is developed for estimating inelastic response to strong ground motions. The method applies strength reduction (R) factors determined for a simple pulse to the elastic spectrum of the ground motions to estimate ...

Modern computer systems are complex. Their complexity leads to security vulnerabilities and software bugs that are hard to fix using existing techniques. One current trend is that nowadays we have more redundant resources ...

Electricity supply responds to changes in demand, and changing populations alter energy demands for an area. This project characterizes how different population compositions affect electricity consumption using Commonwealth ...

Tomorrow's display and interaction technology will go beyond standard computer monitors, television and mobile screens and will enable projecting digital content onto any complex physical surface. While devices like the ...

In this thesis we develop the use of term orders as a control paradigm for first-order reasoning. The starting point of our work is Knuth and Bendix's successful completion method for equational reasoning. This method ...