Difference between revisions of "Papers, Theses, and Presentations"

From The Circuits and Biology Lab at UMN
Jump to navigationJump to search
Tag: visualeditor
 
(38 intermediate revisions by 3 users not shown)
Line 3: Line 3:
  
 
== Computing with Random Bit Streams  ==
 
== Computing with Random Bit Streams  ==
 +
 
{|
 
{|
 
|
 
|
Line 8: Line 9:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Najafi_Lilja_Riedel_Bazargan_Low_Cost_Sorting_Network_Circuits_using_Unary_Processing.pdf |Low Cost Sorting Network Circuits using Unary Processing]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/c/c9/Najafi_Jenson_Lilja_Riedel_Performing_Stochastic_Computation_Deterministically.pdf Performing Stochastic Computation Deterministically]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| [[M. Hassan Najafi]], [http://www.arctic.umn.edu/people/david-lilja David Lilja], [[Marc Riedel]], and [http://kia.umn.edu Kia Bazargan]
+
| [[M. Hassan Najafi]], [[Devon Jenson]], [https://ece.umn.edu/directory/lilja-david/ David Lilja], and [[Marc Riedel]]
 
|- valign="top"
 
|- valign="top"
 
| '''appeared in''':
 
| '''appeared in''':
| [https://ieeexplore.ieee.org/abstract/document/8338366 IEEE Trans. on Very Large Scale Integration Sys.], Vol. 26, No. 8, pp. 1471–1480, 2018
+
| [https://ieeexplore.ieee.org/document/8793244 IEEE Transactions on Very Large Scale Integration (VLSI) Systems],<br>Vol. 27, No. 29, pp. 2925&ndash;2938, 2019
 +
|- valign="top"
 +
| '''presented at''':
 +
| [https://iscas2020.org IEEE International Symposium of Circuits and Systems], 2020
 
|- valign="top"
 
|- valign="top"
 
| '''presented at''':
 
| '''presented at''':
| [https://ieeexplore.ieee.org/abstract/document/8119200 IEEE International Conference on Computer Design], 2017
+
| [http://www.ieee.org/conferences_events/conferences/conferencedetails/index.html?Conf_ID=38629 IEEE/ACM International Conference on Computer-Aided Design], 2016
 
|}
 
|}
| align=center width="70" |
+
| align="center" width="70" |
 
<span class="plainlinks">
 
<span class="plainlinks">
[http://www.mriedel.ece.umn.edu/wiki/images/c/cc/Najafi_Lilja_Riedel_Bazargan_Low_Cost_Sorting_Network_Circuits_using_Unary_Processing.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
[http://mriedel.ece.umn.edu/wiki/images/c/c9/Najafi_Jenson_Lilja_Riedel_Performing_Stochastic_Computation_Deterministically.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Najafi_Lilja_Riedel_Bazargan_Low_Cost_Sorting_Network_Circuits_using_Unary_Processing.pdf | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/c/c9/Najafi_Jenson_Lilja_Riedel_Performing_Stochastic_Computation_Deterministically.pdf  Paper]
 +
| align="center" width="70" |
 +
<span class="plainlinks">[http://cadbio.com/wiki/images/4/4f/Jenson_Riedel_A_Deterministic_Approach_to_Stochastic_Computing.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 +
<br>[http://cadbio.com/wiki/images/4/4f/Jenson_Riedel_A_Deterministic_Approach_to_Stochastic_Computing.pptx Slides]
 
|}
 
|}
 +
 
{|
 
{|
 
|
 
|
Line 30: Line 38:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [http://mriedel.ece.umn.edu/wiki/images/7/7f/Najafi_Jamali-Zavareh_Lilja_Riedel_Bazargan_Harjani_An_Overview_of_Time-Based_Computing_with_Stochastic_Constructs.pdf An Overview of Time-Based Computing with Stochastic Constructs]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/0/0c/Qian-riedel-synthesis-of-polynomials.pdf Synthesis of Polynomial Functions]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| [[M. Hassan Najafi]], S. Jamali-Zavareh, [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Marc Riedel]], [http://people.ece.umn.edu/~kia Kia Bazargan] and<br>[http://people.ece.umn.edu/~harjani/ Ramesh Harjani]
+
| [[Weikang Qian]] and [[Marc Riedel]]
 
|- valign="top"
 
|- valign="top"
 
| '''appeared in''':
 
| '''appeared in''':
| [http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=40 IEEE Micro,] Vol. 37, No. 6, pp. 62--71, 2017 
+
| [https://link.springer.com/book/10.1007/978-3-030-03730-7 Chapter 4, Stochastic Computing: Techniques and Applications],<br>Springer, W.J Gross and V. C. Gaudet, Editors, pp. pp. 103&ndash;120, 2019
 
|}
 
|}
 
| align="center" width="70" |
 
| align="center" width="70" |
 
<span class="plainlinks">
 
<span class="plainlinks">
[http://mriedel.ece.umn.edu/wiki/images/7/7f/Najafi_Jamali-Zavareh_Lilja_Riedel_Bazargan_Harjani_An_Overview_of_Time-Based_Computing_with_Stochastic_Constructs.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
[http://mriedel.ece.umn.edu/wiki/images/0/0c/Qian-riedel-synthesis-of-polynomials.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Najafi_Jamali_Zavareh_Lilja_Riedel_Bazargan_Harjani_Time_Encoded_Values_for_Highly_Efficient_Stochastic_Circuits.pdf | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/0/0c/Qian-riedel-synthesis-of-polynomials.pdf Paper]
|-
+
|}
 +
 
 +
{|
 
|
 
|
 
{| style="background:#F0E68C"
 
{| style="background:#F0E68C"
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Najafi_Jamali_Zavareh_Lilja_Riedel_Bazargan_Harjani_Time_Encoded_Values_for_Highly_Efficient_Stochastic_Circuits.pdf |Time-Encoded Values for Highly Efficient Stochastic Circuits]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/a/a5/Riedel-deterministic-approaches-to-bitstream-computing.pdf Deterministic Approaches to Bitstream Computing]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| [[M. Hassan Najafi]], S. Jamali-Zavareh, [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Marc Riedel]], [http://people.ece.umn.edu/~kia Kia Bazargan] and<br>[http://people.ece.umn.edu/~harjani/ Ramesh Harjani]
+
| [[Marc Riedel]]
 
|- valign="top"
 
|- valign="top"
| '''to appear in''':
+
| '''appeared in''':
| [http://ieeexplore.ieee.org/xpl/aboutJournal.jsp?punumber=92 IEEE Transactions on VLSI, 2017]
+
| [https://link.springer.com/book/10.1007/978-3-030-03730-7 Chapter 5, Stochastic Computing: Techniques and Applications],<br>Springer, W.J Gross and V. C. Gaudet, Editors, pp. pp. 121&ndash;136, 2019
|- valign="top"
 
| '''presented at''':
 
| [http://www.ieee.org/conferences_events/conferences/conferencedetails/index.html?Conf_ID=33621 IEEE International Symposium on Circuits and Systems, 2017]
 
 
|}
 
|}
 
| align="center" width="70" |
 
| align="center" width="70" |
 
<span class="plainlinks">
 
<span class="plainlinks">
[http://www.mriedel.ece.umn.edu/wiki/images/b/b0/Najafi_Jamali_Zavareh_Lilja_Riedel_Bazargan_Harjani_Time_Encoded_Values_for_Highly_Efficient_Stochastic_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
[http://mriedel.ece.umn.edu/wiki/images/a/a5/Riedel-deterministic-approaches-to-bitstream-computing.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Najafi_Jamali_Zavareh_Lilja_Riedel_Bazargan_Harjani_Time_Encoded_Values_for_Highly_Efficient_Stochastic_Circuits.pdf | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/0/0c/Qian-riedel-synthesis-of-polynomials.pdf Paper]
 
|}
 
|}
 +
 
{|
 
{|
 
|
 
|
Line 70: Line 78:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Najafi_Lilja_Riedel_Bazargan_Polysynchronous_Clocking_Exploiting_the_Skew_Tolerance_of_Stochastic_Circuits.pdf |Polysynchronous Clocking: Exploiting the Skew Tolerance of Stochastic Circuits]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/1/1f/Najafi_Lilja_Riedel_Deterministic_Methods_for_Stochastic_Computing_using_Low-Discrepancy_Sequences.pdf Deterministic Methods for Stochastic Computing using Low-Discrepancy Sequences]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| [[M. Hassan Najafi]], [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Marc Riedel]], and [http://www.ece.umn.edu/users/kia/ Kia Bazargan]
+
| [[M. Hassan Najafi]], [http://www.arctic.umn.edu/people/david-lilja David Lilja], and [[Marc Riedel]]
|- valign="top"
+
|- valign="top"
| '''appeared in''':
 
| [https://ieeexplore.ieee.org/document/7911306 IEEE Transactions on Computers], Vol. 66, No. 10, pp. 1734&ndash;1746, 2017<br>'''Feature Paper of the Month'''
 
|- valign="top"
 
| '''presented at''':
 
| "Work-in-Progress Session", [https://dac.com/content/53rd-dac IEEE/ACM Design Automation Conference], 2016
 
|- valign="top"  
 
 
| '''presented at''':
 
| '''presented at''':
| [http://www.amsv.umac.mo/aspdac2016/ IEEE/ACM Asia and South Pacific Design Automation Conference], 2016
+
| [https://www.iccad.com/sites/iccad.com/files/2018_ICCADProgram_WEB.pdf IEEE/ACM International Conference on Computer-Aided Design], 2018
 
|}
 
|}
| align="center" width="70" |  
+
| align="center" width="70" |
 
<span class="plainlinks">
 
<span class="plainlinks">
[http://cctbio.ece.umn.edu/wiki/images/1/13/Najafi_Lilja_Riedel_Bazargan_Polysynchronous_Clocking_Exploiting_the_Skew_Tolerance_of_Stochastic_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
[http://mriedel.ece.umn.edu/wiki/images/1/1f/Najafi_Lilja_Riedel_Deterministic_Methods_for_Stochastic_Computing_using_Low-Discrepancy_Sequences.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Najafi_Lilja_Riedel_Bazargan_Polysynchronous_Clocking_Exploiting_the_Skew_Tolerance_of_Stochastic_Circuits.pdf | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/1/1f/Najafi_Lilja_Riedel_Deterministic_Methods_for_Stochastic_Computing_using_Low-Discrepancy_Sequences.pdf Paper]
| align="center" width="70" |  
+
| align="center" width="70" |
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/7/7d/Najafi_Lilja_Riedel_Bazargan_Polysynchronous_Stochastic_Circuits-long.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
+
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/3/36/Najafi_Lilja_Riedel_Deterministic_Methods_for_Stochastic_Computing_using_Low-Discrepancy_Sequences_Slides.pdf http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
<br>[http://cctbio.ece.umn.edu/wiki/images/7/7d/Najafi_Lilja_Riedel_Bazargan_Polysynchronous_Stochastic_Circuits-long.pptx Slides]
+
<br>[http://mriedel.ece.umn.edu/wiki/images/3/36/Najafi_Lilja_Riedel_Deterministic_Methods_for_Stochastic_Computing_using_Low-Discrepancy_Sequences_Slides.pdf Slides]
 
|}
 
|}
 
{|
 
{|
Line 98: Line 100:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Salehi_Liu_Riedel_Parhi_Computing_Polynomials_with_Positive_Coefficients_using_Stochastic_Logic_by_Double-NAND_Expansion.pdf |Computing Polynomials with Positive Coefficients using Stochastic Logic by Double NAND Expansion]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/c/cc/Najafi_Lilja_Riedel_Bazargan_Low_Cost_Sorting_Network_Circuits_using_Unary_Processing.pdf Low Cost Sorting Network Circuits using Unary Processing]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| Ahmad Salehi, Yin Liu, [[Marc Riedel]], and [http://people.ece.umn.edu/~parhi/ Keshab Parhi]
+
| [[M. Hassan Najafi]], [http://www.arctic.umn.edu/people/david-lilja David Lilja], [[Marc Riedel]], and [http://kia.umn.edu Kia Bazargan]
 +
|- valign="top"
 +
| '''appeared in''':
 +
| [https://ieeexplore.ieee.org/abstract/document/8338366 IEEE Trans. on Very Large Scale Integration Sytems],<br>Vol. 26, No. 8, pp. 1471&ndash;1480, 2018
 
|- valign="top"
 
|- valign="top"
 
| '''presented at''':
 
| '''presented at''':
| [http://www.glsvlsi.org/ ACM Great Lakes Symposium on VLSI, 2017]
+
| [https://ieeexplore.ieee.org/abstract/document/8119200 IEEE International Conference on Computer Design], 2017
 
|}
 
|}
 
| align="center" width="70" |
 
| align="center" width="70" |
 
<span class="plainlinks">
 
<span class="plainlinks">
[http://128.101.171.36/wiki/images/9/92/Salehi_Liu_Riedel_Parhi_Computing_Polynomials_with_Positive_Coefficients_using_Stochastic_Logic_by_Double-NAND_Expansion.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
[http://www.mriedel.ece.umn.edu/wiki/images/c/cc/Najafi_Lilja_Riedel_Bazargan_Low_Cost_Sorting_Network_Circuits_using_Unary_Processing.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Salehi_Liu_Riedel_Parhi_Computing_Polynomials_with_Positive_Coefficients_using_Stochastic_Logic_by_Double-NAND_Expansion.pdf | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/c/cc/Najafi_Lilja_Riedel_Bazargan_Low_Cost_Sorting_Network_Circuits_using_Unary_Processing.pdf  Paper]
| align="center" width="70" |
 
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/e/e7/Salehi_Liu_Riedel_Parhi_Computing_Polynomials_with_Positive_Coefficients_using_Stochastic_Logic_by_Double-NAND_Expansion.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<br>[http://cctbio.ece.umn.edu/wiki/images/e/e7/Salehi_Liu_Riedel_Parhi_Computing_Polynomials_with_Positive_Coefficients_using_Stochastic_Logic_by_Double-NAND_Expansion.pptx Slides]
 
 
|}
 
|}
 
{|
 
{|
Line 120: Line 122:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Najafi_Li_Qian_Riedel_A_Reconfigurable_Architecture_with_Sequential_Logic-based_Stochastic_Computing.pdf |A Reconfigurable Architecture with Sequential Logic-based Stochastic Computing]]
+
| width="500" | [http://mriedel.ece.umn.edu/wiki/images/7/7f/Najafi_Jamali-Zavareh_Lilja_Riedel_Bazargan_Harjani_An_Overview_of_Time-Based_Computing_with_Stochastic_Constructs.pdf An Overview of Time-Based Computing with Stochastic Constructs]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| [[M. Hassan Najafi]], Peng Li, [http://www.arctic.umn.edu/lilja.shtml David J. Lilja], [[Weikang Qian]] and [[Marc Riedel]]
+
| [[M. Hassan Najafi]], S. Jamali-Zavareh, [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Marc Riedel]], [http://people.ece.umn.edu/~kia Kia Bazargan] and<br>[http://people.ece.umn.edu/~harjani/ Ramesh Harjani]
 
|- valign="top"
 
|- valign="top"
| '''to appear in''':
+
| '''appeared in''':
| [http://jetc.acm.org ACM Journal on Emerging Technologies in Computing Systems, 2017]
+
| [http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=40 IEEE Micro,] Vol. 37, No. 6, pp. 62--71, 2017 
 
|}
 
|}
 
| align="center" width="70" |
 
| align="center" width="70" |
 
<span class="plainlinks">
 
<span class="plainlinks">
[http://mriedel.ece.umn.edu/wiki/images/5/53/Najafi_Li_Qian_Riedel_A_Reconfigurable_Architecture_with_Sequential_Logic-based_Stochastic_Computing.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
[http://mriedel.ece.umn.edu/wiki/images/7/7f/Najafi_Jamali-Zavareh_Lilja_Riedel_Bazargan_Harjani_An_Overview_of_Time-Based_Computing_with_Stochastic_Constructs.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>[[Media:Najafi_Li_Qian_Riedel_A_Reconfigurable_Architecture_with_Sequential_Logic-based_Stochastic_Computing.pdf | Paper]]
+
<br>
|}
+
[//mriedel.ece.umn.edu/wiki/images/b/b0/Najafi_Jamali_Zavareh_Lilja_Riedel_Bazargan_Harjani_Time_Encoded_Values_for_Highly_Efficient_Stochastic_Circuits.pdf Paper]
{|
+
|-
 
|
 
|
 
{| style="background:#F0E68C"
 
{| style="background:#F0E68C"
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Jenson_Riedel_A_Deterministic_Approach_to_Stochastic_Computing.pdf |A Deterministic Approach to Stochastic Computing]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/b/b0/Najafi_Jamali_Zavareh_Lilja_Riedel_Bazargan_Harjani_Time_Encoded_Values_for_Highly_Efficient_Stochastic_Circuits.pdf Time-Encoded Values for Highly Efficient Stochastic Circuits]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| [[Devon Jenson]] and [[Marc Riedel]]
+
| [[M. Hassan Najafi]], S. Jamali-Zavareh, [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Marc Riedel]], [http://people.ece.umn.edu/~kia Kia Bazargan] and<br>[http://people.ece.umn.edu/~harjani/ Ramesh Harjani]
 +
|- valign="top"
 +
| '''appeared  in''':
 +
| [http://ieeexplore.ieee.org/xpl/aboutJournal.jsp?punumber=92 IEEE Transactions on VLSI], Vol. 25, No. 5, pp. 1644&ndash;1657, 2017
 
|- valign="top"
 
|- valign="top"
 
| '''presented at''':
 
| '''presented at''':
| [http://www.ieee.org/conferences_events/conferences/conferencedetails/index.html?Conf_ID=38629 IEEE/ACM International Conference on Computer-Aided Design, 2016]
+
| [http://www.ieee.org/conferences_events/conferences/conferencedetails/index.html?Conf_ID=33621 IEEE International Symposium on Circuits and Systems], 2017
 
|}
 
|}
 
| align="center" width="70" |
 
| align="center" width="70" |
 
<span class="plainlinks">
 
<span class="plainlinks">
[http://cctbio.ece.umn.edu/wiki/images/d/d3/Jenson_Riedel_A_Deterministic_Approach_to_Stochastic_Computing.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
[http://www.mriedel.ece.umn.edu/wiki/images/b/b0/Najafi_Jamali_Zavareh_Lilja_Riedel_Bazargan_Harjani_Time_Encoded_Values_for_Highly_Efficient_Stochastic_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Jenson_Riedel_A_Deterministic_Approach_to_Stochastic_Computing.pdf | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/b/b0/Najafi_Jamali_Zavareh_Lilja_Riedel_Bazargan_Harjani_Time_Encoded_Values_for_Highly_Efficient_Stochastic_Circuits.pdf  Paper]
| align="center" width="70" |
 
<span class="plainlinks">[http://cadbio.com/wiki/images/4/4f/Jenson_Riedel_A_Deterministic_Approach_to_Stochastic_Computing.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<br>[http://cadbio.com/wiki/images/4/4f/Jenson_Riedel_A_Deterministic_Approach_to_Stochastic_Computing.pptx Slides]
 
 
|}
 
|}
 +
 
{|
 
{|
 
|
 
|
Line 160: Line 163:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Liu_Parhi_Riedel_Parhi_Synthesis_of_Correlated_Bit_Streams_for_Stochastic_Computing.pdf |Synthesis of Correlated Bit Streams for Stochastic Computing]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/b/b9/Van_der_Hagen_Riedel_Unary_Positional_Computing.pdf Unary Positional Computing]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| Yin Liu, Megha Parhi, [[Marc Riedel]] and [http://people.ece.umn.edu/~parhi/ Keshab Parhi]
+
| [[McKenzie van der Hagen]] and [[Marc Riedel]]
 
|- valign="top"
 
|- valign="top"
 
| '''presented at''':
 
| '''presented at''':
| [http://signalprocessingsociety.org/blog/2016-50th-annual-asilomar-conference-signals-systems-and-computers-asilomar-2016 Asilomar Conference on Signals, Systems, and Computers, 2016]
+
| [http://www.2017.ieeeglobalsip.org IEEE Global Conference on Signal and Information Processing], 2017
 
|}
 
|}
 
| align="center" width="70" |
 
| align="center" width="70" |
 
<span class="plainlinks">
 
<span class="plainlinks">
[http://cctbio.ece.umn.edu/wiki/images/4/48/Liu_Parhi_Riedel_Parhi_Synthesis_of_Correlated_Bit_Streams_for_Stochastic_Computing.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
[http://mriedel.ece.umn.edu/wiki/images/b/b9/Van_der_Hagen_Riedel_Unary_Positional_Computing.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Liu_Parhi_Riedel_Parhi_Synthesis_of_Correlated_Bit_Streams_for_Stochastic_Computing.pdf | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/b/b9/Van_der_Hagen_Riedel_Unary_Positional_Computing.pdf Paper]
 
| align="center" width="70" |
 
| align="center" width="70" |
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/b/b9/Liu_Parhi_Riedel_Parhi_The_Synthesis_of_Correlated_Bit_Streams_for_Stochastic_Computing.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
+
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/b/b8/Van_der_Hangen_Unary_Positional_Computing.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
<br>[http://cctbio.ece.umn.edu/wiki/images/b/b9/Liu_Parhi_Riedel_Parhi_The_Synthesis_of_Correlated_Bit_Streams_for_Stochastic_Computing.pptx Slides]
+
<br>[http://mriedel.ece.umn.edu/wiki/images/b/b8/Van_der_Hangen_Unary_Positional_Computing.pptx Poster]
 
|}
 
|}
 +
 
{|
 
{|
 
|
 
|
Line 182: Line 186:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:BitLevel_Corr_Parhi_Riedel_Parhi.pdf | Effect of Bit-Level Correlation in Stochastic Computing]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/9/92/Salehi_Liu_Riedel_Parhi_Computing_Polynomials_with_Positive_Coefficients_using_Stochastic_Logic_by_Double-NAND_Expansion.pdf Computing Polynomials with Positive Coefficients using Stochastic Logic by Double NAND Expansion]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| [[Megha Parhi]], [[Marc Riedel]], and [http://www.ece.umn.edu/~parhi/ Keshab Parhi]
+
| Ahmad Salehi, Yin Liu, [[Marc Riedel]], and [http://people.ece.umn.edu/~parhi/ Keshab Parhi]
 
|- valign="top"
 
|- valign="top"
| '''presented&nbsp;at''':
+
| '''presented at''':
| [http://www.dsp2015.org/ IEEE International Conference on Digital Signal Processing], Singapore, 2015.
+
| [http://www.glsvlsi.org/ ACM Great Lakes Symposium on VLSI], 2017
 
|}
 
|}
| align="center" width="70" |
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/5/55/BitLevel_Corr_Parhi_Riedel_Parhi.pdf http://cctbio.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>[[Media:BitLevel_Corr_Parhi_Riedel_Parhi.pdf  | Paper]]
 
 
| align="center" width="70" |
 
| align="center" width="70" |
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/4/49/Parhi_Riedel_Parhi_Effect_of_Bit-level_Correlation_in_Stochastic_Computing.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
+
<span class="plainlinks">
<br>[http://cctbio.ece.umn.edu/wiki/images/4/49/Parhi_Riedel_Parhi_Effect_of_Bit-level_Correlation_in_Stochastic_Computing.pptx Slides]
+
[http://128.101.171.36/wiki/images/9/92/Salehi_Liu_Riedel_Parhi_Computing_Polynomials_with_Positive_Coefficients_using_Stochastic_Logic_by_Double-NAND_Expansion.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 +
<br>
 +
[//mriedel.ece.umn.edu/wiki/images/9/92/Salehi_Liu_Riedel_Parhi_Computing_Polynomials_with_Positive_Coefficients_using_Stochastic_Logic_by_Double-NAND_Expansion.pdf  Paper]
 +
| align="center" width="70" |
 +
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/e/e7/Salehi_Liu_Riedel_Parhi_Computing_Polynomials_with_Positive_Coefficients_using_Stochastic_Logic_by_Double-NAND_Expansion.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 +
<br>[http://cctbio.ece.umn.edu/wiki/images/e/e7/Salehi_Liu_Riedel_Parhi_Computing_Polynomials_with_Positive_Coefficients_using_Stochastic_Logic_by_Double-NAND_Expansion.pptx Slides]
 
|}
 
|}
 +
 
{|
 
{|
 
|
 
|
Line 202: Line 209:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Li_Lilja_Qian_Bazargan_Riedel_Computation_on_Stochastic_Bit_Streams_Digital_Image_Processing_Case_Studies.pdf | Computation on Stochastic Bit Streams: Digital Image Processing Case Studies]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/1/13/Najafi_Lilja_Riedel_Bazargan_Polysynchronous_Clocking_Exploiting_the_Skew_Tolerance_of_Stochastic_Circuits.pdf Polysynchronous Clocking: Exploiting the Skew Tolerance of Stochastic Circuits]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| [http://www.ece.umn.edu/~lipeng/ Peng Li], [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Weikang Qian]], [http://www.ece.umn.edu/users/kia/ Kia Bazargan] and [[Marc Riedel]]  
+
| [[M. Hassan Najafi]], [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Marc Riedel]], and [http://www.ece.umn.edu/users/kia/ Kia Bazargan]
 
|- valign="top"  
 
|- valign="top"  
 
| '''appeared in''':
 
| '''appeared in''':
| [http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6502263 IEEE Transactions on VLSI Sytems], Vol. 22, No. 3, pp. 449&ndash;462, 2014
+
| [https://ieeexplore.ieee.org/document/7911306 IEEE Transactions on Computers], Vol. 66, No. 10, pp. 1734&ndash;1746, 2017<br>'''Feature Paper of the Month'''
 +
|- valign="top"
 +
| '''presented at''':
 +
| ''Work-in-Progress'' Session, [https://dac.com/content/53rd-dac IEEE/ACM Design Automation Conference], 2016
 
|- valign="top"  
 
|- valign="top"  
| '''appeared in''':
+
| '''presented at''':
| [http://link.springer.com/chapter/10.1007%2F978-3-642-36157-9_24#page-1 Lecture Notes in Computer Science<br>Power and Timing Modeling, Optimization and Simulation Workshop]<br>G. Goos, J. Hartmanis, and J. V. Leeuwen Editors, Springer, pp. 235&ndash;244, 2012
+
| [http://www.amsv.umac.mo/aspdac2016/ IEEE/ACM Asia and South Pacific Design Automation Conference], 2016
 
|}
 
|}
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">
 
<span class="plainlinks">
[http://cctbio.ece.umn.edu/wiki/images/f/f7/Li_Lilja_Qian_Bazargan_Riedel_Computation_on_Stochastic_Bit_Streams_Digital_Image_Processing_Case_Studies.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
[http://cctbio.ece.umn.edu/wiki/images/1/13/Najafi_Lilja_Riedel_Bazargan_Polysynchronous_Clocking_Exploiting_the_Skew_Tolerance_of_Stochastic_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Li_Lilja_Qian_Bazargan_Riedel_Computation_on_Stochastic_Bit_Streams_Digital_Image_Processing_Case_Studies.pdf | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/1/13/Najafi_Lilja_Riedel_Bazargan_Polysynchronous_Clocking_Exploiting_the_Skew_Tolerance_of_Stochastic_Circuits.pdf  Paper]
 +
| align="center" width="70" |
 +
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/7/7d/Najafi_Lilja_Riedel_Bazargan_Polysynchronous_Stochastic_Circuits-long.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 +
<br>[http://cctbio.ece.umn.edu/wiki/images/7/7d/Najafi_Lilja_Riedel_Bazargan_Polysynchronous_Stochastic_Circuits-long.pptx Slides]
 
|}
 
|}
 +
 
{|
 
{|
 
|
 
|
Line 224: Line 238:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Li_Lilja_Qian_Riedel_Bazargan_Logical_Computation_on_Stochastic_Bit_Streams_with_Linear_Finite_State_Machines.pdf | Logical Computation on Stochastic Bit Streams with Linear Finite State Machines]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/5/53/Najafi_Li_Qian_Riedel_A_Reconfigurable_Architecture_with_Sequential_Logic-based_Stochastic_Computing.pdf A Reconfigurable Architecture with Sequential Logic-based Stochastic Computing]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| [http://www.ece.umn.edu/~lipeng/ Peng Li], [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Weikang Qian]],[http://www.ece.umn.edu/users/kia/ Kia Bazargan] and [[Marc Riedel]]  
+
| [[M. Hassan Najafi]], Peng Li, [http://www.arctic.umn.edu/lilja.shtml David J. Lilja], [[Weikang Qian]] and [[Marc Riedel]]
|- valign="top"  
+
|- valign="top"
 
| '''appeared in''':
 
| '''appeared in''':
| [http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6307798 IEEE Transactions on Computers], Vol. 63, No. 6., pp. 1474&ndash;1486, 2014
+
| [http://jetc.acm.org ACM Journal on Emerging Technologies in Computing Systems],<br> Vol. 13, No. 4, pp. 1&ndash;28, 2017
|- valign="top"
 
| '''presented at''':
 
| [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6165056 IEEE/ACM Asia and South Pacific Design Automation Conference],<br>Sydney, Australia, 2012
 
 
|}
 
|}
| align="center" width="70" |  
+
| align="center" width="70" |
 
<span class="plainlinks">
 
<span class="plainlinks">
[http://cctbio.ece.umn.edu/wiki/images/7/7c/Li_Lilja_Qian_Riedel_Bazargan_Logical_Computation_on_Stochastic_Bit_Streams_with_Linear_Finite_State_Machines.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
[http://mriedel.ece.umn.edu/wiki/images/5/53/Najafi_Li_Qian_Riedel_A_Reconfigurable_Architecture_with_Sequential_Logic-based_Stochastic_Computing.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>
+
<br>[//mriedel.ece.umn.edu/wiki/images/5/53/Najafi_Li_Qian_Riedel_A_Reconfigurable_Architecture_with_Sequential_Logic-based_Stochastic_Computing.pdf Paper]
[[Media:Li_Lilja_Qian_Riedel_Bazargan_Logical_Computation_on_Stochastic_Bit_Streams_with_Linear_Finite_State_Machines.pdf | Paper]]
 
 
|}
 
|}
 +
 
{|
 
{|
 
|
 
|
Line 246: Line 257:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Saraf_Bazargan_Lilja_Riedel_IIR_Filters_Using_Stochastic_Arithmetic.pdf | IIR Filters Using Stochastic Arithmetic]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/4/48/Liu_Parhi_Riedel_Parhi_Synthesis_of_Correlated_Bit_Streams_for_Stochastic_Computing.pdf Synthesis of Correlated Bit Streams for Stochastic Computing]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| Naman Saraf, [http://www.ece.umn.edu/users/kia/ Kia Bazargan], [http://www.arctic.umn.edu/lilja.shtml David Lilja], and [[Marc Riedel]]  
+
| Yin Liu, Megha Parhi, [[Marc Riedel]] and [http://people.ece.umn.edu/~parhi/ Keshab Parhi]
|- valign="top"  
+
|- valign="top"
| '''appeared in''':
+
| '''presented at''':
| [http://dl.acm.org/citation.cfm?id=2616697 IEEE/ACM Design, Automation, and Test in Europe], 2014
+
| [http://signalprocessingsociety.org/blog/2016-50th-annual-asilomar-conference-signals-systems-and-computers-asilomar-2016 Asilomar Conference on Signals, Systems, and Computers], 2016
 
|}
 
|}
| align="center" width="70" |  
+
| align="center" width="70" |
 
<span class="plainlinks">
 
<span class="plainlinks">
[http://mriedel.ece.umn.edu/wiki/images/6/60/Saraf_Bazargan_Lilja_Riedel_IIR_Filters_Using_Stochastic_Arithmetic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
[http://cctbio.ece.umn.edu/wiki/images/4/48/Liu_Parhi_Riedel_Parhi_Synthesis_of_Correlated_Bit_Streams_for_Stochastic_Computing.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Saraf_Bazargan_Lilja_Riedel_IIR_Filters_Using_Stochastic_Arithmetic.pdf | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/4/48/Liu_Parhi_Riedel_Parhi_Synthesis_of_Correlated_Bit_Streams_for_Stochastic_Computing.pdf Paper]
 
| align="center" width="70" |
 
| align="center" width="70" |
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/4/4e/Saraf_Bazargan_Lilja_Riedel_IIR_Filters_Using_Stochatic_Arithmetic_poster.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/b/b9/Liu_Parhi_Riedel_Parhi_The_Synthesis_of_Correlated_Bit_Streams_for_Stochastic_Computing.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
<br>[http://cctbio.ece.umn.edu/wiki/images/4/4e/Saraf_Bazargan_Lilja_Riedel_IIR_Filters_Using_Stochatic_Arithmetic_poster.pdf Slides]
+
<br>[http://cctbio.ece.umn.edu/wiki/images/b/b9/Liu_Parhi_Riedel_Parhi_The_Synthesis_of_Correlated_Bit_Streams_for_Stochastic_Computing.pptx Slides]
 
|}
 
|}
 
{|
 
{|
Line 268: Line 279:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Saraf_Bazargan_Lilja_Riedel_Stochastic_Functions_Using_Sequential_Logic.pdf | Stochastic Functions Using Sequential Logic]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/5/55/BitLevel_Corr_Parhi_Riedel_Parhi.pdf Effect of Bit-Level Correlation in Stochastic Computing]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| Naman Saraf, [http://www.ece.umn.edu/users/kia/ Kia Bazargan], [http://www.arctic.umn.edu/lilja.shtml David Lilja], and [[Marc Riedel]]  
+
| [[Megha Parhi]], [[Marc Riedel]], and [http://www.ece.umn.edu/~parhi/ Keshab Parhi]
|- valign="top"  
+
|- valign="top"
| '''appeared in''':
+
| '''presented&nbsp;at''':
| [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6657094&tag=1 IEEE International Conference on Computer Design], Asheville, NC, 2013
+
| [http://www.dsp2015.org/ IEEE International Conference on Digital Signal Processing], Singapore, 2015.
 
|}
 
|}
 
| align="center" width="70" |  
 
| align="center" width="70" |  
<span class="plainlinks">
+
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/5/55/BitLevel_Corr_Parhi_Riedel_Parhi.pdf http://cctbio.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
[http://mriedel.ece.umn.edu/wiki/images/6/66/Saraf_Bazargan_Lilja_Riedel_Stochastic_Functions_Using_Sequential_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
<br>[//mriedel.ece.umn.edu/wiki/images/5/55/BitLevel_Corr_Parhi_Riedel_Parhi.pdf Paper]
<br>
 
[[Media:Saraf_Bazargan_Lilja_Riedel_Stochastic_Functions_Using_Sequential_Logic.pdf | Paper]]
 
 
| align="center" width="70" |
 
| align="center" width="70" |
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/f/fe/Najafi_Bazargan_Riedel_Lilja_Stochastic_Functions_using_Sequential_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/4/49/Parhi_Riedel_Parhi_Effect_of_Bit-level_Correlation_in_Stochastic_Computing.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
<br>[http://cctbio.ece.umn.edu/wiki/images/f/fe/Najafi_Bazargan_Riedel_Lilja_Stochastic_Functions_using_Sequential_Logic.pdf Slides]
+
<br>[http://cctbio.ece.umn.edu/wiki/images/4/49/Parhi_Riedel_Parhi_Effect_of_Bit-level_Correlation_in_Stochastic_Computing.pptx Slides]
 
|}
 
|}
 
 
{|
 
{|
 
|
 
|
Line 291: Line 299:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Qian_Wang_Li_Lilja_Bazargan_Riedel_An_Efficient_Implementation_of_Numerical_Integration_Using_Logical_Computation_on_Stochastic_Bit_Streams.pdf | An Efficient Implementation of Numerical Integration Using Logical Computation<br>on Stochastic Bit Streams]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/f/f7/Li_Lilja_Qian_Bazargan_Riedel_Computation_on_Stochastic_Bit_Streams_Digital_Image_Processing_Case_Studies.pdf Computation on Stochastic Bit Streams: Digital Image Processing Case Studies]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| [[Weikang Qian]], Cheng Wang, [http://www.ece.umn.edu/~lipeng/ Peng Li], [http://www.arctic.umn.edu/lilja.shtml David Lilja],<br>[http://www.ece.umn.edu/users/kia/ Kia Bazargan] and [[Marc Riedel]]  
+
| [http://www.ece.umn.edu/~lipeng/ Peng Li], [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Weikang Qian]], [http://www.ece.umn.edu/users/kia/ Kia Bazargan] and [[Marc Riedel]]  
 +
|- valign="top"
 +
| '''appeared in''':
 +
| [http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6502263 IEEE Transactions on VLSI Sytems], Vol. 22, No. 3, pp. 449&ndash;462, 2014
 
|- valign="top"  
 
|- valign="top"  
 
| '''appeared in''':
 
| '''appeared in''':
| [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6386603 IEEE/ACM Int'l Conference on Computer-Aided Design], San Jose, CA 2012
+
| [http://link.springer.com/chapter/10.1007%2F978-3-642-36157-9_24#page-1 Lecture Notes in Computer Science<br>Power and Timing Modeling, Optimization and Simulation Workshop]<br>G. Goos, J. Hartmanis, and J. V. Leeuwen Editors, Springer, pp. 235&ndash;244, 2012
 
|}
 
|}
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">
 
<span class="plainlinks">
[http://cctbio.ece.umn.edu/wiki/images/b/b7/Qian_Wang_Li_Lilja_Bazargan_Riedel_An_Efficient_Implementation_of_Numerical_Integration_Using_Logical_Computation_on_Stochastic_Bit_Streams.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
[http://cctbio.ece.umn.edu/wiki/images/f/f7/Li_Lilja_Qian_Bazargan_Riedel_Computation_on_Stochastic_Bit_Streams_Digital_Image_Processing_Case_Studies.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Qian_Wang_Li_Lilja_Bazargan_Riedel_An_Efficient_Implementation_of_Numerical_Integration_Using_Logical_Computation_on_Stochastic_Bit_Streams.pdf | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/f/f7/Li_Lilja_Qian_Bazargan_Riedel_Computation_on_Stochastic_Bit_Streams_Digital_Image_Processing_Case_Studies.pdf  Paper]
| align="center" width="70" |
 
<span class="plainlinks">[http://cadbio.com/wiki/images/6/67/Qian_Wang_Li_Lilja_Bazargan_Riedel_An_Efficient_Implementation_of_Numerical_Integration_Using_Logical_Computation_on_Stochastic_Bit_Streams.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<br> [http://cadbio.com/wiki/images/6/67/Qian_Wang_Li_Lilja_Bazargan_Riedel_An_Efficient_Implementation_of_Numerical_Integration_Using_Logical_Computation_on_Stochastic_Bit_Streams.pptx Slides]
 
 
|}
 
|}
 
{|
 
{|
Line 313: Line 321:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Li_Lilja_Qian_Bazargan_Riedel_The_Synthesis_of_Complex_Arithmetic_Computation_on_Stochastic_Bit_Streams_Using_Sequential_Logic.pdf | The Synthesis of Complex Arithmetic Computation on Stochastic Bit Streams Using Sequential Logic]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/7/7c/Li_Lilja_Qian_Riedel_Bazargan_Logical_Computation_on_Stochastic_Bit_Streams_with_Linear_Finite_State_Machines.pdf Logical Computation on Stochastic Bit Streams with Linear Finite State Machines]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| [http://www.ece.umn.edu/~lipeng/ Peng Li], [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Weikang Qian]], [http://www.ece.umn.edu/users/kia/ Kia Bazargan] and [[Marc Riedel]]  
+
| [http://www.ece.umn.edu/~lipeng/ Peng Li], [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Weikang Qian]],[http://www.ece.umn.edu/users/kia/ Kia Bazargan] and [[Marc Riedel]]  
 
|- valign="top"  
 
|- valign="top"  
| '''presented at''':
+
| '''appeared in''':
| [http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6386710 IEEE/ACM International Conference on Computer-Aided Design], San Jose, CA 2012
+
| [http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6307798 IEEE Transactions on Computers], Vol. 63, No. 6., pp. 1474&ndash;1486, 2014
 
|- valign="top"  
 
|- valign="top"  
 
| '''presented at''':
 
| '''presented at''':
| [http://www.iwls.org/iwls2012/ IEEE/ACM International Workshop on Logic and Synthesis], Berkeley, CA 2012
+
| [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6165056 IEEE/ACM Asia and South Pacific Design Automation Conference],<br>Sydney, Australia, 2012
 
|}
 
|}
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">
 
<span class="plainlinks">
[http://cctbio.ece.umn.edu/wiki/images/4/4e/Li_Lilja_Qian_Bazargan_Riedel_The_Synthesis_of_Complex_Arithmetic_Computation_on_Stochastic_Bit_Streams_Using_Sequential_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
[http://cctbio.ece.umn.edu/wiki/images/7/7c/Li_Lilja_Qian_Riedel_Bazargan_Logical_Computation_on_Stochastic_Bit_Streams_with_Linear_Finite_State_Machines.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Li_Lilja_Qian_Bazargan_Riedel_The_Synthesis_of_Complex_Arithmetic_Computation_on_Stochastic_Bit_Streams_Using_Sequential_Logic.pdf | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/7/7c/Li_Lilja_Qian_Riedel_Bazargan_Logical_Computation_on_Stochastic_Bit_Streams_with_Linear_Finite_State_Machines.pdf Paper]
 
|}
 
|}
 
{|
 
{|
Line 335: Line 343:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Qian_Riedel_Zhou_Bruck_Transforming_Probabilities_with_Combinational_Logic.pdf | Transforming Probabilities with Combinational Logic]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/6/60/Saraf_Bazargan_Lilja_Riedel_IIR_Filters_Using_Stochastic_Arithmetic.pdf IIR Filters Using Stochastic Arithmetic]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| [[Weikang Qian]], [[Marc Riedel]], [http://paradise.caltech.edu/~hzhou/ Hongchao Zhou], and [http://paradise.caltech.edu/bruck.html Jehoshua Bruck]
+
| Naman Saraf, [http://www.ece.umn.edu/users/kia/ Kia Bazargan], [http://www.arctic.umn.edu/lilja.shtml David Lilja], and [[Marc Riedel]]  
|- valign="top"
+
|- valign="top"  
 
| '''appeared in''':
 
| '''appeared in''':
| [http://tcad.polito.it/ IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems], <br>Vol. 30, No. 9, pp. 1279&ndash;1292, 2011
+
| [http://dl.acm.org/citation.cfm?id=2616697 IEEE/ACM Design, Automation, and Test in Europe], 2014
|- valign="top"
+
|}
| '''appeared in''':
+
| align="center" width="70" |  
| [http://www.springer.com/engineering/circuits+%26+systems/book/978-1-4419-7517-1 Advanced Techniques in Logic Synthesis, Optimizations and Applications]<br> [http://www.ece.tamu.edu/~sunil/ Sunil Khatri] and [http://www.google.com/profiles/kanu.gulati Kanupriya Gulati] editors, [http://www.springerpub.com Springer Publishing], 2011
+
<span class="plainlinks">
|- valign="top"
+
[http://mriedel.ece.umn.edu/wiki/images/6/60/Saraf_Bazargan_Lilja_Riedel_IIR_Filters_Using_Stochastic_Arithmetic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| '''presented&nbsp;at''':
+
<br>
| [http://www.iccad.com/events/eventdetails.aspx?id=106-5-C IEEE/ACM International Conference on Computer-Aided Design], San Jose, 2009<br> (nominated for '''IEEE/ACM William J. McCalla ICCAD Best Paper Award''').
+
[//mriedel.ece.umn.edu/wiki/images/6/60/Saraf_Bazargan_Lilja_Riedel_IIR_Filters_Using_Stochastic_Arithmetic.pdf  Paper]
|- valign="top"
+
| align="center" width="70" |
| '''presented&nbsp;at''':
+
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/4/4e/Saraf_Bazargan_Lilja_Riedel_IIR_Filters_Using_Stochatic_Arithmetic_poster.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
|[http://www.sigda.org/iwls/iwls2009/ IEEE/ACM International Workshop on Logic and Synthesis], Berkeley, CA, 2009
+
<br>[http://cctbio.ece.umn.edu/wiki/images/4/4e/Saraf_Bazargan_Lilja_Riedel_IIR_Filters_Using_Stochatic_Arithmetic_poster.pdf Slides]
|}
 
| align="center" width="70" |  
 
<span class="plainlinks">
 
[http://cadbio.com/wiki/images/d/db/Qian_Riedel_Zhou_Bruck_Transforming_Probabilities_with_Combinational_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[[Media:Qian_Riedel_Zhou_Bruck_Transforming_Probabilities_with_Combinational_Logic.pdf  | Paper]]
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Qian_Riedel_Bazargan_Lilja_The_Synthesis_of_Combinational_Logic_to_Generate_Probabilities.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<br> [http://mriedel.ece.umn.edu/files/Qian_Riedel_Bazargan_Lilja_The_Synthesis_of_Combinational_Logic_to_Generate_Probabilities.ppt Slides]
 
 
|}
 
|}
 
{|
 
{|
Line 365: Line 365:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Qian_Li_Riedel_Bazargan_Lilja_An_Architecture_for_Fault-Tolerant_Computation_with_Stochastic_Logic.pdf | An Architecture for Fault-Tolerant Computation with Stochastic Logic]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/6/66/Saraf_Bazargan_Lilja_Riedel_Stochastic_Functions_Using_Sequential_Logic.pdf Stochastic Functions Using Sequential Logic]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| [[Weikang Qian]], [http://www.arctic.umn.edu/people.shtml Xin Li], [[Marc Riedel]], [http://www.ece.umn.edu/users/kia/ Kia Bazargan], and [http://www.arctic.umn.edu/lilja.shtml David Lilja]
+
| Naman Saraf, [http://www.ece.umn.edu/users/kia/ Kia Bazargan], [http://www.arctic.umn.edu/lilja.shtml David Lilja], and [[Marc Riedel]]  
 
|- valign="top"  
 
|- valign="top"  
 
| '''appeared in''':
 
| '''appeared in''':
| [http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5601694 IEEE Transactions on Computers], Vol. 60, No. 1, pp. 93&ndash;105, 2011
+
| [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6657094&tag=1 IEEE International Conference on Computer Design], Asheville, NC, 2013
 
|}
 
|}
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">
 
<span class="plainlinks">
[http://cadbio.com/wiki/images/2/21/Qian_Li_Riedel_Bazargan_Lilja_An_Architecture_for_Fault-Tolerant_Computation_with_Stochastic_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
[http://mriedel.ece.umn.edu/wiki/images/6/66/Saraf_Bazargan_Lilja_Riedel_Stochastic_Functions_Using_Sequential_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Qian_Li_Riedel_Bazargan_Lilja_An_Architecture_for_Fault-Tolerant_Computation_with_Stochastic_Logic.pdf | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/6/66/Saraf_Bazargan_Lilja_Riedel_Stochastic_Functions_Using_Sequential_Logic.pdf  Paper]
 +
| align="center" width="70" |
 +
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/f/fe/Najafi_Bazargan_Riedel_Lilja_Stochastic_Functions_using_Sequential_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 +
<br>[http://cctbio.ece.umn.edu/wiki/images/f/fe/Najafi_Bazargan_Riedel_Lilja_Stochastic_Functions_using_Sequential_Logic.pdf Slides]
 
|}
 
|}
 +
 
{|
 
{|
 
|
 
|
Line 384: Line 388:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation_IJNMC.pdf  | The Synthesis of Stochastic Circuits for Nanoscale Computation]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/b/b7/Qian_Wang_Li_Lilja_Bazargan_Riedel_An_Efficient_Implementation_of_Numerical_Integration_Using_Logical_Computation_on_Stochastic_Bit_Streams.pdf  An Efficient Implementation of Numerical Integration Using Logical Computation<br>on Stochastic Bit Streams]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| [[Weikang Qian]], [[John Backes]], and [[Marc Riedel]]
+
| [[Weikang Qian]], Cheng Wang, [http://www.ece.umn.edu/~lipeng/ Peng Li], [http://www.arctic.umn.edu/lilja.shtml David Lilja],<br>[http://www.ece.umn.edu/users/kia/ Kia Bazargan] and [[Marc Riedel]]
|- valign="top"
+
|- valign="top"  
| '''appeared&nbsp;in''':
+
| '''appeared in''':
| [http://www.igi-global.com/Bookstore/TitleDetails.aspx?TitleId=1117&DetailsType=Description International Journal of Nanotechnology and Molecular Computation], <br>Vol. 1, No. 4, pp. 39&ndash;57, 2010
+
| [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6386603 IEEE/ACM Int'l Conference on Computer-Aided Design], San Jose, CA 2012
|- valign="top"
 
| '''presented&nbsp;at''':
 
| [http://www.sigda.org/iwls/iwls2007 IEEE/ACM International Workshop on Logic and Synthesis], San Diego, CA, 2007
 
 
|}
 
|}
 
| align="center" width="70" |  
 
| align="center" width="70" |  
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/a/a8/Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation_IJNMC.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
<span class="plainlinks">
<br>[[Media:Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation_IJNMC.pdf | Paper]]
+
[http://cctbio.ece.umn.edu/wiki/images/b/b7/Qian_Wang_Li_Lilja_Bazargan_Riedel_An_Efficient_Implementation_of_Numerical_Integration_Using_Logical_Computation_on_Stochastic_Bit_Streams.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 +
<br>
 +
[//mriedel.ece.umn.edu/wiki/images/b/b7/Qian_Wang_Li_Lilja_Bazargan_Riedel_An_Efficient_Implementation_of_Numerical_Integration_Using_Logical_Computation_on_Stochastic_Bit_Streams.pdf Paper]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
+
<span class="plainlinks">[http://cadbio.com/wiki/images/6/67/Qian_Wang_Li_Lilja_Bazargan_Riedel_An_Efficient_Implementation_of_Numerical_Integration_Using_Logical_Computation_on_Stochastic_Bit_Streams.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
<br> [http://mriedel.ece.umn.edu/files/Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation.ppt Slides]
+
<br> [http://cadbio.com/wiki/images/6/67/Qian_Wang_Li_Lilja_Bazargan_Riedel_An_Efficient_Implementation_of_Numerical_Integration_Using_Logical_Computation_on_Stochastic_Bit_Streams.pptx Slides]
 
|}
 
|}
 
{|
 
{|
|  
+
|
 
{| style="background:#F0E68C"
 
{| style="background:#F0E68C"
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Qian_Riedel_Two_Level_Logic_Synthesis_for_Probabilistic_Computation.pdf |Two-Level Logic Synthesis for Probabilistic Computation]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/4/4e/Li_Lilja_Qian_Bazargan_Riedel_The_Synthesis_of_Complex_Arithmetic_Computation_on_Stochastic_Bit_Streams_Using_Sequential_Logic.pdf The Synthesis of Complex Arithmetic Computation on Stochastic Bit Streams Using Sequential Logic]
 +
|- valign="top"
 +
| '''authors''':
 +
|  [http://www.ece.umn.edu/~lipeng/ Peng Li], [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Weikang Qian]], [http://www.ece.umn.edu/users/kia/ Kia Bazargan] and [[Marc Riedel]]  
 
|- valign="top"  
 
|- valign="top"  
| '''authors''':
 
| [[Weikang Qian]] and [[Marc Riedel]]
 
|- valign="top"
 
 
| '''presented at''':
 
| '''presented at''':
| [http://www.sigda.org/iwls/iwls2010/ IEEE/ACM International Workshop on Logic and Synthesis], Irvine, CA, 2010
+
| [http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6386710 IEEE/ACM International Conference on Computer-Aided Design], San Jose, CA 2012
 +
|- valign="top"
 +
| '''presented at''':
 +
| [http://www.iwls.org/iwls2012/ IEEE/ACM International Workshop on Logic and Synthesis], Berkeley, CA 2012
 
|}
 
|}
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">
 
<span class="plainlinks">
[http://www.mriedel.ece.umn.edu/wiki/images/4/4c/Qian_Riedel_Two_Level_Logic_Synthesis_for_Probabilistic_Computation.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
[http://cctbio.ece.umn.edu/wiki/images/4/4e/Li_Lilja_Qian_Bazargan_Riedel_The_Synthesis_of_Complex_Arithmetic_Computation_on_Stochastic_Bit_Streams_Using_Sequential_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>[[Media:Qian_Riedel_Two_Level_Logic_Synthesis_for_Probabilistic_Computation.pdf | Paper]]
+
<br>
| align="center" width="70" |
+
[//mriedel.ece.umn.edu/wiki/images/4/4e/Li_Lilja_Qian_Bazargan_Riedel_The_Synthesis_of_Complex_Arithmetic_Computation_on_Stochastic_Bit_Streams_Using_Sequential_Logic.pdf  Paper]
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Qian_Two_Level_Logic_Synthesis_for_Probabilistic_Computation.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<br> [http://mriedel.ece.umn.edu/files/Qian_Two_Level_Logic_Synthesis_for_Probabilistic_Computation.pptx Slides]
 
 
|}
 
|}
 
{|
 
{|
Line 428: Line 432:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.pdf | A Reconfigurable Stochastic Architecture for Highly Reliable Computing]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/d/db/Qian_Riedel_Zhou_Bruck_Transforming_Probabilities_with_Combinational_Logic.pdf Transforming Probabilities with Combinational Logic]
|- valign="top"  
+
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| [http://www.arctic.umn.edu/people.shtml Xin Li], [[Weikang Qian]], [[Marc Riedel]], [http://www.ece.umn.edu/users/kia/ Kia Bazargan], and [http://www.arctic.umn.edu/lilja.shtml David Lilja]
+
| [[Weikang Qian]], [[Marc Riedel]], [http://paradise.caltech.edu/~hzhou/ Hongchao Zhou], and [http://paradise.caltech.edu/bruck.html Jehoshua Bruck]
 +
|- valign="top"
 +
| '''appeared in''':
 +
| [http://tcad.polito.it/ IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems], <br>Vol. 30, No. 9, pp. 1279&ndash;1292, 2011
 +
|- valign="top"
 +
| '''appeared in''':
 +
| [http://www.springer.com/engineering/circuits+%26+systems/book/978-1-4419-7517-1 Advanced Techniques in Logic Synthesis, Optimizations and Applications]<br> [http://www.ece.tamu.edu/~sunil/ Sunil Khatri] and [http://www.google.com/profiles/kanu.gulati Kanupriya Gulati] editors, [http://www.springerpub.com Springer Publishing], 2011
 +
|- valign="top"
 +
| '''presented&nbsp;at''':
 +
| [http://www.iccad.com/events/eventdetails.aspx?id=106-5-C IEEE/ACM International Conference on Computer-Aided Design], San Jose, 2009<br> (nominated for '''IEEE/ACM William J. McCalla ICCAD Best Paper Award''').
 
|- valign="top"
 
|- valign="top"
 
| '''presented&nbsp;at''':
 
| '''presented&nbsp;at''':
| [http://www.glsvlsi.org/archive/glsvlsi09/index.html Great Lakes Symposium on VLSI], Boston, MA, 2009
+
|[http://www.sigda.org/iwls/iwls2009/ IEEE/ACM International Workshop on Logic and Synthesis], Berkeley, CA, 2009
 
|}
 
|}
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">
 
<span class="plainlinks">
[http://www.mriedel.ece.umn.edu/wiki/images/b/b0/Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
[http://cadbio.com/wiki/images/d/db/Qian_Riedel_Zhou_Bruck_Transforming_Probabilities_with_Combinational_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>[[Media:Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.pdf | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/d/db/Qian_Riedel_Zhou_Bruck_Transforming_Probabilities_with_Combinational_Logic.pdf Paper]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
+
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Qian_Riedel_Bazargan_Lilja_The_Synthesis_of_Combinational_Logic_to_Generate_Probabilities.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
<br> [http://mriedel.ece.umn.edu/files/Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.ppt Slides]
+
<br> [http://mriedel.ece.umn.edu/files/Qian_Riedel_Bazargan_Lilja_The_Synthesis_of_Combinational_Logic_to_Generate_Probabilities.ppt Slides]
 
|}
 
|}
 
{|
 
{|
Line 448: Line 461:
 
{| style="background:#F0E68C"
 
{| style="background:#F0E68C"
 
|- valign="top"
 
|- valign="top"
| width="100" |'''title''':
+
| width="100" | '''title''':
| width="500" |[[Media:Sivaswamy_Bazargan_Riedel_Estimation_and_Optimization_of_Reliability_of_Noisy_Digital_Circuits.pdf | Estimation and Optimization of Reliability of Noisy Digital Circuits]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/2/21/Qian_Li_Riedel_Bazargan_Lilja_An_Architecture_for_Fault-Tolerant_Computation_with_Stochastic_Logic.pdf An Architecture for Fault-Tolerant Computation with Stochastic Logic]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| [http://www.ece.umn.edu/users/satish/ Satish Sivaswamy], [http://www.ece.umn.edu/users/kia/ Kia Bazargan] and [[Marc Riedel]]
+
| [[Weikang Qian]], [http://www.arctic.umn.edu/people.shtml Xin Li], [[Marc Riedel]], [http://www.ece.umn.edu/users/kia/ Kia Bazargan], and [http://www.arctic.umn.edu/lilja.shtml David Lilja]
|- valign="top"
+
|- valign="top"  
| '''presented&nbsp;at''':
+
| '''appeared in''':
| [http://www.isqed.org/ IEEE International Symposium on Quality Electronic Design], San Jose, CA, 2009.
+
| [http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5601694 IEEE Transactions on Computers], Vol. 60, No. 1, pp. 93&ndash;105, 2011
 
|}
 
|}
 
| align="center" width="70" |  
 
| align="center" width="70" |  
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/2/29/Sivaswamy_Bazargan_Riedel_Estimation_and_Optimization_of_Reliability_of_Noisy_Digital_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
<span class="plainlinks">
<br>[[Media:Sivaswamy_Bazargan_Riedel_Estimation_and_Optimization_of_Reliability_of_Noisy_Digital_Circuits.pdf | Paper]]
+
[http://cadbio.com/wiki/images/2/21/Qian_Li_Riedel_Bazargan_Lilja_An_Architecture_for_Fault-Tolerant_Computation_with_Stochastic_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 +
<br>
 +
[//mriedel.ece.umn.edu/wiki/images/2/21/Qian_Li_Riedel_Bazargan_Lilja_An_Architecture_for_Fault-Tolerant_Computation_with_Stochastic_Logic.pdf Paper]
 
|}
 
|}
 
{|
 
{|
Line 466: Line 481:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.pdf  | The Synthesis of Stochastic Logic to Perform Multivariate Polynomial Arithmetic]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/a/a8/Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation_IJNMC.pdf  The Synthesis of Stochastic Circuits for Nanoscale Computation]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| [[Weikang Qian]] and [[Marc Riedel]]
+
| [[Weikang Qian]], [[John Backes]], and [[Marc Riedel]]
|- valign="top"  
+
|- valign="top"
 +
| '''appeared&nbsp;in''':
 +
| [http://www.igi-global.com/Bookstore/TitleDetails.aspx?TitleId=1117&DetailsType=Description International Journal of Nanotechnology and Molecular Computation], <br>Vol. 1, No. 4, pp. 39&ndash;57, 2010
 +
|- valign="top"
 
| '''presented&nbsp;at''':
 
| '''presented&nbsp;at''':
| [http://www.sigda.org/iwls/iwls2008/ IEEE/ACM International Workshop on Logic and Synthesis], Lake Tahoe, CA, 2008
+
| [http://www.sigda.org/iwls/iwls2007 IEEE/ACM International Workshop on Logic and Synthesis], San Diego, CA, 2007
 
|}
 
|}
 
| align="center" width="70" |  
 
| align="center" width="70" |  
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/b/be/Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/a/a8/Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation_IJNMC.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>[[Media:Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.pdf | Paper]]
+
<br>[//mriedel.ece.umn.edu/wiki/images/a/a8/Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation_IJNMC.pdf Paper]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/e/e3/Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
+
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
<br> [http://www.mriedel.ece.umn.edu/wiki/images/e/e3/Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.ppt Poster]
+
<br> [http://mriedel.ece.umn.edu/files/Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation.ppt Slides]
 
|}
 
|}
 
{|
 
{|
Line 486: Line 504:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Qian_Riedel_The_Synthesis_of_Robust_Polynomial_Arithmetic_with_Stochastic_Logic.pdf | The Synthesis of Robust Polynomial Arithmetic with Stochastic Logic]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/4/4c/Qian_Riedel_Two_Level_Logic_Synthesis_for_Probabilistic_Computation.pdf Two-Level Logic Synthesis for Probabilistic Computation]
 
|- valign="top"  
 
|- valign="top"  
 
| '''authors''':
 
| '''authors''':
 
| [[Weikang Qian]] and [[Marc Riedel]]
 
| [[Weikang Qian]] and [[Marc Riedel]]
 
|- valign="top"
 
|- valign="top"
| '''presented&nbsp;at''':
+
| '''presented at''':
| [http://www.dac.com/events/eventdetails.aspx?id=77-37 ACM/EDAC/IEEE Design Automation Conference], Anaheim, CA, 2008
+
| [http://www.sigda.org/iwls/iwls2010/ IEEE/ACM International Workshop on Logic and Synthesis], Irvine, CA, 2010
 
|}
 
|}
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">
 
<span class="plainlinks">
[http://cctbio.ece.umn.edu/wiki/images/0/07/Qian_Riedel_The_Synthesis_of_Robust_Polynomial_Arithmetic_with_Stochastic_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
[http://www.mriedel.ece.umn.edu/wiki/images/4/4c/Qian_Riedel_Two_Level_Logic_Synthesis_for_Probabilistic_Computation.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>
+
<br>[//mriedel.ece.umn.edu/wiki/images/4/4c/Qian_Riedel_Two_Level_Logic_Synthesis_for_Probabilistic_Computation.pdf Paper]
[[Media:Qian_Riedel_The_Synthesis_of_Robust_Polynomial_Arithmetic_with_Stochastic_Logic.pdf | Paper]]
 
 
| align="center" width="70" |  
 
| align="center" width="70" |  
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Qian_Riedel_The_Synthesis_of_Robust_Polynomial_Arithmetic_with_Stochastic_Logic.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
+
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Qian_Two_Level_Logic_Synthesis_for_Probabilistic_Computation.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
<br> [http://mriedel.ece.umn.edu/files/Qian_Riedel_The_Synthesis_of_Robust_Polynomial_Arithmetic_with_Stochastic_Logic.ppt Slides]
+
<br> [http://mriedel.ece.umn.edu/files/Qian_Two_Level_Logic_Synthesis_for_Probabilistic_Computation.pptx Slides]
 
|}
 
|}
 
== Computing with Molecules ==
 
 
 
{|
 
{|
 
|
 
|
Line 511: Line 525:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Salehi Liu Riedel Parhi Computation of Mathematical Functions using DNA via Fractional Coding.pdf |Computing Mathematical Functions using DNA via Fractional Coding  ]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/b/b0/Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.pdf A Reconfigurable Stochastic Architecture for Highly Reliable Computing]
|- valign="top"
+
|- valign="top"  
 
| '''authors''':
 
| '''authors''':
| [https://www.engr.uky.edu/directory/salehi-sayed-ahmad Ahmad Salehi], Xingyi Liu, [[Marc Riedel]], and [http://people.ece.umn.edu/~parhi/ Keshab K. Parhi]
+
| [http://www.arctic.umn.edu/people.shtml Xin Li], [[Weikang Qian]], [[Marc Riedel]], [http://www.ece.umn.edu/users/kia/ Kia Bazargan], and [http://www.arctic.umn.edu/lilja.shtml David Lilja]
 
|- valign="top"
 
|- valign="top"
| '''appeared in''':
+
| '''presented&nbsp;at''':
| [https://www.nature.com/articles/s41598-018-26709-6 Nature Scientific Reports], Vol. 8 No. 8312, 2018
+
| [http://www.glsvlsi.org/archive/glsvlsi09/index.html Great Lakes Symposium on VLSI], Boston, MA, 2009
|}
+
|}
| align=center width="70" |
+
| align="center" width="70" |
<span class="plainlinks">
+
<span class="plainlinks">
[http://mriedel.ece.umn.edu/wiki/images/4/41/Salehi_Liu_Riedel_Parhi_Computation_of_Mathematical_Functions_using_DNA_via_Fractional_Coding.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
[http://www.mriedel.ece.umn.edu/wiki/images/b/b0/Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>
+
<br>[//mriedel.ece.umn.edu/wiki/images/b/b0/Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.pdf  Paper]
[[Media:Salehi_Liu_Riedel_Parhi_Computation_of_Mathematical_Functions_using_DNA_via_Fractional_Coding.pdf | Paper]]
+
| align="center" width="70" |
| align=center width="70" |
+
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
<span class="plainlinks">
+
<br> [http://mriedel.ece.umn.edu/files/Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.ppt Slides]
[http://mriedel.ece.umn.edu/wiki/images/9/91/Salehi_Liu_Riedel_Parhi_Computation_of_Mathematical_Functions_using_DNA_via_Fractional_Coding_Supplement.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
|}
<br>
+
{|
[[Media:Salehi_Liu_Riedel_Parhi_Computation_of_Mathematical_Functions_using_DNA_via_Fractional_Coding_Supplement.pdf | Supplement]]
+
|
|}
+
{| style="background:#F0E68C"
 
+
|- valign="top"
 +
| width="100" |'''title''':
 +
| width="500" |[//mriedel.ece.umn.edu/wiki/images/2/29/Sivaswamy_Bazargan_Riedel_Estimation_and_Optimization_of_Reliability_of_Noisy_Digital_Circuits.pdf  Estimation and Optimization of Reliability of Noisy Digital Circuits]
 +
|- valign="top"
 +
| '''authors''':
 +
| [http://www.ece.umn.edu/users/satish/ Satish Sivaswamy], [http://www.ece.umn.edu/users/kia/ Kia Bazargan] and [[Marc Riedel]]
 +
|- valign="top"
 +
| '''presented&nbsp;at''':
 +
| [http://www.isqed.org/ IEEE International Symposium on Quality Electronic Design], San Jose, CA, 2009.
 +
|}
 +
| align="center" width="70" |
 +
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/2/29/Sivaswamy_Bazargan_Riedel_Estimation_and_Optimization_of_Reliability_of_Noisy_Digital_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 +
<br>[//mriedel.ece.umn.edu/wiki/images/2/29/Sivaswamy_Bazargan_Riedel_Estimation_and_Optimization_of_Reliability_of_Noisy_Digital_Circuits.pdf  Paper]
 +
|}
 +
{|
 +
|
 +
{| style="background:#F0E68C"
 +
|- valign="top"
 +
| width="100" | '''title''':
 +
| width="500" | [//mriedel.ece.umn.edu/wiki/images/b/be/Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.pdf  The Synthesis of Stochastic Logic to Perform Multivariate Polynomial Arithmetic]
 +
|- valign="top"
 +
| '''authors''':
 +
| [[Weikang Qian]] and [[Marc Riedel]]
 +
|- valign="top"
 +
| '''presented&nbsp;at''':
 +
| [http://www.sigda.org/iwls/iwls2008/ IEEE/ACM International Workshop on Logic and Synthesis], Lake Tahoe, CA, 2008
 +
|}
 +
| align="center" width="70" |
 +
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/b/be/Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 +
<br>[//mriedel.ece.umn.edu/wiki/images/b/be/Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.pdf  Paper]
 +
| align="center" width="70" |
 +
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/e/e3/Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 +
<br> [http://www.mriedel.ece.umn.edu/wiki/images/e/e3/Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.ppt Poster]
 +
|}
 +
{|
 +
|
 +
{| style="background:#F0E68C"
 +
|- valign="top"
 +
| width="100" | '''title''':
 +
| width="500" | [//mriedel.ece.umn.edu/wiki/images/0/07/Qian_Riedel_The_Synthesis_of_Robust_Polynomial_Arithmetic_with_Stochastic_Logic.pdf  The Synthesis of Robust Polynomial Arithmetic with Stochastic Logic]
 +
|- valign="top"
 +
| '''authors''':
 +
| [[Weikang Qian]] and [[Marc Riedel]]
 +
|- valign="top"
 +
| '''presented&nbsp;at''':
 +
| [http://www.dac.com/events/eventdetails.aspx?id=77-37 ACM/EDAC/IEEE Design Automation Conference], Anaheim, CA, 2008
 +
|}
 +
| align="center" width="70" |
 +
<span class="plainlinks">
 +
[http://cctbio.ece.umn.edu/wiki/images/0/07/Qian_Riedel_The_Synthesis_of_Robust_Polynomial_Arithmetic_with_Stochastic_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 +
<br>
 +
[//mriedel.ece.umn.edu/wiki/images/0/07/Qian_Riedel_The_Synthesis_of_Robust_Polynomial_Arithmetic_with_Stochastic_Logic.pdf  Paper]
 +
| align="center" width="70" |
 +
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Qian_Riedel_The_Synthesis_of_Robust_Polynomial_Arithmetic_with_Stochastic_Logic.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 +
<br> [http://mriedel.ece.umn.edu/files/Qian_Riedel_The_Synthesis_of_Robust_Polynomial_Arithmetic_with_Stochastic_Logic.ppt Slides]
 +
|}
 +
 
 +
== Computing with Molecules ==
 +
{|
 +
|
 +
{| style="background:#F0E68C"
 +
|- valign="top"
 +
| width="100" | '''title''':
 +
| width="500" | [//mriedel.ece.umn.edu/wiki/images/8/81/FNANO20_Random_Cutting.pdf Stochastic Computation on DNA strands through Hydroxyl Nicking]
 +
|- valign="top"
 +
| '''authors''':
 +
| [[Arnav Solanki]], [[Tonglin Chen]] and [[Marc Riedel]]
 +
|- valign="top"
 +
| '''presented&nbsp;at''':
 +
| [https://www2.cs.duke.edu/FNANO/ Foundations of Nanoscience: Self-Assembled Architectures and Devices], 2020
 +
|}
 +
| align="center" width="70" |
 +
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/8/81/FNANO20_Random_Cutting.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 +
<br>[http://mriedel.ece.umn.edu/wiki/images/8/81/FNANO20_Random_Cutting.pdf Paper]
 +
| align="center" width="70" |
 +
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/2/29/FNANO_poster2020.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 +
<br> [http://mriedel.ece.umn.edu/wiki/images/2/29/FNANO_poster2020.pdf Poster]
 +
|}
 +
 
 +
{|
 +
|
 +
{| style="background:#F0E68C"
 +
|- valign="top"
 +
| width="100" | '''title''':
 +
| width="500" | [//mriedel.ece.umn.edu/wiki/images/4/4c/Chen_Riedel_Parallel_Binary_Sorting_and_Shifting_with_DNA.pdf Parallel Binary Sorting and Shifting with DNA]
 +
|- valign="top"
 +
| '''authors''':
 +
| [[Tonglin Chen]] and [[Marc Riedel]]
 +
|- valign="top"
 +
| '''presented&nbsp;at''':
 +
| [https://www.iwbdaconf.org/2019/ International Workshop on Bio-Design Automation], Cambridge, England, 2019.
 +
|}
 +
| width="70" align="center" |
 +
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/4/4c/Chen_Riedel_Parallel_Binary_Sorting_and_Shifting_with_DNA.pdf http://cctbio.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 +
<br> [//mriedel.ece.umn.edu/wiki/images/4/4c/Chen_Riedel_Parallel_Binary_Sorting_and_Shifting_with_DNA.pdf Paper]
 +
 
 +
|}
 +
 
 +
{|
 +
|
 +
{| style="background:#F0E68C"
 +
|- valign="top"
 +
| width="100" | '''title''':
 +
| width="500" | [//mriedel.ece.umn.edu/wiki/images/4/41/Salehi_Liu_Riedel_Parhi_Computation_of_Mathematical_Functions_using_DNA_via_Fractional_Coding.pdf Computing Mathematical Functions using DNA via Fractional Coding]
 +
|- valign="top"
 +
| '''authors''':
 +
| [https://www.engr.uky.edu/directory/salehi-sayed-ahmad Ahmad Salehi], Xingyi Liu, [[Marc Riedel]], and [http://people.ece.umn.edu/~parhi/ Keshab K. Parhi]
 +
|- valign="top"
 +
| '''appeared in''':
 +
| [https://www.nature.com/articles/s41598-018-26709-6 Nature Scientific Reports], Vol. 8 No. 8312, 2018
 +
|}
 +
| align="center" width="70" |
 +
<span class="plainlinks">
 +
[http://mriedel.ece.umn.edu/wiki/images/4/41/Salehi_Liu_Riedel_Parhi_Computation_of_Mathematical_Functions_using_DNA_via_Fractional_Coding.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 +
<br>
 +
[//mriedel.ece.umn.edu/wiki/images/4/41/Salehi_Liu_Riedel_Parhi_Computation_of_Mathematical_Functions_using_DNA_via_Fractional_Coding.pdf Paper]
 +
| align="center" width="70" |
 +
<span class="plainlinks">
 +
[http://mriedel.ece.umn.edu/wiki/images/9/91/Salehi_Liu_Riedel_Parhi_Computation_of_Mathematical_Functions_using_DNA_via_Fractional_Coding_Supplement.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 +
<br>
 +
[//mriedel.ece.umn.edu/wiki/images/9/91/Salehi_Liu_Riedel_Parhi_Computation_of_Mathematical_Functions_using_DNA_via_Fractional_Coding_Supplement.pdf  Supplement]
 +
|}
 +
 
 +
{|
 +
|
 +
{| style="background:#F0E68C"
 +
|- valign="top"
 +
| width="100" | '''title''':
 +
| width="500" | [//mriedel.ece.umn.edu/wiki/images/d/d7/Salehi_Parhi_Riedel_Chemical_Reaction_Networks_for_Computing_Polynomials.pdf Chemical Reaction Networks for Computing Polynomials]
 +
|- valign="top"
 +
| '''authors''':
 +
| [[Ahmad Salehi]], [http://www.ece.umn.edu/users/parhi Keshab Parhi] and  [[Marc Riedel]]
 +
|- valign="top"
 +
| '''appeared as''':
 +
| [http://pubs.acs.org/journal/asbcd6 ACS Synthetic Biology],Vol. 6, No. 1, pp. 76–83, 2017
 +
|- valign="top"
 +
| '''presented at''':
 +
| [http://globecom2016.ieee-globecom.org IEEE Globecom Symposium, 2016]
 +
|}
 +
| align="center" width="70" |
 +
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/d/d7/Salehi_Parhi_Riedel_Chemical_Reaction_Networks_for_Computing_Polynomials.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 +
<br>[//mriedel.ece.umn.edu/wiki/images/4/47/Salehi_Riedel_Parhi_Chemical_Reaction_Networks_for_Computing_Polynomials.pdf  Paper]
 +
|}
 +
{|
 +
|
 +
{| style="background:#F0E68C"
 +
|- valign="top"
 +
| width="100" | '''title''':
 +
| width="500" | [//mriedel.ece.umn.edu/wiki/images/2/25/Salehi_Riedel_Parhi_Molecular_Sensing_and_Computing_Systems.pdf Molecular Sensing and Computing Systems]
 +
|- valign="top"
 +
| '''authors''':
 +
| [[Ahmad Salehi]], [[Marc Riedel]], [http://www.ece.umn.edu/users/parhi Keshab Parhi]
 +
|- valign="top"
 +
| '''appeared as''':
 +
| [http://mbmc.info IEEE Trans. on Molecular, Biological, and Multi-Scale Communications],<br>Vol. 1, No. 3, 2015
 +
|}
 +
| align="center" width="70" |
 +
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/2/25/Salehi_Riedel_Parhi_Molecular_Sensing_and_Computing_Systems.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 +
<br> [http://cctbio.ece.umn.edu/wiki/images/2/25/Salehi_Riedel_Parhi_Molecular_Sensing_and_Computing_Systems.pdf Paper]
 +
|}
 
{|
 
{|
 
|  
 
|  
Line 536: Line 709:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Salehi_Parhi_Riedel_Chemical_Reaction_Networks_for_Computing_Polynomials.pdf |Chemical Reaction Networks for Computing Polynomials]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/c/c0/Salehi_Riedel_Parhi_Markov_Chain_Computations_using_Molecular_Reactions.pdf Markov Chain Computations using Molecular Reactions]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| [[Ahmad Salehi]], [http://www.ece.umn.edu/users/parhi Keshab Parhi] and  [[Marc Riedel]]
+
| [[Ahmad Salehi]], [[Marc Riedel]], [http://www.ece.umn.edu/users/parhi Keshab Parhi]
 
|- valign="top"
 
|- valign="top"
| '''appeared as''':
+
| '''presented&nbsp;at''':
| [http://pubs.acs.org/journal/asbcd6 ACS Synthetic Biology],Vol. 6, No. 1, pp. 76–83, 2017
+
| [http://www.dsp2015.org IEEE International Conference on Digital Signal Processing], 2015.
|- valign="top"
 
| '''presented at''':
 
| [http://globecom2016.ieee-globecom.org IEEE Globecom Symposium, 2016]
 
 
|}
 
|}
 
| align="center" width="70" |  
 
| align="center" width="70" |  
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/d/d7/Salehi_Parhi_Riedel_Chemical_Reaction_Networks_for_Computing_Polynomials.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
+
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/c/c0/Salehi_Riedel_Parhi_Markov_Chain_Computations_using_Molecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>[[Media:Salehi_Riedel_Parhi_Chemical_Reaction_Networks_for_Computing_Polynomials.pdf | Paper]]
+
<br>[//mriedel.ece.umn.edu/wiki/images/c/c0/Salehi_Riedel_Parhi_Markov_Chain_Computations_using_Molecular_Reactions.pdf Paper]
 +
| align="center" width="70" |
 
|}
 
|}
 
{|
 
{|
Line 556: Line 727:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Salehi_Riedel_Parhi_Molecular_Sensing_and_Computing_Systems.pdf | Molecular Sensing and Computing Systems]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/b/b3/Salehi_Riedel_Parhi_Asynchronous_Discrete-Time_Signal_Processing_with_Molecular_Reactions.pdf Asynchronous Discrete-Time Signal Processing with Molecular Reactions]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
| [[Ahmad Salehi]], [[Marc Riedel]], [http://www.ece.umn.edu/users/parhi Keshab Parhi]
+
| [[Ahmad Salehi]], [[Marc Riedel]], and [http://www.ece.umn.edu/users/parhi Keshab Parhi]
 
|- valign="top"
 
|- valign="top"
| '''appeared as''':
+
| '''presented&nbsp;at''':
| [http://mbmc.info IEEE Trans. on Molecular, Biological, and Multi-Scale Communications],<br>Vol. 1, No. 3, 2015
+
| [http://www.asilomarsscconf.org/webpage/asil14/post_conf.htm Asilomar Conference on Signals, Systems, and Computers], 2014.
|}
 
| align="center" width="70" |
 
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/2/25/Salehi_Riedel_Parhi_Molecular_Sensing_and_Computing_Systems.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br> [http://cctbio.ece.umn.edu/wiki/images/2/25/Salehi_Riedel_Parhi_Molecular_Sensing_and_Computing_Systems.pdf Paper]
 
|}
 
{|
 
|
 
{| style="background:#F0E68C"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="500" | [[Media:Salehi_Riedel_Parhi_Markov_Chain_Computations_using Molecular_Reactions.pdf |Markov Chain Computations using Molecular Reactions]]
 
|- valign="top"
 
| '''authors''':
 
| [[Ahmad Salehi]], [[Marc Riedel]], [http://www.ece.umn.edu/users/parhi Keshab Parhi]
 
|- valign="top"
 
| '''presented&nbsp;at''':
 
| [http://www.dsp2015.org IEEE International Conference on Digital Signal Processing], 2015.
 
|}
 
| align="center" width="70" |
 
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/c/c0/Salehi_Riedel_Parhi_Markov_Chain_Computations_using_Molecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>[[Media:Salehi_Riedel_Parhi_Markov_Chain_Computations_using_Molecular_Reactions.pdf | Paper]]
 
| align="center" width="70" |
 
|}
 
{|
 
|
 
{| style="background:#F0E68C"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="500" | [[Media:Salehi Riedel Parhi Asynchronous Discrete-Time Signal Processing with Molecular Reactions.pdf| Asynchronous Discrete-Time Signal Processing with Molecular Reactions]]
 
|- valign="top"
 
| '''authors''':
 
| [[Ahmad Salehi]], [[Marc Riedel]], and [http://www.ece.umn.edu/users/parhi Keshab Parhi]
 
|- valign="top"
 
| '''presented&nbsp;at''':
 
| [http://www.asilomarsscconf.org/webpage/asil14/post_conf.htm Asilomar Conference on Signals, Systems, and Computers], 2014.
 
 
|}
 
|}
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/b/b3/Salehi_Riedel_Parhi_Asynchronous_Discrete-Time_Signal_Processing_with_Molecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/b/b3/Salehi_Riedel_Parhi_Asynchronous_Discrete-Time_Signal_Processing_with_Molecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>[[Media:Salehi_Riedel_Parhi_Asynchronous_Discrete-Time_Signal_Processing_with_Molecular_Reactions.pdf | Paper]]
+
<br>[//mriedel.ece.umn.edu/wiki/images/b/b3/Salehi_Riedel_Parhi_Asynchronous_Discrete-Time_Signal_Processing_with_Molecular_Reactions.pdf Paper]
 
|}
 
|}
 
{|
 
{|
Line 608: Line 744:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Jiang_Riedel_Parhi_Digital_Logic_with_Molecular_Reactions.pdf | Digital Logic with Molecular Reactions]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/c/cf/Jiang_Riedel_Parhi_Digital_Logic_with_Molecular_Reactions.pdf Digital Logic with Molecular Reactions]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
Line 618: Line 754:
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/c/cf/Jiang_Riedel_Parhi_Digital_Logic_with_Molecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/c/cf/Jiang_Riedel_Parhi_Digital_Logic_with_Molecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>[[Media:Jiang_Riedel_Parhi_Digital_Logic_with_Molecular_Reactions.pdf | Paper]]
+
<br>[//mriedel.ece.umn.edu/wiki/images/c/cf/Jiang_Riedel_Parhi_Digital_Logic_with_Molecular_Reactions.pdf Paper]
 
|}
 
|}
 
{|
 
{|
Line 625: Line 761:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Jiang_Salehi_Riedel_Parhi_Discrete-Time_Signal_Processing_with_DNA.pdf | Discrete-Time Signal Processing with DNA]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/3/36/Jiang_Salehi_Riedel_Parhi_Discrete-Time_Signal_Processing_with_DNA.pdf Discrete-Time Signal Processing with DNA]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
Line 631: Line 767:
 
|- valign="top"
 
|- valign="top"
 
| '''appeared&nbsp;in''':
 
| '''appeared&nbsp;in''':
| [http://pubs.acs.org/doi/abs/10.1021/sb300087n ACS Synthetic Biology], Vol. 2 no. 5, pp. 245&ndash;254, 2013.<br>[[Media:Jiang_Salehi_Riedel_Parhi_Discrete-Time_Signal_Processing_with_DNA_Appendix.pdf | Supplementary Information: List of Reactions]]
+
| [http://pubs.acs.org/doi/abs/10.1021/sb300087n ACS Synthetic Biology], Vol. 2 no. 5, pp. 245&ndash;254, 2013.<br>[//mriedel.ece.umn.edu/wiki/images/4/40/Jiang_Salehi_Riedel_Parhi_Discrete-Time_Signal_Processing_with_DNA_Appendix.pdf Supplementary Information: List of Reactions]
 
|- valign="top"
 
|- valign="top"
 
| '''appeared&nbsp;in''':
 
| '''appeared&nbsp;in''':
Line 656: Line 792:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Kulkarni_Chanyaswad_Riedel_Kim_Robust_Tunable_In_Vitro_Transcriptional_Oscillator_Networks.pdf |Robust Tunable ''In Vitro'' Transcriptional Oscillator Networks]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/5/57/Kulkarni_Chanyaswad_Riedel_Kim_Robust_Tunable_In_Vitro_Transcriptional_Oscillator_Networks.pdf Robust Tunable ''In Vitro'' Transcriptional Oscillator Networks]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
Line 674: Line 810:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Senum_Riedel_Rate-Independent_Constructs_for_Chemical_Computation.pdf | Rate-Independent Constructs for Chemical Computation]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/d/db/Senum_Riedel_Rate-Independent_Constructs_for_Chemical_Computation.pdf Rate-Independent Constructs for Chemical Computation]
 
|- valign="top"  
 
|- valign="top"  
 
| '''authors''':
 
| '''authors''':
Line 695: Line 831:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Jiang_Riedel_Parhi_Synchronous_Sequential_Computation_with_Molecular_Reactions.pdf | Synchronous Sequential Computation with Molecular Reactions]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/0/07/Jiang_Riedel_Parhi_Synchronous_Sequential_Computation_with_Molecular_Reactions.pdf Synchronous Sequential Computation with Molecular Reactions]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
Line 716: Line 852:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Jiang_Riedel_Parhi_Asynchronous_Computation_with_Molecular_Reactions.pdf | Asynchronous Computation with Molecular Reactions]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/a/ab/Jiang_Riedel_Parhi_Asynchronous_Computation_with_Molecular_Reactions.pdf Asynchronous Computation with Molecular Reactions]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
Line 727: Line 863:
 
<span class="plainlinks">
 
<span class="plainlinks">
 
[http://cctbio.ece.umn.edu/wiki/images/a/ab/Jiang_Riedel_Parhi_Asynchronous_Computation_with_Molecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://cctbio.ece.umn.edu/wiki/images/a/ab/Jiang_Riedel_Parhi_Asynchronous_Computation_with_Molecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br> [[Media:Jiang_Riedel_Parhi_Asynchronous_Computation_with_Molecular_Reactions.pdf | Paper]]
+
<br> [//mriedel.ece.umn.edu/wiki/images/a/ab/Jiang_Riedel_Parhi_Asynchronous_Computation_with_Molecular_Reactions.pdf Paper]
 
|}
 
|}
 
{|
 
{|
Line 734: Line 870:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Kharam_Jiang_Riedel_Parhi_Binary_Counting_with_Chemical_Reactions.pdf | Binary Counting with Chemical Reactions]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/a/a7/Kharam_Jiang_Riedel_Parhi_Binary_Counting_with_Chemical_Reactions.pdf Binary Counting with Chemical Reactions]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
Line 755: Line 891:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Shea_Fett_Riedel_Parhi_Writing_and_Compiling_code_into_Biochemistry.pdf | Writing and Compiling Code into Biochemistry]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/0/04/Shea_Fett_Riedel_Parhi_Writing_and_Compiling_code_into_Biochemistry.pdf Writing and Compiling Code into Biochemistry]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
Line 767: Line 903:
 
|}
 
|}
 
| align="center" width="70" |  
 
| align="center" width="70" |  
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/0/04/Shea_Fett_Riedel_Parhi_Writing_and_Compiling_code_into_Biochemistry.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br>[[Media:Shea_Fett_Riedel_Parhi_Writing_and_Compiling_code_into_Biochemistry.pdf | Paper]]
+
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/0/04/Shea_Fett_Riedel_Parhi_Writing_and_Compiling_code_into_Biochemistry.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br>[//mriedel.ece.umn.edu/wiki/images/0/04/Shea_Fett_Riedel_Parhi_Writing_and_Compiling_code_into_Biochemistry.pdf Paper]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Shea_Fett_Riedel_Parhi_Writing_and_Compiling_code_into_Biochemistry.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Shea_Fett_Riedel_Parhi_Writing_and_Compiling_code_into_Biochemistry.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 777: Line 913:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.pdf | Stochastic Transient Analysis of Biochemical Systems]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/3/37/Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.pdf Stochastic Transient Analysis of Biochemical Systems]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
Line 787: Line 923:
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/3/37/Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/3/37/Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br> [[Media:Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.pdf | Paper]]
+
<br> [//mriedel.ece.umn.edu/wiki/images/3/37/Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.pdf Paper]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 797: Line 933:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Fett_Riedel_Module_Locking_in_Biochemical_Synthesis.pdf | Module Locking in Biochemical Systems]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/6/66/Fett_Riedel_Module_Locking_in_Biochemical_Synthesis.pdf Module Locking in Biochemical Systems]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
Line 807: Line 943:
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/6/66/Fett_Riedel_Module_Locking_in_Biochemical_Synthesis.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/6/66/Fett_Riedel_Module_Locking_in_Biochemical_Synthesis.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br> [[Media:Fett_Riedel_Module_Locking_in_Biochemical_Synthesis.pdf | Paper]]
+
<br> [//mriedel.ece.umn.edu/wiki/images/6/66/Fett_Riedel_Module_Locking_in_Biochemical_Synthesis.pdf Paper]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Fett_Riedel_Module_Locking_in_Biochemical_Synthesis.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Fett_Riedel_Module_Locking_in_Biochemical_Synthesis.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 817: Line 953:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Fett_Bruck_Riedel_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf | Synthesizing Stochasticity in Biochemical Systems]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/e/e6/Fett_Bruck_Riedel_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf Synthesizing Stochasticity in Biochemical Systems]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
Line 827: Line 963:
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/e/e6/Fett_Bruck_Riedel_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/e/e6/Fett_Bruck_Riedel_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br> [[Media:Fett_Bruck_Riedel_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf | Paper]]
+
<br> [//mriedel.ece.umn.edu/wiki/images/e/e6/Fett_Bruck_Riedel_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf Paper]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Fett_Bruck_Riedel_Synthesizing_Stochasticity_in_Biochemical_Systems.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Fett_Bruck_Riedel_Synthesizing_Stochasticity_in_Biochemical_Systems.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 840: Line 976:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Kulkarni_Arastoo_Bhat_Subramanian_Kothare_Riedel_Gene_Regulatory_Network_Modeling_Using_Literature_Curated_and_High_Throughput_Data.pdf | Gene Regulatory Network Modeling Using Literature Curated and High Throughput Data]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/8/86/Kulkarni_Arastoo_Bhat_Subramanian_Kothare_Riedel_Gene_Regulatory_Network_Modeling_Using_Literature_Curated_and_High_Throughput_Data.pdf Gene Regulatory Network Modeling Using Literature Curated and High Throughput Data]
 
|- valign="top"  
 
|- valign="top"  
 
| '''authors''':
 
| '''authors''':
Line 851: Line 987:
 
<span class="plainlinks">
 
<span class="plainlinks">
 
[http://cctbio.ece.umn.edu/wiki/images/8/86/Kulkarni_Arastoo_Bhat_Subramanian_Kothare_Riedel_Gene_Regulatory_Network_Modeling_Using_Literature_Curated_and_High_Throughput_Data.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://cctbio.ece.umn.edu/wiki/images/8/86/Kulkarni_Arastoo_Bhat_Subramanian_Kothare_Riedel_Gene_Regulatory_Network_Modeling_Using_Literature_Curated_and_High_Throughput_Data.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br> [[Media:Kulkarni_Arastoo_Bhat_Subramanian_Kothare_Riedel_Gene_Regulatory_Network_Modeling_Using_Literature_Curated_and_High_Throughput_Data.pdf | Paper]]
+
<br> [//mriedel.ece.umn.edu/wiki/images/8/86/Kulkarni_Arastoo_Bhat_Subramanian_Kothare_Riedel_Gene_Regulatory_Network_Modeling_Using_Literature_Curated_and_High_Throughput_Data.pdf Paper]
 
|}
 
|}
 
{|
 
{|
Line 858: Line 994:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Kulkarni_Kareenhalli_Viswananthan_Riedel_Characterizing_the_Memory_of_the_GAL_Regulatory_Network_in_Saccharomyces_cerevisiae.pdf | Characterizing the Memory of the GAL Regulatory Network in<br> ''Saccharomyces cerevisiae'']]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/2/2b/Kulkarni_Kareenhalli_Viswananthan_Riedel_Characterizing_the_Memory_of_the_GAL_Regulatory_Network_in_Saccharomyces_cerevisiae.pdf Characterizing the Memory of the GAL Regulatory Network in<br> ''Saccharomyces cerevisiae'']
 
|- valign="top"  
 
|- valign="top"  
 
| '''authors''':
 
| '''authors''':
Line 878: Line 1,014:
 
|- valign="top"
 
|- valign="top"
 
| width="100" |'''title''':
 
| width="100" |'''title''':
| width="500" |[[Media:Altun_Riedel_Logic_Synthesis_for_Switching_Lattices.pdf | Logic Synthesis for Switching Lattices]]
+
| width="500" |[//mriedel.ece.umn.edu/wiki/images/c/ca/Altun_Riedel_Logic_Synthesis_for_Switching_Lattices.pdf Logic Synthesis for Switching Lattices]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
Line 893: Line 1,029:
 
[http://cadbio.com/wiki/images/c/ca/Altun_Riedel_Logic_Synthesis_for_Switching_Lattices.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://cadbio.com/wiki/images/c/ca/Altun_Riedel_Logic_Synthesis_for_Switching_Lattices.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Altun_Riedel_Logic_Synthesis_for_Switching_Lattices.pdf | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/c/ca/Altun_Riedel_Logic_Synthesis_for_Switching_Lattices.pdf Paper]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">
 
<span class="plainlinks">
Line 905: Line 1,041:
 
|- valign="top"
 
|- valign="top"
 
| width="100" |'''title''':
 
| width="100" |'''title''':
| width="500" |[[Media:Altun_Riedel_Robust_Computation_through_Percolation_Synthesizing_Logic_with_Percolation_in_Nanoscale_Lattices.pdf | Synthesizing Logic with Percolation in Nanoscale Lattices]]
+
| width="500" |[//mriedel.ece.umn.edu/wiki/images/2/2d/Altun_Riedel_Robust_Computation_through_Percolation_Synthesizing_Logic_with_Percolation_in_Nanoscale_Lattices.pdf Synthesizing Logic with Percolation in Nanoscale Lattices]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
Line 920: Line 1,056:
 
[http://cadbio.com/wiki/images/3/3b/Altun_Riedel_Synthesizing_Logic_with_Percolation_in_Nanoscale_Lattices.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://cadbio.com/wiki/images/3/3b/Altun_Riedel_Synthesizing_Logic_with_Percolation_in_Nanoscale_Lattices.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Altun_Riedel_Synthesizing_Logic_with_Percolation_in_Nanoscale_Lattices.pdf | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/3/3b/Altun_Riedel_Synthesizing_Logic_with_Percolation_in_Nanoscale_Lattices.pdf Paper]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/f/fe/Altun_Riedel_Neuhauser_Nanoscale_Digital_Computation_Through_Percolation.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/f/fe/Altun_Riedel_Neuhauser_Nanoscale_Digital_Computation_Through_Percolation.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 932: Line 1,068:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Riedel_Bruck_Cyclic_Boolean_Circuits.pdf | Cyclic Boolean Circuits]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/9/94/Riedel_Bruck_Cyclic_Boolean_Circuits.pdf Cyclic Boolean Circuits]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
Line 944: Line 1,080:
 
[http://mriedel.ece.umn.edu/wiki/images/9/94/Riedel_Bruck_Cyclic_Boolean_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://mriedel.ece.umn.edu/wiki/images/9/94/Riedel_Bruck_Cyclic_Boolean_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Riedel_Bruck_Cyclic_Boolean_Circuits.pdf | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/9/94/Riedel_Bruck_Cyclic_Boolean_Circuits.pdf Paper]
 
|}
 
|}
 
{|
 
{|
Line 951: Line 1,087:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Backes_Riedel_The_Synthesis_of_Cyclic_Functional_Dependencies_with_Boolean_Satisfiability.pdf | The Synthesis of Cyclic Dependencies with Boolean Satisfiability]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/8/82/Backes_Riedel_The_Synthesis_of_Cyclic_Functional_Dependencies_with_Boolean_Satisfiability.pdf The Synthesis of Cyclic Dependencies with Boolean Satisfiability]
 
|-  
 
|-  
 
| '''authors''':
 
| '''authors''':
Line 961: Line 1,097:
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/8/82/Backes_Riedel_The_Synthesis_of_Cyclic_Functional_Dependencies_with_Boolean_Satisfiability.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/8/82/Backes_Riedel_The_Synthesis_of_Cyclic_Functional_Dependencies_with_Boolean_Satisfiability.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>[[Media:Backes_Riedel_The_Synthesis_of_Cyclic_Functional_Dependencies_with_Boolean_Satisfiability.pdf | Paper]]
+
<br>[//mriedel.ece.umn.edu/wiki/images/8/82/Backes_Riedel_The_Synthesis_of_Cyclic_Functional_Dependencies_with_Boolean_Satisfiability.pdf Paper]
 
|}
 
|}
 
{|
 
{|
Line 968: Line 1,104:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Backes_Fett_Riedel_The_Analysis_And_Mapping_Of_Cyclic_Cricuits_With_Boolean_Satisfiability.pdf | The Analysis and Mapping of Cyclic Circuits with Boolean Satisfiability]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/6/66/Backes_Fett_Riedel_The_Analysis_And_Mapping_Of_Cyclic_Cricuits_With_Boolean_Satisfiability.pdf The Analysis and Mapping of Cyclic Circuits with Boolean Satisfiability]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
Line 982: Line 1,118:
 
<span class="plainlinks">
 
<span class="plainlinks">
 
[http://www.mriedel.ece.umn.edu/wiki/images/6/66/Backes_Fett_Riedel_The_Analysis_And_Mapping_Of_Cyclic_Cricuits_With_Boolean_Satisfiability.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://www.mriedel.ece.umn.edu/wiki/images/6/66/Backes_Fett_Riedel_The_Analysis_And_Mapping_Of_Cyclic_Cricuits_With_Boolean_Satisfiability.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>[[Media:Backes_Fett_Riedel_The_Analysis_And_Mapping_Of_Cyclic_Cricuits_With_Boolean_Satisfiability.pdf  | Paper]]
+
<br>[//mriedel.ece.umn.edu/wiki/images/6/66/Backes_Fett_Riedel_The_Analysis_And_Mapping_Of_Cyclic_Cricuits_With_Boolean_Satisfiability.pdf  Paper]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Backes_Riedel_The_Analysis_of_Cyclic_Circuits_With_Boolean_Satisfiability.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Backes_Riedel_The_Analysis_of_Cyclic_Circuits_With_Boolean_Satisfiability.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 992: Line 1,128:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Backes_Riedel_The_Synthesis_of_Cyclic_Dependencies_with_Craig_Interpolation.pdf | The Synthesis of Cyclic Dependencies with Craig Interpolation]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/e/ec/Backes_Riedel_The_Synthesis_of_Cyclic_Dependencies_with_Craig_Interpolation.pdf The Synthesis of Cyclic Dependencies with Craig Interpolation]
 
|- valign="top"  
 
|- valign="top"  
 
| '''authors''':
 
| '''authors''':
Line 1,002: Line 1,138:
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/e/ec/Backes_Riedel_The_Synthesis_of_Cyclic_Dependencies_with_Craig_Interpolation.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/e/ec/Backes_Riedel_The_Synthesis_of_Cyclic_Dependencies_with_Craig_Interpolation.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>[[Media:Backes_Riedel_The_Synthesis_of_Cyclic_Dependencies_with_Craig_Interpolation.pdf‎ | Paper]]
+
<br>[//mriedel.ece.umn.edu/wiki/images/e/ec/Backes_Riedel_The_Synthesis_of_Cyclic_Dependencies_with_Craig_Interpolation.pdf Paper]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/a/ad/Backes_Riedel_The_Synthesis_Of_Functional_Dependencies_With_Craig_Interpolation.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/a/ad/Backes_Riedel_The_Synthesis_Of_Functional_Dependencies_With_Craig_Interpolation.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 1,012: Line 1,148:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Riedel_Bruck_Timing_Analysis_of_Cyclic_Combinational_Circuits.pdf  | Timing Analysis of Cyclic Combinational Circuits]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/e/ef/Riedel_Bruck_Timing_Analysis_of_Cyclic_Combinational_Circuits.pdf  Timing Analysis of Cyclic Combinational Circuits]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
Line 1,022: Line 1,158:
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/e/ef/Riedel_Bruck_Timing_Analysis_of_Cyclic_Combinational_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/e/ef/Riedel_Bruck_Timing_Analysis_of_Cyclic_Combinational_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>[[Media:Riedel_Bruck_Timing_Analysis_of_Cyclic_Combinational_Circuits.pdf  | Paper]]
+
<br>[//mriedel.ece.umn.edu/wiki/images/e/ef/Riedel_Bruck_Timing_Analysis_of_Cyclic_Combinational_Circuits.pdf  Paper]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Riedel_Bruck_Timing_Analysis_of_Cyclic_Combinational_Circuits.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Riedel_Bruck_Timing_Analysis_of_Cyclic_Combinational_Circuits.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 1,032: Line 1,168:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Riedel_Bruck_Cyclic_Combinational_Circuits_Analysis_for_Synthesis.pdf | Cyclic Combinational Circuits: Analysis for Synthesis]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/c/ce/Riedel_Bruck_Cyclic_Combinational_Circuits_Analysis_for_Synthesis.pdf Cyclic Combinational Circuits: Analysis for Synthesis]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
Line 1,042: Line 1,178:
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/c/ce/Riedel_Bruck_Cyclic_Combinational_Circuits_Analysis_for_Synthesis.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/c/ce/Riedel_Bruck_Cyclic_Combinational_Circuits_Analysis_for_Synthesis.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>[[Media:Riedel_Bruck_Cyclic_Combinational_Circuits_Analysis_for_Synthesis.pdf | Paper]]
+
<br>[//mriedel.ece.umn.edu/wiki/images/c/ce/Riedel_Bruck_Cyclic_Combinational_Circuits_Analysis_for_Synthesis.pdf Paper]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Riedel_Cyclic_Combinational_Circuits_Analysis_for_Synthesis.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Riedel_Cyclic_Combinational_Circuits_Analysis_for_Synthesis.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 1,052: Line 1,188:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Riedel_Bruck_The_Synthesis_of_Cyclic_Combinational_Circuits.pdf  | The Synthesis of Cyclic Combinational Circuits]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/b/bc/Riedel_Bruck_The_Synthesis_of_Cyclic_Combinational_Circuits.pdf  The Synthesis of Cyclic Combinational Circuits]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
Line 1,062: Line 1,198:
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/b/bc/Riedel_Bruck_The_Synthesis_of_Cyclic_Combinational_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/b/bc/Riedel_Bruck_The_Synthesis_of_Cyclic_Combinational_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>[[Media:Riedel_Bruck_The_Synthesis_of_Cyclic_Combinational_Circuits.pdf  | Paper]]
+
<br>[//mriedel.ece.umn.edu/wiki/images/b/bc/Riedel_Bruck_The_Synthesis_of_Cyclic_Combinational_Circuits.pdf  Paper]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Riedel_Cyclic_Combinational_Circuits.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Riedel_Cyclic_Combinational_Circuits.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 1,075: Line 1,211:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Backes_Riedel_Using_Cubes_of_Non-State_Variables_With_Property_Directed_Reachability.pdf |Using Cubes of Non-state Variables With Property Directed Reachability]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/c/c0/Backes_Riedel_Using_Cubes_of_Non-State_Variables_With_Property_Directed_Reachability.pdf Using Cubes of Non-state Variables With Property Directed Reachability]
 
|-  
 
|-  
 
| '''authors''':
 
| '''authors''':
Line 1,085: Line 1,221:
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/c/c0/Backes_Riedel_Using_Cubes_of_Non-State_Variables_With_Property_Directed_Reachability.pdf http://cctbio.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/c/c0/Backes_Riedel_Using_Cubes_of_Non-State_Variables_With_Property_Directed_Reachability.pdf http://cctbio.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>[[Media:Backes_Riedel_Using_Cubes_of_Non-State_Variables_With_Property_Directed_Reachability.pdf | Paper]]
+
<br>[//mriedel.ece.umn.edu/wiki/images/c/c0/Backes_Riedel_Using_Cubes_of_Non-State_Variables_With_Property_Directed_Reachability.pdf Paper]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/4/41/Backes_Riedel_Using_Cubes_of_Non-State_Variables_With_Property_Directed_Reachability.pptx http://cctbio.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/4/41/Backes_Riedel_Using_Cubes_of_Non-State_Variables_With_Property_Directed_Reachability.pptx http://cctbio.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 1,095: Line 1,231:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Backes_Riedel_Resolution_Proofs_As_A_Data_Structure_For_Logic_Synthesis.pdf‎‎‎ | Resolution Proofs as a Data Structure For Logic Synthesis]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/2/27/Backes_Riedel_Resolution_Proofs_As_A_Data_Structure_For_Logic_Synthesis.pdf  Resolution Proofs as a Data Structure For Logic Synthesis]
 
|-  
 
|-  
 
| '''authors''':
 
| '''authors''':
Line 1,105: Line 1,241:
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/2/27/Backes_Riedel_Resolution_Proofs_As_A_Data_Structure_For_Logic_Synthesis.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/2/27/Backes_Riedel_Resolution_Proofs_As_A_Data_Structure_For_Logic_Synthesis.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>[[Media:Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf  | Paper]]
+
<br>[//mriedel.ece.umn.edu/wiki/images/b/b6/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf  Paper]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/5/5e/Iwls2011final_final.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/5/5e/Iwls2011final_final.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 1,115: Line 1,251:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf | Reduction of Interpolants For Logic Synthesis]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/b/b6/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf Reduction of Interpolants For Logic Synthesis]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
Line 1,128: Line 1,264:
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://cadbio.com/wiki/images/b/b6/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<span class="plainlinks">[http://cadbio.com/wiki/images/b/b6/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>[[Media:Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf  | Paper]]
+
<br>[//mriedel.ece.umn.edu/wiki/images/b/b6/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf  Paper]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/0/00/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/0/00/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 1,141: Line 1,277:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Altun_Riedel_A_Study_on_Monotone_Self-Dual_Boolean_Functions.pdf | A Study on Monotone Self-Dual Boolean Functions]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/1/19/Altun_Riedel_A_Study_on_Monotone_Self-Dual_Boolean_Functions.pdf A Study on Monotone Self-Dual Boolean Functions]
 
|- valign="top"
 
|- valign="top"
 
| '''authors''':
 
| '''authors''':
Line 1,149: Line 1,285:
 
| [https://link.springer.com/article/10.1007/s10255-017-0633-x Acta Mathematicae Applicatae Sinica], Vol. 33, No. 1, pp. 43–52, 2017
 
| [https://link.springer.com/article/10.1007/s10255-017-0633-x Acta Mathematicae Applicatae Sinica], Vol. 33, No. 1, pp. 43–52, 2017
 
|}
 
|}
| align=center width="70" |
+
| align="center" width="70" |
 
<span class="plainlinks">
 
<span class="plainlinks">
 
[http://mriedel.ece.umn.edu/wiki/images/1/19/Altun_Riedel_A_Study_on_Monotone_Self-Dual_Boolean_Functions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://mriedel.ece.umn.edu/wiki/images/1/19/Altun_Riedel_A_Study_on_Monotone_Self-Dual_Boolean_Functions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Altun_Riedel_A_Study_on_Monotone_Self-Dual_Boolean_Functions.pdf | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/1/19/Altun_Riedel_A_Study_on_Monotone_Self-Dual_Boolean_Functions.pdf Paper]
 
|}
 
|}
 
{|
 
{|
Line 1,160: Line 1,296:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Qian_Riedel_Rosenberg_Synthesizing_Cubes_to_Satisfy_a_Given_Intersection_Pattern.pdf | Synthesizing Cubes to Satisfy a Given Intersection Pattern]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/c/cb/Qian_Riedel_Rosenberg_Synthesizing_Cubes_to_Satisfy_a_Given_Intersection_Pattern.pdf Synthesizing Cubes to Satisfy a Given Intersection Pattern]
 
|- valign="top"  
 
|- valign="top"  
 
| '''authors''':
 
| '''authors''':
Line 1,175: Line 1,311:
 
[http://cadbio.com/wiki/images/c/cb/Qian_Riedel_Rosenberg_Synthesizing_Cubes_to_Satisfy_a_Given_Intersection_Pattern.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://cadbio.com/wiki/images/c/cb/Qian_Riedel_Rosenberg_Synthesizing_Cubes_to_Satisfy_a_Given_Intersection_Pattern.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Qian_Riedel_Rosenberg_Synthesizing_Cubes_to_Satisfy_a_Given_Intersection_Pattern.pdf  | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/c/cb/Qian_Riedel_Rosenberg_Synthesizing_Cubes_to_Satisfy_a_Given_Intersection_Pattern.pdf  Paper]
 
| align="center" width="70" |
 
| align="center" width="70" |
 
<span class="plainlinks">[http://mriedel.com/wiki/images/5/5b/Qian_Riedel_Synthesizing_Cubes_to_Satisfy_a_Given_Intersection_Pattern.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://mriedel.com/wiki/images/5/5b/Qian_Riedel_Synthesizing_Cubes_to_Satisfy_a_Given_Intersection_Pattern.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 1,185: Line 1,321:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Kulkarni_Riedel_Stan_Networks_of_Passive_Oscillators.pdf | Networks of Passive Oscillators]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/d/d8/Kulkarni_Riedel_Stan_Networks_of_Passive_Oscillators.pdf Networks of Passive Oscillators]
 
|- valign="top"  
 
|- valign="top"  
 
| '''authors''':
 
| '''authors''':
Line 1,197: Line 1,333:
 
[http://mriedel.ece.umn.edu/wiki/images/d/d8/Kulkarni_Riedel_Stan_Networks_of_Passive_Oscillators.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://mriedel.ece.umn.edu/wiki/images/d/d8/Kulkarni_Riedel_Stan_Networks_of_Passive_Oscillators.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Kulkarni_Riedel_Stan_Networks_of_Passive_Oscillators.pdf | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/d/d8/Kulkarni_Riedel_Stan_Networks_of_Passive_Oscillators.pdf Paper]
 
| align="center" width="70" |
 
| align="center" width="70" |
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Kulkarni_Riedel_Stan_Networks_of_Passive_Oscillators.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Kulkarni_Riedel_Stan_Networks_of_Passive_Oscillators.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 1,208: Line 1,344:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Qian_Riedel_Rosenberg_Uniform_Approximation_and_Bernstein_Polynomials_with_Coefficients_in_the_Unit_Interval.pdf | Uniform Approximation and Bernstein Polynomials with Coefficients in the Unit Interval]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/a/ab/Qian_Riedel_Rosenberg_Uniform_Approximation_and_Bernstein_Polynomials_with_Coefficients_in_the_Unit_Interval.pdf Uniform Approximation and Bernstein Polynomials with Coefficients in the Unit Interval]
 
|- valign="top"  
 
|- valign="top"  
 
| '''authors''':
 
| '''authors''':
Line 1,220: Line 1,356:
 
[http://cadbio.com/wiki/images/a/ab/Qian_Riedel_Rosenberg_Uniform_Approximation_and_Bernstein_Polynomials_with_Coefficients_in_the_Unit_Interval.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://cadbio.com/wiki/images/a/ab/Qian_Riedel_Rosenberg_Uniform_Approximation_and_Bernstein_Polynomials_with_Coefficients_in_the_Unit_Interval.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Qian_Riedel_Rosenberg_Uniform_Approximation_and_Bernstein_Polynomials_with_Coefficients_in_the_Unit_Interval.pdf  | Paper]]
+
[//mriedel.ece.umn.edu/wiki/images/a/ab/Qian_Riedel_Rosenberg_Uniform_Approximation_and_Bernstein_Polynomials_with_Coefficients_in_the_Unit_Interval.pdf  Paper]
 
|}
 
|}
 
<br>
 
<br>
 
-----
 
-----
 
<br>
 
<br>
[[Image:website-art-2.gif|center|none|500px]]
+
[[Image:website-art-2.gif|center|500px]]
  
 
== Theses ==
 
== Theses ==
 
+
{|
 +
|
 +
{| style="background:#F0E68C"
 +
|- valign="top"
 +
| width="100" | '''title''':
 +
| width="500" | [//mriedel.ece.umn.edu/wiki/images/8/88/Hoffe083_honors_thesis_final_report.pdf  Simulating Chemical Reaction Networks for Computing with Naturally-Occurring DNA]
 +
|- valign="top"
 +
| '''author''':
 +
| [[Owen Hoffend]]
 +
|- valign="top"
 +
| '''degree''':
 +
| B.S., [http://www.ece.umn.edu Computer Engineering], [http://www.umn.edu University of Minnesota]
 +
|-
 +
| '''year''':
 +
| 2020.
 +
|}
 +
| align="center" width="70" |
 +
<span class="plainlinks">
 +
[http://mriedel.ece.umn.edu/wiki/images/8/88/Hoffe083_honors_thesis_final_report.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 +
<br>
 +
[//mriedel.ece.umn.edu/wiki/images/8/88/Hoffe083_honors_thesis_final_report.pdf  Senior Honors Thesis]
 +
| align="center" width="70" |
 +
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/index.php/File:Owen_hoffend_honors_thesis_final_report.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 +
<br> [http://mriedel.ece.umn.edu/wiki/index.php/File:Owen_hoffend_honors_thesis_final_report.pptx Slides]
 +
|}
 
{|
 
{|
 
| rowspan="2" |  
 
| rowspan="2" |  
Line 1,234: Line 1,394:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Backes_Algorithms_And_Data_Structures_For_Logic_Synthesis_And_Verification_Using_Boolean_Satisfiability.pdf |Algorithms and Data Structures For Logic Synthesis And Verification<br> Using Boolean Satisfiability]]<br>(received the [http://www.umn.edu University of Minnesota] '''Doctoral Dissertation Fellowship''')
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/9/96/Backes_Algorithms_And_Data_Structures_For_Logic_Synthesis_And_Verification_Using_Boolean_Satisfiability.pdf Algorithms and Data Structures For Logic Synthesis And Verification<br> Using Boolean Satisfiability]<br>(received the [http://www.umn.edu University of Minnesota] '''Doctoral Dissertation Fellowship''')
 
|-  
 
|-  
 
| '''author''':
 
| '''author''':
Line 1,247: Line 1,407:
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/9/96/Backes_Algorithms_And_Data_Structures_For_Logic_Synthesis_And_Verification_Using_Boolean_Satisfiability.pdf http://cctbio.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/9/96/Backes_Algorithms_And_Data_Structures_For_Logic_Synthesis_And_Verification_Using_Boolean_Satisfiability.pdf http://cctbio.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br>[[Media:Backes_Algorithms_And_Data_Structures_For_Logic_Synthesis_And_Verification_Using_Boolean_Satisfiability.pdf | Ph.D. Dissertation]]
+
<br>[//mriedel.ece.umn.edu/wiki/images/9/96/Backes_Algorithms_And_Data_Structures_For_Logic_Synthesis_And_Verification_Using_Boolean_Satisfiability.pdf Ph.D. Dissertation]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/f/fa/Backes_Algorithms_And_Data_Structures_For_Logic_Synthesis_And_Verification_Using_Boolean_Satisfiability.pptx http://cctbio.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/f/fa/Backes_Algorithms_And_Data_Structures_For_Logic_Synthesis_And_Verification_Using_Boolean_Satisfiability.pptx http://cctbio.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 1,257: Line 1,417:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Jiang_Digital_Logic_and_Signal_Processing_Computations_with_Molecular_Reactions.pdf | Digital Logic and Signal Processing Computations with Molecular Reactions]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/a/ae/Jiang_Digital_Logic_and_Signal_Processing_Computations_with_Molecular_Reactions.pdf Digital Logic and Signal Processing Computations with Molecular Reactions]
 
|- valign="top"
 
|- valign="top"
 
| '''author''':
 
| '''author''':
Line 1,272: Line 1,432:
 
[http://mriedel.ece.umn.edu/wiki/images/a/ae/Jiang_Digital_Logic_and_Signal_Processing_Computations_with_Molecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://mriedel.ece.umn.edu/wiki/images/a/ae/Jiang_Digital_Logic_and_Signal_Processing_Computations_with_Molecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Jiang_Digital_Logic_and_Signal_Processing_Computations_with_Molecular_Reactions.pdf | Ph.D. Dissertation]]
+
[//mriedel.ece.umn.edu/wiki/images/a/ae/Jiang_Digital_Logic_and_Signal_Processing_Computations_with_Molecular_Reactions.pdf Ph.D. Dissertation]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/8/87/Jiang_Digital_Logic_and_Signal_Processing_Computations_with_Molecular_Reactions.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/8/87/Jiang_Digital_Logic_and_Signal_Processing_Computations_with_Molecular_Reactions.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 1,282: Line 1,442:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Altun_Logic_Synthesis_for_Networks_of_Four_Terminal_Switches.pdf | Logic Synthesis for Networks of Four-Terminal Switches]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/9/92/Altun_Logic_Synthesis_for_Networks_of_Four_Terminal_Switches.pdf Logic Synthesis for Networks of Four-Terminal Switches]
 
|- valign="top"
 
|- valign="top"
 
| '''author''':
 
| '''author''':
Line 1,297: Line 1,457:
 
[http://www.mriedel.ece.umn.edu/wiki/images/9/92/Altun_Logic_Synthesis_for_Networks_of_Four_Terminal_Switches.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://www.mriedel.ece.umn.edu/wiki/images/9/92/Altun_Logic_Synthesis_for_Networks_of_Four_Terminal_Switches.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Altun_Logic_Synthesis_for_Networks_of_Four_Terminal_Switches.pdf | Ph.D. Dissertation]]
+
[//mriedel.ece.umn.edu/wiki/images/9/92/Altun_Logic_Synthesis_for_Networks_of_Four_Terminal_Switches.pdf Ph.D. Dissertation]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/9/97/Altun_Logic_Synthesis_for_Networks_of_Four_Terminal_Switches.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/9/97/Altun_Logic_Synthesis_for_Networks_of_Four_Terminal_Switches.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 1,307: Line 1,467:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Qian_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pdf | Digital Yet Deliberately Random:<br>Synthesizing Logical Computation on.Stochastic Bit Streams]]<br>(received the [http://www.umn.edu University of Minnesota] '''Doctoral Dissertation Fellowship''')
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/3/33/Qian_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pdf Digital Yet Deliberately Random:<br>Synthesizing Logical Computation on.Stochastic Bit Streams]<br>(received the [http://www.umn.edu University of Minnesota] '''Doctoral Dissertation Fellowship''')
 
|- valign="top"
 
|- valign="top"
 
| '''author''':
 
| '''author''':
Line 1,322: Line 1,482:
 
[http://mriedel.ece.umn.edu/wiki/images/3/33/Qian_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://mriedel.ece.umn.edu/wiki/images/3/33/Qian_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Qian_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pdf | Ph.D. Dissertation]]
+
[//mriedel.ece.umn.edu/wiki/images/3/33/Qian_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pdf Ph.D. Dissertation]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/e/e8/Qian_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/e/e8/Qian_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 1,332: Line 1,492:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Fett_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf | Synthesizing Stochasticity in Biochemical Systems]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/5/5a/Fett_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf Synthesizing Stochasticity in Biochemical Systems]
 
|- valign="top"
 
|- valign="top"
 
| '''author''':
 
| '''author''':
Line 1,345: Line 1,505:
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/5/5a/Fett_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/5/5a/Fett_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br> [[Media:Fett_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf | M.S. Thesis]]
+
<br> [//mriedel.ece.umn.edu/wiki/images/5/5a/Fett_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf M.S. Thesis]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/9/9c/Fett_Synthesizing_Stochastic_Biochemical_Reactions.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/9/9c/Fett_Synthesizing_Stochastic_Biochemical_Reactions.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 1,355: Line 1,515:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.pdf | Stochastic Transient Analysis of Biochemical Systems]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/3/37/Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.pdf Stochastic Transient Analysis of Biochemical Systems]
 
|- valign="top"
 
|- valign="top"
 
| '''author''':
 
| '''author''':
Line 1,368: Line 1,528:
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/8/80/Cheng_Stochastic_Transient_Analysis_of_Biochemical_Systems.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/8/80/Cheng_Stochastic_Transient_Analysis_of_Biochemical_Systems.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
<br> [[Media:Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.pdf | M.S. Thesis]]
+
<br> [//mriedel.ece.umn.edu/wiki/images/3/37/Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.pdf M.S. Thesis]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 1,378: Line 1,538:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Riedel_Cyclic_Combinational_Circuits.pdf | Cyclic Combinational Circuits]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/7/7a/Riedel_Cyclic_Combinational_Circuits.pdf Cyclic Combinational Circuits]
 
|- valign="top"
 
|- valign="top"
 
| '''author''':
 
| '''author''':
Line 1,393: Line 1,553:
 
[http://mriedel.ece.umn.edu/wiki/images/7/7a/Riedel_Cyclic_Combinational_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://mriedel.ece.umn.edu/wiki/images/7/7a/Riedel_Cyclic_Combinational_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Riedel_Cyclic_Combinational_Circuits.pdf | Ph.D. Dissertation]]
+
[//mriedel.ece.umn.edu/wiki/images/7/7a/Riedel_Cyclic_Combinational_Circuits.pdf Ph.D. Dissertation]
 
| align="center" width="70" |  
 
| align="center" width="70" |  
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Riedel_Cyclic_Boolean_Circuits.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
 
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Riedel_Cyclic_Boolean_Circuits.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
Line 1,401: Line 1,561:
 
-----
 
-----
 
<br>
 
<br>
[[Image:website-art-4.png|center|none|500px]]
+
[[Image:website-art-4.png|center|500px]]
  
 
== Funding Proposals ==
 
== Funding Proposals ==
Line 1,409: Line 1,569:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Bazargan_Frisbie_Harjani_Lilja_Riedel_Design_in_a_Post-CMOS_Era_when_Transistor_Counts_Matter_Again.pdf | Back to the Future with Printed, Flexible Electronics:<br>Design in a Post-CMOS Era when Transistor Counts Matter Again]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/b/b7/Bazargan_Frisbie_Harjani_Lilja_Riedel_Design_in_a_Post-CMOS_Era_when_Transistor_Counts_Matter_Again.pdf Back to the Future with Printed, Flexible Electronics:<br>Design in a Post-CMOS Era when Transistor Counts Matter Again]
 
|- valign="top"  
 
|- valign="top"  
 
| '''Investigators''':
 
| '''Investigators''':
Line 1,430: Line 1,590:
 
[http://cadbio.com/wiki/images/b/b7/Bazargan_Frisbie_Harjani_Lilja_Riedel_Design_in_a_Post-CMOS_Era_when_Transistor_Counts_Matter_Again.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://cadbio.com/wiki/images/b/b7/Bazargan_Frisbie_Harjani_Lilja_Riedel_Design_in_a_Post-CMOS_Era_when_Transistor_Counts_Matter_Again.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Bazargan_Frisbie_Harjani_Lilja_Riedel_Design_in_a_Post-CMOS_Era_when_Transistor_Counts_Matter_Again.pdf | Proposal]]
+
[//mriedel.ece.umn.edu/wiki/images/b/b7/Bazargan_Frisbie_Harjani_Lilja_Riedel_Design_in_a_Post-CMOS_Era_when_Transistor_Counts_Matter_Again.pdf Proposal]
 
|}
 
|}
 
{|
 
{|
Line 1,437: Line 1,597:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Riedel_Parhi_Advanced_Digital_Signal_Processing_with_DNA.pdf | Advanced Signal Processing with DNA]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/e/e6/Riedel_Parhi_Advanced_Digital_Signal_Processing_with_DNA.pdf Advanced Signal Processing with DNA]
 
|- valign="top"  
 
|- valign="top"  
 
| '''Investigators''':
 
| '''Investigators''':
Line 1,458: Line 1,618:
 
[http://cctbio.ece.umn.edu/wiki/images/e/e6/Riedel_Parhi_Advanced_Digital_Signal_Processing_with_DNA.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://cctbio.ece.umn.edu/wiki/images/e/e6/Riedel_Parhi_Advanced_Digital_Signal_Processing_with_DNA.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[ Media:Riedel_Parhi_Advanced_Digital_Signal_Processing_with_DNA.pdf | Proposal]]
+
[//mriedel.ece.umn.edu/wiki/images/e/e6/Riedel_Parhi_Advanced_Digital_Signal_Processing_with_DNA.pdf Proposal]
 
|}
 
|}
 
{|
 
{|
Line 1,465: Line 1,625:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Riedel_Bazargan_Harjani_Lilja_Digital_Yet_Deliberately_Random_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pdf | Digital Yet Deliberately Random:<br> Synthesizing Logical Computation on Stochastic Bit Streams]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/3/36/Riedel_Bazargan_Harjani_Lilja_Digital_Yet_Deliberately_Random_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pdf Digital Yet Deliberately Random:<br> Synthesizing Logical Computation on Stochastic Bit Streams]
 
|- valign="top"  
 
|- valign="top"  
 
| '''Investigators''':
 
| '''Investigators''':
Line 1,486: Line 1,646:
 
[http://mriedel.ece.umn.edu/wiki/images/3/36/Riedel_Bazargan_Harjani_Lilja_Digital_Yet_Deliberately_Random_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://mriedel.ece.umn.edu/wiki/images/3/36/Riedel_Bazargan_Harjani_Lilja_Digital_Yet_Deliberately_Random_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Riedel_Bazargan_Harjani_Lilja_Digital_Yet_Deliberately_Random_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pdf | Proposal]]
+
[//mriedel.ece.umn.edu/wiki/images/3/36/Riedel_Bazargan_Harjani_Lilja_Digital_Yet_Deliberately_Random_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pdf Proposal]
 
|}
 
|}
 
{|
 
{|
Line 1,493: Line 1,653:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Parhi_Riedel_Digital_Signal_Processing_with_Biomolecular_Reactions.pdf | Digital Signal Processing with Biomolecular Reactions]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/9/93/Parhi_Riedel_Digital_Signal_Processing_with_Biomolecular_Reactions.pdf Digital Signal Processing with Biomolecular Reactions]
 
|- valign="top"  
 
|- valign="top"  
 
| '''Investigators''':
 
| '''Investigators''':
Line 1,514: Line 1,674:
 
[http://mriedel.ece.umn.edu/wiki/images/9/93/Parhi_Riedel_Digital_Signal_Processing_with_Biomolecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://mriedel.ece.umn.edu/wiki/images/9/93/Parhi_Riedel_Digital_Signal_Processing_with_Biomolecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Parhi_Riedel_Digital_Signal_Processing_with_Biomolecular_Reactions.pdf | Proposal]]
+
[//mriedel.ece.umn.edu/wiki/images/9/93/Parhi_Riedel_Digital_Signal_Processing_with_Biomolecular_Reactions.pdf Proposal]
 
|}
 
|}
 
{|
 
{|
Line 1,521: Line 1,681:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Kaznessis_Schmidt_Riedel_Computational_Methods_for_Forward_Biological_Engineering.pdf | Synthesizing Signal Processing Functions with Biochemical Reactions]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/4/49/Kaznessis_Schmidt_Riedel_Computational_Methods_for_Forward_Biological_Engineering.pdf Synthesizing Signal Processing Functions with Biochemical Reactions]
 
|- valign="top"  
 
|- valign="top"  
 
| '''Investigators''':
 
| '''Investigators''':
Line 1,542: Line 1,702:
 
[http://cctbio.ece.umn.edu/wiki/images/4/49/Kaznessis_Schmidt_Riedel_Computational_Methods_for_Forward_Biological_Engineering.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://cctbio.ece.umn.edu/wiki/images/4/49/Kaznessis_Schmidt_Riedel_Computational_Methods_for_Forward_Biological_Engineering.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Kaznessis_Schmidt_Riedel_Computational_Methods_for_Forward_Biological_Engineering.pdf | Proposal]]
+
[//mriedel.ece.umn.edu/wiki/images/4/49/Kaznessis_Schmidt_Riedel_Computational_Methods_for_Forward_Biological_Engineering.pdf Proposal]
 
|}
 
|}
 
{|
 
{|
Line 1,549: Line 1,709:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Riedel_Computing_with_Things_Small_Wet_and_Random_Design_Automation_for_Digital_Computation_with_Nanoscale_Technologies_and_Biological_Processes.pdf | Computing with Things Small, Wet, and Random &ndash; Design Automation for Digital Computation with Nanoscale Technologies and Biological Processes]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/8/8a/Riedel_Computing_with_Things_Small_Wet_and_Random_Design_Automation_for_Digital_Computation_with_Nanoscale_Technologies_and_Biological_Processes.pdf Computing with Things Small, Wet, and Random &ndash; Design Automation for Digital Computation with Nanoscale Technologies and Biological Processes]
 
|- valign="top"  
 
|- valign="top"  
 
| '''Investigator''':
 
| '''Investigator''':
Line 1,570: Line 1,730:
 
[http://mriedel.ece.umn.edu/wiki/images/8/8a/Riedel_Computing_with_Things_Small_Wet_and_Random_Design_Automation_for_Digital_Computation_with_Nanoscale_Technologies_and_Biological_Processes.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://mriedel.ece.umn.edu/wiki/images/8/8a/Riedel_Computing_with_Things_Small_Wet_and_Random_Design_Automation_for_Digital_Computation_with_Nanoscale_Technologies_and_Biological_Processes.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Riedel_Computing_with_Things_Small_Wet_and_Random_Design_Automation_for_Digital_Computation_with_Nanoscale_Technologies_and_Biological_Processes.pdf | Proposal]]
+
[//mriedel.ece.umn.edu/wiki/images/8/8a/Riedel_Computing_with_Things_Small_Wet_and_Random_Design_Automation_for_Digital_Computation_with_Nanoscale_Technologies_and_Biological_Processes.pdf Proposal]
 
|}
 
|}
 
{|
 
{|
Line 1,577: Line 1,737:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Parhi_Riedel_Synthesizing_Signal_Processing_Functions_with_Biochemical_Reactions.pdf | Synthesizing Signal Processing Functions with Biochemical Reactions]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/7/7d/Parhi_Riedel_Synthesizing_Signal_Processing_Functions_with_Biochemical_Reactions.pdf Synthesizing Signal Processing Functions with Biochemical Reactions]
 
|- valign="top"  
 
|- valign="top"  
 
| '''Investigators''':
 
| '''Investigators''':
Line 1,598: Line 1,758:
 
[http://mriedel.ece.umn.edu/wiki/images/7/7d/Parhi_Riedel_Synthesizing_Signal_Processing_Functions_with_Biochemical_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://mriedel.ece.umn.edu/wiki/images/7/7d/Parhi_Riedel_Synthesizing_Signal_Processing_Functions_with_Biochemical_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Parhi_Riedel_Synthesizing_Signal_Processing_Functions_with_Biochemical_Reactions.pdf | Proposal]]
+
[//mriedel.ece.umn.edu/wiki/images/7/7d/Parhi_Riedel_Synthesizing_Signal_Processing_Functions_with_Biochemical_Reactions.pdf Proposal]
 
|}
 
|}
 
{|
 
{|
Line 1,605: Line 1,765:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Riedel_Tackling_the_Stochastic_Simulation_of_Biochemical_Networks_with_Real_Computing_Power.pdf | Tackling the Stochastic Simulation of Biochemical_Networks with Real Computing Power]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/4/48/Riedel_Tackling_the_Stochastic_Simulation_of_Biochemical_Networks_with_Real_Computing_Power.pdf Tackling the Stochastic Simulation of Biochemical_Networks with Real Computing Power]
 
|- valign="top"  
 
|- valign="top"  
 
| '''Investigators''':
 
| '''Investigators''':
Line 1,626: Line 1,786:
 
[http://cctbio.ece.umn.edu/wiki/images/4/48/Riedel_Tackling_the_Stochastic_Simulation_of_Biochemical_Networks_with_Real_Computing_Power.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://cctbio.ece.umn.edu/wiki/images/4/48/Riedel_Tackling_the_Stochastic_Simulation_of_Biochemical_Networks_with_Real_Computing_Power.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Riedel_Tackling_the_Stochastic_Simulation_of_Biochemical_Networks_with_Real_Computing_Power.pdf | Proposal]]
+
[//mriedel.ece.umn.edu/wiki/images/4/48/Riedel_Tackling_the_Stochastic_Simulation_of_Biochemical_Networks_with_Real_Computing_Power.pdf Proposal]
 
|}
 
|}
 
{|
 
{|
Line 1,633: Line 1,793:
 
|- valign="top"
 
|- valign="top"
 
| width="100" | '''title''':
 
| width="100" | '''title''':
| width="500" | [[Media:Riedel_Exploiting_Percolation_and_Randomness_in_the_Concurrent_Logical_and_Physical_Design_of_Digital_Nanoscale_Circuits.pdf | Concurrent Logical and Physical Design of Digital Nanoscale Circuits]]
+
| width="500" | [//mriedel.ece.umn.edu/wiki/images/8/8e/Riedel_Exploiting_Percolation_and_Randomness_in_the_Concurrent_Logical_and_Physical_Design_of_Digital_Nanoscale_Circuits.pdf Concurrent Logical and Physical Design of Digital Nanoscale Circuits]
 
|- valign="top"  
 
|- valign="top"  
 
| '''Investigator''':
 
| '''Investigator''':
Line 1,654: Line 1,814:
 
[http://mriedel.ece.umn.edu/wiki/images/8/8e/Riedel_Exploiting_Percolation_and_Randomness_in_the_Concurrent_Logical_and_Physical_Design_of_Digital_Nanoscale_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
[http://mriedel.ece.umn.edu/wiki/images/8/8e/Riedel_Exploiting_Percolation_and_Randomness_in_the_Concurrent_Logical_and_Physical_Design_of_Digital_Nanoscale_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
 
<br>
 
<br>
[[Media:Riedel_Exploiting_Percolation_and_Randomness_in_the_Concurrent_Logical_and_Physical_Design_of_Digital_Nanoscale_Circuits.pdf | Proposal]]
+
[//mriedel.ece.umn.edu/wiki/images/8/8e/Riedel_Exploiting_Percolation_and_Randomness_in_the_Concurrent_Logical_and_Physical_Design_of_Digital_Nanoscale_Circuits.pdf Proposal]
 
|}
 
|}
 
<br>
 
<br>
 
-----
 
-----
 
<br>
 
<br>
[[Image:sponsors.gif|center|none|500px]]
+
[[Image:sponsors.gif|center|500px]]

Latest revision as of 10:59, 14 May 2020

Here are links to our papers, theses, proposals, and presentations. When several version of a paper were published, for instance one in conference proceedings and another in a journal, these are grouped together and only the most significant version is linked. All materials are subject to copyrights.


Computing with Random Bit Streams

title: Performing Stochastic Computation Deterministically
authors: M. Hassan Najafi, Devon Jenson, David Lilja, and Marc Riedel
appeared in: IEEE Transactions on Very Large Scale Integration (VLSI) Systems,
Vol. 27, No. 29, pp. 2925–2938, 2019
presented at: IEEE International Symposium of Circuits and Systems, 2020
presented at: IEEE/ACM International Conference on Computer-Aided Design, 2016

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Synthesis of Polynomial Functions
authors: Weikang Qian and Marc Riedel
appeared in: Chapter 4, Stochastic Computing: Techniques and Applications,
Springer, W.J Gross and V. C. Gaudet, Editors, pp. pp. 103–120, 2019

Pdf.jpg
Paper

title: Deterministic Approaches to Bitstream Computing
authors: Marc Riedel
appeared in: Chapter 5, Stochastic Computing: Techniques and Applications,
Springer, W.J Gross and V. C. Gaudet, Editors, pp. pp. 121–136, 2019

Pdf.jpg
Paper

title: Deterministic Methods for Stochastic Computing using Low-Discrepancy Sequences
authors: M. Hassan Najafi, David Lilja, and Marc Riedel
presented at: IEEE/ACM International Conference on Computer-Aided Design, 2018

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Low Cost Sorting Network Circuits using Unary Processing
authors: M. Hassan Najafi, David Lilja, Marc Riedel, and Kia Bazargan
appeared in: IEEE Trans. on Very Large Scale Integration Sytems,
Vol. 26, No. 8, pp. 1471–1480, 2018
presented at: IEEE International Conference on Computer Design, 2017

Pdf.jpg
Paper

title: An Overview of Time-Based Computing with Stochastic Constructs
authors: M. Hassan Najafi, S. Jamali-Zavareh, David Lilja, Marc Riedel, Kia Bazargan and
Ramesh Harjani
appeared in: IEEE Micro, Vol. 37, No. 6, pp. 62--71, 2017 

Pdf.jpg
Paper

title: Time-Encoded Values for Highly Efficient Stochastic Circuits
authors: M. Hassan Najafi, S. Jamali-Zavareh, David Lilja, Marc Riedel, Kia Bazargan and
Ramesh Harjani
appeared in: IEEE Transactions on VLSI, Vol. 25, No. 5, pp. 1644–1657, 2017
presented at: IEEE International Symposium on Circuits and Systems, 2017

Pdf.jpg
Paper

title: Unary Positional Computing
authors: McKenzie van der Hagen and Marc Riedel
presented at: IEEE Global Conference on Signal and Information Processing, 2017

Pdf.jpg
Paper

Ppt.jpg
Poster

title: Computing Polynomials with Positive Coefficients using Stochastic Logic by Double NAND Expansion
authors: Ahmad Salehi, Yin Liu, Marc Riedel, and Keshab Parhi
presented at: ACM Great Lakes Symposium on VLSI, 2017

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Polysynchronous Clocking: Exploiting the Skew Tolerance of Stochastic Circuits
authors: M. Hassan Najafi, David Lilja, Marc Riedel, and Kia Bazargan
appeared in: IEEE Transactions on Computers, Vol. 66, No. 10, pp. 1734–1746, 2017
Feature Paper of the Month
presented at: Work-in-Progress Session, IEEE/ACM Design Automation Conference, 2016
presented at: IEEE/ACM Asia and South Pacific Design Automation Conference, 2016

Pdf.jpg
Paper

Ppt.jpg
Slides

title: A Reconfigurable Architecture with Sequential Logic-based Stochastic Computing
authors: M. Hassan Najafi, Peng Li, David J. Lilja, Weikang Qian and Marc Riedel
appeared in: ACM Journal on Emerging Technologies in Computing Systems,
Vol. 13, No. 4, pp. 1–28, 2017

Pdf.jpg
Paper

title: Synthesis of Correlated Bit Streams for Stochastic Computing
authors: Yin Liu, Megha Parhi, Marc Riedel and Keshab Parhi
presented at: Asilomar Conference on Signals, Systems, and Computers, 2016

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Effect of Bit-Level Correlation in Stochastic Computing
authors: Megha Parhi, Marc Riedel, and Keshab Parhi
presented at: IEEE International Conference on Digital Signal Processing, Singapore, 2015.

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Computation on Stochastic Bit Streams: Digital Image Processing Case Studies
authors: Peng Li, David Lilja, Weikang Qian, Kia Bazargan and Marc Riedel
appeared in: IEEE Transactions on VLSI Sytems, Vol. 22, No. 3, pp. 449–462, 2014
appeared in: Lecture Notes in Computer Science
Power and Timing Modeling, Optimization and Simulation Workshop

G. Goos, J. Hartmanis, and J. V. Leeuwen Editors, Springer, pp. 235–244, 2012

Pdf.jpg
Paper

title: Logical Computation on Stochastic Bit Streams with Linear Finite State Machines
authors: Peng Li, David Lilja, Weikang Qian,Kia Bazargan and Marc Riedel
appeared in: IEEE Transactions on Computers, Vol. 63, No. 6., pp. 1474–1486, 2014
presented at: IEEE/ACM Asia and South Pacific Design Automation Conference,
Sydney, Australia, 2012

Pdf.jpg
Paper

title: IIR Filters Using Stochastic Arithmetic
authors: Naman Saraf, Kia Bazargan, David Lilja, and Marc Riedel
appeared in: IEEE/ACM Design, Automation, and Test in Europe, 2014

Pdf.jpg
Paper

Pdf.jpg
Slides

title: Stochastic Functions Using Sequential Logic
authors: Naman Saraf, Kia Bazargan, David Lilja, and Marc Riedel
appeared in: IEEE International Conference on Computer Design, Asheville, NC, 2013

Pdf.jpg
Paper

Pdf.jpg
Slides

title: An Efficient Implementation of Numerical Integration Using Logical Computation
on Stochastic Bit Streams
authors: Weikang Qian, Cheng Wang, Peng Li, David Lilja,
Kia Bazargan and Marc Riedel
appeared in: IEEE/ACM Int'l Conference on Computer-Aided Design, San Jose, CA 2012

Pdf.jpg
Paper

Ppt.jpg
Slides

title: The Synthesis of Complex Arithmetic Computation on Stochastic Bit Streams Using Sequential Logic
authors: Peng Li, David Lilja, Weikang Qian, Kia Bazargan and Marc Riedel
presented at: IEEE/ACM International Conference on Computer-Aided Design, San Jose, CA 2012
presented at: IEEE/ACM International Workshop on Logic and Synthesis, Berkeley, CA 2012

Pdf.jpg
Paper

title: Transforming Probabilities with Combinational Logic
authors: Weikang Qian, Marc Riedel, Hongchao Zhou, and Jehoshua Bruck
appeared in: IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems,
Vol. 30, No. 9, pp. 1279–1292, 2011
appeared in: Advanced Techniques in Logic Synthesis, Optimizations and Applications
Sunil Khatri and Kanupriya Gulati editors, Springer Publishing, 2011
presented at: IEEE/ACM International Conference on Computer-Aided Design, San Jose, 2009
(nominated for IEEE/ACM William J. McCalla ICCAD Best Paper Award).
presented at: IEEE/ACM International Workshop on Logic and Synthesis, Berkeley, CA, 2009

Pdf.jpg Paper

Ppt.jpg
Slides

title: An Architecture for Fault-Tolerant Computation with Stochastic Logic
authors: Weikang Qian, Xin Li, Marc Riedel, Kia Bazargan, and David Lilja
appeared in: IEEE Transactions on Computers, Vol. 60, No. 1, pp. 93–105, 2011

Pdf.jpg
Paper

title: The Synthesis of Stochastic Circuits for Nanoscale Computation
authors: Weikang Qian, John Backes, and Marc Riedel
appeared in: International Journal of Nanotechnology and Molecular Computation,
Vol. 1, No. 4, pp. 39–57, 2010
presented at: IEEE/ACM International Workshop on Logic and Synthesis, San Diego, CA, 2007

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Two-Level Logic Synthesis for Probabilistic Computation
authors: Weikang Qian and Marc Riedel
presented at: IEEE/ACM International Workshop on Logic and Synthesis, Irvine, CA, 2010

Pdf.jpg
Paper

Ppt.jpg
Slides

title: A Reconfigurable Stochastic Architecture for Highly Reliable Computing
authors: Xin Li, Weikang Qian, Marc Riedel, Kia Bazargan, and David Lilja
presented at: Great Lakes Symposium on VLSI, Boston, MA, 2009

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Estimation and Optimization of Reliability of Noisy Digital Circuits
authors: Satish Sivaswamy, Kia Bazargan and Marc Riedel
presented at: IEEE International Symposium on Quality Electronic Design, San Jose, CA, 2009.

Pdf.jpg
Paper

title: The Synthesis of Stochastic Logic to Perform Multivariate Polynomial Arithmetic
authors: Weikang Qian and Marc Riedel
presented at: IEEE/ACM International Workshop on Logic and Synthesis, Lake Tahoe, CA, 2008

Pdf.jpg
Paper

Ppt.jpg
Poster

title: The Synthesis of Robust Polynomial Arithmetic with Stochastic Logic
authors: Weikang Qian and Marc Riedel
presented at: ACM/EDAC/IEEE Design Automation Conference, Anaheim, CA, 2008

Pdf.jpg
Paper

Ppt.jpg
Slides

Computing with Molecules

title: Stochastic Computation on DNA strands through Hydroxyl Nicking
authors: Arnav Solanki, Tonglin Chen and Marc Riedel
presented at: Foundations of Nanoscience: Self-Assembled Architectures and Devices, 2020

Pdf.jpg
Paper

Pdf.jpg
Poster

title: Parallel Binary Sorting and Shifting with DNA
authors: Tonglin Chen and Marc Riedel
presented at: International Workshop on Bio-Design Automation, Cambridge, England, 2019.

Pdf.jpg
Paper

title: Computing Mathematical Functions using DNA via Fractional Coding
authors: Ahmad Salehi, Xingyi Liu, Marc Riedel, and Keshab K. Parhi
appeared in: Nature Scientific Reports, Vol. 8 No. 8312, 2018

Pdf.jpg
Paper

Pdf.jpg
Supplement

title: Chemical Reaction Networks for Computing Polynomials
authors: Ahmad Salehi, Keshab Parhi and Marc Riedel
appeared as: ACS Synthetic Biology,Vol. 6, No. 1, pp. 76–83, 2017
presented at: IEEE Globecom Symposium, 2016

Pdf.jpg
Paper

title: Molecular Sensing and Computing Systems
authors: Ahmad Salehi, Marc Riedel, Keshab Parhi
appeared as: IEEE Trans. on Molecular, Biological, and Multi-Scale Communications,
Vol. 1, No. 3, 2015

Pdf.jpg
Paper

title: Markov Chain Computations using Molecular Reactions
authors: Ahmad Salehi, Marc Riedel, Keshab Parhi
presented at: IEEE International Conference on Digital Signal Processing, 2015.

Pdf.jpg
Paper

title: Asynchronous Discrete-Time Signal Processing with Molecular Reactions
authors: Ahmad Salehi, Marc Riedel, and Keshab Parhi
presented at: Asilomar Conference on Signals, Systems, and Computers, 2014.

Pdf.jpg
Paper

title: Digital Logic with Molecular Reactions
authors: Hua Jiang, Marc Riedel, Keshab Parhi
presented at: IEEE/ACM International Conference on Computer-Aided Design,
San Jose, CA, 2013.

Pdf.jpg
Paper

title: Discrete-Time Signal Processing with DNA
authors: Hua Jiang, Ahmad Salehi, Marc Riedel and Keshab Parhi
appeared in: ACS Synthetic Biology, Vol. 2 no. 5, pp. 245–254, 2013.
Supplementary Information: List of Reactions
appeared in: IEEE Design & Test of Computers, Vol. 29, No. 3, pp. 21–31, 2012.
presented at: IEEE/ACM International Conference on Computer-Aided Design,
San Jose, CA, 2010.
presented at: IEEE Workshop on Signal Processing Systems, San Francisco, 2010

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Robust Tunable In Vitro Transcriptional Oscillator Networks
authors: Vishwesh Kulkarni, Thee Chanyaswad, Marc Riedel and Jongmin Kim
presented at: Allerton Conference, Urbana-Champaign, IL, 2012.

Pdf.jpg
Paper

title: Rate-Independent Constructs for Chemical Computation
authors: Phil Senum and Marc Riedel
appeared in: PLoS ONE, Vol. 6, No. 6, 2011.
Supplementary Information

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Synchronous Sequential Computation with Molecular Reactions
authors: Hua Jiang, Marc Riedel and Keshab Parhi
presented at: ACM/EDAC/IEEE Design Automation Conference, San Diego, CA, 2011.

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Asynchronous Computation with Molecular Reactions
authors: Hua Jiang, Marc Riedel and Keshab Parhi
presented at: Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, CA, 2011.

Pdf.jpg
Paper

title: Binary Counting with Chemical Reactions
authors: Aleksandra Kharam, Hua Jiang, Marc Riedel and Keshab Parhi
presented at: Pacific Symposium on Biocomputing, Hawaii, 2011.

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Writing and Compiling Code into Biochemistry
authors: Adam Shea, Brian Fett, Marc Riedel, and Keshab Parhi
presented at: IEEE/ACM International Conference on Computer-Aided Design,
San Jose, CA, 2009; and at Pacific Symposium on Biocomputing,
Kona, Hawaii, 2010 (see blog).
presented at: IEEE/ACM International Workshop on Logic and Synthesis, Berkeley, 2009

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Stochastic Transient Analysis of Biochemical Systems
authors: Bin Cheng and Marc Riedel
presented at: Pacific Symposium on Biocomputing, Hawaii, 2009.

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Module Locking in Biochemical Systems
authors: Brian Fett and Marc Riedel
presented at: IEEE/ACM International Conference on Computer-Aided Design,
San Jose, CA, 2008; and at Synthetic Biology 4.0, Hong Kong, 2008.

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Synthesizing Stochasticity in Biochemical Systems
authors: Brian Fett, Shuki Bruck, and Marc Riedel
presented at: ACM/EDAC/IEEE Design Automation Conference, San Diego, 2007; and at
Synthetic Biology 3.0, Zürich, 2007.

Pdf.jpg
Paper

Ppt.jpg
Slides

Computing about Molecules

title: Gene Regulatory Network Modeling Using Literature Curated and High Throughput Data
authors: Vishwesh Kulkarni, Reza Arastoo, Anupama Bhat,
Kalyansundaram Subramanian, Mayuresh Kothare, Marc Riedel and Marc Riedel
appeared in: Systems and Synthetic Biology, Vol. 6, No. 3–4, pp. 69--77, 2012

Pdf.jpg
Paper

title: Characterizing the Memory of the GAL Regulatory Network in
Saccharomyces cerevisiae
authors: Vishwesh Kulkarni, Venkatesh Kareenhalli, Ganesh Viswananthan, and Marc Riedel
appeared in: Systems and Synthetic Biology, Vol. 5, No. 3–4, pp. 97--104, 2011

Pdf.jpg
Paper

Computing with Nanoscale Lattices

title: Logic Synthesis for Switching Lattices
authors: Mustafa Altun and Marc Riedel
appear in: IEEE Transactions on Computers, Vol. 61, No. 11, pp. 1588–1600, 2012.
presented at: ACM/EDAC/IEEE Design Automation Conference, Anaheim, CA, 2010.

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Synthesizing Logic with Percolation in Nanoscale Lattices
authors: Mustafa Altun and Marc Riedel
appeared in: International Journal of Nanotechnology and Molecular Computation,
Vol. 3, No. 2, pp. 12–30, 2011.
presented at: ACM/EDAC/IEEE Design Automation Conference, San Francisco, CA, 2009.

Pdf.jpg
Paper

Ppt.jpg
Slides

Computing with Feedback

title: Cyclic Boolean Circuits
authors: Marc Riedel and Shuki Bruck
appeared  in: Discrete Applied Mathematics, Vol. 160, No. 13–14, pp. 1877–1900, 2012

Pdf.jpg
Paper

title: The Synthesis of Cyclic Dependencies with Boolean Satisfiability
authors: John Backes and Marc Riedel
appeared in: ACM Transactions on Design Automation of Electronic Systems
Vol. 17, No. 4, pp. 1–24, 2012

Pdf.jpg
Paper

title: The Analysis and Mapping of Cyclic Circuits with Boolean Satisfiability
authors: John Backes, Brian Fett, and Marc Riedel
appeared as: Technical Report, UMN
presented at: IEEE/ACM Int'l Conference on Computer-Aided Design, San Jose, CA, 2008

Pdf.jpg
Paper

Ppt.jpg
Slides

title: The Synthesis of Cyclic Dependencies with Craig Interpolation
authors: John Backes and Marc Riedel
presented at: IEEE/ACM International Workshop on Logic and Synthesis, Berkeley, CA, 2009

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Timing Analysis of Cyclic Combinational Circuits
authors: Marc Riedel and Shuki Bruck
presented at: IEEE/ACM International Workshop on Logic and Synthesis, Temecula, CA, 2004

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Cyclic Combinational Circuits: Analysis for Synthesis
authors: Marc Riedel and Shuki Bruck
presented at: IEEE/ACM Int'l Workshop on Logic and Synthesis, Orange County, CA, 2003

Pdf.jpg
Paper

Ppt.jpg
Slides

title: The Synthesis of Cyclic Combinational Circuits
authors: Marc Riedel and Shuki Bruck
presented at: ACM/EDAC/IEEE Design Automation Conference, Anahiem, CA, 2003
(winner of DAC Best Paper Award).

Pdf.jpg
Paper

Ppt.jpg
Slides

Algorithms and Data Structures

title: Using Cubes of Non-state Variables With Property Directed Reachability
authors: John Backes and Marc Riedel
presented at: IEEE/ACM Design Automation & Test in Europe, Grenoble, France, 2013

Pdf.jpg
Paper

Ppt.jpg
Poster

title: Resolution Proofs as a Data Structure For Logic Synthesis
authors: John Backes and Marc Riedel
presented at: IEEE/ACM International Workshop on Logic Synthesis, La Jolla, CA, 2011

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Reduction of Interpolants For Logic Synthesis
authors: John Backes and Marc Riedel
presented at: IEEE/ACM International Conference on Computer-Aided Design, San Jose, CA, 2010
presented at: IEEE/ACM International Workshop on Logic Synthesis, Irvine, CA, 2010

Pdf.jpg
Paper

Ppt.jpg
Slides

Mathematics

title: A Study on Monotone Self-Dual Boolean Functions
authors: Mustafa Altun and Marc Riedel
appeared in: Acta Mathematicae Applicatae Sinica, Vol. 33, No. 1, pp. 43–52, 2017

Pdf.jpg
Paper

title: Synthesizing Cubes to Satisfy a Given Intersection Pattern
authors: Weikang Qian, Marc Riedel, and Ivo Rosenberg
appeared in: Journal of Discrete Applied Mathematics, Vol. 193, pp. 11–38, 2015
presented at: IEEE/ACM International Workshop on Logic and Synthesis, Irvine, CA, 2010

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Networks of Passive Oscillators
authors: Vishwesh V. Kulkarni, Marc Riedel, and Guy-Bart Stan
presented at: Allerton Conference, Urbana-Champaign, Illinois, 2011

Pdf.jpg
Paper

Ppt.jpg
Slides

title: Uniform Approximation and Bernstein Polynomials with Coefficients in the Unit Interval
authors: Weikang Qian, Marc Riedel, and Ivo Rosenberg
appeared in: European Journal of Combinatorics, Vol. 32, No. 3, pp. 448–463, 2011

Pdf.jpg
Paper




Website-art-2.gif

Theses

title: Simulating Chemical Reaction Networks for Computing with Naturally-Occurring DNA
author: Owen Hoffend
degree: B.S., Computer Engineering, University of Minnesota
year: 2020.

Pdf.jpg
Senior Honors Thesis

Ppt.jpg
Slides

title: Algorithms and Data Structures For Logic Synthesis And Verification
Using Boolean Satisfiability

(received the University of Minnesota Doctoral Dissertation Fellowship)
author: John Backes
degree: Ph.D., Electrical and Computer Engineering, University of Minnesota
year: 2013.

Pdf.jpg
Ph.D. Dissertation

Ppt.jpg
Slides

title: Digital Logic and Signal Processing Computations with Molecular Reactions
author: Hua Jiang
degree: Ph.D., Electrical Engineering, University of Minnesota
year: 2012.

Pdf.jpg
Ph.D. Dissertation

Ppt.jpg
Slides

title: Logic Synthesis for Networks of Four-Terminal Switches
author: Mustafa Altun
degree: Ph.D., Electrical Engineering, University of Minnesota
year: 2012.

Pdf.jpg
Ph.D. Dissertation

Ppt.jpg
Slides

title: Digital Yet Deliberately Random:
Synthesizing Logical Computation on.Stochastic Bit Streams

(received the University of Minnesota Doctoral Dissertation Fellowship)
author: Weikang Qian
degree: Ph.D., Electrical Engineering, University of Minnesota
year: 2011.

Pdf.jpg
Ph.D. Dissertation

Ppt.jpg
Slides

title: Synthesizing Stochasticity in Biochemical Systems
author: Brian Fett
degree: M.S., Biomedical Informatics and Computational Biology,
University of Minnesota
year: 2010.

Pdf.jpg
M.S. Thesis

Ppt.jpg
Slides

title: Stochastic Transient Analysis of Biochemical Systems
author: Bin Cheng
degree: M.S., Electrical Engineering, University of Minnesota
year: 2010.

Pdf.jpg
M.S. Thesis

Ppt.jpg
Slides

title: Cyclic Combinational Circuits
author: Marc Riedel
degree: Ph.D., Electrical Engineering, Caltech, 2004
(winner of Charles H. Wilts Prize for the Best Ph.D. Dissertation in EE at Caltech)
year: 2004.

Pdf.jpg
Ph.D. Dissertation

Ppt.jpg
Slides




Website-art-4.png

Funding Proposals

title: Back to the Future with Printed, Flexible Electronics:
Design in a Post-CMOS Era when Transistor Counts Matter Again
Investigators: Kia Bazargan, Daniel Frisbie, Ramesh Harjani, David Lilja and Marc Riedel.
Agency: National Science Foundation
Program: Software and Hardware Foundations
Award: $800,000
Duration: 2014 – 2017

Pdf.jpg
Proposal

title: Advanced Signal Processing with DNA
Investigators: Keshab Parhi and Marc Riedel
Agency: National Science Foundation
Program: Computing and Communications Foundations.
Amount: $300,000
Duration: 2014 – 2017

Pdf.jpg
Proposal

title: Digital Yet Deliberately Random:
Synthesizing Logical Computation on Stochastic Bit Streams
Investigators: Marc Riedel, Kia Bazargan, Ramesh Harjani, and David Lilja.
Agency: National Science Foundation
Program: Software and Hardware Foundations
Award: $300,000
Duration: 2012 – 2014

Pdf.jpg
Proposal

title: Digital Signal Processing with Biomolecular Reactions
Investigators: Keshab Parhi and Marc Riedel
Agency: National Science Foundation
Program: Computing and Communications Foundations
Amount: $400,000
Duration: 2011 – 2014

Pdf.jpg
Proposal

title: Synthesizing Signal Processing Functions with Biochemical Reactions
Investigators: Yiannis Kaznessis, Claudia Dannert Schmidt and Marc Riedel
Agency: University of Minnesota
Program: Digital Technology Center Seed Grant.
Amount: $100,000
Duration: 2011 – 2012

Pdf.jpg
Proposal

title: Computing with Things Small, Wet, and Random – Design Automation for Digital Computation with Nanoscale Technologies and Biological Processes
Investigator: Marc Riedel
Agency: National Science Foundation
Program: NSF CAREER Award
Amount: $500,000
Duration: 2009 – 2014

Pdf.jpg
Proposal

title: Synthesizing Signal Processing Functions with Biochemical Reactions
Investigators: Keshab Parhi and Marc Riedel
Agency: National Science Foundation
Program: Computing and Communications Foundations.
Amount: $200,000
Duration: 2009 – 2011

Pdf.jpg
Proposal

title: Tackling the Stochastic Simulation of Biochemical_Networks with Real Computing Power
Investigators: Marc Riedel and Tim Mullins (IBM)
Agency: University of Minnesota
Program: Biomedical Informatics and Computational Biology Traineeships
Amount: $78,000
Duration: 2007 – 2009

Pdf.jpg
Proposal

title: Concurrent Logical and Physical Design of Digital Nanoscale Circuits
Investigator: Marc Riedel
Agency: SRC Focus Center Research Program (FCRP)
Program: Functional Engineered Nano-Architectonics (FENA)
Amount: $325,000
Duration: 2006 – 2009

Pdf.jpg
Proposal




Sponsors.gif