File list

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

This special page shows all uploaded files.

File list
First pagePrevious pageNext pageLast page
Date Name Thumbnail Size User Description Versions
04:11, 17 February 2011 2-switch.png (file) 17 KB Student   1
04:13, 17 February 2011 4-switch.png (file) 21 KB Student   1
21:24, 6 September 2007 Adam Shea.png (file) 322 KB Student Photo of Adam Shea. 1
19:19, 2 July 2023 Agiza Oakley Rosenstein Rubenstein Kim Riedel Reda Digital Circuits and Neural Networks Based on Acid-Base Chemistry Implemented by Robotic Fluid Handling.pdf (file) 1.12 MB MarcRiedel   1
20:36, 29 December 2015 Ahmad.jpg (file) 2.68 MB Student Ahmad 1
15:06, 21 June 2022 Ajay Profile.png (file) 694 KB Manic016   1
15:51, 16 April 2021 Ajshrom.jpg (file) 1.17 MB Student   1
16:08, 16 April 2021 Ajshrom long.jpg (file) 1,009 KB Student   1
23:01, 15 April 2021 Aleae.gif (file) 7 KB Student   1
23:23, 23 April 2012 Altun An Emerging Computing Model A Network of Four Terminal Switches.ppt (file) 7.4 MB Student   1
17:10, 10 April 2012 Altun Logic Synthesis for Networks of Four Terminal Switches.pdf (file) 1.33 MB Student   1
14:36, 22 October 2018 Altun Riedel A Study on Monotone Self-Dual Boolean Functions.pdf (file) 176 KB Student   1
02:08, 3 September 2010 Altun Riedel Lattice-Based Computation of Boolean Functions.pdf (file) 310 KB Student   2
21:39, 20 June 2010 Altun Riedel Lattice-Based Computation of Boolean Functions.ppt (file) 844 KB Student   1
00:47, 3 August 2011 Altun Riedel Logic Synthesis for Switching Lattices.pdf (file) 769 KB Student   3
02:03, 3 September 2010 Altun Riedel Neuhauser Nanoscale Digital Computation Through Percolation.pdf (file) 498 KB Student   2
17:23, 6 February 2010 Altun Riedel Neuhauser Nanoscale Digital Computation Through Percolation.ppt (file) 2.61 MB Student   3
10:31, 16 May 2012 Altun Riedel Robust Computation through Percolation Synthesizing Logic with Percolation in Nanoscale Lattices.pdf (file) 674 KB Student   1
15:56, 10 January 2012 Altun Riedel Synthesizing Logic with Percolation in Nanoscale Lattices.pdf (file) 632 KB Student   2
22:59, 17 February 2010 Anaheim-convention-center.jpg (file) 45 KB Student   1
20:20, 8 July 2023 Analog-in-time.jpg (file) 694 KB MarcRiedel   1
15:56, 5 February 2020 Arnav Solanki profile image.jpg (file) 1.03 MB Student   1
12:58, 29 April 2010 Artist.jpg (file) 3 KB Student   1
01:42, 18 May 2021 ArtyA7.png (file) 404 KB Student   1
23:55, 18 April 2013 Aspnes-herlihy-shavit-counting-networks.pdf (file) 1.81 MB Student   1
15:13, 16 October 2023 Atkins Solanki Vasmatzis Cornette Riedel Geographically Biased Composition of NetMHCpan Training Datasets and Evaluation of MHC-Peptide Binding Prediction Accuracy on Novel Alleles.pdf (file) 9.84 MB MarcRiedel   1
12:49, 20 June 2008 BackesEmail.gif (file) 2 KB Student   1
23:00, 5 April 2013 Backes Algorithms And Data Structures For Logic Synthesis And Verification Using Boolean Satisfiability.pdf (file) 1.35 MB Student   2
23:03, 5 April 2013 Backes Algorithms And Data Structures For Logic Synthesis And Verification Using Boolean Satisfiability.pptx (file) 8.86 MB Student   1
12:02, 2 November 2011 Backes Fett Riedel The Analysis And Mapping Of Cyclic Cricuits With Boolean Satisfiability.pdf (file) 414 KB Student   2
00:12, 3 September 2010 Backes Riedel Reduction Of Interpolants For Logic Synthesis.pdf (file) 248 KB Student   3
04:22, 23 January 2011 Backes Riedel Reduction Of Interpolants For Logic Synthesis.ppt (file) 729 KB Student   1
15:18, 3 May 2011 Backes Riedel Resolution Proofs As A Data Structure For Logic Synthesis.pdf (file) 212 KB Student   1
01:24, 24 June 2011 Backes Riedel Resolution Proofs as a Data Structure for Logic Synthesis.ppt (file) 1.41 MB Student   1
19:27, 20 May 2011 Backes Riedel The Analysis of Cyclic Circuits With Boolean Satisfiability.pdf (file) 290 KB Student   2
22:10, 3 February 2011 Backes Riedel The Synthesis Of Functional Dependencies With Craig Interpolation.ppt (file) 1,021 KB Student   1
17:25, 17 June 2011 Backes Riedel The Synthesis of Cyclic Dependencies with Boolean Satisfiability.pdf (file) 670 KB Student   1
16:18, 24 July 2009 Backes Riedel The Synthesis of Cyclic Dependencies with Craig Interpolation.pdf (file) 257 KB Student   2
22:16, 9 January 2016 Backes Riedel The Synthesis of Cyclic Functional Dependencies with Boolean Satisfiability.pdf (file) 2.59 MB Student   1
22:43, 5 April 2013 Backes Riedel Using Cubes of Non-State Variables With Property Directed Reachability.pdf (file) 248 KB Student   1
22:46, 5 April 2013 Backes Riedel Using Cubes of Non-State Variables With Property Directed Reachability.pptx (file) 753 KB Student   1
21:17, 7 April 2008 Barrington Bounded-Width Polynomial-Size Branching Programs Recognize Exactly Those Languages in NC1.pdf (file) 845 KB Student   1
12:43, 24 December 2015 Bazargan Frisbee Harjani Lilja Riedel Design in a Post-CMOS Era when Transistor Counts Matter Again.pdf (file) 1.93 MB Student   1
15:09, 24 December 2015 Bazargan Frisbie Harjani Lilja Riedel Design in a Post-CMOS Era when Transistor Counts Matter Again.pdf (file) 1.93 MB Student   1
21:27, 1 March 2018 Belize-jan-2016-cover.jpg (file) 2.76 MB Student   2
00:33, 23 January 2008 Bin Cheng.jpg (file) 6 KB Student Bin Cheng's personal photo 2
21:11, 30 December 2015 BitLevel Corr Parhi Riedel Parhi.pdf (file) 633 KB Student   1
18:41, 6 July 2023 Bohossian Fan LeMahieu Riedel Xu Bruck Computing in the Rain A Reliable Array of Independent Nodes.pdf (file) 886 KB MarcRiedel   1
22:34, 14 April 2013 Branch-migration.png (file) 47 KB Student   2
21:16, 6 September 2007 Brian Fett.jpg (file) 47 KB Student Photo of Brian Fett. 1
First pagePrevious pageNext pageLast page