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...
Public key infrastructure (Computer security). ; Computer networks -- Security measures. ; Operating systems (Computers). ; Microcomputers.
In 1976, Whitfield Diffie and Martin Hellman demonstrated how public key cryptography could enable secure information exchange between parties that do not share secrets. In order for public key cryptography to work in modern distributed...
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...
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...
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....
Robots -- Control systems -- Design and construction. Mobile robots. Robots -- Dynamics.
This thesis examines the issues of vehicle and information dynamics in the control of a multi-robot system using a radial-basis potential function controller. Distributed control of multi-robot systems requires each robot to communicate state...
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...
Information retrieval -- Mathematical models. ; Electronic information resource searching. ; Computer algorithms. ; Decision making -- Data processing. ; Mathematical optimization.
This thesis presents a unified method for simultaneous solution of three problems in Information Retrieval--metasearch (the fusion of ranked lists returned by retrieval systems to elicit improved performance), efficient system evaluation (the...
Quality of life -- Evaluation. ; Health status indicators. ; Psychiatric rating scales. ; Mental illness -- Treatment -- Evaluation. ; Mental illness -- Treatment -- Economic aspects. ; Mental illness -- Treatment -- Social aspects.
Background. It is not clear whether a generic quality-of-life instrument can appropriately represent severe mental illness in an economic evaluation. This problem is particularly salient for resource-allocation decisions where policymakers compare...
Electronic data processing -- Distributed processing. ; Computer network architectures. ; Programming languages (Electronic computers) -- Semantics. ; Database management.
I tackle the problem of naming and sharing resources across administrative boundaries. Conventional systems manifest the hierarchy of typical administrative structure in the structure of their own mechanism. While natural for communication that...
Functional neuroimaging has confirmed a high degree of localization of function in the cerebral cortex of man. In contrast, microstructural analysis has contributed very little to the topographical characterization of cortical areas. In this work I...
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...
For a local field K, we study the affine buildings Ξ n and Δ n naturally associated to SL n ( K ) and Sp n ( K ), respectively. Since Sp n ( K ) is a subgroup of SL 2 n ( K ), we investigate properties of a natural embedding of Δ n in Ξ 2 n ....
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...
We present a number of findings concerning groupoid dynamical systems and groupoid crossed products. The primary result is an identification of the spectrum of the groupoid crossed product when the groupoid has continuously varying abelian...
This thesis contains some results concerning groupoid dynamical systems and crossed products. We introduce the notion of a proper groupoid dynamical system and of its generalized fixed point algebra. We show that our notion of proper groupoid...
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...
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...
Patients -- Decision making. Patients -- Attitudes. Motivation (Psychology) -- Social aspects. Preferences (Philosophy) Medical care -- Evaluation. Medical care -- Research -- Methodology. Medical care -- Decision making.
Statement of Problem
Characterizing the public's preferential attitudes towards relatively more-/less-intense elective options in ""preference-sensitive"" health care situations is particularly relevant for the prioritization policies of...
Oligomers -- Structure -- Mathematical models. Nuclear magnetic resonance spectroscopy.
Medical Term: Nuclear Magnetic Resonance, Biomolecular.
Protein complexes play vital roles in the fundamental processes of life. In particular, homo-oligomers are involved in cell signaling, regulation, and transport. To make detailed studies of these symmetric proteins, they need to be discovered, and...