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...
In the nervous system, neuronal communication relies critically on the function of membrane ion channels. One of these is the voltage-gated sodium channel (VGSC), which is essential for the generation and propagation of action potentials in...
Partially ordered sets. ; Convex polytopes. ; Representations of groups.
This thesis deals with geometric representations of ordered sets. In a geometric representation, each element of the ordered set is assigned a geometric object, with two elements incomparable in the ordered set if and only if the corresponding...
Medicine -- Religious aspects. Health -- Religious aspects. Spirituality -- Health aspects. Spirituality -- Testing. Primary care (Medicine). Patients -- Religious life.
Background . Although the epidemiology of spirituality/religion is still an emerging field, initial research suggests spirituality may promote better health. Additionally, physician-inquiry about spirituality may enhance the quality and possibly...
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...
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...
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...
Opinion dynamics is a complex procedure that entails a cognitive process when it deals with how a person integrates influential opinions to form revised opinion. Early research on opinion formation and social influence can be traced back to the...
Epilepsy is associated with cognitive impairments which often manifest as a higher prevalence of memory impairments. Memory impairments in patients with epilepsy may persist even with sufficient control of seizures, suggesting other factors may...
The Mixed Lineage Leukemia (MLL1) gene was first cloned as a hot spot of chromosomal translocations in acute leukemia. More than 70 fusion proteins of MLL1 have been described in both lymphoid and myeloid leukemia and many are highly associated...
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...
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...
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...
We present aligned hierarchies, a novel solution to the dimension reduction problem, representing high-dimensional and noisy sequential data as a low-dimensional object that encodes relevant information. In this thesis, we motivate our presentation...
A fundamental question in decision neuroscience is how cognitive processes underlying decision-making give rise to efficient decisions, especially in complex situations with multiple choice options, and each option consisting of multiple attributes...
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...