Gallery of new files
From The Circuits and Biology Lab at UMN
Jump to navigationJump to search
This special page shows the last uploaded files.
- Jiang Digital Logic and Signal Processing Computations with Molecular Reactions.pdf Student
23:54, 13 April 2013
1,275 × 1,650, 297 pages; 7.79 MB
- Jiang Salehi Riedel Parhi Discrete-Time Signal Processing with DNA.pdf Student
23:05, 9 April 2013
1,302 × 1,704, 10 pages; 584 KB
- Backes Algorithms And Data Structures For Logic Synthesis And Verification Using Boolean Satisfiability.pptx Student
22:03, 5 April 2013
; 8.86 MB
- Backes Algorithms And Data Structures For Logic Synthesis And Verification Using Boolean Satisfiability.pdf Student
22:00, 5 April 2013
1,275 × 1,650, 164 pages; 1.35 MB
- Backes Riedel Using Cubes of Non-State Variables With Property Directed Reachability.pptx Student
21:46, 5 April 2013
; 753 KB
- Backes Riedel Using Cubes of Non-State Variables With Property Directed Reachability.pdf Student
21:43, 5 April 2013
1,275 × 1,650, 4 pages; 248 KB
- Riedel Bruck Cyclic Boolean Circuits.pdf Student
05:15, 16 June 2012
1,240 × 1,753, 25 pages; 1.04 MB
- Qian Backes Riedel The Synthesis of Stochastic Circuits for Nanoscale Computation.pdf Student
09:35, 16 May 2012
1,275 × 1,650, 16 pages; 1.64 MB
- Altun Riedel Robust Computation through Percolation Synthesizing Logic with Percolation in Nanoscale Lattices.pdf Student
09:31, 16 May 2012
1,050 × 1,500, 19 pages; 674 KB
- Altun An Emerging Computing Model A Network of Four Terminal Switches.ppt Student
22:23, 23 April 2012
; 7.4 MB
- Altun Logic Synthesis for Networks of Four Terminal Switches.pdf Student
16:10, 10 April 2012
1,275 × 1,650, 112 pages; 1.33 MB
- Kulkarni Kareenhalli Viswananthan Riedel Characterizing the Memory of the GAL Regulatory Network in Saccharomyces cerevisiae.pdf Student
19:17, 11 March 2012
1,240 × 1,753, 10 pages; 623 KB
- Altun Riedel Synthesizing Logic with Percolation in Nanoscale Lattices.pdf Student
14:56, 10 January 2012
1,275 × 1,650, 17 pages; 632 KB
- Backes Fett Riedel The Analysis And Mapping Of Cyclic Cricuits With Boolean Satisfiability.pdf Student
11:02, 2 November 2011
1,275 × 1,650, 11 pages; 414 KB
- Riedel Bazargan Harjani Lilja Digital Yet Deliberately Random Synthesizing Logical Computation on Stochastic Bit Streams.pdf Student
22:45, 26 October 2011
1,275 × 1,650, 20 pages; 1.45 MB
- Kulkarni Riedel Stan Networks of Passive Oscillators.pdf Student
22:09, 26 October 2011
1,275 × 1,650, 7 pages; 286 KB
- Jiang Riedel Parhi Digital Signal Processing with Molecular Reactions.pdf Student
00:17, 17 August 2011
1,275 × 1,650, 9 pages; 379 KB
- Qian Synthesizing Logical Computation on Stochastic Bit Streams.ppt Student
20:17, 6 August 2011
; 9.32 MB
- Qian Synthesizing Logical Computation on Stochastic Bit Streams.pdf Student
20:03, 6 August 2011
1,275 × 1,650, 185 pages; 1.85 MB
- Altun Riedel Logic Synthesis for Switching Lattices.pdf Student
23:47, 2 August 2011
1,275 × 1,650, 14 pages; 769 KB
- Parhi Riedel Digital Signal Processing with Biomolecular Reactions.pdf Student
19:26, 10 July 2011
1,275 × 1,650, 19 pages; 509 KB
- Parhi Riedel Synthesizing Signal Processing Functions with Biochemical Reactions.pdf Student
19:20, 10 July 2011
1,275 × 1,650, 13 pages; 987 KB
- Riedel Exploiting Percolation and Randomness in the Concurrent Logical and Physical Design of Digital Nanoscale Circuits.pdf Student
19:07, 10 July 2011
1,275 × 1,650, 6 pages; 352 KB
- Jiang Kharam Riedel Parhi Digital Signal Processing with Biomolecular Reactions.pptx Student
23:14, 9 July 2011
; 1.42 MB
- Jiang Kharam Riedel Parhi Digital Signal Processing with Biomolecular Reactions.pdf Student
23:12, 9 July 2011
1,275 × 1,650, 8 pages; 372 KB
- Senum Riedel Rate-Independent Modules for Chemical Computation.pptx Student
22:54, 9 July 2011
; 619 KB
- Kharam Jiang Riedel Parhi Binary Counting with Chemical Reactions.ppt Student
22:09, 9 July 2011
; 3.58 MB
- Jiang Riedel Parhi Synchronous Sequential Computation with Molecular Reactions.pptx Student
22:09, 9 July 2011
; 795 KB
- Senum Riedel Rate-Independent Constructs for Chemical Computation.pdf Student
12:35, 7 July 2011
1,275 × 1,647, 24 pages; 482 KB
- Backes Riedel Resolution Proofs as a Data Structure for Logic Synthesis.ppt Student
00:24, 24 June 2011
; 1.41 MB