Now showing items 13-32 of 76

    • Class 9 4x4 Faithful Representations of S4 over GF(2) 

      Maurer, Peter M. (2013-09-20)
      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 9.
    • The Complexity of Detecting Symmetric Functions 

      Maurer, Peter M. (2009-02-18)
      The characterization of the symmetries of boolean functions is important both in automatic layout synthesis, and in automatic verification of manually created layouts. It is possible to characterize the symmetries of an ...
    • The Conjugacy Classes of 3x3 and 4x4 Matrices Over GF(2) 

      Maurer, Peter M. (2013-09-20)
      The general linear groups over GF(2) have an intricate and interesting structure. This report does some preliminary work in examining the structure of two of these groups by giving the conjugacy classes of 3x3 and 4x4 ...
    • Conjugates of the Standard Representation of S3 in 3x3 matrices 

      Maurer, Peter M. (2013-09-20)
      This is a list of the 28 conjugates of the standard representation of S3 in 3x3 matrices.
    • Connlib 

      Maurer, Peter M. (2009-11-13)
      This software package can be used to create the FHDL library file. This library allows one to use the FHDL parser and simulator software in your own projects. The package can be compiled either under Linux (i.e. gcc) or ...
    • Deduction by Induction 

      Maurer, Peter M. (2009-10-26)
      In this report, I offer a technique for computing power sums that is: intuitive, well-motivated, generalizable to all k, and suitable for presentation to pre-calculus students.
    • Designing a Capstone Course to Simulate the Industrial Environment 

      Speegle, Greg (2009-10-26)
      The creation of a capstone course for an un- dergraduate computer science curriculum mirrors traditional software design. Initially, a high-level goal is created. This is refined into lower-level specifications by ...
    • 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 ...
    • The EVCF Software Package 

      Maurer, Peter M. (2009-11-13)
      This is the software described in the technical report “Event Driven Simulation without Loops or Conditionals” available from this archive. This package is part of the FHDL system and must be installed in your FHDL directory.
    • Event Driven Simulation without Loops or Conditionals 

      Maurer, Peter M. (2009-11-05)
      Event driven simulation normally requires a great deal of computation to perform a multitude of different tasks. The purpose of this paper is to show that none of these computations are necessary. Most computations are ...
    • 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 ...
    • 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 ...
    • The FHDL LCC Simulator 

      Maurer, Peter M. (2009-11-13)
      This software is the levelized compiled code simulator for the FHDL system. Given a .ckt file, it will compile the file into a C program that simulates the circuit. The C program will be compiled into an executable by the ...
    • The FHDL Manual 

      Maurer, Peter M. (2009-10-28)
      The Functional Hardware Design Language can be used to create all parts of a digital design. It can be used to design logic-level circuits with ordinary gates, flip-flops and mid-sized functional blocks. It is hierarchical ...
    • The FHDL Rom Tools 

      Maurer, Peter M. (2009-11-13)
      The FHDL (Functional Hardware Design Language) ROM tools provide a method for specifying, simulating, and automatically laying out ROMs. The primary focus of the ROM tools is on providing powerful methods for specifying ...
    • Fields and Cyclic Codes for Error Detection 

      Hess, Rachel N. (2014-01-14)
      This technical report discusses some of the aspects of error detection using finite fields.
    • The Functional Hardware Design Language 

      Maurer, Peter M. (2009-10-28)
      The Functional Hardware Design Language is an expandable language that is designed to make it easy to specify gate-level. FHDL currently supports the specification of gates, high-level functional blocks, state machines, ...
    • 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.
    • 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.