Browsing Computer Science Technical Reports by Title
Now showing items 1837 of 76

Deduction by Induction
(20091026)In this report, I offer a technique for computing power sums that is: intuitive, wellmotivated, generalizable to all k, and suitable for presentation to precalculus students. 
Designing a Capstone Course to Simulate the Industrial Environment
(20091026)The creation of a capstone course for an un dergraduate computer science curriculum mirrors traditional software design. Initially, a highlevel goal is created. This is refined into lowerlevel specifications by ... 
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 ... 
The EVCF Software Package
(20091113)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
(20091105)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
(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 ... 
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 ... 
The FHDL LCC Simulator
(20091113)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
(20091028)The Functional Hardware Design Language can be used to create all parts of a digital design. It can be used to design logiclevel circuits with ordinary gates, flipflops and midsized functional blocks. It is hierarchical ... 
The FHDL Rom Tools
(20091113)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
(20140114)This technical report discusses some of the aspects of error detection using finite fields. 
The Functional Hardware Design Language
(20091028)The Functional Hardware Design Language is an expandable language that is designed to make it easy to specify gatelevel. FHDL currently supports the specification of gates, highlevel functional blocks, state machines, ... 
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. 
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. 
Generator Pairs for all 4x4 GF(2) Representations of S4
(20130920)There are nine conjugacy classes of faithful representations of S4 in the general linear group of 4x4 matrices. This report gives generator matrices for one group in each class. These generator pairs allow each of the ... 
The GF(2) General Linear Group for Dimensions 2, 3, 4, and 5
(20090415)This report contains some data about the General Linear Groups of GF(2) for dimensions 2, 3, 4, and 5. These groups are groups of matrices over GF(2), the integers modulo 2. The General Linear Group of order is the set ... 
: GF2Matrices
(20090331)This is the software described in the technical report “The GF2Matrices Classes: A Programming Package for Mathematical Research.” Over the past few years I have been engaged in an intense study of GF(2) matrices, especially ... 
The GF2Matrices Classes: A Programming Package for Mathematical Research
(20090331)Over the past few years I have been engaged in an intense study of GF(2) matrices, especially of dimensions 2, 3, 4, and 5. The software I used for this study was mostly a bunch of adhoc subroutines scattered over numerous ...