Transport of nucleic acids and proteins between the nucleus and cytoplasm occurs exclusively through nuclear pore complexes (NPCs), large transport channels embedded in the nuclear envelope. Molecules larger than ~40kDa ...

We extend Lawvere-Pitts prop-categories (aka. hyperdoctrines) to develop a general framework for providing "algebraic'' semantics for nonclassical first-order logics. This framework includes a natural notion of substitution, ...

This work presents new methods and algorithms concerning fiducial-based registration in the presence of anisotropic fiducial localization error (FLE). Since the introduction of image-guided surgery about twenty years ago, ...

This dissertation explores the role of beliefs in behavior using field and lab experiments. The first paper establishes a methodological framework for measuring beliefs (first-order) and beliefs about beliefs (second-order) ...

This paper establishes a growth model where firms and residents in polluted areas bargain cooperatively to settle environmental concerns. While economic development affects the extent of the negotiation outcomes, the ...

This dissertation uses theoretical models of cultural studies to examine social factors that contribute to the development of the novel in early modern Spain and beyond. Documents from the conquest of the Americas provide ...

Dance receives relatively little attention in the history of philosophy. My strategy for connecting that history to dance consists in tracing a genealogy of its dance-relevant moments. In preparation, I perform a ...