Chemists recurrently utilize "fuzzy'' chemical concepts (e.g. atomic charges, the chemical bond, strain, aromaticity, branching, etc.), which lack unique quantitative assessments but, nonetheless, are frequently employed as tools for understanding the intr ...
Single walled carbon nanotubes (SWNTs) are emerging as promising delivery vehicles for cancer diagnostics and chemotherapies due to their unique properties, including, remarkable cell membrane penetrability, high drug-carrying capacities, pH-dependent ther ...
The U.S.-NRC best-estimate system code TRACE adopts a finite volumes, first-order upwind discretization scheme to solve the dissolved-solute convection equation. Such a scheme is known to strongly suffer from numerical diffusion, which can be a significant ...
Affine-invariant properties are an abstract class of properties that generalize some central algebraic ones, such as linearity and low-degree-ness, that have been studied extensively in the context of property testing. Affine invariant properties consider ...
Decision procedures are widely used in software development and verification. The goal of this dissertation is to increase the scope of properties that can be verified using decision procedures. To achieve this goal, we identify three improvements over the ...
Given a monad T on Set whose functor factors through the category of ordered sets with left adjoint maps, the category of Kleisli monoids is defined as the category of monoids in the hom-sets of the Kleisli category of T. The Eilenberg-Moore category of T ...
We show that topological Quillen homology of algebras and modules over operads in symmetric spectra can be calculated by realizations of simplicial bar constructions. Working with several model category structures, we give a homotopical proof after showing ...
Transport of fluid in and around nanometer-sized objects with at least one characteristic dimension below 100 nm renders possible phenomena that are not accessible at bigger length scales. This research field is termed nanofluidics and received its name on ...
The process of second harmonic generation (SHG) has a unique property of forming a sharp optical contrast between noncentrosymmetric crystalline materials and other types of material, which is a highly valuable asset for contrast microscopy. The coherent s ...
