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