Operating systems and low-level applications are usually written in languages like C and assembly, which provide access to low-level abstractions. These languages have unsafe type systems that allow many bugs to slip by programmers. For example, in...
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...
Digital integrated circuits -- Testing. Digital integrated circuits -- Testing -- Mathematical models. Digital integrated circuits -- Design and construction.
In the past decade, the use of ordinal patterns in the analysis of time series and dynamical systems has become an important tool. Ordinal patterns (otherwise known as a permutation patterns) are found in time series by taking n data points at...
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...
A metric structure on a set gives a concept of distance between any two elements of that set, and it induces a topology. In this thesis, we provide several ways to put a metric structure on the collection of CW complexes. We accomplish this by...
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...
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...
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 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...
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...
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,...
Internet -- Security measures. Public key infrastructure (Computer security). Digital signatures. Peer-to-peer architecture (Computer networks) -- Security measures.
The Internet has become a virtual place where people not only operate in isolation but also interact with other Internet users. Collaborative systems are becoming more popular. Applications now being introduced could provide better remote education...
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....
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...
Molecular imaging of cancer features is a critical part of advancing better tools for oncology management and drug discovery, yet it is still evolving as a useful tool. Diffuse Fluorescence Tomography (FT) is one approach to molecular imaging, used...
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...
The Euler '-function and Carmichael -function are extremely important in modern number theory, and much work has been devoted to studying the distribution and arithmetic properties of the values of each function. One interesting unresolved question...