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...
We present aligned hierarchies, a novel solution to the dimension reduction problem, representing high-dimensional and noisy sequential data as a low-dimensional object that encodes relevant information. In this thesis, we motivate our presentation...
Digital integrated circuits -- Testing. Digital integrated circuits -- Testing -- Mathematical models. Digital integrated circuits -- Design and construction.
The problem of moving rigid bodies efficiently is of particular interest in robotics because the simplest model of a mobile robot or of a manipulated object is often a rigid body. Path planning, controller design and robot design may all benefit...
An interval order is an ordered set whose elements are in correspondence with a collection of intervals in a linearly ordered set, with disjoint intervals ordered by their relative position. The order complex of an ordered set is the simplicial...
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...
We associate, to each positive integer n , a Cayley graph to the group PSL(2.Î–[subscript n]). We then consider the isoperimetric numbers of these graphs. In chapter three we determine upper bounds for the isoperimetric number by a detailed...
Light scattering from tissue originates from the fluctuations in intra-cellular and extra-cellular components, so it is possible that macroscopic scattering spectroscopy could be used to quantify sub-microscopic structures. Both electron microscopy...
Automated trust negotiation is a new approach to access control and authentication for the open systems such as the Internet, where sensitive interactions sometimes occur among entities with no prior knowledge of each other. Trust negotiation...
Proteins -- Structure -- Mathematical models. Recombinant proteins -- Mathematical models. Mathematical optimization -- Data processing. Dynamic programming. Protein engineering.
Site-directed protein recombination produces improved and novel protein variants by recombining sequence fragments from parent proteins. The resulting hybrids accumulate multiple mutations that have been evolutionarily accepted together. Subsequent...
Oligomers -- Structure -- Mathematical models. Nuclear magnetic resonance spectroscopy.
Medical Term: Nuclear Magnetic Resonance, Biomolecular.
Protein complexes play vital roles in the fundamental processes of life. In particular, homo-oligomers are involved in cell signaling, regulation, and transport. To make detailed studies of these symmetric proteins, they need to be discovered, and...
A variety of forensic methods have been developed to identify falsified photos, each unified by the ability to estimate and detect properties of a photo that are perturbed by forgery. There exist, however, many photos in which the required...
The purpose of this thesis is to describe methods for detecting hidden crevasses on glaciers in Polar regions. Crevasses form in ice sheets as a result of forces imposed upon the brittle ice. The crevasses are hidden from view by bridges of soft...
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...
A new type of analytic expansion for use in stability calculations is presented and applied to the question of the stability of laminar solutions of the Navier-Stokes equation. This leads in a natural way to a model of the transition from laminar...