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