Electronic data processing -- Distributed processing. ; Computer network architectures. ; Programming languages (Electronic computers) -- Semantics. ; Database management.
I tackle the problem of naming and sharing resources across administrative boundaries. Conventional systems manifest the hierarchy of typical administrative structure in the structure of their own mechanism. While natural for communication that...
Continual improvements to clinical breast imaging technologies have led to ever earlier detections and increasingly accurate localizations of female breast cancers. While these advancements have certainly improved the prognoses of many patients,...
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...
Siegel domains. Modular groups. Hecke algebras. Forms
In the 1960s Satake proved the existence of an isomorphism between the local Hecke algebra and the ring of polynomials invariant under the action of the signed permutation group W n (the Weyl group associated to Sp n over a local field)....
Plasma instabilities. ; Ionospheric electron density. ; Ionosphere.
As a result of an unstable plasma stratification the nighttime equatorial ionosphere is subject to a variety of plasma instabilities known commonly as equatorial spread-F. In its fully developed form spread-F consists of large wedges of depleted...
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...
At the heart of computer games and computer generated films lies 3D content creation. A student wanting to learn how to create and edit 3D meshes can quickly find thousands of videos explaining the workflow process. These videos are a popular...
This thesis explores practical and theoretical aspects of several privacy-providing technologies, including tools for anonymous web-browsing, verifiable electronic voting schemes, and private information retrieval from databases. State-of-art...
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...
Three-dimensional imaging in medicine -- Mathematical models. Intraoperative monitoring. Cerebral cortex -- Imaging. Computer vision. Space perception.
Brain deformation models have proven to be a powerful tool in compensating for soft tissue deformation during image-guided neurosurgery. The accuracy of these models can be improved by incorporating intraoperative measurements of brain motion. We...
Lowest order charged particle motion in the Earth''s magnetosphere can be explained using simple adiabatic theory. However, nonadiabatic theory is required to explain particle behavior in cases such as when the particle's gyroradius is large...
The effects of vacancies on the mechanical properties of FeAl single crystals and polycrystals have been investigated. Scanning calorimetric results indicate that vacancies in quenched Fe-40Al undergo rearrangement at ~550K, and then annihilate at...
Ionospheric radio wave propagation -- Observations. Hiss (Radio meteorology). Auroras -- Antarctica -- Observations.
A VersatIle Electromagnetic Waveform (VIEW) receiver was deployed at South Pole station in December 2002 in order to measure the fine structure of auroral radio emissions with high resolution and an unprecedented 500-1000 kHz bandwidth. Using this...
Proteins -- Structure -- Data processing. Proteins -- Analysis -- Data processing. Nuclear magnetic resonance spectroscopy. Oligomers -- Analysis -- Data processing.
Symmetric homo-oligomers (protein complexes with similar subunits arranged symmetrically) play pivotal roles in complex biological processes such as ion transport and cellular regulation. Structure determination of these complexes is necessary in...
Manifolds (Mathematics) Geodesics (Mathematics) Space and time.
We investigate weak and strong refocusing of light rays in a space-time and related concepts. A strongly causal space-time ( X^ n +1 , g ) is emphstrongly refocusing at x ∈ X if there is a point y ≠ x such that all null-geodesics through y pass...
Epistasis (Genetics) Bioinformatics -- Methodology. Genetics -- Data processing. Medical Term Computational Biology -- methods.
A goal of human genetics is the prediction of an individual's risk of common human diseases from their genome sequence. Currently genome-wide methods to measure genetic variation across individuals exist, but methods to effectively analyze these...
A polynomial is a product of distinct cyclotomic polynomials if and only if it is a divisor over [Special characters omitted.] [x ] of xn - 1 for some positive integer n. In this thesis, we will examine two natural questions concerning the divisors...