Browsing Computer Science Technical Reports by Issue Date
Now showing items 4160 of 75

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, ... 
The Subgroups of S5 in Cycle Form
(20120119)This technical report lists all subgroups of S5 in cycle form, using the integers 04. 
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. 
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 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. 
The Subgroups of S6 in Cycle Form
(20120119)This technical report lists all subgroups of S6 in cycle form using the integers 05. 
The Class 2 4x4 Faithful Representations of S4 over GF(2)
(20130920)There are 9 conjugacy classes of faithful representations of S4 in the general linear group of 4x4 matrices over GF(2). This report lists the representations belonging to class 2. 
Primitive Polynomials for the Field GF(2): Degree 2 through Degree 16
(20130920)This report lists the primitive polynomials over GF(2) of degree 2 through 16. These polynomials were generated using a new matrixbased technique I invented. 
The Class 3 4x4 Faithful Representations of S4 over GF(2)
(20130920)There are 9 conjugacy classes of faithful representations of S4 in the general linear group of 4x4 matrices over GF(2). This report lists the representations belonging to class 3. 
The Class 4 4x4 Faithful Representations of S4 over GF(2)
(20130920)There are 9 conjugacy classes of faithful representations of S4 in the general linear group of 4x4 matrices over GF(2). This report lists the representations belonging to class 4. 
The Class 5 4x4 Faithful Representations of S4 over GF(2)
(20130920)There are 9 conjugacy classes of faithful representations of S4 in the general linear group of 4x4 matrices over GF(2). This report lists the representations belonging to class 5. 
The Class 7 4x4 Faithful Representations of S4 over GF(2)
(20130920)There are 9 conjugacy classes of faithful representations of S4 in the general linear group of 4x4 matrices over GF(2). This report lists the representations belonging to class 7. 
The Class 8 4x4 Faithful Representations of S4 over GF(2)
(20130920)There are 9 conjugacy classes of faithful representations of S4 in the general linear group of 4x4 matrices over GF(2). This report lists the representations belonging to class 8. This class includes the standard representation ... 
A Universal Symmetry Detection Algorithm
(20130920)Research on symmetry detection focuses on identifying and detecting new types of symmetry. We present an algorithm that is capable of detecting any type of permutation based symmetry, including many types for which there ... 
Super Symmetry
(20130920)Super symmetry is a type of matrixbased symmetry that extends the concept of total symmetry. Super symmetric functions are “even more symmetric” than totally symmetric functions. Even if a function is not super ...