Now showing items 54-73 of 88

  • 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.
  • The PC-Set Method 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.
  • Performance improvements to peer-to-peer file transfers using network coding. 

    Kelley, Aaron A. (, 2013-09-16)
    A common peer-to-peer approach to large data distribution is to divide the data into blocks. Peers will gather blocks from other peers in parallel. Problems with this approach are that each peer must know which blocks ...
  • PG-means: learning the number of clusters in data. 

    Feng, Yu. (2007-03-19)
    We present a novel algorithm called PG-means in this thesis. This algorithm is able to determine the number of clusters in a classical Gaussian mixture model automatically. PG-means uses efficient statistical hypothesis ...
  • Primitive Polynomials for the Field GF(2): Degree 2 through Degree 16 

    Maurer, Peter M. (2013-09-20)
    This report lists the primitive polynomials over GF(2) of degree 2 through 16. These polynomials were generated using a new matrix-based technique I invented.
  • Primitive Polynomials for the Field GF(3): Degree 2 through Degree 11 

    Maurer, Peter M. (2013-09-20)
    This report lists the primitive polynomials over GF(3) of degree 2 through 11. These polynomials were generated using a new matrix-based technique I invented.
  • A Quick Algorithm for Identifying Conjugate Groups in GF(2) 

    Maurer, Peter M. (2009-02-18)
    This report gives the details an algorithm for determining whether two matrix groups are conjugate to one another. Each group is designated by a pair of matrices that generate the group. The algorithm is able to determine ...
  • Recommendations Made Easy 

    Guinness, Darren; Karbasi, Paniz; Nazarov, Rovshen; Speegle, Greg (2014-06-23)
    Fueled by ever-growing data, the need to provide recommendations for consumers, and the considerable domain knowledge required to implement distributed large scale graph solutions we sought to provide recommendations for ...
  • The Representations of GF(8) in GL3(2) 

    Maurer, Peter M. (2013-09-20)
    As is well known (or should be well known) the finite field GF(2^k) can be represented in the general linear group of kxk matrices over GF(2). There are many such representations. This report gives the 8 representations ...
  • The Representations of GF(8) in GL3(2) 

    Maurer, Peter M. (2013-09-20)
    This report gives one subgroup of each of the conjugacy classes of the subgroups of S7.
  • Review-by-Few or Review-by-Many? 

    Maurer, Peter (2011-05-13)
    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. ...
  • A Search Strategy Using a Hamming-Distance Oracle 

    Maurer, Peter M. (2009-08-04)
    The objective of the algorithm described in this report is to optimally guess a hidden binary string based on queries to an oracle where the length of the string is known beforehand. A C++ version of the algorithm is given ...
  • The Shadow Algorithm Software Package 

    Maurer, Peter M. (2009-11-13)
    This is the software described in the technical report “The Shadow Algorithm: …” available from this archive. This package is part of the FHDL system and must be installed in your FHDL directory.
  • The Shadow Algorithm: A Scheduling Technique for Both Compiled and Interpreted Simulation 

    Maurer, Peter M. (2009-11-05)
    The shadow algorithm is an event-driven unit-delay simulation technique that has been designed to take advantage of the instruction caches present in many of the latest workstations. The algorithm is based on the threaded-code ...
  • Studies of active information in search. 

    Ewert, Winston. (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 ...
  • The Subgroups of S3 in Cycle Form 

    Maurer, Peter M. (2012-01-19)
    This technical report lists all subgroups of S3 in cycle form.