BEARdocs

Browsing Department of Computer Science by Issue Date

DSpace/Manakin Repository

Browsing Department of Computer Science by Issue Date

Sort by: Order: Results:

  • Maurer, Peter M.
    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 ...
  • Shrestha, Sweta
    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 ...
  • Dixon, Brandon; Duvall, Greg; Liu, Simon
    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.
  • Ewert, Winston.
    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 ...
  • Sun, Wuliang.
    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, ...
  • Meng, Lei
    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 ...
  • Maurer, Peter
    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. ...
  • Maurer
    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 ...
  • Maurer, Peter
    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 ...
  • Morillo, Daniel
    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 ...
  • Yao, Yao
    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, ...
  • Montañez, George D. (, )
    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 ...
  • Allen, Jon D. (Jon Douglas) (, )
    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 ...
  • Maurer, Peter M.
    This technical report lists all subgroups of S6 in cycle form using the integers 0-5.
  • Maurer, Peter M.
    This technical report lists all subgroups of S5 in cycle form, using the integers 0-4.
  • Maurer, Peter M.
    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.
  • Maurer, Peter M.
    This technical report lists all subgroups of S3 in cycle form.
  • Maurer, Peter M.
    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.
  • Maurer, Peter M.
    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.
  • Maurer, Peter M.
    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 ...

Search BEARdocs


Advanced Search

Browse

My Account

Statistics