Constructibility (Set theory). Trees (Graph theory).
This thesis investigates possible initial segments of the degrees of constructibility. Specifically, we completely characterize the structure of degrees in generic extensions of the constructible universe L via forcing with Souslin trees. Then we...
Topological graph theory. Aperiodicity. Paths and cycles (Graph theory)
The condition ""every cycle has an entry"" first appeared in the literature in Kumjian, Pask, and Raeburn's paper on Cuntz-Krieger algebras of directed graphs, where it was called Condition (L). It provides a necessary condition for simplicity of...
We have created an E. coli based platform for protein modification by coupling an engineered glycosylation pathway with a subsequent chemoenzymatic labeling strategy in which the glycans are oxidized to provide a bioorthogonal aldehyde group that...
Automatic control -- Sensitivity. Structural control (Engineering). Strains and stresses -- Computer simulation. Structural analysis (Engineering). Engineering models.
Autonomous damage detection in engineering structures is critically important as the demands placed upon those structures are increased. It has been well established that damage detection can be done through monitoring the modal frequencies of the...
Accurate chromosome segregation in human oocytes requires that meiotic sister chromatid cohesion remain intact for decades and work in model organisms indicates that deterioration of meiotic cohesion over time may be a major determinant of...
Si/SiGe quantum dots (QDs) are promising candidates for spin-based quantum bits (qubits) as a result of the reduced spin-orbit coupling as well as the Si isotopes with zero nuclear spin. Meanwhile qubit readout is a challenge related to...
As humans we create goals and strive toward ideals, engaging in a constant endeavor to better ourselves or maintain our success. Whether goals are distant hopes for the future, or small steps of change, success requires some control over...
In a variety of applications spanning mobile devices, performance computing, and even renewable energy and automotive, power management and power delivery are an increasing bottleneck in reducing size and cost, improving reliability, and even...
The synthesis of macrocyclic tetrapyrroles continues to be an area of vigorous research due to their application to a wide range of fields spanning the physical sciences. Only recently have general syntheses for the reduced systems, such as...
During our fieldwork with real-world organizations---including those in Public Key Infrastructure (PKI), network configuration management, and the electrical power grid---we repeatedly noticed that security policies and related security artifacts...
In this thesis, we present different approaches to tying knots using robots by enforcing different types of constraints. We attack the problem from three different directions; mechanical design, motion planning with simple control strategies, and...
Over the past decade, a pair of instructions called load-linked (LL) and store-conditional (SC) have emerged as the most suitable synchronization instructions for the design of lock-free algorithms. However, current architectures do not support...
In this thesis we review the methods for computation of cosmological correlations in the early universe known as the in-in formalism which are then applied to the problem of magnetogenesis from inflation. For this computation, a power-law single...
Goldman and Turaev constructed a Lie bialgebra structure on the free Z-module generated by free homotopy classes of loops on an oriented surface. Turaev conjectured that the cobracket of A is zero if and only if A is a power of a simple class. Chas...
We present new forensic tools that are capable of detecting traces of tampering in digital images without the use of watermarks or specialized hardware. These tools operate under the assumption that images contain natural properties from a variety...
Proteins are ubiquitous in cells and are essential to a wide range of biological processes. Since existing proteins occupy only a small portion of the space of possible amino acid composition, understanding their sequence-structure-function...
This thesis investigates a notion of Turing reducibility introduced by Winkler [8] that is total on all computably enumerable oracles. Groszek and Weber show in [7] that this is a new notion of reducibility and it is not transitive. They give su...
Pervasive computing leads to an increased integration between the real world and the computational world, and many applications in pervasive computing adapt to the user's context, such as the location of the user and relevant devices, the presence...
The Border Gateway Protocol (BGP) facilitates communication between parts of the Internet by determining paths by which data can get from one network to any other. Just as IP is used ubiquitously as an addressing scheme, BGP is used ubiquitously...
For the most part, research on self-regulation has focused on behavior-control, which is how people self-regulate in the face of immediate urges and temptations (e.g., resisting cookies that are close at hand, or resisting beer that is being freely...
This thesis comprises two separate but related studies, dealing with two strongly interacting nanoscale systems on the border between the quantum and classical domains. In Part 1, we use a Born-Markov approximated master equation approach to study...
Solar (Computer architecture). ; Ubiquitous computing. Sensor networks. ; Detectors. ; User interfaces (Computer systems).
The complexity of developing context-aware pervasive-computing applications calls for distributed software infrastructures that assist applications to collect, aggregate, and disseminate contextual data. In this dissertation, we present a Context...
In this thesis we develop a theory of Fourier analysis and fast Fourier transforms (FFTs) for finite inverse semigroups. Our results generalize results in the theory of Fourier analysis for finite groups. There is a general method for generating...
Whistler-mode chorus waves have recently drawn tremendous attention as an important mechanism for controlling the energetic electron flux in Earthâ€™s radiation belt. This dissertation aims to answer questions about whistler-mode chorus waves, such...
In the late 1960s, Ihara began work that led to the Ihara zeta function, a zeta function which is defined on a finite graph. This function is an interesting graph invariant which gives information on expansion properties of the graph. It also...
Hyperthermia, the elevation of tissue temperature from 42Â°C to 50Â°C, is currently being investigated as an adjunct to radiation therapy in the treatment of cancer. The interstitial microwave antenna array hyperthermia (IMAAH) system is designed...
Snow -- Permeability. ; Snow surveys -- Antarctica -- East Antarctica. ; Surfaces -- Areas and volumes. ; Gas flow. ; Porosity.
Recent field investigations of a megadunes region of East Antarctica provide evidence that differences in grain size, thermal conductivity, and permeability across a megadune are due to relative accumulation patterns in the absence of significant...
Given graded C *-algebras A and B , we define the notion of an admissible pair ([straight phi], D ) for A and B . Associated to an admissible pair ([straight phi], D ) is an equivalence class of asymptotic morphisms from A to B . Under certain...
Robot hands -- Design and construction. Robots -- Motion -- Mathematical models. Manipulators (Mechanism) -- Design and construction. Textile fabrics. Knots and splices. String.
Flexible objects are a challenge to manipulate. Their motions are hard to predict, and the high number of degrees of freedom makes sensing, control, and planning difficult. Additionally, they have more complex friction and contact issues than rigid...
In this work we investigate the quantum dynamics of three different configurations of nonlinear cavity systems. We begin by carrying out a quantum analysis of a dc superconducting quantum interference device (SQUID) mechanical displacement detector...
Up to 43% of patients with schizophrenia suffer from a co-occurring cannabis use disorder (CUD), which results in symptom exacerbation, decreased response to antipsychotic medication, and an overall worsening of disease course. Available treatments...