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
16:25, 17 June 2011
1,275 × 1,650, 24 pages; 670 KB
Jiang Riedel Parhi Synchronous Sequential Computation with Molecular Reactions.pdf Student
21: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
11:42, 26 May 2011
1,275 × 1,650, 43 pages; 267 KB
Backes Riedel The Analysis of Cyclic Circuits With Boolean Satisfiability.pdf Student
18: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
14:18, 3 May 2011
1,275 × 1,650, 6 pages; 212 KB
Cheng Stochastic Transient Analysis of Biochemical Systems.pdf Student
01:08, 17 February 2011
1,275 × 1,650, 55 pages; 927 KB
- Backes Riedel The Synthesis Of Functional Dependencies With Craig Interpolation.ppt Student
21:10, 3 February 2011
; 1,021 KB
Fett Synthesizing Stochasticity in Biochemical Systems.pdf Student
04:06, 23 January 2011
1,275 × 1,650, 41 pages; 292 KB
- Backes Riedel Reduction Of Interpolants For Logic Synthesis.ppt Student
03:22, 23 January 2011
; 729 KB
Qian Riedel Rosenberg Uniform Approximation and Bernstein Polynomials with Coefficients in the Unit Interval.pdf Student
00:14, 12 January 2011
974 × 1,417, 16 pages; 264 KB
Brown Dalchau Pedersen Phillips Designing Biological Devices in GEC.pdf Student
14:22, 22 October 2010
; 3.57 MB
- Weeding Kaznessis SynBioSS Designer from DNA Sequnces to Dynamic Phenotypes.pdf Student
14:21, 22 October 2010
; 10.53 MB
Peccoud Design of Synthetic Genetic Systems.pdf Student
14:06, 22 October 2010
1,650 × 1,275, 67 pages; 6.4 MB
Marchisio Automatic Design of Digital Synthetic Gene Circuits.pdf Student
14:06, 22 October 2010
1,754 × 1,239, 16 pages; 1,022 KB
Kharam Jiang Riedel Parhi Binary Counting with Chemical Reactions.pdf Student
14: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
17: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
10: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
09:53, 29 September 2010
1,275 × 1,650, 30 pages; 274 KB
Qian Riedel Zhou Bruck Transforming Probabilities with Combinational Logic.pdf Student
09: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
22:16, 25 September 2010
1,275 × 1,650, 8 pages; 416 KB
Qian Riedel Synthesizing Logical Computation on Stochastic Bit Streams.pdf Student
22: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
10: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
09: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
09:32, 3 September 2010
1,275 × 1,650, 8 pages; 264 KB
Altun Riedel Lattice-Based Computation of Boolean Functions.pdf Student
01:08, 3 September 2010
1,240 × 1,753, 4 pages; 310 KB
Altun Riedel Neuhauser Nanoscale Digital Computation Through Percolation.pdf Student
01:03, 3 September 2010
1,275 × 1,650, 2 pages; 498 KB
Backes Riedel Reduction Of Interpolants For Logic Synthesis.pdf Student
23:12, 2 September 2010
1,275 × 1,650, 8 pages; 248 KB
- Qian Riedel Synthesizing Cubes to Satisfy a Given Intersection Pattern.ppt Student
10:21, 9 July 2010
; 1.45 MB
- Qian Riedel Two Level Logic Synthesis for Probabilistic Computation.ppt Student
09:57, 9 July 2010
; 875 KB
- Altun Riedel Lattice-Based Computation of Boolean Functions.ppt Student
20:39, 20 June 2010
; 844 KB
.jpg)
