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
21:16, 6 September 2007
Brian Fett.jpg
(
file
)
47 KB
Student
Photo of Brian Fett.
1
22:34, 14 April 2013
Branch-migration.png
(
file
)
47 KB
Student
2
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
21:11, 30 December 2015
BitLevel Corr Parhi Riedel Parhi.pdf
(
file
)
633 KB
Student
1
00:33, 23 January 2008
Bin Cheng.jpg
(
file
)
6 KB
Student
Bin Cheng's personal photo
2
21:27, 1 March 2018
Belize-jan-2016-cover.jpg
(
file
)
2.76 MB
Student
2
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
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
21:17, 7 April 2008
Barrington Bounded-Width Polynomial-Size Branching Programs Recognize Exactly Those Languages in NC1.pdf
(
file
)
845 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
22:43, 5 April 2013
Backes Riedel Using Cubes of Non-State Variables With Property Directed Reachability.pdf
(
file
)
248 KB
Student
1
22:16, 9 January 2016
Backes Riedel The Synthesis of Cyclic Functional Dependencies with Boolean Satisfiability.pdf
(
file
)
2.59 MB
Student
1
16:18, 24 July 2009
Backes Riedel The Synthesis of Cyclic Dependencies with Craig Interpolation.pdf
(
file
)
257 KB
Student
2
17:25, 17 June 2011
Backes Riedel The Synthesis of Cyclic Dependencies with Boolean Satisfiability.pdf
(
file
)
670 KB
Student
1
22:10, 3 February 2011
Backes Riedel The Synthesis Of Functional Dependencies With Craig Interpolation.ppt
(
file
)
1,021 KB
Student
1
19:27, 20 May 2011
Backes Riedel The Analysis of Cyclic Circuits With Boolean Satisfiability.pdf
(
file
)
290 KB
Student
2
01:24, 24 June 2011
Backes Riedel Resolution Proofs as a Data Structure for Logic Synthesis.ppt
(
file
)
1.41 MB
Student
1
15:18, 3 May 2011
Backes Riedel Resolution Proofs As A Data Structure For Logic Synthesis.pdf
(
file
)
212 KB
Student
1
04:22, 23 January 2011
Backes Riedel Reduction Of Interpolants For Logic Synthesis.ppt
(
file
)
729 KB
Student
1
00:12, 3 September 2010
Backes Riedel Reduction Of Interpolants For Logic Synthesis.pdf
(
file
)
248 KB
Student
3
12:02, 2 November 2011
Backes Fett Riedel The Analysis And Mapping Of Cyclic Cricuits With Boolean Satisfiability.pdf
(
file
)
414 KB
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
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
12:49, 20 June 2008
BackesEmail.gif
(
file
)
2 KB
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
23:55, 18 April 2013
Aspnes-herlihy-shavit-counting-networks.pdf
(
file
)
1.81 MB
Student
1
01:42, 18 May 2021
ArtyA7.png
(
file
)
404 KB
Student
1
12:58, 29 April 2010
Artist.jpg
(
file
)
3 KB
Student
1
15:56, 5 February 2020
Arnav Solanki profile image.jpg
(
file
)
1.03 MB
Student
1
20:20, 8 July 2023
Analog-in-time.jpg
(
file
)
694 KB
MarcRiedel
1
22:59, 17 February 2010
Anaheim-convention-center.jpg
(
file
)
45 KB
Student
1
15:56, 10 January 2012
Altun Riedel Synthesizing Logic with Percolation in Nanoscale Lattices.pdf
(
file
)
632 KB
Student
2
10:31, 16 May 2012
Altun Riedel Robust Computation through Percolation Synthesizing Logic with Percolation in Nanoscale Lattices.pdf
(
file
)
674 KB
Student
1
17:23, 6 February 2010
Altun Riedel Neuhauser Nanoscale Digital Computation Through Percolation.ppt
(
file
)
2.61 MB
Student
3
02:03, 3 September 2010
Altun Riedel Neuhauser Nanoscale Digital Computation Through Percolation.pdf
(
file
)
498 KB
Student
2
00:47, 3 August 2011
Altun Riedel Logic Synthesis for Switching Lattices.pdf
(
file
)
769 KB
Student
3
21:39, 20 June 2010
Altun Riedel Lattice-Based Computation of Boolean Functions.ppt
(
file
)
844 KB
Student
1
02:08, 3 September 2010
Altun Riedel Lattice-Based Computation of Boolean Functions.pdf
(
file
)
310 KB
Student
2
14:36, 22 October 2018
Altun Riedel A Study on Monotone Self-Dual Boolean Functions.pdf
(
file
)
176 KB
Student
1
17:10, 10 April 2012
Altun Logic Synthesis for Networks of Four Terminal Switches.pdf
(
file
)
1.33 MB
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
23:01, 15 April 2021
Aleae.gif
(
file
)
7 KB
Student
1
16:08, 16 April 2021
Ajshrom long.jpg
(
file
)
1,009 KB
Student
1
15:51, 16 April 2021
Ajshrom.jpg
(
file
)
1.17 MB
Student
1
15:06, 21 June 2022
Ajay Profile.png
(
file
)
694 KB
Manic016
1
20:36, 29 December 2015
Ahmad.jpg
(
file
)
2.68 MB
Student
Ahmad
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
21:24, 6 September 2007
Adam Shea.png
(
file
)
322 KB
Student
Photo of Adam Shea.
1
04:13, 17 February 2011
4-switch.png
(
file
)
21 KB
Student
1
04:11, 17 February 2011
2-switch.png
(
file
)
17 KB
Student
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
