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 50 results in range #1 to #50.

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

  1. (download) Altun Logic Synthesis for Networks of Four Terminal Switches.pdf . . 1,275 × 1,650 . . 1.33 MB . . Altun . . 17:10, 10 April 2012
  2. (download) Altun Riedel A Study on Monotone Self-Dual Boolean Functions.pdf . . 1,275 × 1,650 . . 176 KB . . Mriedel . . 14:36, 22 October 2018
  3. (download) Altun Riedel Lattice-Based Computation of Boolean Functions.pdf . . 1,240 × 1,753 . . 310 KB . . Altun . . 02:08, 3 September 2010
  4. (download) Altun Riedel Logic Synthesis for Switching Lattices.pdf . . 1,275 × 1,650 . . 769 KB . . Altun . . 00:47, 3 August 2011
  5. (download) Altun Riedel Neuhauser Nanoscale Digital Computation Through Percolation.pdf . . 1,275 × 1,650 . . 498 KB . . Altun . . 02:03, 3 September 2010
  6. (download) Altun Riedel Robust Computation through Percolation Synthesizing Logic with Percolation in Nanoscale Lattices.pdf . . 1,050 × 1,500 . . 674 KB . . Mriedel . . 10:31, 16 May 2012
  7. (download) Altun Riedel Synthesizing Logic with Percolation in Nanoscale Lattices.pdf . . 1,275 × 1,650 . . 632 KB . . Altun . . 15:56, 10 January 2012
  8. (download) Aspnes-herlihy-shavit-counting-networks.pdf . . 1,295 × 1,664 . . 1.81 MB . . Mriedel . . 23:55, 18 April 2013
  9. (download) Backes Algorithms And Data Structures For Logic Synthesis And Verification Using Boolean Satisfiability.pdf . . 1,275 × 1,650 . . 1.35 MB . . Backes . . 23:00, 5 April 2013
  10. (download) Backes Fett Riedel The Analysis And Mapping Of Cyclic Cricuits With Boolean Satisfiability.pdf . . 1,275 × 1,650 . . 414 KB . . Backes . . 12:02, 2 November 2011
  11. (download) Backes Riedel Reduction Of Interpolants For Logic Synthesis.pdf . . 1,275 × 1,650 . . 248 KB . . Backes . . 00:12, 3 September 2010
  12. (download) Backes Riedel Resolution Proofs As A Data Structure For Logic Synthesis.pdf . . 1,275 × 1,650 . . 212 KB . . Backes . . 15:18, 3 May 2011
  13. (download) Backes Riedel The Analysis of Cyclic Circuits With Boolean Satisfiability.pdf . . 1,275 × 1,650 . . 290 KB . . Backes . . 19:27, 20 May 2011
  14. (download) Backes Riedel The Synthesis of Cyclic Dependencies with Boolean Satisfiability.pdf . . 1,275 × 1,650 . . 670 KB . . Backes . . 17:25, 17 June 2011
  15. (download) Backes Riedel The Synthesis of Cyclic Dependencies with Craig Interpolation.pdf . . 1,275 × 1,650 . . 257 KB . . Backes . . 16:18, 24 July 2009
  16. (download) Backes Riedel The Synthesis of Cyclic Functional Dependencies with Boolean Satisfiability.pdf . . 1,275 × 1,650 . . 2.59 MB . . Mriedel . . 22:16, 9 January 2016
  17. (download) Backes Riedel Using Cubes of Non-State Variables With Property Directed Reachability.pdf . . 1,275 × 1,650 . . 248 KB . . Backes . . 22:43, 5 April 2013
  18. (download) Barrington Bounded-Width Polynomial-Size Branching Programs Recognize Exactly Those Languages in NC1.pdf . . 1,275 × 1,650 . . 845 KB . . Wikisysop . . 21:17, 7 April 2008
  19. (download) Bazargan Frisbee Harjani Lilja Riedel Design in a Post-CMOS Era when Transistor Counts Matter Again.pdf . . 1,275 × 1,650 . . 1.93 MB . . Mriedel . . 12:43, 24 December 2015
  20. (download) Bazargan Frisbie Harjani Lilja Riedel Design in a Post-CMOS Era when Transistor Counts Matter Again.pdf . . 1,275 × 1,650 . . 1.93 MB . . Mriedel . . 15:09, 24 December 2015
  21. (download) BitLevel Corr Parhi Riedel Parhi.pdf . . 1,275 × 1,650 . . 633 KB . . Mparhi . . 21:11, 30 December 2015
  22. (download) Bryant Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams.pdf . . 1,275 × 1,650 . . 416 KB . . Wikisysop . . 21:33, 7 April 2008
  23. (download) Cheng Riedel Stochastic Transient Analysis of Biochemical Systems.pdf . . 1,239 × 1,754 . . 101 KB . . Wikisysop . . 07:00, 17 October 2008
  24. (download) Cheng Stochastic Transient Analysis of Biochemical Systems.pdf . . 1,275 × 1,650 . . 927 KB . . Mriedel . . 02:08, 17 February 2011
  25. (download) Cook Networks of Relations.pdf . . 1,275 × 1,650 . . 3.22 MB . . Wikisysop . . 21:06, 7 April 2008
  26. (download) Darpa-grant-storage-with-native-dna.pdf . . 1,500 × 1,125 . . 4.5 MB . . Mriedel . . 13:17, 2 February 2018
  27. (download) EE2301 Final sol.pdf . . 1,275 × 1,650 . . 160 KB . . Ee2301ta . . 11:26, 24 December 2014
  28. (download) EE2301 Midterm2 sol rev.pdf . . 1,275 × 1,650 . . 1.08 MB . . Ee2301ta . . 12:48, 15 December 2014
  29. (download) Ee1301-2013-fall-lab-01.pdf . . 1,275 × 1,650 . . 119 KB . . Mriedel . . 23:52, 7 September 2013
  30. (download) Ee1301-2013-fall-lab-02.pdf . . 1,275 × 1,650 . . 158 KB . . Mriedel . . 01:32, 22 September 2013
  31. (download) Ee1301-2013-fall-lab-03.pdf . . 1,275 × 1,650 . . 105 KB . . Mriedel . . 22:11, 5 October 2013
  32. (download) Ee1301-2013-fall-lab-04.pdf . . 1,275 × 1,650 . . 97 KB . . Mriedel . . 00:22, 13 October 2013
  33. (download) Ee1301-2013-fall-lab-05.pdf . . 1,275 × 1,650 . . 106 KB . . Mriedel . . 20:06, 19 October 2013
  34. (download) Ee1301-2013-fall-lab-06.pdf . . 1,275 × 1,650 . . 93 KB . . Mriedel . . 22:56, 3 November 2013
  35. (download) Ee1301-2013-fall-lab-07.pdf . . 1,275 × 1,650 . . 76 KB . . Mriedel . . 01:02, 25 November 2013
  36. (download) Ee1301-2013-fall-lab-08.pdf . . 1,275 × 1,650 . . 75 KB . . Mriedel . . 01:36, 7 December 2013
  37. (download) Ee1301-2013-fall-quiz-01-soln.pdf . . 1,275 × 1,650 . . 2 MB . . Mriedel . . 20:37, 4 October 2013
  38. (download) Ee1301-2013-fall-quiz-01.pdf . . 1,275 × 1,650 . . 1.18 MB . . Mriedel . . 13:07, 2 October 2013
  39. (download) Ee1301-2013-fall-quiz-02.pdf . . 1,275 × 1,650 . . 224 KB . . Mriedel . . 00:00, 6 December 2013
  40. (download) Ee1301-2013-fall-quiz-03.pdf . . 1,275 × 1,650 . . 240 KB . . Mriedel . . 00:01, 6 December 2013
  41. (download) Ee1301-2013-fall-quiz-soln-03.pdf . . 1,275 × 1,650 . . 242 KB . . Mriedel . . 01:37, 7 December 2013
  42. (download) Ee1301-2013-problems-01.pdf . . 1,275 × 1,650 . . 306 KB . . Mriedel . . 23:34, 18 September 2013
  43. (download) Ee1301-2013-problems-02.pdf . . 1,275 × 1,650 . . 192 KB . . Mriedel . . 05:22, 23 October 2013
  44. (download) Ee1301-2013-problems-03.pdf . . 1,275 × 1,650 . . 262 KB . . Mriedel . . 02:41, 29 November 2013
  45. (download) Ee1301-style-C.pdf . . 1,275 × 1,650 . . 19 KB . . Wikisysop . . 20:20, 12 September 2009
  46. (download) Ee1301-using-microsoft-c-compiler.pdf . . 1,275 × 1,650 . . 13 KB . . Wikisysop . . 20:25, 12 September 2009
  47. (download) Ee2301-2014-fall-asm.pdf . . 1,275 × 1,650 . . 364 KB . . Mriedel . . 01:19, 13 December 2014
  48. (download) Ee2301-2014-fall-exam-01-sol.pdf . . 1,275 × 1,650 . . 253 KB . . Ee2301ta . . 11:26, 29 October 2014
  49. (download) Ee2301-2014-fall-exam-01.pdf . . 1,275 × 1,650 . . 125 KB . . Mriedel . . 22:27, 26 October 2014
  50. (download) Ee2301-2014-fall-homework-03.pdf . . 1,275 × 1,650 . . 119 KB . . Mriedel . . 23:40, 26 October 2014

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