Browsing Department of Computer Science by Issue Date
Now showing items 4160 of 93

The ISCAS85 Benchmarks in FHDL Format
(20091113)The three files that constitute this tech report are ISCAS85.fhdl.zip, ISCAS85.InputVectors.zip, and ISCAS85.VectorGenerators.zip. The first file contains the 10 ISCAS85 benchmarks in FHDL format, plus the smoketest circuit ... 
The HyperLinear Package
(20091113)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 ... 
Extending Hibernate
(20091202)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
(20091216)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.
(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 OCLbased verification approach to analyzing static properties of a UML model.
(20100623)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, ... 
Efficient Mfold Crossvalidation Algorithm for KNearest Neighbors
(20100812)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 ... 
ReviewbyFew or ReviewbyMany?
(20110513)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?
(20110513)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 ... 
Extending Symmetric VariablePair Transitivities Using StateSpace Transformations
(20110513)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 ... 
Bootstrapping Bipartite Graphs Consisting of Edges Based on Ontology Terms Occurring in Scientific Abstract
(20110513)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
(20110913)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, ... 
Information storage capacity of genetic algorithm fitness maps.
(, 20110914)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 ... 
MultiKarma : a fully decentralized virtual multicurrency.
(, 20110914)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 ... 
The Subgroups of S4 in Cycle Form
(20120119)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
(20120119)This technical report lists all subgroups of S3 in cycle form. 
The General Linear Group of GF(2)^4
(20120119)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. 
AntiSymmetry and Logic Simulation
(20120119)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 ... 
The General Linear Group of GF(2)^3
(20120119)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 S5 in Cycle Form
(20120119)This technical report lists all subgroups of S5 in cycle form, using the integers 04.