Help
File list
From The Circuits and Biology Lab at UMN
Jump to navigation
Jump to search
This special page shows all uploaded files.
File list
Items per page:
20
50
100
250
500
Search for media name:
Username:
Include old versions of files
Go
First page
Previous page
Next page
Last 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 page
Previous page
Next page
Last page
Navigation menu
Page actions
Special page
Page actions
Special page
Tools
Personal tools
Log in
Navigation
Main Page
People
Research
Publications
Search
Tools
Special pages
Printable version