Difference between revisions of "Papers, Theses, and Presentations"
From The Circuits and Biology Lab at UMN
Jump to navigationJump to searchTag: visualeditor |
|||
(23 intermediate revisions by 2 users not shown) | |||
Line 9: | Line 9: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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''': | ||
Line 19: | Line 19: | ||
| '''presented at''': | | '''presented at''': | ||
| [https://iscas2020.org IEEE International Symposium of Circuits and Systems], 2020 | | [https://iscas2020.org IEEE International Symposium of Circuits and Systems], 2020 | ||
+ | |- valign="top" | ||
+ | | '''presented at''': | ||
+ | | [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://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> | [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> | ||
− | [ | + | [//mriedel.ece.umn.edu/wiki/images/c/c9/Najafi_Jenson_Lilja_Riedel_Performing_Stochastic_Computation_Deterministically.pdf Paper] |
| align="center" width="70" | | | 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> | <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 | + | <br>[http://cadbio.com/wiki/images/4/4f/Jenson_Riedel_A_Deterministic_Approach_to_Stochastic_Computing.pptx Slides] |
|} | |} | ||
+ | |||
{| | {| | ||
| | | | ||
Line 34: | Line 38: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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''': | ||
− | | [[ | + | | [[Weikang Qian]] and [[Marc Riedel]] |
|- valign="top" | |- valign="top" | ||
| '''appeared in''': | | '''appeared in''': | ||
− | | [https:// | + | | [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–120, 2019 |
− | |||
− | |||
− | |||
|} | |} | ||
− | | align=center width="70" | | + | | align="center" width="70" | |
<span class="plainlinks"> | <span class="plainlinks"> | ||
− | [http:// | + | [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> | ||
− | [ | + | [//mriedel.ece.umn.edu/wiki/images/0/0c/Qian-riedel-synthesis-of-polynomials.pdf Paper] |
|} | |} | ||
+ | |||
{| | {| | ||
| | | | ||
Line 56: | Line 58: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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''': | ||
− | | | + | | [[Marc Riedel]] |
|- valign="top" | |- valign="top" | ||
| '''appeared in''': | | '''appeared in''': | ||
− | | [ | + | | [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–136, 2019 |
|} | |} | ||
| align="center" width="70" | | | align="center" width="70" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
− | [http://mriedel.ece.umn.edu/wiki/images/ | + | [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> | ||
− | [ | + | [//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" | [ | + | | 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]] | + | | [[M. Hassan Najafi]], [http://www.arctic.umn.edu/people/david-lilja David Lilja], and [[Marc Riedel]] |
− | |||
− | |||
− | |||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
− | | [ | + | | [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:// | + | [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> | ||
− | [[ | + | [//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" | | ||
+ | <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://mriedel.ece.umn.edu/wiki/images/3/36/Najafi_Lilja_Riedel_Deterministic_Methods_for_Stochastic_Computing_using_Low-Discrepancy_Sequences_Slides.pdf Slides] | ||
|} | |} | ||
{| | {| | ||
Line 96: | Line 100: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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''': | ||
− | | [[M. Hassan Najafi]], [http://www.arctic.umn.edu/lilja | + | | [[M. Hassan Najafi]], [http://www.arctic.umn.edu/people/david-lilja David Lilja], [[Marc Riedel]], and [http://kia.umn.edu Kia Bazargan] |
− | |- valign="top" | + | |- valign="top" |
| '''appeared in''': | | '''appeared in''': | ||
− | | [https://ieeexplore.ieee.org/document/ | + | | [https://ieeexplore.ieee.org/abstract/document/8338366 IEEE Trans. on Very Large Scale Integration Sytems],<br>Vol. 26, No. 8, pp. 1471–1480, 2018 |
− | |- valign="top" | + | |- valign="top" |
| '''presented at''': | | '''presented at''': | ||
− | | | + | | [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:// | + | [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> | ||
− | [ | + | [//mriedel.ece.umn.edu/wiki/images/c/cc/Najafi_Lilja_Riedel_Bazargan_Low_Cost_Sorting_Network_Circuits_using_Unary_Processing.pdf Paper] |
− | |||
− | |||
− | |||
|} | |} | ||
{| | {| | ||
Line 124: | Line 122: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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]], 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" | ||
− | | ''' | + | | '''appeared in''': |
− | | [http:// | + | | [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:// | + | [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> | <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" | [ | + | | 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''': | ||
− | | [[M. Hassan Najafi]], | + | | [[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–1657, 2017 | ||
|- valign="top" | |- valign="top" | ||
− | | ''' | + | | '''presented at''': |
− | | [http:// | + | | [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://mriedel.ece.umn.edu/wiki/images/ | + | [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> |
+ | [//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] | ||
|} | |} | ||
+ | |||
{| | {| | ||
| | | | ||
Line 164: | Line 163: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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''': | ||
− | | [[ | + | | [[McKenzie van der Hagen]] and [[Marc Riedel]] |
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
− | | [http://www. | + | | [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:// | + | [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> | ||
− | [ | + | [//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:// | + | <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:// | + | <br>[http://mriedel.ece.umn.edu/wiki/images/b/b8/Van_der_Hangen_Unary_Positional_Computing.pptx Poster] |
|} | |} | ||
+ | |||
{| | {| | ||
| | | | ||
Line 186: | Line 186: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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''': | ||
− | | Yin Liu | + | | Ahmad Salehi, Yin Liu, [[Marc Riedel]], and [http://people.ece.umn.edu/~parhi/ Keshab Parhi] |
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
− | | [http:// | + | | [http://www.glsvlsi.org/ ACM Great Lakes Symposium on VLSI], 2017 |
|} | |} | ||
| align="center" width="70" | | | align="center" width="70" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
− | [http:// | + | [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> | <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" | | | 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://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/b/b9/Liu_Parhi_Riedel_Parhi_The_Synthesis_of_Correlated_Bit_Streams_for_Stochastic_Computing.pptx Slides] | + | <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] |
− | |} | + | |} |
− | {| | + | |
− | | | + | {| |
− | {| style="background:#F0E68C" | + | | |
− | |- valign="top" | + | {| style="background:#F0E68C" |
− | | width="100" | '''title''': | + | |- valign="top" |
− | | width="500" | [ | + | | width="100" | '''title''': |
+ | | 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" | ||
+ | | '''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] | ||
+ | |- valign="top" | ||
+ | | '''appeared in''': | ||
+ | | [https://ieeexplore.ieee.org/document/7911306 IEEE Transactions on Computers], Vol. 66, No. 10, pp. 1734–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''': | ||
+ | | [http://www.amsv.umac.mo/aspdac2016/ IEEE/ACM Asia and South Pacific Design Automation Conference], 2016 | ||
+ | |} | ||
+ | | align="center" width="70" | | ||
+ | <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> | ||
+ | <br> | ||
+ | [//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] | ||
+ | |} | ||
+ | |||
+ | {| | ||
+ | | | ||
+ | {| style="background:#F0E68C" | ||
+ | |- valign="top" | ||
+ | | width="100" | '''title''': | ||
+ | | 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" | ||
+ | | '''authors''': | ||
+ | | [[M. Hassan Najafi]], Peng Li, [http://www.arctic.umn.edu/lilja.shtml David J. Lilja], [[Weikang Qian]] and [[Marc Riedel]] | ||
+ | |- valign="top" | ||
+ | | '''appeared in''': | ||
+ | | [http://jetc.acm.org ACM Journal on Emerging Technologies in Computing Systems],<br> Vol. 13, No. 4, pp. 1–28, 2017 | ||
+ | |} | ||
+ | | align="center" width="70" | | ||
+ | <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> | ||
+ | <br>[//mriedel.ece.umn.edu/wiki/images/5/53/Najafi_Li_Qian_Riedel_A_Reconfigurable_Architecture_with_Sequential_Logic-based_Stochastic_Computing.pdf Paper] | ||
+ | |} | ||
+ | |||
+ | {| | ||
+ | | | ||
+ | {| style="background:#F0E68C" | ||
+ | |- valign="top" | ||
+ | | width="100" | '''title''': | ||
+ | | 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" | ||
+ | | '''authors''': | ||
+ | | Yin Liu, Megha Parhi, [[Marc Riedel]] and [http://people.ece.umn.edu/~parhi/ Keshab Parhi] | ||
+ | |- valign="top" | ||
+ | | '''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 | ||
+ | |} | ||
+ | | align="center" width="70" | | ||
+ | <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> | ||
+ | <br> | ||
+ | [//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" | | ||
+ | <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/b/b9/Liu_Parhi_Riedel_Parhi_The_Synthesis_of_Correlated_Bit_Streams_for_Stochastic_Computing.pptx Slides] | ||
+ | |} | ||
+ | {| | ||
+ | | | ||
+ | {| style="background:#F0E68C" | ||
+ | |- valign="top" | ||
+ | | width="100" | '''title''': | ||
+ | | 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" | ||
+ | | '''authors''': | ||
+ | | [[Megha Parhi]], [[Marc Riedel]], and [http://www.ece.umn.edu/~parhi/ Keshab Parhi] | ||
+ | |- valign="top" | ||
+ | | '''presented at''': | ||
+ | | [http://www.dsp2015.org/ IEEE International Conference on Digital Signal Processing], Singapore, 2015. | ||
+ | |} | ||
+ | | 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>[//mriedel.ece.umn.edu/wiki/images/5/55/BitLevel_Corr_Parhi_Riedel_Parhi.pdf Paper] | ||
+ | | 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> | ||
+ | <br>[http://cctbio.ece.umn.edu/wiki/images/4/49/Parhi_Riedel_Parhi_Effect_of_Bit-level_Correlation_in_Stochastic_Computing.pptx Slides] | ||
+ | |} | ||
+ | {| | ||
+ | | | ||
+ | {| style="background:#F0E68C" | ||
+ | |- valign="top" | ||
+ | | width="100" | '''title''': | ||
+ | | 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" | ||
+ | | '''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" | ||
+ | | '''appeared in''': | ||
+ | | [http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6502263 IEEE Transactions on VLSI Sytems], Vol. 22, No. 3, pp. 449–462, 2014 | ||
+ | |- valign="top" | ||
+ | | '''appeared in''': | ||
+ | | [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–244, 2012 | ||
+ | |} | ||
+ | | align="center" width="70" | | ||
+ | <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> | ||
+ | <br> | ||
+ | [//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] | ||
+ | |} | ||
+ | {| | ||
+ | | | ||
+ | {| style="background:#F0E68C" | ||
+ | |- valign="top" | ||
+ | | width="100" | '''title''': | ||
+ | | 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]] |
− | |- valign="top" | + | |- valign="top" |
− | | ''' | + | | '''appeared in''': |
− | | [http:// | + | | [http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6307798 IEEE Transactions on Computers], Vol. 63, No. 6., pp. 1474–1486, 2014 |
+ | |- 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">[http:// | + | <span class="plainlinks"> |
− | <br> | + | [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> | |
− | + | [//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 228: | Line 343: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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''': | ||
− | | [http://www.ece.umn.edu/ | + | | 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:// | + | | [http://dl.acm.org/citation.cfm?id=2616697 IEEE/ACM Design, Automation, and Test in Europe], 2014 |
− | |||
− | |||
− | |||
|} | |} | ||
| align="center" width="70" | | | align="center" width="70" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
− | [http:// | + | [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> |
<br> | <br> | ||
− | [[ | + | [//mriedel.ece.umn.edu/wiki/images/6/60/Saraf_Bazargan_Lilja_Riedel_IIR_Filters_Using_Stochastic_Arithmetic.pdf Paper] |
+ | | 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> | ||
+ | <br>[http://cctbio.ece.umn.edu/wiki/images/4/4e/Saraf_Bazargan_Lilja_Riedel_IIR_Filters_Using_Stochatic_Arithmetic_poster.pdf Slides] | ||
|} | |} | ||
{| | {| | ||
Line 250: | Line 365: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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''': | ||
− | | [http://www.ece.umn.edu/ | + | | 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/ | + | | [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:// | + | [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> | ||
− | [[ | + | [//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 272: | Line 388: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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]], 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 in''': | | '''appeared in''': | ||
− | | [http:// | + | | [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6386603 IEEE/ACM Int'l Conference on Computer-Aided Design], San Jose, CA 2012 |
|} | |} | ||
| align="center" width="70" | | | align="center" width="70" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
− | [http:// | + | [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> | <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:// | + | <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:// | + | <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 294: | Line 410: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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" | |- 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]] |
+ | |- valign="top" | ||
+ | | '''presented at''': | ||
+ | | [http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6386710 IEEE/ACM International Conference on Computer-Aided Design], San Jose, CA 2012 | ||
|- valign="top" | |- valign="top" | ||
− | | ''' | + | | '''presented at''': |
− | | [http:// | + | | [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:// | + | [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> | <br> | ||
− | [ | + | [//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] |
− | |||
− | |||
− | |||
|} | |} | ||
− | |||
{| | {| | ||
| | | | ||
Line 317: | Line 432: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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''': | ||
− | | [[Weikang Qian]], | + | | [[Weikang Qian]], [[Marc Riedel]], [http://paradise.caltech.edu/~hzhou/ Hongchao Zhou], and [http://paradise.caltech.edu/bruck.html Jehoshua Bruck] |
− | |- valign="top" | + | |- 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–1292, 2011 | ||
+ | |- valign="top" | ||
| '''appeared in''': | | '''appeared in''': | ||
− | | [http:// | + | | [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 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" | ||
+ | | '''presented at''': | ||
+ | |[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:// | + | [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> |
− | + | [//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:// | + | <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:// | + | <br> [http://mriedel.ece.umn.edu/files/Qian_Riedel_Bazargan_Lilja_The_Synthesis_of_Combinational_Logic_to_Generate_Probabilities.ppt Slides] |
|} | |} | ||
{| | {| | ||
Line 339: | Line 462: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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''': | ||
− | | | + | | [[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" | ||
− | | ''' | + | | '''appeared in''': |
− | | [http://ieeexplore.ieee.org/ | + | | [http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5601694 IEEE Transactions on Computers], Vol. 60, No. 1, pp. 93–105, 2011 |
− | + | |} | |
− | |||
− | |||
− | |} | ||
| align="center" width="70" | | | align="center" width="70" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
− | [http:// | + | [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> | <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 361: | Line 481: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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]], [[ | + | | [[Weikang Qian]], [[John Backes]], and [[Marc Riedel]] |
|- valign="top" | |- valign="top" | ||
− | | '''appeared in''': | + | | '''appeared in''': |
− | | [http:// | + | | [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–57, 2010 |
− | |||
− | |||
− | |||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
− | + | | [http://www.sigda.org/iwls/iwls2007 IEEE/ACM International Workshop on Logic and Synthesis], San Diego, CA, 2007 | |
− | |||
− | |||
− | |[http://www.sigda.org/iwls/ | ||
|} | |} | ||
| align="center" width="70" | | | align="center" width="70" | | ||
− | <span class="plainlinks"> | + | <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> |
− | [http:// | + | <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://mriedel.ece.umn.edu/files/ | + | <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://mriedel.ece.umn.edu/files/ | + | <br> [http://mriedel.ece.umn.edu/files/Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation.ppt Slides] |
|} | |} | ||
{| | {| | ||
− | | | + | | |
{| style="background:#F0E68C" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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" | ||
+ | | '''authors''': | ||
+ | | [[Weikang Qian]] and [[Marc Riedel]] | ||
|- valign="top" | |- valign="top" | ||
− | | ''' | + | | '''presented at''': |
− | | | + | | [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:// | + | [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] |
− | [ | + | | align="center" width="70" | |
+ | <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 410: | Line 525: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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''': | ||
− | | [ | + | | [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" | ||
| '''presented at''': | | '''presented at''': | ||
− | | [http://www. | + | | [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">[http://mriedel.ece.umn.edu/wiki/images/ | + | <span class="plainlinks"> |
− | <br>[ | + | [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>[//mriedel.ece.umn.edu/wiki/images/b/b0/Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.pdf Paper] | ||
| align="center" width="70" | | | align="center" width="70" | | ||
− | <span class="plainlinks">[http://mriedel.ece.umn.edu/files/ | + | <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> |
− | <br> [http://mriedel.ece.umn.edu/files/ | + | <br> [http://mriedel.ece.umn.edu/files/Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.ppt Slides] |
|} | |} | ||
{| | {| | ||
− | | | + | | |
{| style="background:#F0E68C" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
− | | width="100" | '''title''': | + | | width="100" |'''title''': |
− | | width="500" | [ | + | | 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" | + | |- 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]] |
|- valign="top" | |- valign="top" | ||
− | | '''presented at''': | + | | '''presented at''': |
− | | [http://www. | + | | [http://www.isqed.org/ IEEE International Symposium on Quality Electronic Design], San Jose, CA, 2009. |
|} | |} | ||
| align="center" width="70" | | | align="center" width="70" | | ||
− | <span class="plainlinks"> | + | <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> |
− | [http:// | + | <br>[//mriedel.ece.umn.edu/wiki/images/2/29/Sivaswamy_Bazargan_Riedel_Estimation_and_Optimization_of_Reliability_of_Noisy_Digital_Circuits.pdf Paper] |
− | <br>[ | ||
− | |||
− | |||
− | |||
|} | |} | ||
{| | {| | ||
Line 454: | Line 563: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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" | + | |- valign="top" |
| '''authors''': | | '''authors''': | ||
− | | | + | | [[Weikang Qian]] and [[Marc Riedel]] |
− | |- valign="top" | + | |- valign="top" |
| '''presented at''': | | '''presented at''': | ||
− | | [http://www. | + | | [http://www.sigda.org/iwls/iwls2008/ IEEE/ACM International Workshop on Logic and Synthesis], Lake Tahoe, CA, 2008 |
|} | |} | ||
| align="center" width="70" | | | align="center" width="70" | | ||
− | <span class="plainlinks"> | + | <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> |
− | [http:// | + | <br>[//mriedel.ece.umn.edu/wiki/images/b/be/Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.pdf Paper] |
− | <br>[ | ||
| align="center" width="70" | | | align="center" width="70" | | ||
− | <span class="plainlinks">[http://mriedel.ece.umn.edu/ | + | <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://mriedel.ece.umn.edu/ | + | <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" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
− | | width="100" |'''title''': | + | | width="100" | '''title''': |
− | | width="500" |[ | + | | 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" | + | |- valign="top" |
| '''authors''': | | '''authors''': | ||
− | | [ | + | | [[Weikang Qian]] and [[Marc Riedel]] |
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
− | | [http://www. | + | | [http://www.dac.com/events/eventdetails.aspx?id=77-37 ACM/EDAC/IEEE Design Automation Conference], Anaheim, CA, 2008 |
|} | |} | ||
| align="center" width="70" | | | align="center" width="70" | | ||
− | <span class="plainlinks">[http:// | + | <span class="plainlinks"> |
− | <br>[[ | + | [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 == | ||
{| | {| | ||
| | | | ||
Line 492: | Line 607: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | width="500" | [//mriedel.ece.umn.edu/wiki/images/8/81/FNANO20_Random_Cutting.pdf Stochastic Computation on DNA strands through Hydroxyl Nicking] |
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
− | | [[ | + | | [[Arnav Solanki]], [[Tonglin Chen]] and [[Marc Riedel]] |
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
− | | [ | + | | [https://www2.cs.duke.edu/FNANO/ Foundations of Nanoscience: Self-Assembled Architectures and Devices], 2020 |
|} | |} | ||
| align="center" width="70" | | | align="center" width="70" | | ||
− | <span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/ | + | <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>[ | + | <br>[http://mriedel.ece.umn.edu/wiki/images/8/81/FNANO20_Random_Cutting.pdf Paper] |
| align="center" width="70" | | | align="center" width="70" | | ||
− | <span class="plainlinks">[http:// | + | <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:// | + | <br> [http://mriedel.ece.umn.edu/wiki/images/2/29/FNANO_poster2020.pdf Poster] |
|} | |} | ||
+ | |||
{| | {| | ||
| | | | ||
Line 512: | Line 628: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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" | |- valign="top" | ||
− | |||
− | |||
− | |||
| '''presented at''': | | '''presented at''': | ||
− | | [ | + | | [https://www.iwbdaconf.org/2019/ International Workshop on Bio-Design Automation], Cambridge, England, 2019. |
|} | |} | ||
− | | | + | | width="70" align="center" | |
− | <span class="plainlinks"> | + | <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> |
− | [http:// | + | <br> [//mriedel.ece.umn.edu/wiki/images/4/4c/Chen_Riedel_Parallel_Binary_Sorting_and_Shifting_with_DNA.pdf Paper] |
− | <br | + | |
− | |||
− | |||
− | |||
− | |||
|} | |} | ||
− | |||
{| | {| | ||
| | | | ||
Line 536: | Line 647: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [//mriedel.ece.umn.edu/wiki/images/ | + | | 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" | |- 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] |
− | |- valign="top" | + | |- valign="top" |
− | | ''' | + | | '''appeared in''': |
− | | [https:// | + | | [https://www.nature.com/articles/s41598-018-26709-6 Nature Scientific Reports], Vol. 8 No. 8312, 2018 |
|} | |} | ||
− | | align="center" width="70" | | + | | align="center" width="70" | |
− | <span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/ | + | <span class="plainlinks"> |
− | <br>[ | + | [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> |
− | | align="center" width="70" | | + | <br> |
− | <span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/ | + | [//mriedel.ece.umn.edu/wiki/images/4/41/Salehi_Liu_Riedel_Parhi_Computation_of_Mathematical_Functions_using_DNA_via_Fractional_Coding.pdf Paper] |
− | <br> [ | + | | 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] | ||
|} | |} | ||
Line 557: | Line 672: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [//mriedel.ece.umn.edu/wiki/images/ | + | | 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" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
− | | [[ | + | | [[Ahmad Salehi]], [http://www.ece.umn.edu/users/parhi Keshab Parhi] and [[Marc Riedel]] |
− | |- valign="top" | + | |- 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:// | + | <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/ | + | <br>[//mriedel.ece.umn.edu/wiki/images/4/47/Salehi_Riedel_Parhi_Chemical_Reaction_Networks_for_Computing_Polynomials.pdf Paper] |
− | |||
|} | |} | ||
− | |||
{| | {| | ||
− | | | + | | |
{| style="background:#F0E68C" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
− | | [ | + | | [[Ahmad Salehi]], [[Marc Riedel]], [http://www.ece.umn.edu/users/parhi Keshab Parhi] |
|- valign="top" | |- valign="top" | ||
− | | '''appeared | + | | '''appeared as''': |
− | | [ | + | | [http://mbmc.info IEEE Trans. on Molecular, Biological, and Multi-Scale Communications],<br>Vol. 1, No. 3, 2015 |
|} | |} | ||
− | | align=center width="70" | | + | | align="center" width="70" | |
− | <span class="plainlinks"> | + | <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> |
− | [http:// | + | <br> [http://cctbio.ece.umn.edu/wiki/images/2/25/Salehi_Riedel_Parhi_Molecular_Sensing_and_Computing_Systems.pdf Paper] |
− | <br> | ||
− | |||
− | |||
− | |||
− | [http:// | ||
− | |||
− | |||
|} | |} | ||
− | |||
{| | {| | ||
| | | | ||
Line 601: | Line 709: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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 | + | | [[Ahmad Salehi]], [[Marc Riedel]], [http://www.ece.umn.edu/users/parhi Keshab Parhi] |
|- valign="top" | |- valign="top" | ||
− | + | | '''presented at''': | |
− | + | | [http://www.dsp2015.org IEEE International Conference on Digital Signal Processing], 2015. | |
− | |||
− | | '''presented at''': | ||
− | | [http:// | ||
|} | |} | ||
| align="center" width="70" | | | align="center" width="70" | | ||
− | <span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/ | + | <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>[ | + | <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 621: | Line 727: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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" | ||
− | | ''' | + | | '''presented at''': |
− | | [http:// | + | | [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/ | + | <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> [ | + | <br>[//mriedel.ece.umn.edu/wiki/images/b/b3/Salehi_Riedel_Parhi_Asynchronous_Discrete-Time_Signal_Processing_with_Molecular_Reactions.pdf Paper] |
|} | |} | ||
{| | {| | ||
Line 638: | Line 744: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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''': | ||
− | + | | [[Hua Jiang]], [[Marc Riedel]], [http://www.ece.umn.edu/users/parhi Keshab Parhi] | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | | [[Hua Jiang]], [[Marc Riedel]], [http://www.ece.umn.edu/users/parhi Keshab Parhi] | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
Line 683: | 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>[ | + | <br>[//mriedel.ece.umn.edu/wiki/images/c/cf/Jiang_Riedel_Parhi_Digital_Logic_with_Molecular_Reactions.pdf Paper] |
|} | |} | ||
{| | {| | ||
Line 690: | Line 761: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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 696: | Line 767: | ||
|- valign="top" | |- valign="top" | ||
| '''appeared in''': | | '''appeared in''': | ||
− | | [http://pubs.acs.org/doi/abs/10.1021/sb300087n ACS Synthetic Biology], Vol. 2 no. 5, pp. 245–254, 2013.<br>[ | + | | [http://pubs.acs.org/doi/abs/10.1021/sb300087n ACS Synthetic Biology], Vol. 2 no. 5, pp. 245–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 in''': | | '''appeared in''': | ||
Line 721: | Line 792: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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 739: | Line 810: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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 760: | Line 831: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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 781: | Line 852: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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 792: | 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> [ | + | <br> [//mriedel.ece.umn.edu/wiki/images/a/ab/Jiang_Riedel_Parhi_Asynchronous_Computation_with_Molecular_Reactions.pdf Paper] |
|} | |} | ||
{| | {| | ||
Line 799: | Line 870: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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 820: | Line 891: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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 832: | 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>[ | + | <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 842: | Line 913: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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 852: | 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> [ | + | <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 862: | Line 933: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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 872: | 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> [ | + | <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 882: | Line 953: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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 892: | 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> [ | + | <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 905: | Line 976: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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 916: | 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> [ | + | <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 923: | Line 994: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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 943: | Line 1,014: | ||
|- valign="top" | |- valign="top" | ||
| width="100" |'''title''': | | width="100" |'''title''': | ||
− | | width="500" |[ | + | | 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 958: | 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> | ||
− | [ | + | [//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 970: | Line 1,041: | ||
|- valign="top" | |- valign="top" | ||
| width="100" |'''title''': | | width="100" |'''title''': | ||
− | | width="500" |[ | + | | 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 985: | 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> | ||
− | [ | + | [//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 997: | Line 1,068: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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 1,009: | 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> | ||
− | [ | + | [//mriedel.ece.umn.edu/wiki/images/9/94/Riedel_Bruck_Cyclic_Boolean_Circuits.pdf Paper] |
|} | |} | ||
{| | {| | ||
Line 1,016: | Line 1,087: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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 1,026: | 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>[ | + | <br>[//mriedel.ece.umn.edu/wiki/images/8/82/Backes_Riedel_The_Synthesis_of_Cyclic_Functional_Dependencies_with_Boolean_Satisfiability.pdf Paper] |
|} | |} | ||
{| | {| | ||
Line 1,033: | Line 1,104: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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 1,047: | 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>[ | + | <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 1,057: | Line 1,128: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,067: | 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>[ | + | <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,077: | Line 1,148: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,087: | 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>[ | + | <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,097: | Line 1,168: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,107: | 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>[ | + | <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,117: | Line 1,188: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,127: | 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>[ | + | <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,140: | Line 1,211: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,150: | 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>[ | + | <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,160: | Line 1,231: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,170: | 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>[ | + | <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,180: | Line 1,251: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,193: | 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>[ | + | <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,206: | Line 1,277: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,214: | 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> | ||
− | [ | + | [//mriedel.ece.umn.edu/wiki/images/1/19/Altun_Riedel_A_Study_on_Monotone_Self-Dual_Boolean_Functions.pdf Paper] |
|} | |} | ||
{| | {| | ||
Line 1,225: | Line 1,296: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,240: | 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> | ||
− | [ | + | [//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,250: | Line 1,321: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,262: | 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> | ||
− | [ | + | [//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,273: | Line 1,344: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,285: | 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> | ||
− | [ | + | [//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 | + | [[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,299: | Line 1,394: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,312: | 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>[ | + | <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,322: | Line 1,417: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,337: | 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> | ||
− | [ | + | [//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,347: | Line 1,442: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,362: | 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> | ||
− | [ | + | [//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,372: | Line 1,467: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,387: | 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> | ||
− | [ | + | [//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,397: | Line 1,492: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,410: | 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> [ | + | <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,420: | Line 1,515: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,433: | 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> [ | + | <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,443: | Line 1,538: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,458: | 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> | ||
− | [ | + | [//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,466: | Line 1,561: | ||
----- | ----- | ||
<br> | <br> | ||
− | [[Image:website-art-4.png|center | + | [[Image:website-art-4.png|center|500px]] |
== Funding Proposals == | == Funding Proposals == | ||
Line 1,474: | Line 1,569: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,495: | 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> | ||
− | [ | + | [//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,502: | Line 1,597: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,523: | 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> | ||
− | [ | + | [//mriedel.ece.umn.edu/wiki/images/e/e6/Riedel_Parhi_Advanced_Digital_Signal_Processing_with_DNA.pdf Proposal] |
|} | |} | ||
{| | {| | ||
Line 1,530: | Line 1,625: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,551: | 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> | ||
− | [ | + | [//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,558: | Line 1,653: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,579: | 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> | ||
− | [ | + | [//mriedel.ece.umn.edu/wiki/images/9/93/Parhi_Riedel_Digital_Signal_Processing_with_Biomolecular_Reactions.pdf Proposal] |
|} | |} | ||
{| | {| | ||
Line 1,586: | Line 1,681: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,607: | 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> | ||
− | [ | + | [//mriedel.ece.umn.edu/wiki/images/4/49/Kaznessis_Schmidt_Riedel_Computational_Methods_for_Forward_Biological_Engineering.pdf Proposal] |
|} | |} | ||
{| | {| | ||
Line 1,614: | Line 1,709: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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 – Design Automation for Digital Computation with Nanoscale Technologies and Biological Processes] |
|- valign="top" | |- valign="top" | ||
| '''Investigator''': | | '''Investigator''': | ||
Line 1,635: | 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> | ||
− | [ | + | [//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,642: | Line 1,737: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,663: | 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> | ||
− | [ | + | [//mriedel.ece.umn.edu/wiki/images/7/7d/Parhi_Riedel_Synthesizing_Signal_Processing_Functions_with_Biochemical_Reactions.pdf Proposal] |
|} | |} | ||
{| | {| | ||
Line 1,670: | Line 1,765: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,691: | 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> | ||
− | [ | + | [//mriedel.ece.umn.edu/wiki/images/4/48/Riedel_Tackling_the_Stochastic_Simulation_of_Biochemical_Networks_with_Real_Computing_Power.pdf Proposal] |
|} | |} | ||
{| | {| | ||
Line 1,698: | Line 1,793: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
− | | width="500" | [ | + | | 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,719: | 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> | ||
− | [ | + | [//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 | + | [[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.
Contents
Computing with Random Bit Streams
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computing with Molecules
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computing about Molecules
|
|
Computing with Nanoscale Lattices
|
|
Computing with Feedback
|
|
|
|
|
|
|
Algorithms and Data Structures
|
|
|
Mathematics
|
|
|
|
Theses
|
|
|
|
|
|
|
|
Funding Proposals
|
|
|
|
|
|
|
|
|