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...
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...
For ordinary knots in R 3 , there are no degree one Vassiliev invariants. For virtual knots, however, the space of degree one Vassiliev invariants is infinite dimensional. We introduce a sequence of three degree one Vassiliev invariants of virtual...
Clinical medicine -- Decision making -- Mathematical models. ; Diagnosis Laboratory. ; Medical screening -- Mathematical models. ; Osteoporosis -- Diagnosis. ; Mycobacterial diseases -- Diagnosis.
This dissertation focuses on the use of decision analysis to study the optimal use of medical tests. The classic threshold model of clinical decision making provides methodological background and motivation for the dissertation. In this model,...
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 new algorithm is presented which uses maximum likelihood (ML) estimation and convex constraints to restore edge information in a robust and accurate way for microscope images. The convex constraints are spatially variant bounds on the image...
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...
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...
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...
Boundary integral methods have long been used to solve boundary value problems for elliptic partial differential equations with piecewise constant coefficients, since they have several numerical advantages over conventional volume discretization....
Recent technological advances have fostered the emergence of Wireless Sensor Networks (WSNs), which consist of tiny, wireless, battery-powered nodes that are expected to revolutionize the ways in which we understand and construct complex physical...
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)....
Over the past decade, a pair of instructions called load-linked (LL) and store-conditional (SC) have emerged as the most suitable synchronization instructions for the design of lock-free algorithms. However, current architectures do not support...
The main research objective of this thesis is to address distributed target tracking for mobile sensor networks. Based on real-life limitations, we are particularly interested in mobile sensors with Limited Sensing Range (LSR). There are three...
We begin with a presentation of the current state of Poljak and Turzik's conjecture that a matroid is sticky if and only if it is modular as described in [5] and [1]. We show that all graphic, cographic, and regular matroids must satisfy the...
We pose several adversarial variants of the multi-armed bandit scenario and propose new approaches for their play and analysis. Our casino patron seeks to discover information about an unknown system as a means to long-term payoff -- exploration...
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...
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...
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...
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...
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 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....