Help
Uploads by Student
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
Description
Versions
04:11, 17 February 2011
2-switch.png
(
file
)
17 KB
1
04:13, 17 February 2011
4-switch.png
(
file
)
21 KB
1
21:24, 6 September 2007
Adam Shea.png
(
file
)
322 KB
Photo of Adam Shea.
1
20:36, 29 December 2015
Ahmad.jpg
(
file
)
2.68 MB
Ahmad
1
15:51, 16 April 2021
Ajshrom.jpg
(
file
)
1.17 MB
1
16:08, 16 April 2021
Ajshrom long.jpg
(
file
)
1,009 KB
1
23:01, 15 April 2021
Aleae.gif
(
file
)
7 KB
1
23:23, 23 April 2012
Altun An Emerging Computing Model A Network of Four Terminal Switches.ppt
(
file
)
7.4 MB
1
17:10, 10 April 2012
Altun Logic Synthesis for Networks of Four Terminal Switches.pdf
(
file
)
1.33 MB
1
14:36, 22 October 2018
Altun Riedel A Study on Monotone Self-Dual Boolean Functions.pdf
(
file
)
176 KB
1
02:08, 3 September 2010
Altun Riedel Lattice-Based Computation of Boolean Functions.pdf
(
file
)
310 KB
2
21:39, 20 June 2010
Altun Riedel Lattice-Based Computation of Boolean Functions.ppt
(
file
)
844 KB
1
00:47, 3 August 2011
Altun Riedel Logic Synthesis for Switching Lattices.pdf
(
file
)
769 KB
3
02:03, 3 September 2010
Altun Riedel Neuhauser Nanoscale Digital Computation Through Percolation.pdf
(
file
)
498 KB
2
17:23, 6 February 2010
Altun Riedel Neuhauser Nanoscale Digital Computation Through Percolation.ppt
(
file
)
2.61 MB
3
10:31, 16 May 2012
Altun Riedel Robust Computation through Percolation Synthesizing Logic with Percolation in Nanoscale Lattices.pdf
(
file
)
674 KB
1
15:56, 10 January 2012
Altun Riedel Synthesizing Logic with Percolation in Nanoscale Lattices.pdf
(
file
)
632 KB
2
22:59, 17 February 2010
Anaheim-convention-center.jpg
(
file
)
45 KB
1
15:56, 5 February 2020
Arnav Solanki profile image.jpg
(
file
)
1.03 MB
1
12:58, 29 April 2010
Artist.jpg
(
file
)
3 KB
1
01:42, 18 May 2021
ArtyA7.png
(
file
)
404 KB
1
23:55, 18 April 2013
Aspnes-herlihy-shavit-counting-networks.pdf
(
file
)
1.81 MB
1
12:49, 20 June 2008
BackesEmail.gif
(
file
)
2 KB
1
23:00, 5 April 2013
Backes Algorithms And Data Structures For Logic Synthesis And Verification Using Boolean Satisfiability.pdf
(
file
)
1.35 MB
2
23:03, 5 April 2013
Backes Algorithms And Data Structures For Logic Synthesis And Verification Using Boolean Satisfiability.pptx
(
file
)
8.86 MB
1
12:02, 2 November 2011
Backes Fett Riedel The Analysis And Mapping Of Cyclic Cricuits With Boolean Satisfiability.pdf
(
file
)
414 KB
2
00:12, 3 September 2010
Backes Riedel Reduction Of Interpolants For Logic Synthesis.pdf
(
file
)
248 KB
3
04:22, 23 January 2011
Backes Riedel Reduction Of Interpolants For Logic Synthesis.ppt
(
file
)
729 KB
1
15:18, 3 May 2011
Backes Riedel Resolution Proofs As A Data Structure For Logic Synthesis.pdf
(
file
)
212 KB
1
01:24, 24 June 2011
Backes Riedel Resolution Proofs as a Data Structure for Logic Synthesis.ppt
(
file
)
1.41 MB
1
19:27, 20 May 2011
Backes Riedel The Analysis of Cyclic Circuits With Boolean Satisfiability.pdf
(
file
)
290 KB
2
22:10, 3 February 2011
Backes Riedel The Synthesis Of Functional Dependencies With Craig Interpolation.ppt
(
file
)
1,021 KB
1
17:25, 17 June 2011
Backes Riedel The Synthesis of Cyclic Dependencies with Boolean Satisfiability.pdf
(
file
)
670 KB
1
16:18, 24 July 2009
Backes Riedel The Synthesis of Cyclic Dependencies with Craig Interpolation.pdf
(
file
)
257 KB
2
22:16, 9 January 2016
Backes Riedel The Synthesis of Cyclic Functional Dependencies with Boolean Satisfiability.pdf
(
file
)
2.59 MB
1
22:43, 5 April 2013
Backes Riedel Using Cubes of Non-State Variables With Property Directed Reachability.pdf
(
file
)
248 KB
1
22:46, 5 April 2013
Backes Riedel Using Cubes of Non-State Variables With Property Directed Reachability.pptx
(
file
)
753 KB
1
21:17, 7 April 2008
Barrington Bounded-Width Polynomial-Size Branching Programs Recognize Exactly Those Languages in NC1.pdf
(
file
)
845 KB
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
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
1
21:27, 1 March 2018
Belize-jan-2016-cover.jpg
(
file
)
2.76 MB
2
00:33, 23 January 2008
Bin Cheng.jpg
(
file
)
6 KB
Bin Cheng's personal photo
2
21:11, 30 December 2015
BitLevel Corr Parhi Riedel Parhi.pdf
(
file
)
633 KB
1
22:34, 14 April 2013
Branch-migration.png
(
file
)
47 KB
2
21:16, 6 September 2007
Brian Fett.jpg
(
file
)
47 KB
Photo of Brian Fett.
1
15:22, 22 October 2010
Brown Dalchau Pedersen Phillips Designing Biological Devices in GEC.pdf
(
file
)
3.57 MB
1
21:33, 7 April 2008
Bryant Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams.pdf
(
file
)
416 KB
1
13:12, 12 April 2010
Cadence2.gif
(
file
)
5 KB
1
23:48, 24 January 2020
Chen Riedel Parallel Binary Sorting and Shifting with DNA.pdf
(
file
)
791 KB
Abstracts on SIMDNA structure, appeared on IWBDA 2019
1
16:44, 9 February 2022
Chen Solanki Riedel Concentration-Based-Polynomial-Calculations-on-Nicked-DNA.pdf
(
file
)
327 KB
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
User contributions
Logs
View user groups
Special pages
Printable version
