Now showing items 1-11 of 11

  • Automated Protein Classification Using Rigidity Analysis 

    Schirf, Courtney Lenna (2011-06-01)
    Proteins are one of the most important biological structures found in nature. Consequently, the ability to determine a protein’s function quickly and accurately is of considerable importance to the scientific community. ...
  • Capturing, persisting, and querying the provenance of scientific data 

    Taskova, Sofiya (2012-06-04)
    Scientists use technology ubiquitously to collect and process data. They often use software to handle massive datasets and produce scientific results, which they post on the web, making them readily available to the public. ...
  • Combinatorial Analysis for CAD 

    Yu, Xilin
    Computer Aided Design software allows mechanical engineers and architects to design complicated systems by specifying geometric constraints on small building blocks. One goal of CAD software is to give users feedback on ...
  • Computational Analysis of Statics and Dynamics of Macromolecules 

    Doktorova, Milka (2011-02-16)
    Macromolecules, such as proteins, play a salient part in biological processes. Conducting analysis on the statics and dynamics of such structures is a key to understanding naturally occurring phenomena and designing drugs ...
  • An Exploration of Algebraic Approaches to Graph Theory 

    Urbschat, Maya
    In a 2010 paper, De Loera et al. explore the use of polynomial ideals to determine properties of graphs. Here we present an exposition of the results in said paper on k-colorability and Hamiltonicity of graphs, as well as ...
  • Inferring Network Structures from Diffusion Traces 

    Fu, Liye (2015-09-08)
    We are surrounded by all kinds of networks: a population can be seen as a network where people are connected through social relationships; the World Wide Web is a network where web pages are linked through hyperlinks. Many ...
  • Motion Simulation of Geometric Constraint Structures 

    Cordeiro, Felicia (2012-05-11)
    Motion simulation is a classical problem in areas of research such as CAD (Computer Aided Design), robotics, and protein folding and flexibility. Efficient motion simulation techniques could facilitate advancements in many ...
  • Persistent Multi-robot Formations with Redundancy 

    Burns, Alyxander
    For tasks such as collective transport, a multi-robot formation must preserve its global shape in order to prevent damage to the carried object. We focus on persistent leader- follower formations, which maintain local ...
  • Using Algebra to Detect Flexible Positions of Bar and Joint Frameworks in the Plane 

    Fry, Dana (2015-07-01)
    Bar and joint rigidity theory in the plane is the study of frameworks and their embeddings into two-dimensional space. Rigidity theory in the plane is concerned with deciding whether a given planar embedding of a framework ...
  • Using Rigidity Theory To Identify Hinge Joints In Proteins 

    Shamsuddin, Rittika (2012-05-11)
    Computational biology uses tools from different fields, including computer science, to solve the challenges in the field of molecular biology and engages in the interpretation, classification and understanding of biological ...
  • Voting Tournaments and The Linear Ordering Polytope 

    Barkhuff, Grace
    This thesis explores a geometric structure called the linear ordering polytope. The linear ordering polytope, L^n, is the convex hull of a collection of vertices constructed from every permutation of a set of size n. Because ...