Gallery of new files
From The Circuits and Biology Lab at UMN
Jump to navigationJump to search
This special page shows the last uploaded files.
- Backes Riedel The Synthesis of Cyclic Dependencies with Boolean Satisfiability.pdf Student
17:25, 17 June 2011
1,275 × 1,650, 24 pages; 670 KB
- Jiang Riedel Parhi Synchronous Sequential Computation with Molecular Reactions.pdf Student
22:47, 16 June 2011
1,275 × 1,650, 6 pages; 511 KB
- Qian Riedel Rosenberg Synthesizing Cubes to Satisfy a Given Intersection Pattern.pdf Student
12:42, 26 May 2011
1,275 × 1,650, 43 pages; 267 KB
- Backes Riedel The Analysis of Cyclic Circuits With Boolean Satisfiability.pdf Student
19:27, 20 May 2011
1,275 × 1,650, 7 pages; 290 KB
- Backes Riedel Resolution Proofs As A Data Structure For Logic Synthesis.pdf Student
15:18, 3 May 2011
1,275 × 1,650, 6 pages; 212 KB
- Cheng Stochastic Transient Analysis of Biochemical Systems.pdf Student
02:08, 17 February 2011
1,275 × 1,650, 55 pages; 927 KB
- Backes Riedel The Synthesis Of Functional Dependencies With Craig Interpolation.ppt Student
22:10, 3 February 2011
; 1,021 KB
- Fett Synthesizing Stochasticity in Biochemical Systems.pdf Student
05:06, 23 January 2011
1,275 × 1,650, 41 pages; 292 KB
- Backes Riedel Reduction Of Interpolants For Logic Synthesis.ppt Student
04:22, 23 January 2011
; 729 KB
- Qian Riedel Rosenberg Uniform Approximation and Bernstein Polynomials with Coefficients in the Unit Interval.pdf Student
01:14, 12 January 2011
974 × 1,417, 16 pages; 264 KB
- Brown Dalchau Pedersen Phillips Designing Biological Devices in GEC.pdf Student
15:22, 22 October 2010
; 3.57 MB
- Weeding Kaznessis SynBioSS Designer from DNA Sequnces to Dynamic Phenotypes.pdf Student
15:21, 22 October 2010
; 10.53 MB
- Peccoud Design of Synthetic Genetic Systems.pdf Student
15:06, 22 October 2010
1,650 × 1,275, 67 pages; 6.4 MB
- Marchisio Automatic Design of Digital Synthetic Gene Circuits.pdf Student
15:06, 22 October 2010
1,754 × 1,239, 16 pages; 1,022 KB
- Kharam Jiang Riedel Parhi Binary Counting with Chemical Reactions.pdf Student
15:13, 7 October 2010
1,240 × 1,753, 12 pages; 391 KB
- Qian Backes Riedel The Synthesis of Stochastic Circuits for Nanoscale Computation IJNMC.pdf Student
18:17, 29 September 2010
1,274 × 1,755, 19 pages; 808 KB
- Qian Riedel Bazargan Lilja The Synthesis of Combinational Logic to Generate Probabilities.pdf Student
11:13, 29 September 2010
1,240 × 1,753, 8 pages; 296 KB
- Qian Riedel Bazargan Lilja Synthesizing Combinational Logic to Generate Probabilities Theories and Algorithms.pdf Student
10:53, 29 September 2010
1,275 × 1,650, 30 pages; 274 KB
- Qian Riedel Zhou Bruck Transforming Probabilities with Combinational Logic.pdf Student
10:28, 29 September 2010
1,275 × 1,650, 14 pages; 445 KB
- Jiang Kharam Riedel Parhi A Synthesis Flow for Digital Signal Processing with Biomolecular Reactions.pdf Student
23:16, 25 September 2010
1,275 × 1,650, 8 pages; 416 KB
- Qian Riedel Synthesizing Logical Computation on Stochastic Bit Streams.pdf Student
23:43, 20 September 2010
1,240 × 1,753, 8 pages; 749 KB
- Qian Li Riedel Bazargan Lilja An Architecture for Fault-Tolerant Computation with Stochastic Logic.pdf Student
11:10, 3 September 2010
1,275 × 1,650, 13 pages; 1.5 MB
- Qian Riedel The Synthesis of Robust Polynomial Arithmetic with Stochastic Logic.pdf Student
10:48, 3 September 2010
1,240 × 1,753, 6 pages; 308 KB
- Qian Riedel The Synthesis of Stochastic Logic to Perform Multivariate Polynomial Arithmetic.pdf Student
10:32, 3 September 2010
1,275 × 1,650, 8 pages; 264 KB
- Altun Riedel Lattice-Based Computation of Boolean Functions.pdf Student
02:08, 3 September 2010
1,240 × 1,753, 4 pages; 310 KB
- Altun Riedel Neuhauser Nanoscale Digital Computation Through Percolation.pdf Student
02:03, 3 September 2010
1,275 × 1,650, 2 pages; 498 KB
- Backes Riedel Reduction Of Interpolants For Logic Synthesis.pdf Student
00:12, 3 September 2010
1,275 × 1,650, 8 pages; 248 KB
- Qian Riedel Synthesizing Cubes to Satisfy a Given Intersection Pattern.ppt Student
11:21, 9 July 2010
; 1.45 MB
- Qian Riedel Two Level Logic Synthesis for Probabilistic Computation.ppt Student
10:57, 9 July 2010
; 875 KB
- Altun Riedel Lattice-Based Computation of Boolean Functions.ppt Student
21:39, 20 June 2010
; 844 KB
- Qian Riedel Two Level Logic Synthesis for Probabilistic Computation.pdf Student
11:32, 6 May 2010
1,240 × 1,753, 8 pages; 256 KB
- Qian Riedel Synthesizing a Set of Cubes to Satisfy a Given Intersection Pattern.pdf Student
11:30, 6 May 2010
1,240 × 1,753, 8 pages; 233 KB
- Li Qian Riedel Bazargan Lilja A Reconfigurable Stochastic Architecture for Highly Reliable Computing.pdf Student
02:44, 15 March 2010
1,240 × 1,753, 6 pages; 678 KB
- Altun Riedel Neuhauser Nanoscale Digital Computation Through Percolation.ppt Student
17:23, 6 February 2010
; 2.61 MB
- Shea Fett Riedel Parhi Writing and Compiling code into Biochemistry.pdf Student
01:39, 6 January 2010
1,275 × 1,650, 9 pages; 335 KB
- Riedel Cyclic Combinational Circuits.pdf Student
15:20, 22 October 2009
1,275 × 1,650, 119 pages; 1.39 MB
- Qian Riedel Bazargan Lilja The Synthesis of Combinational Logic to Generate Probabilities.ppt Student
18:22, 8 August 2009
; 2.61 MB
- Qian Riedel The Synthesis of Stochastic Logic to Perform Multivariate Polynomial Arithmetic.ppt Student
10:38, 7 August 2009
; 573 KB
- Backes Riedel The Synthesis of Cyclic Dependencies with Craig Interpolation.pdf Student
16:18, 24 July 2009
1,275 × 1,650, 7 pages; 257 KB
- Sivaswamy Bazargan Riedel Estimation and Optimization of Reliability of Noisy Digital Circuits.pdf Student
04:01, 6 January 2009
1,275 × 1,650, 6 pages; 277 KB
- Riedel Bruck Timing Analysis of Cyclic Combinational Circuits.pdf Student
03:27, 6 January 2009
1,275 × 1,650, 8 pages; 288 KB
- Riedel Bruck The Synthesis of Cyclic Combinational Circuits.pdf Student
01:37, 6 November 2008
1,275 × 1,650, 6 pages; 230 KB
- Cheng Riedel Stochastic Transient Analysis of Biochemical Systems.pdf Student
07:00, 17 October 2008
1,239 × 1,754, 11 pages; 101 KB
- Fett Riedel Module Locking in Biochemical Synthesis.pdf Student
04:25, 16 October 2008
1,275 × 1,650, 7 pages; 173 KB
- Fett Bruck Riedel Synthesizing Stochasticity in Biochemical Systems.pdf Student
03:29, 16 October 2008
1,240 × 1,753, 6 pages; 316 KB
- Bryant Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams.pdf Student
21:33, 7 April 2008
1,275 × 1,650, 34 pages; 416 KB
- Barrington Bounded-Width Polynomial-Size Branching Programs Recognize Exactly Those Languages in NC1.pdf Student
21:17, 7 April 2008
1,275 × 1,650, 5 pages; 845 KB
- Hopfield Neural Networks and Physical Systems with Emergent Collective Computational Abilities.pdf Student
21:04, 7 April 2008
1,310 × 1,710, 6 pages; 2.38 MB
- Shannon A Symbolic Analysis of Relay and Switching Circuits.pdf Student
21:04, 7 April 2008
1,275 × 1,650, 27 pages; 7.09 MB
- Von Neumann Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components.pdf Student
20:25, 7 April 2008
1,262 × 1,625, 56 pages; 5.4 MB
- Moore Shannon Reliable Circuits Using Less Reliable Relays.pdf Student
01:17, 24 February 2008
975 × 1,320, 18 pages; 1.08 MB
- Gillespie-Daniel-T Stochastic Simulation of Chemical Kinetics.pdf Student
19:34, 26 September 2007
1,106 × 1,368, 23 pages; 314 KB