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...
Breast -- Magnetic resonance imaging. Breast -- Tomography. Near infrared spectroscopy. Optical tomography. Imaging systems -- Design and construction. Diagnostic imaging -- Mathematical models.
Polynomials. Finite fields (Algebra). Algebraic functions. Number theory.
The ring of univariate polynomials over a finite field shares many foundational arithmetic properties with the ring of rational integers. This similarity makes it possible for many problems in elementary number theory to be translated 'through the...
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...
For a local field K, we study the affine buildings Îž n and Î” n naturally associated to SL n ( K ) and Sp n ( K ), respectively. Since Sp n ( K ) is a subgroup of SL 2 n ( K ), we investigate properties of a natural embedding of Î” n in Îž 2 n ....
Digital video -- Analysis. Forensic sciences. Image processing -- Digital techniques.
We present new forensic tools that are capable of detecting traces of tampering in digital video without the use of watermarks or specialized hardware. These tools operate under the assumption that video contain naturally occurring properties which...
Most of the cells that die during the development of a C. elegans hermaphrodite do so within 30 min after being generated. In these cells, the pro-caspase proCED-3 is inherited from progenitors and the transcriptional upregulation of the BH3-only...
This project focuses on the development of research tools and methods that are used to study the relationship between neural activity and subsequent hemodynamic responses in the human brain. This relationship, referred to as neurovascular coupling,...
This study presents Î´18O analyses of garnets microsampled by laser fluorination from two localities in the deep seated, Barrovian metamorphic terrane of eastern Vermont. The broad goals of the research were to constrain further the amount,...
In the Firefighter Problem, a fire starts at a vertex of a graph, and in discrete time units, it spreads from burned vertices to their neighbors, unless they are protected by one of the f firefighters that are deployed every turn. Once burned or...
Structural control (Engineering). ; Smart structures -- Vibration. ; Strains and stresses -- Computer simulation. ; Automatic control -- Sensitivity. ; Feedback control systems.
This thesis investigates vibration-based damage identification problems in smart structures. Vibration-based damage metrics suffer from small sensitivity of modal properties to damage, thus making it difficult to detect, locate, and determine the...
Human locomotion -- Computer-assisted instruction. ; Real-time data processing. ; Human-computer interaction.
Teaching physical motions such as riding, exercising, swimming, etc. to human beings is hard. Coaches face difficulties in communicating their feedback verbally and cannot correct the student mid-action; teaching videos are two dimensional and...
Mobile agents (Computer software). ; Electronic data processing -- Distributed processing. ; Sequential processing (Computer science) -- Mathematical models.
Mobile agents have received much attention recently as a way to efficiently access distributed resources in a low bandwidth network. Planning allows mobile agents to make the best use of the available resources. This thesis studies several planning...
Second harmonic generation. ; Second harmonic generation -- Mathematical models. ; Glass -- Effect of infrared radiation on. ; Glass -- Electric properties.
Riemannian manifolds. Singularities (Mathematics). Laplacian operator. Spectral theory (Mathematics). Riemann surfaces. Curves on surfaces. Geometry
Historically, inverse spectral theory has been concerned with the relationship between the geometry and the spectrum of compact Riemannian manifolds, where spectrum means the eigenvalue spectrum of the Laplace operator as it acts on smooth...
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...
Predictive control. Adaptive control systems -- Design. Airplanes -- Control systems.
A direct method to design data-based model predictive controllers is presented. The design method uses system identification techniques to identify model predictive controller gains directly from a set of excitation input and disturbance corrupted...
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...
As the visual effect and movie industries are striving for realism and high fidelity images, physically based lighting, global illumination, realistic materials, and highly tessellated geometry are gradually accepted and used in movie and game...
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...
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...
This thesis presents data from ground camera observations of the aurora conducted from Alaska during the winters of 2005 through 2007. In conjunction with these camera observations, conjugate radar observations of the auroral ionosphere were...
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...
In this thesis, we consider several problems relating to cyclic subgroups of the group [mathematical equation]. Each element of [mathematical equation] has a unique representative in one of the two intervals [mathematical equation] and...