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