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