MIME search

Showing below up to 20 results in range #1 to #20.

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)

1. (download) Agiza Oakley Rosenstein Rubenstein Kim Riedel Reda Digital Circuits and Neural Networks Based on Acid-Base Chemistry Implemented by Robotic Fluid Handling.pdf . . 1,240 × 1,647 . . 1.12 MB . . MarcRiedel . . 19:19, 2 July 2023
2. (download) Altun Logic Synthesis for Networks of Four Terminal Switches.pdf . . 1,275 × 1,650 . . 1.33 MB . . Student . . 17:10, 10 April 2012
3. (download) Altun Riedel A Study on Monotone Self-Dual Boolean Functions.pdf . . 1,275 × 1,650 . . 176 KB . . Student . . 14:36, 22 October 2018
4. (download) Altun Riedel Lattice-Based Computation of Boolean Functions.pdf . . 1,240 × 1,753 . . 310 KB . . Student . . 02:08, 3 September 2010
5. (download) Altun Riedel Logic Synthesis for Switching Lattices.pdf . . 1,275 × 1,650 . . 769 KB . . Student . . 00:47, 3 August 2011
6. (download) Altun Riedel Neuhauser Nanoscale Digital Computation Through Percolation.pdf . . 1,275 × 1,650 . . 498 KB . . Student . . 02:03, 3 September 2010
7. (download) Altun Riedel Robust Computation through Percolation Synthesizing Logic with Percolation in Nanoscale Lattices.pdf . . 1,050 × 1,500 . . 674 KB . . Student . . 10:31, 16 May 2012
8. (download) Altun Riedel Synthesizing Logic with Percolation in Nanoscale Lattices.pdf . . 1,275 × 1,650 . . 632 KB . . Student . . 15:56, 10 January 2012
9. (download) Aspnes-herlihy-shavit-counting-networks.pdf . . 1,295 × 1,664 . . 1.81 MB . . Student . . 23:55, 18 April 2013
10. (download) Atkins Solanki Vasmatzis Cornette Riedel Geographically Biased Composition of NetMHCpan Training Datasets and Evaluation of MHC-Peptide Binding Prediction Accuracy on Novel Alleles.pdf . . 1,275 × 1,650 . . 9.84 MB . . MarcRiedel . . 15:13, 16 October 2023
11. (download) Backes Algorithms And Data Structures For Logic Synthesis And Verification Using Boolean Satisfiability.pdf . . 1,275 × 1,650 . . 1.35 MB . . Student . . 23:00, 5 April 2013
12. (download) Backes Fett Riedel The Analysis And Mapping Of Cyclic Cricuits With Boolean Satisfiability.pdf . . 1,275 × 1,650 . . 414 KB . . Student . . 12:02, 2 November 2011
13. (download) Backes Riedel Reduction Of Interpolants For Logic Synthesis.pdf . . 1,275 × 1,650 . . 248 KB . . Student . . 00:12, 3 September 2010
14. (download) Backes Riedel Resolution Proofs As A Data Structure For Logic Synthesis.pdf . . 1,275 × 1,650 . . 212 KB . . Student . . 15:18, 3 May 2011
15. (download) Backes Riedel The Analysis of Cyclic Circuits With Boolean Satisfiability.pdf . . 1,275 × 1,650 . . 290 KB . . Student . . 19:27, 20 May 2011
16. (download) Backes Riedel The Synthesis of Cyclic Dependencies with Boolean Satisfiability.pdf . . 1,275 × 1,650 . . 670 KB . . Student . . 17:25, 17 June 2011
17. (download) Backes Riedel The Synthesis of Cyclic Dependencies with Craig Interpolation.pdf . . 1,275 × 1,650 . . 257 KB . . Student . . 16:18, 24 July 2009
18. (download) Backes Riedel The Synthesis of Cyclic Functional Dependencies with Boolean Satisfiability.pdf . . 1,275 × 1,650 . . 2.59 MB . . Student . . 22:16, 9 January 2016
19. (download) Backes Riedel Using Cubes of Non-State Variables With Property Directed Reachability.pdf . . 1,275 × 1,650 . . 248 KB . . Student . . 22:43, 5 April 2013
20. (download) Barrington Bounded-Width Polynomial-Size Branching Programs Recognize Exactly Those Languages in NC1.pdf . . 1,275 × 1,650 . . 845 KB . . Student . . 21:17, 7 April 2008

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)