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...
We present new forensic tools that are capable of detecting traces of tampering in digital images without the use of watermarks or specialized hardware. These tools operate under the assumption that images contain natural properties from a variety...
Since their discovery in laboratory plasmas in the 1920s, Langmuir waves have been observed to be ubiquitous in plasma environments, particularly in space plasmas. From the greater solar wind to planetary foreshocks and the auroral ionosphere,...
Given graded C *-algebras A and B , we define the notion of an admissible pair ([straight phi], D ) for A and B . Associated to an admissible pair ([straight phi], D ) is an equivalence class of asymptotic morphisms from A to B . Under certain...
Accurate chromosome segregation in human oocytes requires that meiotic sister chromatid cohesion remain intact for decades and work in model organisms indicates that deterioration of meiotic cohesion over time may be a major determinant of...
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...
RNA binding proteins are fundamental components of crucial biological processes in all domains of life. The development of techniques to study RNA binding protein complexes is, therefore, broadly impactful. I employed multiple genome-wide...
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 order to most effectively investigate protein structure and improve protein function, it is necessary to carefully plan appropriate experiments. The combinatorial number of possible experiment plans demands effective criteria and efficient...
In this thesis we develop a theory of Fourier analysis and fast Fourier transforms (FFTs) for finite inverse semigroups. Our results generalize results in the theory of Fourier analysis for finite groups. There is a general method for generating...
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...
As the visual effect and movie industries are striving for realism and high fidelity images, physically based lighting, global illumination, realistic materials, and highly tessellated geometry are gradually accepted and used in movie and game...
Digital integrated circuits -- Testing. Digital integrated circuits -- Testing -- Mathematical models. Digital integrated circuits -- Design and construction.
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...
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...
The heterochronic gene lin-14 affects certain somatic cell-fate choices during post-embryonic development in C. elegans. In lin-14 mutants, cells express stage-specific developmental programs, such as cell divisions or dauer entry, at inappropriate...
Automatic control -- Sensitivity. Structural control (Engineering). Strains and stresses -- Computer simulation. Structural analysis (Engineering). Engineering models.
Autonomous damage detection in engineering structures is critically important as the demands placed upon those structures are increased. It has been well established that damage detection can be done through monitoring the modal frequencies of the...
Agent-based policy learning in complex and uncertain environments is challenged by escalating computational complexity with the size of the task space (action choices and environmental states) as well as the number of agents. Nonetheless, there is...
Robot hands -- Design and construction. Robots -- Motion -- Mathematical models. Manipulators (Mechanism) -- Design and construction. Textile fabrics. Knots and splices. String.
Flexible objects are a challenge to manipulate. Their motions are hard to predict, and the high number of degrees of freedom makes sensing, control, and planning difficult. Additionally, they have more complex friction and contact issues than rigid...
Proteins -- Structure -- Mathematical models. Recombinant proteins -- Mathematical models. Mathematical optimization -- Data processing. Dynamic programming. Protein engineering.
Site-directed protein recombination produces improved and novel protein variants by recombining sequence fragments from parent proteins. The resulting hybrids accumulate multiple mutations that have been evolutionarily accepted together. Subsequent...
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...
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...
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...
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...
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...
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...
Plasma instabilities. ; Ionospheric electron density. ; Ionosphere.
As a result of an unstable plasma stratification the nighttime equatorial ionosphere is subject to a variety of plasma instabilities known commonly as equatorial spread-F. In its fully developed form spread-F consists of large wedges of depleted...
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...
Evolutionary Computation (EC) is one of the most advanced computational techniques. It has been frequently and successfully used to find good solutions to many complicated optimization problems with limited computational resources. EC is the...