Since acyl Co-A: cholesterol acyltransferase (ACAT) is believed to be involved in important physiological functions such as lipoprotein assembly, cholesterol absorption, steroidogenesis, and pathogenesis of atherosclerosis, ACAT has been studied...
The theory community has worked on Secure Multiparty Computation (SMC) for more than two decades, and has produced many protocols for many settings. One common thread in these works is that the protocols cannot use a Trusted Third Party (TTP), even...
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...
Forests are an important component of the soil system and influence a variety of biogeochemical processes. Unfortunately, much remains to be understood with regards to forest effects on pedochemistry because variability in other soil forming...
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...
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...
Partially ordered sets and permutations are combinatorial structures having vast applications in theoretical computer science. In this thesis, we study various computational and algorithmic problems related to these structures. The first chapter of...
Shape modeling is an important area in computer vision and medical imaging. Shape models have proved valuable in the tasks of object representation, recognition, and classification. This thesis focuses on shape models of 3D surfaces extracted from...
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....
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...
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...
Nurses -- Health and hygiene. Employee health promotion.
Background. Worksite health promotion programs (HPP) support employees' health behaviors to prevent downstream diseases. Maximizing participation can optimize program impact. Objectives. To assess staff nurses' participation in three HPP - flu...
Plants -- Effect of iron on. Iron -- Metabolism -- Molecular aspects. Chloroplasts. Plant mitochondria. Homeostasis. Plant enzymes. Reduction (Chemistry). Iron chelates.
Large scale systems -- Mathematical models. Digital computer simulation. Parallel processing (Electronic computers). Computer algorithms.
Modeling real-world large-scale systems is inherently challenging due to their size and complexity. Detailed simulation of large-scale models requires tremendous amounts of computing power and memory space. Parallel discrete-event simulation...
This thesis considers the two special sensor networks for future sensor network design: mobile sensor networks and hybrid network of sensors and robots. To investigate two types of networks, we abstract two most important aspects that are ingrained...
Sorting very large datasets is a key subroutine in almost any application that is built on top of a large database. Two ways to sort out-of-core data dominate the literature: merging-based algorithms and partitioning-based algorithms. Within these...
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 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,...
This thesis presents two-fluid simulations of forced magnetic reconnection with finite electron inertia in two and three dimensional periodic systems. Reconnection in the system is driven by a spatially localized forcing function, added to the ion...
The auroral zone is a rich source of natural radio emissions that can be observed in space and at ground-level. By studying these waves, scientists can gain insight into the plasma processes that generate them and use the near-Earth space...
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...
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...
During an immune reaction to an invading pathogen, a population of lymphocytes with receptors that specifically recognize the pathogen are activated and become memory cells. Characteristically, memory lymphocytes persist for long periods of time...
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...
Networks that model relationships in the real world have attracted much attention in the past few years. The "link prediction problem" plays a central role in the network area. In this thesis, we explore the link prediction problem in a...
Sea ice appears to form an impenetrable boundary at the ocean-atmosphere interface in polar regions, yet in fact its porous structure provides critical pathways for the exchange of heat, gases, salts, and other chemical species impacting the global...
The main driving force behind the development of computers was the attempt to solve problems that would otherwise require a large amount of time to be solved. Despite the technological development that has made computers ubiquitous in daily lives,...
Systemic sclerosis (SSc) is a rare and often-fatal systemic autoimmune disease characterized by vasculature dysfunction, immune activation, and extracellular matrix deposition in skin and internal organs. The etiology of SSc is unknown, but it is...
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...