Difference between revisions of "Papers, Theses, and Presentations"

From The Circuits and Biology Lab at UMN
Jump to navigationJump to search
(Computing with Nanoscale Lattices)
(Algorithms and Data Structures)
Line 750: Line 750:
  
 
== Algorithms and Data Structures==
 
== Algorithms and Data Structures==
 +
 +
{|
 +
 +
| rowspan=2 |
 +
{| style="background:#F0E68C"
 +
|- valign=top
 +
|  width="100" | '''title''':
 +
|  width="500" | [[Media:Backes_Riedel_Resolution_Proofs_As_A_Data_Structure_For_Logic_Synthesis.pdf‎‎‎ | Resolution Proofs as a Data Structure For Logic Synthesis]]
 +
|-
 +
| '''authors''':
 +
| John Backes and [[Marc Riedel]]
 +
|-
 +
| '''to&nbsp;be&nbsp;<br \>presented&nbsp;at''':
 +
| [http://iwls.org/ The International Workshop On Logic Syntehsis], San Diego, CA, 2011.
 +
|}
 +
| align=center width="70" |
 +
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/2/27/Backes_Riedel_Resolution_Proofs_As_A_Data_Structure_For_Logic_Synthesis.pdf http://cctbio.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 +
<br>[[Media:Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf  | Paper]]
 +
|}
 +
 
{|
 
{|
 
|  
 
|  

Revision as of 15:34, 3 May 2011

All materials are subject to copyrights.

Computing with Molecules

title: Rate-Independent Constructs for Chemical Computation
authors: Phil Senum and Marc Riedel
submitted to: PLoS ONE.

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Synchronous Sequential Computation with Molecular Reactions
authors: Hua Jiang, Marc Riedel and Keshab Parhi
presented at: Design Automation Conference, San Diego, CA, 2011.

Pdf.jpg
Paper

title: Binary Counting with Chemical Reactions
authors: Aleksandra Kharam, Hua Jiang, Marc Riedel and Keshab Parhi
presented at: Pacific Symposium on Biocomputing, Hawaii, 2011.

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Digital Signal Processing with Biomolecular Reactions
authors: Hua Jiang, Aleksandra Kharam, Marc Riedel and Keshab Parhi
presented at: International Conference on Computer-Aided Design, San Jose, CA, 2010.

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Writing and Compiling Code into Biochemistry
authors: Adam Shea, Brian Fett, Marc Riedel, and Keshab Parhi
presented at: International Conference on Computer-Aided Design , San Jose, CA, 2009; and at
Pacific Symposium on Biocomputing, Kona, Hawaii, 2010 (see blog).

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Stochastic Transient Analysis of Biochemical Systems
authors: Bin Cheng and Marc Riedel
presented at: Pacific Symposium on Biocomputing, Hawaii, 2009.

Pdf.jpg
Paper

Ppt.jpg
Slides

Pdf.jpg
M.S. Thesis

title: Module Locking in Biochemical Systems
authors: Brian Fett and Marc Riedel
presented at: International Conference on Computer-Aided Design, San Jose, CA, 2008; and at
Synthetic Biology 4.0, Hong Kong, 2008.

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Synthesizing Stochasticity in Biochemical Systems
authors: Brian Fett, Shuki Bruck, and Marc Riedel
presented at: Design Automation Conference, San Diego, 2007; and at
Synthetic Biology 3.0, Zürich, 2007.

Pdf.jpg
Paper

Ppt.jpg
Slides

M4v.jpg
Video

Pdf.jpg
M.S. Thesis

title: Exact Stochastic Simulation with Event Leaping
authors: Marc Riedel and Shuki Bruck
presented at: International Conference on Systems Biology, Boston, 2005.

Pdf.jpg
Abstract

Ppt.jpg
Slides

Computing with Random Bit Streams

title: Synthesizing Logical Computation on Stochastic Bit Streams
authors: Weikang Qian and Marc Riedel
nominated for: Communications of the ACM Research Highlights.

Pdf.jpg
Paper

title: Transforming Probabilities with Combinational Logic
authors: Weikang Qian, Marc Riedel, Hongchao Zhou, and Jehoshua Bruck
will appear in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Pdf.jpg
Paper

title: An Architecture for Fault-Tolerant Computation with Stochastic Logic
authors: Weikang Qian, Xin Li, Marc Riedel, Kia Bazargan, and David Lilja
appeared in: IEEE Transactions on Computers, vol. 60, no. 1, pp. 93–105, 2011.

Pdf.jpg
Paper

title: Synthesizing Combinational Logic to Generate Probabilities: Theories and Algorithms
authors: Weikang Qian, Marc Riedel, Kia Bazargan, and David Lilja
appeared in: Advanced Techniques in Logic Synthesis, Optimizations and Applications
Sunil Khatri and Kanupriya Gulati editors, Springer Publishing, 2011.

Pdf.jpg
Paper

title: The Synthesis of Stochastic Circuits for Nanoscale Computation
authors: Weikang Qian, John Backes, and Marc Riedel
appeared in: International Journal of Nanotechnology and Molecular Computation,
vol. 1, no. 4, pp. 39–57, 2010.

Pdf.jpg
Paper

title: Two-Level Logic Synthesis for Probabilistic Computation
authors: Weikang Qian and Marc Riedel
presented at: International Workshop on Logic and Synthesis, Irvine, CA, 2010.

Pdf.jpg
Paper

Ppt.jpg
Poster

title: Synthesizing Cubes to Satisfy a Given Intersection Pattern
authors: Weikang Qian and Marc Riedel
presented at: International Workshop on Logic and Synthesis, Irvine, CA, 2010.

Pdf.jpg
Paper

Ppt.jpg
Slides

title: The Synthesis of Combinational Logic to Generate Probabilities
authors: Weikang Qian, Marc Riedel, Kia Bazargan, and David Lilja
presented at: International Conference on Computer-Aided Design, San Jose, 2009
(nominated for IEEE/ACM William J. McCalla ICCAD Best Paper Award).

Pdf.jpg
Paper

Ppt.jpg
Slides

title: A Reconfigurable Stochastic Architecture for Highly Reliable Computing
authors: Xin Li, Weikang Qian, Marc Riedel, Kia Bazargan, and David Lilja
presented at: Great Lakes Symposium on VLSI, Boston, MA, 2009.

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Estimation and Optimization of Reliability of Noisy Digital Circuits
authors: Satish Sivaswamy, Kia Bazargan and Marc Riedel
presented at: International Symposium on Quality Electronic Design, San Jose, CA, 2009.

Pdf.jpg
Paper

title: The Synthesis of Robust Polynomial Arithmetic with Stochastic Logic
authors: Weikang Qian and Marc Riedel
presented at: Design Automation Conference, Anaheim, CA, 2008.

Pdf.jpg
Paper

Ppt.jpg
Slides

title: The Synthesis of Stochastic Logic to Perform Multivariate Polynomial Arithmetic
authors: Weikang Qian and Marc Riedel
presented at: International Workshop on Logic and Synthesis, Lake Tahoe, CA, 2008.

Pdf.jpg
Paper

Ppt.jpg
Poster

title: The Synthesis of Stochastic Circuits for Nanoscale Computation
authors: Weikang Qian, John Backes, and Marc Riedel
presented at: International Workshop on Logic and Synthesis, San Diego, CA, 2007.

Pdf.jpg
Paper

Ppt.jpg
Slides

Computing with Nanoscale Lattices

title: Synthesizing Logic with Percolation in Nanoscale Lattices
authors: Mustafa Altun and Marc Riedel
submitted to: ACM Journal on Emerging Technologies in Computing Systems.

Pdf.jpg
Paper

title: Logic Synthesis for Switching Lattices
authors: Mustafa Altun and Marc Riedel
submitted to: IEEE Transactions on Computers.

Pdf.jpg
Paper

title: Lattice-Based Computation of Boolean Functions
authors: Mustafa Altun and Marc Riedel
presented at: Design Automation Conference, Anaheim, CA, 2010.

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Nanoscale Digital Computation Through Percolation
authors: Mustafa Altun, Marc Riedel, and Claudia Neuhauser
presented at: Design Automation Conference, San Francisco, CA, 2009.

Pdf.jpg
Abstract

Ppt.jpg
Slides

Computing with Feedback

title: The Analysis and Mapping of Cyclic Circuits with Boolean Satisfiability
authors: John Backes, Brian Fett, and Marc Riedel
submitted to: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Pdf.jpg
Paper

title: Cyclic Boolean Circuits
authors: Marc Riedel and Shuki Bruck
will appear  in: Journal of Discrete Applied Mathematics, 2011.

Pdf.jpg
Paper

title: The Synthesis of Cyclic Dependencies with Craig Interpolation
authors: John Backes and Marc Riedel
presented at: International Workshop on Logic and Synthesis, Berkeley, CA, 2009.

Pdf.jpg
Paper

Ppt.jpg
Slides

title: The Analysis of Cyclic Circuits with Boolean Satisfiability
authors: John Backes, Brian Fett, and Marc Riedel
presented at: The International Conference on Computer-Aided Design, San Jose, CA, 2008.

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Timing Analysis of Cyclic Combinational Circuits
authors: Marc Riedel and Shuki Bruck
presented at: The International Workshop on Logic and Synthesis, Temecula, CA, 2004.

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Cyclic Combinational Circuits
author: Marc Riedel
dissertation: Ph.D., Electrical Engineering, Caltech, 2004.

Pdf.jpg
PhD Dissertation

Pdf.jpg
Abstract

Ppt.jpg
Slides

title: The Synthesis of Cyclic Combinational Circuits
authors: Marc Riedel and Shuki Bruck
presented at: Design Automation Conference, Anahiem, CA, 2003.

Pdf.jpg
Paper

Ppt.jpg
Slides

Algorithms and Data Structures

title: Resolution Proofs as a Data Structure For Logic Synthesis
authors: John Backes and Marc Riedel
to be 
presented at
:
The International Workshop On Logic Syntehsis, San Diego, CA, 2011.

Pdf.jpg
Paper

title: Reduction of Interpolants For Logic Synthesis
authors: John Backes and Marc Riedel
presented at: The International Conference on Computer-Aided Design, San Jose, CA, 2010.

Pdf.jpg
Paper

Ppt.jpg
Slides

Mathematics

title: Uniform Approximation and Bernstein Polynomials with Coefficients in the Unit Interval
authors: Weikang Qian, Marc Riedel, and Ivo Rosenberg
appeared in: European Journal of Combinatorics, vol. 32, no. 3, pp. 448–463, 2011.

Pdf.jpg
Paper