Thermodynamics, and the classic balance between entropy and enthalpy, provides a proverbial zoo of exotic phase behaviour that chemists can harness to create new materials out of simple liquids and polymers. The diversity of self-assembling...
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...
Visual searches for a conjunction of features (e.g., a particular combination of color and shape) are ordinarily slow and difficult. However, search efficiency for a particular conjunction can improve dramatically within a few hundred practice...
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...
Digital integrated circuits -- Testing. Digital integrated circuits -- Testing -- Mathematical models. Digital integrated circuits -- Design and construction.
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...
Prostate cancer (PCa) recurrences are often predicted by assessing the status of surgical margins (SM) – positive surgical margins (PSM) increase the chances of biochemical recurrence by 2-4 times which may lead to PCa recurrence. At present,...
The identification of molecular alterations present in cancer is critical to better understand carcinogenesis as well as the clinical trajectories of patients with malignant tumors. Early detection and application of appropriate treatment...
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...
An interval order is an ordered set whose elements are in correspondence with a collection of intervals in a linearly ordered set, with disjoint intervals ordered by their relative position. The order complex of an ordered set is the simplicial...
Most current multiprocessor file systems are designed to use multiple disks in parallel, using the high aggregate bandwidth to meet the growing I/O requirements of parallel scientific applications. Most multiprocessor file systems provide...
Robots -- Control systems. ; Robots -- Motion. ; Computer algorithms. ; Electronic data processing -- Distributed processing.
Self-reconfiguring robots are robots composed of many physically connected modules which can change their structural configuration to support multiple functionalities. We claim that self-reconfiguring robots are more versatile, extensible, and...
Pervasive computing leads to an increased integration between the real world and the computational world, and many applications in pervasive computing adapt to the user's context, such as the location of the user and relevant devices, the presence...
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...
Older people -- Medical care -- United States -- Evaluation. Chronically ill -- Medical care -- United States -- Evaluation. Ambulatory medical care -- United States -- Evaluation.
Objective . To examine how continuity is related to quality measures for chronically ill elderly patients; to the specialty and caseload of the physicians they predominantly visit; and to the regional context of where their ambulatory care is...
Graph algorithms. Nuclear magnetic resonance spectroscopy -- Data processing. Proteins -- Structure -- Mathematical models. Proteins -- Crosslinking -- Mathematical models. Protein folding -- Mathematical models.
The study of three-dimensional protein structures produces insights into protein function at the molecular level. Graphs provide a natural representation of protein structures and associated experimental data, and enable the development of graph...
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...
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...
Background:
With the science and transparency of quality measurement unfolding, and economic forces changing, hospital leaders seek to aggressively improve their systems' care quality. Successful organizational transformations will engage everyone...
Self-reconfiguring (SR) robots are modular systems that can autonomously change shape, or reconfigure , for increased versatility and adaptability in unknown environments. In this thesis, we investigate planning and control for systems of...