BEARdocs is currently undergoing a scheduled upgrade. We expect the upgrade to be completed no later than Monday, March 2nd, 2015. During this time you will be able to access existing documents, but will not be able to log in or submit new documents.
Browsing Department of Computer Science by Issue Date

Maurer, Peter M.
The HyperLinear package is the core of the hyperlinear 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 UMLbased Specification Environment (USE) tool supports verification of invariants, ...

Meng, Lei
This project investigates mfold crossvalidation algorithms for automatic selection of k with knearest neighbors problems. An algorithm taxonomy is used to identify different mfold crossvalidation 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 coNPcomplete. We start with totally symmetric functions, then extend the result to partially symmetric functions, then to more general cofactor ...

Maurer, Peter
Twocofactor 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 highlevel 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)
(, )
Participantbased 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 05.

Maurer, Peter M.
This technical report lists all subgroups of S5 in cycle form, using the integers 04.

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, antisymmetries are
defined in terms of relations between function cofactors. For
ordinary symmetries, two cofactors must be equal, for antisymmetries
two cofactors must be complements of ...