Now showing items 45-64 of 94

    • The GF2Matrices Classes: A Programming Package for Mathematical Research 

      Maurer, Peter M. (2009-03-31)
      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 ad-hoc subroutines scattered over numerous ...
    • Giving the users a hand : towards touchless hand gestures for the desktop. 

      Hari Haran, Alvin Jude. (, 2014-09-05)
      Touchless, mid-air, gesture-based interactions have recently moved out of laboratories and Hollywood movies and into the hands of users. There is little difference in the interaction style and techniques used today from ...
    • The Hyper-Linear Package 

      Maurer, Peter M. (2009-11-13)
      The Hyper-Linear package is the core of the hyper-linear 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 ...
    • HyperSim 

      Maurer, Peter M. (2009-11-13)
      This software package implements the simulation algorithm described in the tech report “Using GF(2) matrices in Simulation and Logic Synthesis” found in this archive. ( This package is part ...
    • Improving the Learning Platform for the Leukocoria Detection Project 

      Boer, James (2016-08-31)
      ABSTRACT Improving the Learning Platform for the Leukocoria Detection Project James Boer, M.S. Mentor: Gregory J. Hamerly, Ph.D. In this paper we describe a new and signi cantly improved learning platform for the ...
    • Information storage capacity of genetic algorithm fitness maps. 

      Montañez, George D. (, 2011-09-14)
      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 ...
    • The Inversion Algorithm for Digital Simulation 

      Maurer, Peter M. (2009-11-05)
      The Inversion Algorithm is an event-driven algorithm, whose performance rivals or exceeds that of Levelized Compiled code simulation, even at activity rates of 50% or more. The Inversion Algorithm has several unique ...
    • The Inversion-Algorithm Software 

      Maurer, Peter M. (2009-11-13)
      The software in this package implements four versions of the Inversion algorithm. Four executable files are produced.These executables are used in much the same way as the FHDL package, but only AND, OR, NAND, NOR, NOT, ...
    • The ISCAS85 Benchmarks in FHDL Format 

      Maurer, Peter M. (2009-11-13)
      The three files that constitute this tech report are,, and The first file contains the 10 ISCAS85 benchmarks in FHDL format, plus the smoke-test circuit ...
    • The ISCAS89 Benchmarks in FHDL Format 

      Maurer, Peter M. (2009-11-13)
      The .zip file contains each of the ISCAS89 Benchmarks in FHDL format. Also included is a random vector generator file for each circuit. (For what it’s worth.) The generators are written in the DGL language.
    • Java bytecode compilation for high-performance, platform-independent logical inference. 

      Arte, Ashish. (2006-05-11)
      Automated reasoning systems are powerful computer programs capable of solving complex problems. They are characterized as computationally intensive having high performance requirements. Very few reasoning systems have ...
    • Matrix Representations of GF(p[superscript n]) over GF(p) 

      Maurer, Peter M. (2014-01-31)
      We show that any non-singular nxn matrix of order p[superscript n]-1 over GF(p) is a generator of a matrix representation of GF(p[superscript n]). We also determine the number of matrix representations of GF(p[superscript ...
    • Metamorphic programming 

      Maurer, Peter M. (2009-04-15)
      Metamorphic programming is an effective tool for creating efficient and elegant solutions to many programming problems, at least once you get over the shock of seeing code that violates many of the accepted rules of good ...
    • MKWHAT: A Compiler-Development Tool for Fast Keyword Recognition 

      Maurer, Peter M. (2009-11-13)
      Although compiler keywords can be recognized directly in LEX (or flex) these tools are rather slow. MKWHAT is a tool that can be used to generate a keyword recognizer that will recognize key words using a minimal number ...
    • Models for rested touchless gestural interaction. 

      Guinness, Darren, 1990- (2015-07-31)
      Touchless mid-air gestural interaction has gained mainstream attention with the emergence of off-the-shelf commodity devices such as the Leap Motion and the Xbox Kinect. One of the issues with this form of interaction is ...
    • MovieOracle System 

      Yao, Yao (2011-09-13)
      The detailed design document covers the basic theory, related technique, and implementation details of the MovieOracle system. It first provides a high-level system overview. Then it discusses the usage of Twitter API, ...
    • MultiKarma : a fully decentralized virtual multi-currency. 

      Allen, Jon D. (Jon Douglas) (, 2011-09-14)
      Participant-based 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 Number of Conjugates of the Standard Representation of Sn in the General Linear Group over GF(2) 

      Maurer, Peter M. (2013-09-20)
      This report determines the normalizer of the standard representation of Sn in the general linear group of nxn matrices over GF(2). The size of the normalizer is then used to determine the number of classes of conjugate ...
    • An OCL-based verification approach to analyzing static properties of a UML model. 

      Sun, Wuliang. (2010-06-23)
      There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) tool supports verification of invariants, ...
    • The Parallel Technique Software Package 

      Maurer, Peter M. (2009-11-13)
      This is the software described in the technical report “Two New Techniques for Unit-Delay Compiled Simulation” available from this archive. This package is part of the FHDL system and must be installed in your FHDL directory.