This work presents two games, the Catabot Rescue Game (CRG) and the Catabot Building Game (CBG), that capture theorem proving in first-order logic. The scope of the thesis is to invent and design the first games which both ...

The most pronounced elastic anomalies that appear in silica and silica-rich glasses are the positive temperature derivative and negative pressure derivative of bulk modulus, as compared with normal glasses, such as window ...

As a result, we have identified an antibody that displays excellent conformational specificity as well as natural antibody-like specificity. We also investigated the molecular origins of the high specificity of this unique ...

Neurons are a unique cell type with many distinct membrane domains. Two of these domains, the dendrites and the axon, perform distinct functions in neuronal signaling and require specific complements of membrane proteins. ...

The TnC isoform expressed in minimally SA vertebrate skeletal muscle has one less calcium binding site than that of the moderately SA vertebrate cardiac muscle. This relationship mimics that of the TnC isoforms expressed ...

Realizing materials with high thermoelectric figure-of-merit ZT is an exacting challenge because it entails simultaneously obtaining a high Seebeck coefficient , a high electrical conductivity, and a low thermal conductivity, ...

By using structure and elasticity as a bridge, this thesis work substantially improved the understanding of viscosity and deformation in glass-forming systems, which is of critical importance for both fundamental glass ...