Large scale engineering as well as natural systems, such as weather, often have high-dimensional state spaces and exhibit chaotic dynamics. To model the behavior of such systems, sets of coupled Partial Differential Equations (PDEs) are formulated and solved using high-performance computing systems. More recently, significant attention has grown ...

The emerging 2D material, graphene oxide (GO), provides an ideal substitute to overcome many major issues of water treatment membranes. The performance of GO membranes can be adjusted by controlling the interlayer spacing, but manipulating the interlayer spacing in subnanometer range and applying GO membranes to pressure driven filtration application ...

This bio-inspired research will focus on using the lattice Boltzmann method (LBM) to calculate the drag of rigid geometries that resemble a sailfish bill inside a channel with low fluid speed and high viscosity. These 2D simulation results will compare the performance of these similar structures, each with the same area but slightly different shapes, ...

Soil microorganisms contribute to agricultural productivity by forming symbiosis with plant roots and affecting the solubility of soil nutrients. Microbiological activity in soil can be monitored directly by coupling the expression of a methyl halide transferase (MHT) to a conditional reporter. This unique bioreporter can provide information about ...

Large-Scale multiple-input multiple-output (MIMO) is a key technology for improving spectral efficiency. However, it requires massive, real-time computation. All existing solutions are based on dedicated, specialized hardware, e.g., FPGA, that is expensive, inflexible and difficult to program. This thesis investigates a software-only solution that ...

Computational cameras, powered by novel optics and advanced signal processing algorithms, has emerged as a powerful imaging tool that brings orders of magni- tude performance improvements over current camera technology. However, existing computer vision pipelines are still built around conventional digital cameras. In this thesis, we propose a novel ...

Tizen is a new Linux-based open source platform for consumer devices including smartphones, televisions, vehicles, wearables, and eventually other IoT devices. While Tizen provides kernel- level mandatory policy enforcement, it has a large collection of libraries, implemented in a mix of C and C++, which make their own security checks, raising concerns ...

Prairie landscapes are known to provide valuable ecosystem services, including floodwater retention, which have been widely studied for the Prairie Pothole Region and the Great Plains in the Midwestern United States. However, research specific to surface water ecosystem services provided by coastal prairies remains sparse. In particular, few hydrologic ...

Phase change heat transfer has been an area of interest for decades due to its application in solar collectors, nuclear reactor cooling, buildings, vehicle engines, and others. Melting of phase change material around a spherical nanoparticle with natural and forced convection at its boundary is analyzed. The continuity, momentum, and energy equations ...

We present an algorithm to compute exact literal-weighted model counts of Boolean formulas in conjunctive normal form. Our algorithm employs dynamic programming and uses algebraic decision diagrams as the primary data structure. We implement this technique in ADDMC, a new model counter. We empirically evaluate various heuristics that can be used with ...