Spectral theory is the subfield of differential geometry which provided the solution to Kac''s famous question, "Can you hear the shape of a drum?" That is, can we use the Laplace spectrum of a manifold to draw conclusions about its geometry or...
We begin with a result on the refocussing of null geodesics in space-times. We show that all oriented refocussing 2-dimensional Lorentz manifolds are also strongly refocussing. We also introduce a theory of virtual Legendrian knots. We show that...
Digital integrated circuits -- Testing. Digital integrated circuits -- Testing -- Mathematical models. Digital integrated circuits -- Design and construction.
Motivated by quantum mechanics and geometric optics, it is a long-standing problem whether the length spectrum of a compact Riemannian manifold can be recovered from its Laplace spectrum. One route to proving that the length spectrum depends on the...
We study motion planning problems, finding trajectories that connect two configurations of a system, from two different perspectives: optimality and survivability. For the problem of finding optimal trajectories, we provide a model in which the...
Let K be the function field over a finite field of odd order, and let H be a definite quaternion algebra over K. If Α is an order of level M in H , we define theta series for each ideal I of Α using the reduced norm on H. Using harmonic analysis...
In large and complex networks such as the Internet and road networks, traffic routing is typically decentralized. Users in the network choose their routes independently to minimize their own delay, leading to complicated and nonintuitive outcomes...
Nuclear magnetic resonance spectroscopy -- Data processing. ; Proteins -- Analysis -- Mathematical models. ; Computer algorithms.
Our aim is to enhance high-throughput applications of Nuclear Magnetic Resonance (NMR) through the development of efficient computational methods that operate on sparse (minimal) sets of experimental NMR data. We have developed a family of four...
I consider the problem of extending certain invariants of subsets of natural numbers to their equivalents for subsets of larger cardinals. The two specific questions I will address are the extension of the off-branch number [Special characters...
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...
We have a limited understanding of how an opinion is originated, how an opinion and information supporting and explaining it gets conveyed, and how the communicated opinion is perceived and processed by others. One direction of current research...
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...
Access control is a core component of any information-security strategy. Researchers have spent tremendous energy over the past forty years defining abstract access-control models and proving various properties about them. However, surprisingly...
We study the bijective combinatorics of reduced words. These are fundamental objects in the study of Coxeter groups. We restrict our focus to reduced words of permutations and signed permutations. Our results can all be situated within the context...
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...
This thesis contains material relating to two separate subjects. The first section determines when the C*-algebra affiliated to a directed graph has continuous trace. We use groupoid methods and the focus is on producing conditions on a graph that...
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 constitutes the first steps in the author's program to investigate the question of when a homotopy of 2-cocycles ω = {ω[subscript t]}[subscript t∊[0,1]] on a locally compact Hausdorff groupoid Ɠ induces an isomorphism of the...
The focus of this thesis is the study of nuclearity and exactness for groupoid crossed product C*-algebras. In particular, we present generalizations of two well-known facts from group dynamical systems and crossed products to the groupoid setting....
Gene set testing has become a critical tool for interpreting the results of high-throughput genomic experiments. Despite the development of robust statistical methods and extensive gene set collections, however, the results from gene set testing...
In the past few years there has been a tremendous growth in the usage of digital images. Users can now access millions of photos, a fact that poses the need of having methods that can efficiently and effectively search the visual information of...
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...
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...
In this thesis, we characterize and enumerate the permutations which are realized by the orbits of signed shifts, a family of discrete dynamical systems on words. The permutations, which are called patterns of the signed shifts, are given by the...
In Chapter 2 we look at the distribution of permutation statistics in the context of pattern-avoiding permutations. The first part of this chapter deals with a recursively defined bijection of Robertson [37] between 123- and 132-avoiding...
For many scientific applications, the data set cannot entirely fit in main memory. The data must reside out-of-core, i.e., on parallel disks. For many basic data-movement operations such as permuting, if the programmer does not design efficient...