Now showing items 41-60 of 88

  • The Hyper-Linear Package 

    Maurer, Peter M. (2009-11-13)
    The Hyper-Linear package is the core of the hyper-linear simulation technique described in Reference 1. Given the specification of a Boolean function, the package will detect all partial and total symmetries and return the ...
  • Extending Hibernate 

    Shrestha, Sweta (2009-12-02)
    Hibernate is an open source ORM (Object Relational Mapping) tool. It maps objects into a relational database and vice versa. Hibernate persists objects of a class in a relational database so that they can be retrieved even ...
  • Functions to Expand a PostgreSQL Database 

    Dixon, Brandon; Duvall, Greg; Liu, Simon (2009-12-16)
    This is a set of functions to expand a PostgreSQL database via functions which analyze and manipulate graphs. The functions are internal, written in c. The import/export functions (using GraphML) are written in Java.
  • Studies of active information in search. 

    Ewert, Winston. (2010)
    A search process is an attempt to locate a solution to a problem, such as an optimization problem, where the space is usually too large to exhaustively sample. In order to investigate this idea this work looks a three ...
  • An OCL-based verification approach to analyzing static properties of a UML model. 

    Sun, Wuliang. (2010-06-23)
    There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) tool supports verification of invariants, ...
  • Efficient M-fold Cross-validation Algorithm for KNearest Neighbors 

    Meng, Lei (2010-08-12)
    This project investigates m-fold cross-validation algorithms for automatic selection of k with k-nearest neighbors problems. An algorithm taxonomy is used to identify different m-fold cross-validation algorithms. The ...
  • Review-by-Few or Review-by-Many? 

    Maurer, Peter (2011-05-13)
    It’s clear that traditional forms of academic publication are rapidly becoming obsolete. It’s also clear that peer review is a seriously flawed process that could be much improved upon by modern methods of communication. ...
  • Why is Symmetry So Hard? 

    Maurer (2011-05-13)
    The problem of detecting virtually any type of symmetry is shown to be co-NP-complete. We start with totally symmetric functions, then extend the result to partially symmetric functions, then to more general cofactor ...
  • Extending Symmetric Variable-Pair Transitivities Using State-Space Transformations 

    Maurer, Peter (2011-05-13)
    Two-cofactor relations and their associated symmetry types have been studied for many years. While ordinary symmetries are simply transitive permitting them to be combined into clusters of variables, other types of symmetries ...
  • Bootstrapping Bipartite Graphs Consisting of Edges Based on Ontology Terms Occurring in Scientific Abstract 

    Morillo, Daniel (2011-05-13)
    The Ontological Discovery Environment (ODE) provides an efficient structure for storage of gene and pheno- type relations. The relations can be represented by a bipartite graph, where the gene and phenotype items can be ...
  • MovieOracle System 

    Yao, Yao (2011-09-13)
    The detailed design document covers the basic theory, related technique, and implementation details of the MovieOracle system. It first provides a high-level system overview. Then it discusses the usage of Twitter API, ...
  • MultiKarma : a fully decentralized virtual multi-currency. 

    Allen, Jon D. (Jon Douglas) (, 2011-09-14)
    Participant-based technologies enable users to contribute resources to a shared pool that in the aggregate provides valuable services, such as social networks, massive multiplayer online games, file exchange, etc. Such ...
  • Information storage capacity of genetic algorithm fitness maps. 

    Montañez, George D. (, 2011-09-14)
    To accurately measure the amount of information a genetic algorithm can generate, we must first measure the amount of information one can store, using a fitness map. The amount of information generated, minus the storage ...
  • Anti-Symmetry and Logic Simulation 

    Maurer, Peter M. (2012-01-19)
    Like ordinary symmetries, anti-symmetries are defined in terms of relations between function cofactors. For ordinary symmetries, two cofactors must be equal, for anti-symmetries two cofactors must be complements of ...
  • The General Linear Group of GF(2)^3 

    Maurer, Peter M. (2012-01-19)
    This technical report lists all 3x3 matrices over GF(2). Each matrix is listed along with its order and its inverse. At the end is a summary of the number of matrices belonging to each order.
  • The Subgroups of S4 in Cycle Form 

    Maurer, Peter M. (2012-01-19)
    This technical report lists all subgroups of S4, the symmetric group of degree 4. Subgroups are listed in cycle form using the integers 0, 1, 2, and 3.
  • The Subgroups of S3 in Cycle Form 

    Maurer, Peter M. (2012-01-19)
    This technical report lists all subgroups of S3 in cycle form.
  • The General Linear Group of GF(2)^4 

    Maurer, Peter M. (2012-01-19)
    This technical report lists all 4x4 matrices over GF(2). Each matrix is listed along with its order and its inverse. At the end is a summary of the number of matrices belonging to each order.
  • The Subgroups of S6 in Cycle Form 

    Maurer, Peter M. (2012-01-19)
    This technical report lists all subgroups of S6 in cycle form using the integers 0-5.
  • The Subgroups of S5 in Cycle Form 

    Maurer, Peter M. (2012-01-19)
    This technical report lists all subgroups of S5 in cycle form, using the integers 0-4.