MIME search

From The Circuits and Biology Lab at UMN
Jump to navigationJump to search

This page enables the filtering of files for their MIME type. Input: contenttype/subtype or contenttype/*, e.g. image/jpeg.

Showing below up to 14 results in range #1 to #14.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

  1. (download) Altun Riedel Lattice-Based Computation of Boolean Functions.ppt . . 0 × 0 . . 844 KB . . Altun . . 21:39, 20 June 2010
  2. (download) Backes Riedel Reduction Of Interpolants For Logic Synthesis.ppt . . 0 × 0 . . 729 KB . . Mriedel . . 04:22, 23 January 2011
  3. (download) Backes Riedel Resolution Proofs as a Data Structure for Logic Synthesis.ppt . . 0 × 0 . . 1.41 MB . . Mriedel . . 01:24, 24 June 2011
  4. (download) Backes Riedel The Synthesis Of Functional Dependencies With Craig Interpolation.ppt . . 0 × 0 . . 1,021 KB . . Mriedel . . 22:10, 3 February 2011
  5. (download) Ee1301-2013-fall-binary-decision-diagrams.ppt . . 0 × 0 . . 1.17 MB . . Mriedel . . 00:11, 11 October 2013
  6. (download) Fett Synthesizing Stochastic Biochemical Reactions.ppt . . 0 × 0 . . 935 KB . . Mriedel . . 03:20, 14 April 2013
  7. (download) Kharam Jiang Riedel Parhi Binary Counting with Chemical Reactions.ppt . . 0 × 0 . . 3.58 MB . . Mriedel . . 23:09, 9 July 2011
  8. (download) Kim Fan-out in Gene Regulatory Networks.ppt . . 0 × 0 . . 4.67 MB . . Wikisysop . . 15:24, 22 October 2010
  9. (download) Kulkarni Riedel Stan Networks of Passive Oscillators.ppt . . 0 × 0 . . 931 KB . . Mriedel . . 23:03, 26 October 2011
  10. (download) Qian Riedel Bazargan Lilja The Synthesis of Combinational Logic to Generate Probabilities.ppt . . 0 × 0 . . 2.61 MB . . Wikisysop . . 18:22, 8 August 2009
  11. (download) Qian Riedel Synthesizing Cubes to Satisfy a Given Intersection Pattern.ppt . . 0 × 0 . . 1.45 MB . . Weikang . . 11:21, 9 July 2010
  12. (download) Qian Riedel The Synthesis of Stochastic Logic to Perform Multivariate Polynomial Arithmetic.ppt . . 0 × 0 . . 573 KB . . Weikang . . 10:38, 7 August 2009
  13. (download) Qian Riedel Two Level Logic Synthesis for Probabilistic Computation.ppt . . 0 × 0 . . 875 KB . . Weikang . . 10:57, 9 July 2010
  14. (download) Qian Synthesizing Logical Computation on Stochastic Bit Streams.ppt . . 0 × 0 . . 9.32 MB . . Weikang . . 21:17, 6 August 2011

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)