BEARdocs

Browsing Department of Computer Science by Subject "Theoretical Computer Science"

DSpace/Manakin Repository

BEARdocs is currently undergoing a scheduled upgrade. We expect the upgrade to be completed no later than Monday, March 2nd, 2015. During this time you will be able to access existing documents, but will not be able to log in or submit new documents.

Browsing Department of Computer Science by Subject "Theoretical Computer Science"

Sort by: Order: Results:

  • Maurer, Peter M.
    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 ...
  • Maurer, Peter M.
    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 ...

Search BEARdocs


Advanced Search

Browse

My Account

Statistics