POSTSCRIPT FILES FOR MY CLASSES:

MOBILE ROBOTICS:

  • Kevin Stanton, M.S. Thesis about PSUBOT wheelchair robot. This is related to our "Learning Robotics" projects.

    UNIFICATION:

  • K.Ch. Chen, "Boolean Matching Based on Boolean Unification", Similar applications to satisfiability.

    EXOR LOGIC AND DECISION DIAGRAMS:

  • Song Ning, Marek Perkowski, IEEE Trans. on CAD paper on ESOP Minimizer EXORCISM-MV-2.
  • Jochen Bern, Christoph Meinel, Anna Slobodova, Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits, paper from DAC'95
  • B. Becker, R. Drechsler, M. Theobald, "Minimization of 2-level AND/XOR Expressions using Ordered Kronecker Functional Decision Diagrams
  • R. Drechsler, B. Becker, A. Jahnke, "On Variable Ordering and Decomposition Type Choice in OKFDDs,"
  • B. Becker, R. Drechsler, "How many Decomposition Types do we need?".

    LAYOUT DRIVEN LOGIC SYNTHESIS:

  • report of Ben Drucker, Craig Files, and Peter Siracusa on Symmetry in Layout
  • B. Drucker, C. Files, P. Siracusa, "Symmetry in 3-valued Functions
  • Nan Zhuang, and Peter Y.K. Cheung, "Using Genetic Algorithm in Binate Covering for LUT-based FPGA Technology Mapping"
  • Nan Zhuang, and Peter Y.K. Cheung, "Logic Synthesis for a Fine-grain, Dynamically Reconfigurable FPGA,"
  • M.Perkowski, A.Sarabi,F.R.Beyl, "Universal XOR Canonical Forms of Boolean Functions and its Subset Family of AND/OR/XOR Canonical Forms", paper from IWLS'95
  • Gueesang Lee, Logic Synthesis for Cellular Architecture FPGA using BDD

    MACHINE LEARNING:

  • J. Schmidhuber, "Discovering Problem Solutions with Low Kolmogorov Complexity and High Generalization Capability,"
  • J. Goldman, M.Axtell, "On Using Logic Synthesis for Knowledge Discovery,"
  • another version of the same paper from Goldman
  • Marek Perkowski, and other, Unified Approach to Decomposition of Boolean Functions, long report

    SPECTRAL METHODS:

    Schaefer, Perkowski - Book Chapter on Spectral Methods in Logic Synthesis

    LANGUAGES FOR HARDWARE:

  • Prof. Zakrevskij, language for parallel control, Academy of Sciences of Belarus

    IMAGE PROCESSING:

  • Kamran Iravani, Marek Perkowski, Some remarks on image coding using Reed-Muller, paper not published
  • Lena
  • some old thing from Kamran Iravani
  • home compressed from Kamran Iravani
  • old (or new) versions of a paper with Kamran Iravani
  • yet more old home compressed image of Iravani
  • One of Kamran's Iravani nice faces