|
|
| Line 1: |
Line 1: |
| 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.
| |
|
| |
| == Storing with Molecules ==
| |
|
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | width="500" | [[Media:Manicka Stephan Chari Mendonsa Okubo Stolzberg-Schray Reddy Riedel Automated Routing of Droplets for DNA Storage on a Digital Microfluidics Platform.pdf|Automated Routing of Droplets for DNA Storage on a Digital Microfluidics Platform]]
| |
| |- valign="top"
| |
| | '''authors''':
| |
| | [[Ajay Manicka]], [[Andrew Stephan]], Sriram Chari, Gemma Mendonsa, Peyton Okubo, John Stolzberg-Schray, Anil Reddy, and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''under revision''':
| |
| | [https://arxiv.org/abs/2211.15494 Royal Society of Chemistry – Digital Discovery], 2023
| |
| |}
| |
| | align="center" width="70" |
| |
| <span class="plainlinks">
| |
| [https://mriedel.ece.umn.edu/wiki/images/8/8f/Manicka_Stephan_Chari_Mendonsa_Okubo_Stolzberg-Schray_Reddy_Riedel_Automated_Routing_of_Droplets_for_DNA_Storage_on_a_Digital_Microfluidics_Platform.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <br>
| |
| [[Media:Manicka_Stephan_Chari_Mendonsa_Okubo_Stolzberg-Schray_Reddy_Riedel_Automated_Routing_of_Droplets_for_DNA_Storage_on_a_Digital_Microfluidics_Platform.pdf | Paper]]
| |
| | align="center" width="70" |
| |
| <span class="plainlinks">[https://mriedel.ece.umn.edu/wiki/images/1/11/Dna-storage-and-computing.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
| |
| <br>[https://mriedel.ece.umn.edu/wiki/images/1/11/Dna-storage-and-computing.pptx Slides]
| |
| |}
| |
|
| |
| == Computing with Molecules == | | == Computing with Molecules == |
| {| | | {| |
| Line 126: |
Line 99: |
| |- valign="top" | | |- valign="top" |
| | '''presented at''': | | | '''presented at''': |
| | [https://www.vcip2021.org/ Visual Communications and Image Processing], 2021 | | | [https://www.vcip2021.org/ IEEE Int. Conference on Visual Communications and Image Processing], 2021 |
| |} | | |} |
| | width="70" align="center" | | | | width="70" align="center" | |
| Line 165: |
Line 138: |
| |- valign="top" | | |- valign="top" |
| | '''presented at''': | | | '''presented at''': |
| | [https://rc.signalprocessingsociety.org/conferences/icassp-2020/SPSICASSP20VID1364.html IEEE International Conference on Acoustics, Speech, and Signal Processing], 2020 | | | [https://rc.signalprocessingsociety.org/conferences/icassp-2020/SPSICASSP20VID1364.html IEEE Int. Conference on Acoustics, Speech, and Signal Processing], 2020 |
| |} | | |} |
| | width="70" align="center" | | | | width="70" align="center" | |
| Line 245: |
Line 218: |
| |- valign="top" | | |- valign="top" |
| | '''presented at''': | | | '''presented at''': |
| | [http://www.dsp2015.org IEEE International Conference on Digital Signal Processing], 2015. | | | [http://www.dsp2015.org IEEE Int. Conference on Digital Signal Processing], 2015. |
| |} | | |} |
| | width="70" align="center" | | | | width="70" align="center" | |
| Line 263: |
Line 236: |
| |- valign="top" | | |- valign="top" |
| | '''presented at''': | | | '''presented at''': |
| | [http://www.asilomarsscconf.org/webpage/asil14/post_conf.htm Asilomar Conference on Signals, Systems, and Computers], 2014. | | | [http://www.asilomarsscconf.org/webpage/asil14/post_conf.htm IEEE Asilomar Conference on Signals, Systems, and Computers], 2014. |
| |} | | |} |
| | width="70" align="center" | | | | width="70" align="center" | |
| Line 280: |
Line 253: |
| |- valign="top" | | |- valign="top" |
| | '''presented at''': | | | '''presented at''': |
| | [http://www.iccad.com IEEE/ACM International Conference on Computer-Aided Design],<br>San Jose, CA, 2013. | | | [http://www.iccad.com IEEE/ACM Int'l Conference on Computer-Aided Design],<br>San Jose, CA, 2013. |
| |} | | |} |
| | width="70" align="center" | | | | width="70" align="center" | |
| Line 388: |
Line 361: |
| |- valign="top" | | |- valign="top" |
| | '''presented at''': | | | '''presented at''': |
| | [http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6190049&filter=AND(p_Publication_Number:6185739) Asilomar Conference on Signals, Systems, and Computers], Pacific Grove, CA, 2011. | | | [http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6190049&filter=AND(p_Publication_Number:6185739) IEEE Asilomar Conference on Signals, Systems, and Computers], Pacific Grove, CA, 2011. |
| |} | | |} |
| | width="70" align="center" | | | | width="70" align="center" | |
| Line 498: |
Line 471: |
| <br> [http://mriedel.ece.umn.edu/files/Fett_Bruck_Riedel_Synthesizing_Stochasticity_in_Biochemical_Systems.ppt Slides] | | <br> [http://mriedel.ece.umn.edu/files/Fett_Bruck_Riedel_Synthesizing_Stochasticity_in_Biochemical_Systems.ppt Slides] |
| |} | | |} |
|
| |
| == Computing about Molecules ==
| |
|
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | width="500" | [[Media:Solanki_Riedel_Cornette_Udell_Vasmatzis_Evasive_Spike_Variants_Elucidate_the_Preservation_of_T_cell_Immune_Response_to_the_SARS-CoV-2_Omicron_Variant.pdf|Evasive Spike Variants Elucidate the Preservation of T cell Immune Response to the SARS-CoV-2 Omicron Variant]]
| |
| |- valign="top"
| |
| | '''authors''':
| |
| | [[Arnav Solanki]], [[Marc Riedel]], [https://orion.math.iastate.edu/cornette/ James Cornette], [[Julia Udell]], and [https://www.mayo.edu/research/faculty/vasmatzis-george-ph-d/bio-00027811 George Vasmatzis]
| |
| |- valign="top"
| |
| | '''under review''':
| |
| | [https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=8857 IEEE/ACM Transactions on Computational Biology and Bioinformatics], 2023
| |
| |}
| |
| | align=center width="70" |
| |
| <span class="plainlinks">
| |
| [https://mriedel.ece.umn.edu/wiki/images/1/17/Solanki_Riedel_Cornette_Udell_Vasmatzis_Evasive_Spike_Variants_Elucidate_the_Preservation_of_T_cell_Immune_Response_to_the_SARS-CoV-2_Omicron_Variant.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <br>
| |
| [[Media:Solanki_Riedel_Cornette_Udell_Vasmatzis_Evasive_Spike_Variants_Elucidate_the_Preservation_of_T_cell_Immune_Response_to_the_SARS-CoV-2_Omicron_Variant.pdf | Paper]]
| |
| |}
| |
|
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | width="500" | [[Media:Solanki_Riedel_Cornette_Udell_Vasmatzis_Hydrophobicity_Identifies_False_Positives_and_False_Negatives_in_Peptide-MHC_Binding.pdf|Hydrophobicity Identifies False Positives and False Negatives in Peptide-MHC Binding]]
| |
| |- valign="top"
| |
| | '''authors''':
| |
| | [[Arnav Solanki]], [[Marc Riedel]], [https://orion.math.iastate.edu/cornette/ James Cornette], [[Julia Udell]], and [https://www.mayo.edu/research/faculty/vasmatzis-george-ph-d/bio-00027811 George Vasmatzis]
| |
| |- valign="top"
| |
| | '''appeared in''':
| |
| | [https://www.frontiersin.org/journals/oncology/articles/10.3389/fonc.2022.1034810/full Frontiers in Oncology], Vol. 12, No. 1034810, 2022
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [http://ismco.net/ 3rd International Symposium on Mathematical and Computational Oncology], 2021
| |
| |}
| |
| | align=center width="70" |
| |
| <span class="plainlinks">
| |
| [https://mriedel.ece.umn.edu/wiki/images/1/1b/Solanki_Riedel_Cornette_Udell_Vasmatzis_Hydrophobicity_Identifies_False_Positives_and_False_Negatives_in_Peptide-MHC_Binding.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <br>
| |
| [[Media:Solanki_Riedel_Cornette_Udell_Vasmatzis_Hydrophobicity_Identifies_False_Positives_and_False_Negatives_in_Peptide-MHC_Binding.pdf | Paper]]
| |
| | align="center" width="70" |
| |
| <span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/8/8b/ISMCO2021.pdf http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
| |
| <br>[http://mriedel.ece.umn.edu/wiki/images/8/8b/ISMCO2021.pdf Slides]
| |
| |}
| |
|
| |
| View an interactive version of the data for this paper [https://hydrophobicitydata.ishaankoratkar.repl.co here].
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | [http://www2.warwick.ac.uk/fac/sci/eng/people/bio/?tag=vk Vishwesh Kulkarni], Reza Arastoo, Anupama Bhat,<br>Kalyansundaram Subramanian, Mayuresh Kothare, Marc Riedel and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''appeared in''':
| |
| | [http://www.springer.com/biomed/journal/11693 Systems and Synthetic Biology], Vol. 6, No. 3–4, pp. 69–77, 2012
| |
| |}
| |
| | width="70" align="center" |
| |
| <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>
| |
| <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]
| |
| |}
| |
|
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | Vishwesh Kulkarni, [http://www.che.iitb.ac.in/online/node/63 Venkatesh Kareenhalli], Ganesh Viswananthan, and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''appeared in''':
| |
| | [http://www.springer.com/biomed/journal/11693 Systems and Synthetic Biology], Vol. 5, No. 3–4, pp. 97–104, 2011
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [http://mriedel.ece.umn.edu/wiki/images/2/2b/Kulkarni_Kareenhalli_Viswananthan_Riedel_Characterizing_the_Memory_of_the_GAL_Regulatory_Network_in_Saccharomyces_cerevisiae.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <br> [http://mriedel.ece.umn.edu/wiki/images/2/2b/Kulkarni_Kareenhalli_Viswananthan_Riedel_Characterizing_the_Memory_of_the_GAL_Regulatory_Network_in_Saccharomyces_cerevisiae.pdf Paper]
| |
| |}
| |
|
| |
| == Computing with Random Bit Streams ==
| |
|
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | width="500" | [https://mriedel.ece.umn.edu/wiki/images/3/37/Kiran_Riedel_A_Scalable_Approach_to_Performing_Multiplication_and_Matrix_Dot-Products_in_Unary.pdf A Scalable Approach to Performing Multiplication and Matrix Dot-Products in Unary]
| |
| |- valign="top"
| |
| | '''authors''':
| |
| | [[Yadu Kiran]] and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''under review''':
| |
| | [https://www.frontiersin.org/journals/nanotechnology Frontiers in Nanotechnology], 2023
| |
| |- valign="top"
| |
| | ''' presented at''':
| |
| | [https://dl.acm.org/doi/proceedings/10.1145/3526241 Great Lakes Symposium on VLSI (GLSVLSI)], 2022
| |
| |}
| |
| | align=center width="70" |
| |
| <span class="plainlinks">
| |
| [https://mriedel.ece.umn.edu/wiki/images/3/37/Kiran_Riedel_A_Scalable_Approach_to_Performing_Multiplication_and_Matrix_Dot-Products_in_Unary.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <br>
| |
| [[Media:Kiran_Riedel_A_Scalable_Approach_to_Performing_Multiplication_and_Matrix_Dot-Products_in_Unary.pdf | Paper]]
| |
| |}
| |
|
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | [[M. Hassan Najafi]], [[Devon Jenson]], [https://ece.umn.edu/directory/lilja-david/ David Lilja], and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''appeared in''':
| |
| | [https://ieeexplore.ieee.org/document/8793244 IEEE Transactions on Very Large Scale Integration (VLSI) Systems],<br>Vol. 27, No. 29, pp. 2925–2938, 2019
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [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
| |
| |}
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br>
| |
| [//mriedel.ece.umn.edu/wiki/images/c/c9/Najafi_Jenson_Lilja_Riedel_Performing_Stochastic_Computation_Deterministically.pdf Paper]
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">[http://cadbio.com/wiki/images/4/4f/Jenson_Riedel_A_Deterministic_Approach_to_Stochastic_Computing.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
| |
| <br>[http://cadbio.com/wiki/images/4/4f/Jenson_Riedel_A_Deterministic_Approach_to_Stochastic_Computing.pptx Slides]
| |
| |}
| |
|
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | width="500" | [//mriedel.ece.umn.edu/wiki/images/0/0c/Qian-riedel-synthesis-of-polynomials.pdf Synthesis of Polynomial Functions]
| |
| |- valign="top"
| |
| | '''authors''':
| |
| | [[Weikang Qian]] and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''appeared in''':
| |
| | [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
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//mriedel.ece.umn.edu/wiki/images/0/0c/Qian-riedel-synthesis-of-polynomials.pdf Paper]
| |
| |}
| |
|
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | width="500" | [//mriedel.ece.umn.edu/wiki/images/a/a5/Riedel-deterministic-approaches-to-bitstream-computing.pdf Deterministic Approaches to Bitstream Computing]
| |
| |- valign="top"
| |
| | '''author''':
| |
| | [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''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
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//mriedel.ece.umn.edu/wiki/images/0/0c/Qian-riedel-synthesis-of-polynomials.pdf Paper]
| |
| |}
| |
|
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | width="500" | [http://mriedel.ece.umn.edu/wiki/images/9/9d/Qian_Wang_Wang_Riedel_Huang_A_Survey_of_Computation-Driven_Data_Encoding.pdf A Survey of Computation-Driven Data Encodings]
| |
| |- valign="top"
| |
| | '''authors''':
| |
| | [[Weikang Qian]], Runsheng Wang, Yuan Wang, [[Marc Riedel]] and Ru Huang
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [https://ieeexplore.ieee.org/xpl/conhome/9006748/proceeding IEEE Workshop on Signal Processing Systems], 2019
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [http://mriedel.ece.umn.edu/wiki/images/9/9d/Qian_Wang_Wang_Riedel_Huang_A_Survey_of_Computation-Driven_Data_Encoding.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <br>
| |
| [http://mriedel.ece.umn.edu/wiki/images/9/9d/Qian_Wang_Wang_Riedel_Huang_A_Survey_of_Computation-Driven_Data_Encoding.pdf Paper]
| |
| |}
| |
|
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | width="500" | [http://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"
| |
| | '''authors''':
| |
| | [[M. Hassan Najafi]], [http://www.arctic.umn.edu/people/david-lilja David Lilja], and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [https://www.iccad.com/sites/iccad.com/files/2018_ICCADProgram_WEB.pdf IEEE/ACM International Conference on Computer-Aided Design], 2018
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//mriedel.ece.umn.edu/wiki/images/1/1f/Najafi_Lilja_Riedel_Deterministic_Methods_for_Stochastic_Computing_using_Low-Discrepancy_Sequences.pdf Paper]
| |
| | width="70" align="center" |
| |
| <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]
| |
| |}
| |
|
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | [[M. Hassan Najafi]], [http://www.arctic.umn.edu/people/david-lilja David Lilja], [[Marc Riedel]], and [http://kia.umn.edu Kia Bazargan]
| |
| |- valign="top"
| |
| | '''appeared in''':
| |
| | [https://ieeexplore.ieee.org/abstract/document/8338366 IEEE Trans. on Very Large Scale Integration Sytems],<br>Vol. 26, No. 8, pp. 1471–1480, 2018
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [https://ieeexplore.ieee.org/abstract/document/8119200 IEEE International Conference on Computer Design], 2017
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [http://www.mriedel.ece.umn.edu/wiki/images/c/cc/Najafi_Lilja_Riedel_Bazargan_Low_Cost_Sorting_Network_Circuits_using_Unary_Processing.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <br>
| |
| [//mriedel.ece.umn.edu/wiki/images/c/cc/Najafi_Lilja_Riedel_Bazargan_Low_Cost_Sorting_Network_Circuits_using_Unary_Processing.pdf Paper]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | width="500" | [http://mriedel.ece.umn.edu/wiki/images/7/7f/Najafi_Jamali-Zavareh_Lilja_Riedel_Bazargan_Harjani_An_Overview_of_Time-Based_Computing_with_Stochastic_Constructs.pdf An Overview of Time-Based Computing with Stochastic Constructs]
| |
| |- valign="top"
| |
| | '''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"
| |
| | '''appeared in''':
| |
| | [http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=40 IEEE Micro,] Vol. 37, No. 6, pp. 62--71, 2017
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [http://mriedel.ece.umn.edu/wiki/images/7/7f/Najafi_Jamali-Zavareh_Lilja_Riedel_Bazargan_Harjani_An_Overview_of_Time-Based_Computing_with_Stochastic_Constructs.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <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"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''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"
| |
| | '''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"
| |
| | '''presented at''':
| |
| | [http://www.ieee.org/conferences_events/conferences/conferencedetails/index.html?Conf_ID=33621 IEEE International Symposium on Circuits and Systems], 2017
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [http://www.mriedel.ece.umn.edu/wiki/images/b/b0/Najafi_Jamali_Zavareh_Lilja_Riedel_Bazargan_Harjani_Time_Encoded_Values_for_Highly_Efficient_Stochastic_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <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"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | width="500" | [//mriedel.ece.umn.edu/wiki/images/b/b9/Van_der_Hagen_Riedel_Unary_Positional_Computing.pdf Unary Positional Computing]
| |
| |- valign="top"
| |
| | '''authors''':
| |
| | [[McKenzie van der Hagen]] and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [http://www.2017.ieeeglobalsip.org IEEE Global Conference on Signal and Information Processing], 2017
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//mriedel.ece.umn.edu/wiki/images/b/b9/Van_der_Hagen_Riedel_Unary_Positional_Computing.pdf Paper]
| |
| | width="70" align="center" |
| |
| <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://mriedel.ece.umn.edu/wiki/images/b/b8/Van_der_Hangen_Unary_Positional_Computing.pptx Poster]
| |
| |}
| |
|
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | Ahmad Salehi, Yin Liu, [[Marc Riedel]], and [http://people.ece.umn.edu/~parhi/ Keshab Parhi]
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [http://www.glsvlsi.org/ ACM Great Lakes Symposium on VLSI], 2017
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [http://128.101.171.36/wiki/images/9/92/Salehi_Liu_Riedel_Parhi_Computing_Polynomials_with_Positive_Coefficients_using_Stochastic_Logic_by_Double-NAND_Expansion.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <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]
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/e/e7/Salehi_Liu_Riedel_Parhi_Computing_Polynomials_with_Positive_Coefficients_using_Stochastic_Logic_by_Double-NAND_Expansion.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
| |
| <br>[http://cctbio.ece.umn.edu/wiki/images/e/e7/Salehi_Liu_Riedel_Parhi_Computing_Polynomials_with_Positive_Coefficients_using_Stochastic_Logic_by_Double-NAND_Expansion.pptx Slides]
| |
| |}
| |
|
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | 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
| |
| |}
| |
| | width="70" align="center" |
| |
| <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]
| |
| | width="70" align="center" |
| |
| <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
| |
| |}
| |
| | width="70" align="center" |
| |
| <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
| |
| |}
| |
| | width="70" align="center" |
| |
| <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]
| |
| | width="70" align="center" |
| |
| <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.
| |
| |}
| |
| | width="70" align="center" |
| |
| <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]
| |
| | width="70" align="center" |
| |
| <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
| |
| |}
| |
| | width="70" align="center" |
| |
| <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"
| |
| | '''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=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
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [http://cctbio.ece.umn.edu/wiki/images/7/7c/Li_Lilja_Qian_Riedel_Bazargan_Logical_Computation_on_Stochastic_Bit_Streams_with_Linear_Finite_State_Machines.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <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]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | 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"
| |
| | '''appeared in''':
| |
| | [http://dl.acm.org/citation.cfm?id=2616697 IEEE/ACM Design, Automation, and Test in Europe], 2014
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [http://mriedel.ece.umn.edu/wiki/images/6/60/Saraf_Bazargan_Lilja_Riedel_IIR_Filters_Using_Stochastic_Arithmetic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <br>
| |
| [//mriedel.ece.umn.edu/wiki/images/6/60/Saraf_Bazargan_Lilja_Riedel_IIR_Filters_Using_Stochastic_Arithmetic.pdf Paper]
| |
| | width="70" align="center" |
| |
| <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]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | 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"
| |
| | '''appeared in''':
| |
| | [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6657094&tag=1 IEEE International Conference on Computer Design], Asheville, NC, 2013
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [http://mriedel.ece.umn.edu/wiki/images/6/66/Saraf_Bazargan_Lilja_Riedel_Stochastic_Functions_Using_Sequential_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <br>
| |
| [//mriedel.ece.umn.edu/wiki/images/6/66/Saraf_Bazargan_Lilja_Riedel_Stochastic_Functions_Using_Sequential_Logic.pdf Paper]
| |
| | width="70" align="center" |
| |
| <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]
| |
| |}
| |
|
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''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"
| |
| | '''appeared in''':
| |
| | [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6386603 IEEE/ACM Int'l Conference on Computer-Aided Design], San Jose, CA 2012
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [http://cctbio.ece.umn.edu/wiki/images/b/b7/Qian_Wang_Li_Lilja_Bazargan_Riedel_An_Efficient_Implementation_of_Numerical_Integration_Using_Logical_Computation_on_Stochastic_Bit_Streams.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <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]
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">[http://cadbio.com/wiki/images/6/67/Qian_Wang_Li_Lilja_Bazargan_Riedel_An_Efficient_Implementation_of_Numerical_Integration_Using_Logical_Computation_on_Stochastic_Bit_Streams.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
| |
| <br> [http://cadbio.com/wiki/images/6/67/Qian_Wang_Li_Lilja_Bazargan_Riedel_An_Efficient_Implementation_of_Numerical_Integration_Using_Logical_Computation_on_Stochastic_Bit_Streams.pptx Slides]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | width="500" | [//mriedel.ece.umn.edu/wiki/images/4/4e/Li_Lilja_Qian_Bazargan_Riedel_The_Synthesis_of_Complex_Arithmetic_Computation_on_Stochastic_Bit_Streams_Using_Sequential_Logic.pdf The Synthesis of Complex Arithmetic Computation on Stochastic Bit Streams Using Sequential Logic]
| |
| |- valign="top"
| |
| | '''authors''':
| |
| | [http://www.ece.umn.edu/~lipeng/ Peng Li], [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Weikang Qian]], [http://www.ece.umn.edu/users/kia/ Kia Bazargan] and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''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"
| |
| | '''presented at''':
| |
| | [http://www.iwls.org/iwls2012/ IEEE/ACM International Workshop on Logic and Synthesis], Berkeley, CA 2012
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [http://cctbio.ece.umn.edu/wiki/images/4/4e/Li_Lilja_Qian_Bazargan_Riedel_The_Synthesis_of_Complex_Arithmetic_Computation_on_Stochastic_Bit_Streams_Using_Sequential_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <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]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | [[Weikang Qian]], [[Marc Riedel]], [http://paradise.caltech.edu/~hzhou/ Hongchao Zhou], and [http://paradise.caltech.edu/bruck.html Jehoshua Bruck]
| |
| |- valign="top"
| |
| | '''appeared in''':
| |
| | [http://tcad.polito.it/ IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems], <br>Vol. 30, No. 9, pp. 1279–1292, 2011
| |
| |- valign="top"
| |
| | '''appeared in''':
| |
| | [http://www.springer.com/engineering/circuits+%26+systems/book/978-1-4419-7517-1 Advanced Techniques in Logic Synthesis, Optimizations and Applications]<br> [http://www.ece.tamu.edu/~sunil/ Sunil Khatri] and [http://www.google.com/profiles/kanu.gulati Kanupriya Gulati] editors, [http://www.springerpub.com Springer Publishing], 2011
| |
| |- valign="top"
| |
| | '''presented 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
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [http://cadbio.com/wiki/images/d/db/Qian_Riedel_Zhou_Bruck_Transforming_Probabilities_with_Combinational_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| [//mriedel.ece.umn.edu/wiki/images/d/db/Qian_Riedel_Zhou_Bruck_Transforming_Probabilities_with_Combinational_Logic.pdf Paper]
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">[http://mriedel.ece.umn.edu/files/Qian_Riedel_Bazargan_Lilja_The_Synthesis_of_Combinational_Logic_to_Generate_Probabilities.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
| |
| <br> [http://mriedel.ece.umn.edu/files/Qian_Riedel_Bazargan_Lilja_The_Synthesis_of_Combinational_Logic_to_Generate_Probabilities.ppt Slides]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''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"
| |
| | '''appeared in''':
| |
| | [http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5601694 IEEE Transactions on Computers], Vol. 60, No. 1, pp. 93–105, 2011
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [http://cadbio.com/wiki/images/2/21/Qian_Li_Riedel_Bazargan_Lilja_An_Architecture_for_Fault-Tolerant_Computation_with_Stochastic_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <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]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | [[Weikang Qian]], [[John Backes]], and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''appeared in''':
| |
| | [http://www.igi-global.com/Bookstore/TitleDetails.aspx?TitleId=1117&DetailsType=Description International Journal of Nanotechnology and Molecular Computation], <br>Vol. 1, No. 4, pp. 39–57, 2010
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [http://www.sigda.org/iwls/iwls2007 IEEE/ACM International Workshop on Logic and Synthesis], San Diego, CA, 2007
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/a/a8/Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation_IJNMC.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <br>[//mriedel.ece.umn.edu/wiki/images/a/a8/Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation_IJNMC.pdf Paper]
| |
| | width="70" align="center" |
| |
| <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/Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation.ppt Slides]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''presented at''':
| |
| | [http://www.sigda.org/iwls/iwls2010/ IEEE/ACM International Workshop on Logic and Synthesis], Irvine, CA, 2010
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [http://www.mriedel.ece.umn.edu/wiki/images/4/4c/Qian_Riedel_Two_Level_Logic_Synthesis_for_Probabilistic_Computation.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <br>[//mriedel.ece.umn.edu/wiki/images/4/4c/Qian_Riedel_Two_Level_Logic_Synthesis_for_Probabilistic_Computation.pdf Paper]
| |
| | width="70" align="center" |
| |
| <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]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''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"
| |
| | '''presented at''':
| |
| | [http://www.glsvlsi.org/archive/glsvlsi09/index.html Great Lakes Symposium on VLSI], Boston, MA, 2009
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [http://www.mriedel.ece.umn.edu/wiki/images/b/b0/Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <br>[//mriedel.ece.umn.edu/wiki/images/b/b0/Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.pdf Paper]
| |
| | width="70" align="center" |
| |
| <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/Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.ppt Slides]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" |'''title''':
| |
| | width="500" |[//mriedel.ece.umn.edu/wiki/images/2/29/Sivaswamy_Bazargan_Riedel_Estimation_and_Optimization_of_Reliability_of_Noisy_Digital_Circuits.pdf Estimation and Optimization of Reliability of Noisy Digital Circuits]
| |
| |- valign="top"
| |
| | '''authors''':
| |
| | [http://www.ece.umn.edu/users/satish/ Satish Sivaswamy], [http://www.ece.umn.edu/users/kia/ Kia Bazargan] and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [http://www.isqed.org/ IEEE International Symposium on Quality Electronic Design], San Jose, CA, 2009.
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/2/29/Sivaswamy_Bazargan_Riedel_Estimation_and_Optimization_of_Reliability_of_Noisy_Digital_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <br>[//mriedel.ece.umn.edu/wiki/images/2/29/Sivaswamy_Bazargan_Riedel_Estimation_and_Optimization_of_Reliability_of_Noisy_Digital_Circuits.pdf Paper]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | width="500" | [//mriedel.ece.umn.edu/wiki/images/b/be/Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.pdf The Synthesis of Stochastic Logic to Perform Multivariate Polynomial Arithmetic]
| |
| |- valign="top"
| |
| | '''authors''':
| |
| | [[Weikang Qian]] and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [http://www.sigda.org/iwls/iwls2008/ IEEE/ACM International Workshop on Logic and Synthesis], Lake Tahoe, CA, 2008
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/b/be/Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <br>[//mriedel.ece.umn.edu/wiki/images/b/be/Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.pdf Paper]
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/e/e3/Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
| |
| <br> [http://www.mriedel.ece.umn.edu/wiki/images/e/e3/Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.ppt Poster]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | width="500" | [//mriedel.ece.umn.edu/wiki/images/0/07/Qian_Riedel_The_Synthesis_of_Robust_Polynomial_Arithmetic_with_Stochastic_Logic.pdf The Synthesis of Robust Polynomial Arithmetic with Stochastic Logic]
| |
| |- valign="top"
| |
| | '''authors''':
| |
| | [[Weikang Qian]] and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [http://www.dac.com/events/eventdetails.aspx?id=77-37 IEEE/ACM Design Automation Conference], Anaheim, CA, 2008
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [http://cctbio.ece.umn.edu/wiki/images/0/07/Qian_Riedel_The_Synthesis_of_Robust_Polynomial_Arithmetic_with_Stochastic_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <br>
| |
| [//mriedel.ece.umn.edu/wiki/images/0/07/Qian_Riedel_The_Synthesis_of_Robust_Polynomial_Arithmetic_with_Stochastic_Logic.pdf Paper]
| |
| | width="70" align="center" |
| |
| <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 Emerging Technology ==
| |
|
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | width="500" | [[Media:Zink_Lv_Zabihi_Cilasun_Sapatnekar_Karpuzcu_Riedel_Wang_A_Stochastic_Computing_Scheme_of_Embedding_Random_Bit_Generation_and_Processing_in_Computational_Random_Access_Memory_SC-CRAM.pdf|A Stochastic Computing Scheme of Embedding_Random Bit Generation and Processing in Computational Random Access Memory (SC-CRAM)]]
| |
| |- valign="top"
| |
| | '''authors''':
| |
| | Brandon Zink, Yang Lv, Masoud Zabihi, Husrev Cilasun , [http://people.ece.umn.edu/users/sachin/ Sachin Sapatnekar], [http://people.ece.umn.edu/~ukarpuzc/Karpuzcu.html Ulya Karpuzcu], [[Marc_Riedel]], and [https://nanospin.umn.edu/people/jian-ping-wang Jian-Ping Wang]
| |
| |- valign="top"
| |
| | '''appeared in''':
| |
| | [https://ieeexplore.ieee.org/document/10099030 IEEE Journal on Exploratory Solid-State Computational Devices and Circuits],<br>Vol. 9, No. 1, pp. p. 29–37, 2023
| |
| |}
| |
| | align=center width="70" |
| |
| <span class="plainlinks">
| |
| [https://mriedel.ece.umn.edu/wiki/images/5/5f/Zink_Lv_Zabihi_Cilasun_Sapatnekar_Karpuzcu_Riedel_Wang_A_Stochastic_Computing_Scheme_of_Embedding_Random_Bit_Generation_and_Processing_in_Computational_Random_Access_Memory_SC-CRAM.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <br>
| |
| [[Media:Zink_Lv_Zabihi_Cilasun_Sapatnekar_Karpuzcu_Riedel_Wang_A_Stochastic_Computing_Scheme_of_Embedding_Random_Bit_Generation_and_Processing_in_Computational_Random_Access_Memory_SC-CRAM.pdf | Paper]]
| |
| |}
| |
|
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" |'''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | [[Mustafa Altun]] and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''appear in''':
| |
| | [http://www.computer.org/portal/web/tc IEEE Transactions on Computers], Vol. 61, No. 11, pp. 1588–1600, 2012.
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [http://www.dac.com/47th/index.aspx IEEE/ACM Design Automation Conference], Anaheim, CA, 2010.
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//mriedel.ece.umn.edu/wiki/images/c/ca/Altun_Riedel_Logic_Synthesis_for_Switching_Lattices.pdf Paper]
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [http://mriedel.ece.umn.edu/wiki/images/2/28/Altun_Riedel_Lattice-Based_Computation_of_Boolean_Functions.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span>
| |
| <br> [http://mriedel.ece.umn.edu/wiki/images/2/28/Altun_Riedel_Lattice-Based_Computation_of_Boolean_Functions.ppt Slides]
| |
| |}
| |
|
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" |'''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | [[Mustafa Altun]] and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''appeared in''':
| |
| | [http://www.igi-global.com/Bookstore/TitleDetails.aspx?TitleId=1117&DetailsType=Description/ International Journal of Nanotechnology and Molecular Computation], <br>Vol. 3, No. 2, pp. 12–30, 2011.
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [http://www.dac.com/46th/index.aspx IEEE/ACM Design Automation Conference], San Francisco, CA, 2009.
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//mriedel.ece.umn.edu/wiki/images/3/3b/Altun_Riedel_Synthesizing_Logic_with_Percolation_in_Nanoscale_Lattices.pdf Paper]
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br> [http://mriedel.ece.umn.edu/wiki/images/f/fe/Altun_Riedel_Neuhauser_Nanoscale_Digital_Computation_Through_Percolation.ppt Slides]
| |
| |}
| |
|
| |
| == Computing with Feedback ==
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | width="500" | [//mriedel.ece.umn.edu/wiki/images/9/94/Riedel_Bruck_Cyclic_Boolean_Circuits.pdf Cyclic Boolean Circuits]
| |
| |- valign="top"
| |
| | '''authors''':
| |
| | [[Marc Riedel]] and [http://paradise.caltech.edu/bruck.html Shuki Bruck]
| |
| |- valign="top"
| |
| | '''appeared in''':
| |
| | [http://www.elsevier.com/wps/find/journaldescription.cws_home/505609/description#description Discrete Applied Mathematics], Vol. 160, No. 13–14, pp. 1877–1900, 2012
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//mriedel.ece.umn.edu/wiki/images/9/94/Riedel_Bruck_Cyclic_Boolean_Circuits.pdf Paper]
| |
| |}
| |
| {|
| |
| | rowspan="2" |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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''':
| |
| | [[John Backes]] and [[Marc Riedel]]
| |
| |-
| |
| | '''appeared in''':
| |
| | [http://todaes.acm.org/ ACM Transactions on Design Automation of Electronic Systems]<br> Vol. 17, No. 4, pp. 1–24, 2012
| |
| |}
| |
| | width="70" align="center" |
| |
| <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>[//mriedel.ece.umn.edu/wiki/images/8/82/Backes_Riedel_The_Synthesis_of_Cyclic_Functional_Dependencies_with_Boolean_Satisfiability.pdf Paper]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | [[John Backes]], [[Brian Fett]], and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''appeared as''':
| |
| | Technical Report, UMN
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [http://www.iccad.com/events/eventdetails.aspx?id=86-2-B IEEE/ACM Int'l Conference on Computer-Aided Design], San Jose, CA, 2008
| |
| |}
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br>[//mriedel.ece.umn.edu/wiki/images/6/66/Backes_Fett_Riedel_The_Analysis_And_Mapping_Of_Cyclic_Cricuits_With_Boolean_Satisfiability.pdf Paper]
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br> [http://mriedel.ece.umn.edu/files/Backes_Riedel_The_Analysis_of_Cyclic_Circuits_With_Boolean_Satisfiability.ppt Slides]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | [[John Backes]] and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [http://www.sigda.org/iwls/iwls2009 IEEE/ACM International Workshop on Logic and Synthesis], Berkeley, CA, 2009
| |
| |}
| |
| | width="70" align="center" |
| |
| <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>[//mriedel.ece.umn.edu/wiki/images/e/ec/Backes_Riedel_The_Synthesis_of_Cyclic_Dependencies_with_Craig_Interpolation.pdf Paper]
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br> [http://www.mriedel.ece.umn.edu/wiki/images/a/ad/Backes_Riedel_The_Synthesis_Of_Functional_Dependencies_With_Craig_Interpolation.ppt Slides]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | [[Marc Riedel]] and [http://paradise.caltech.edu/bruck.html Shuki Bruck]
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [http://www.sigda.org/iwls/iwls2004/ IEEE/ACM International Workshop on Logic and Synthesis], Temecula, CA, 2004
| |
| |}
| |
| | width="70" align="center" |
| |
| <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>[//mriedel.ece.umn.edu/wiki/images/e/ef/Riedel_Bruck_Timing_Analysis_of_Cyclic_Combinational_Circuits.pdf Paper]
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br> [http://mriedel.ece.umn.edu/files/Riedel_Bruck_Timing_Analysis_of_Cyclic_Combinational_Circuits.ppt Slides]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | [[Marc Riedel]] and [http://paradise.caltech.edu/bruck.html Shuki Bruck]
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [http://www.sigda.org/iwls/iwls2004/ IEEE/ACM Int'l Workshop on Logic and Synthesis], Orange County, CA, 2003
| |
| |}
| |
| | width="70" align="center" |
| |
| <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>[//mriedel.ece.umn.edu/wiki/images/c/ce/Riedel_Bruck_Cyclic_Combinational_Circuits_Analysis_for_Synthesis.pdf Paper]
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br> [http://mriedel.ece.umn.edu/files/Riedel_Cyclic_Combinational_Circuits_Analysis_for_Synthesis.ppt Slides]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | [[Marc Riedel]] and [http://paradise.caltech.edu/bruck.html Shuki Bruck]
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [http://www2.dac.com/40th/index.html IEEE/ACM Design Automation Conference], Anahiem, CA, 2003<br>(winner of '''DAC Best Paper Award''').
| |
| |}
| |
| | width="70" align="center" |
| |
| <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>[//mriedel.ece.umn.edu/wiki/images/b/bc/Riedel_Bruck_The_Synthesis_of_Cyclic_Combinational_Circuits.pdf Paper]
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br> [http://mriedel.ece.umn.edu/files/Riedel_Cyclic_Combinational_Circuits.ppt Slides]
| |
| |}
| |
|
| |
| == Algorithms and Data Structures==
| |
|
| |
| {|
| |
| | rowspan="2" |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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''':
| |
| | [[John Backes]] and [[Marc Riedel]]
| |
| |-
| |
| | '''presented at''':
| |
| | [http://www.date-conference.com/ IEEE/ACM Design Automation & Test in Europe], Grenoble, France, 2013
| |
| |}
| |
| | width="70" align="center" |
| |
| <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>[//mriedel.ece.umn.edu/wiki/images/c/c0/Backes_Riedel_Using_Cubes_of_Non-State_Variables_With_Property_Directed_Reachability.pdf Paper]
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br> [http://www.mriedel.ece.umn.edu/wiki/images/4/41/Backes_Riedel_Using_Cubes_of_Non-State_Variables_With_Property_Directed_Reachability.pptx Poster]
| |
| |}
| |
| {|
| |
| | rowspan="2" |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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''':
| |
| | [[John Backes]] and [[Marc Riedel]]
| |
| |-
| |
| | '''presented at''':
| |
| | [http://iwls.org/ IEEE/ACM International Workshop on Logic Synthesis], La Jolla, CA, 2011
| |
| |}
| |
| | width="70" align="center" |
| |
| <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>[//mriedel.ece.umn.edu/wiki/images/b/b6/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf Paper]
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br> [http://mriedel.ece.umn.edu/wiki/images/f/f1/Backes_Riedel_Resolution_Proofs_as_a_Data_Structure_for_Logic_Synthesis.ppt Slides]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | [[John Backes]] and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [http://www.iccad.com IEEE/ACM International Conference on Computer-Aided Design], San Jose, CA, 2010
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [http://iwls.org/ IEEE/ACM International Workshop on Logic Synthesis], Irvine, CA, 2010
| |
| |}
| |
| | width="70" align="center" |
| |
| <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>[//mriedel.ece.umn.edu/wiki/images/b/b6/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf Paper]
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br> [http://mriedel.ece.umn.edu/wiki/images/0/00/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.ppt Slides]
| |
| |}
| |
|
| |
| == Mathematics ==
| |
|
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | width="500" | [[Media:Holec_Qian_Riedel_Rosenberg_Characterizing_Polynomial_Arithmetic_with_Stochastic_Circuits.pdf|Characterizing Polynomial Arithmetic with Stochastic Circuits]]
| |
| |- valign="top"
| |
| | '''authors''':
| |
| | Patrick Holec, [[Weikang Qian]], [[Marc_Riedel]], and Ivo Rosenberg
| |
| |- valign="top"
| |
| | '''to appear in''':
| |
| | [https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/ Journal of Multiple-Valued Logic and Soft Computing]
| |
| |}
| |
| | align=center width="70" |
| |
| <span class="plainlinks">
| |
| [https://mriedel.ece.umn.edu/wiki/images/f/fa/Holec_Qian_Riedel_Rosenberg_Characterizing_Polynomial_Arithmetic_with_Stochastic_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span>
| |
| <br>
| |
| [[Media:Holec_Qian_Riedel_Rosenberg_Characterizing_Polynomial_Arithmetic_with_Stochastic_Circuits.pdf | Paper]]
| |
| |}
| |
|
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | [[Mustafa Altun]] and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''appeared in''':
| |
| | [https://link.springer.com/article/10.1007/s10255-017-0633-x Acta Mathematicae Applicatae Sinica], Vol. 33, No. 1, pp. 43–52, 2017
| |
| |}
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br>
| |
| [//mriedel.ece.umn.edu/wiki/images/1/19/Altun_Riedel_A_Study_on_Monotone_Self-Dual_Boolean_Functions.pdf Paper]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | [[Weikang Qian]], [[Marc Riedel]], and [http://dms.umontreal.ca/Professeurs/rosenb/index.html Ivo Rosenberg]
| |
| |- valign="top"
| |
| | '''appeared in''':
| |
| | [http://www.elsevier.com/locate/dam Journal of Discrete Applied Mathematics], Vol. 193, pp. 11–38, 2015
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| |[http://www.sigda.org/iwls/iwls2010/ IEEE/ACM International Workshop on Logic and Synthesis], Irvine, CA, 2010
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//mriedel.ece.umn.edu/wiki/images/c/cb/Qian_Riedel_Rosenberg_Synthesizing_Cubes_to_Satisfy_a_Given_Intersection_Pattern.pdf Paper]
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br> [http://mriedel.com/wiki/images/5/5b/Qian_Riedel_Synthesizing_Cubes_to_Satisfy_a_Given_Intersection_Pattern.ppt Slides]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | width="500" | [//mriedel.ece.umn.edu/wiki/images/d/d8/Kulkarni_Riedel_Stan_Networks_of_Passive_Oscillators.pdf Networks of Passive Oscillators]
| |
| |- valign="top"
| |
| | '''authors''':
| |
| | Vishwesh V. Kulkarni, [[Marc Riedel]], and [http://www.bg.ic.ac.uk/research/g.stan/ Guy-Bart Stan]
| |
| |- valign="top"
| |
| | '''presented at''':
| |
| | [http://www.csl.illinois.edu/allerton/ Allerton Conference], Urbana-Champaign, Illinois, 2011
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//mriedel.ece.umn.edu/wiki/images/d/d8/Kulkarni_Riedel_Stan_Networks_of_Passive_Oscillators.pdf Paper]
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br>
| |
| [http://mriedel.ece.umn.edu/files/Kulkarni_Riedel_Stan_Networks_of_Passive_Oscillators.ppt Slides]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''authors''':
| |
| | [[Weikang Qian]], [[Marc Riedel]], and [http://dms.umontreal.ca/Professeurs/rosenb/index.html Ivo Rosenberg]
| |
| |- valign="top"
| |
| | '''appeared in''':
| |
| | [http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6WDY-51WP38J-1&_user=10&_coverDate=04%2F30%2F2011&_rdoc=1&_fmt=high&_orig=gateway&_origin=gateway&_sort=d&_docanchor=&view=c&_searchStrId=1678369105&_rerunOrigin=google&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=057c5b37ffe293c8c2fa1d00b17d26c7&searchtype=a European Journal of Combinatorics], Vol. 32, No. 3, pp. 448–463, 2011
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//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>
| |
| [[Image:website-art-2.gif|center|500px]]
| |
|
| |
| == 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.
| |
| |}
| |
| | width="70" align="center" |
| |
| <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]
| |
| | width="70" align="center" |
| |
| <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" |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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''':
| |
| | [[John Backes]]
| |
| |-
| |
| | '''degree''':
| |
| | Ph.D., [http://www.ece.umn.edu Electrical and Computer Engineering], [http://www.umn.edu University of Minnesota]
| |
| |-
| |
| | '''year''':
| |
| | 2013.
| |
| |}
| |
| | width="70" align="center" |
| |
| <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>[//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]
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br> [http://www.mriedel.ece.umn.edu/wiki/images/f/fa/Backes_Algorithms_And_Data_Structures_For_Logic_Synthesis_And_Verification_Using_Boolean_Satisfiability.pptx Slides]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''author''':
| |
| | [[Hua Jiang]]
| |
| |- valign="top"
| |
| | '''degree''':
| |
| | Ph.D., [http://www.ece.umn.edu Electrical Engineering], [http://www.umn.edu University of Minnesota]
| |
| |-
| |
| | '''year''':
| |
| | 2012.
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//mriedel.ece.umn.edu/wiki/images/a/ae/Jiang_Digital_Logic_and_Signal_Processing_Computations_with_Molecular_Reactions.pdf Ph.D. Dissertation]
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br> [http://mriedel.ece.umn.edu/wiki/images/8/87/Jiang_Digital_Logic_and_Signal_Processing_Computations_with_Molecular_Reactions.pptx Slides]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''author''':
| |
| | [[Mustafa Altun]]
| |
| |- valign="top"
| |
| | '''degree''':
| |
| | Ph.D., [http://www.ece.umn.edu Electrical Engineering], [http://www.umn.edu University of Minnesota]
| |
| |-
| |
| | '''year''':
| |
| | 2012.
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//mriedel.ece.umn.edu/wiki/images/9/92/Altun_Logic_Synthesis_for_Networks_of_Four_Terminal_Switches.pdf Ph.D. Dissertation]
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br> [http://www.mriedel.ece.umn.edu/wiki/images/9/97/Altun_Logic_Synthesis_for_Networks_of_Four_Terminal_Switches.ppt Slides]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''author''':
| |
| | [[Weikang Qian]]
| |
| |- valign="top"
| |
| | '''degree''':
| |
| | Ph.D., [http://www.ece.umn.edu Electrical Engineering], [http://www.umn.edu University of Minnesota]
| |
| |-
| |
| | '''year''':
| |
| | 2011.
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//mriedel.ece.umn.edu/wiki/images/3/33/Qian_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pdf Ph.D. Dissertation]
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br> [http://mriedel.ece.umn.edu/wiki/images/e/e8/Qian_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.ppt Slides]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | width="500" | [//mriedel.ece.umn.edu/wiki/images/5/5a/Fett_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf Synthesizing Stochasticity in Biochemical Systems]
| |
| |- valign="top"
| |
| | '''author''':
| |
| | [[Brian Fett]]
| |
| |- valign="top"
| |
| | '''degree''':
| |
| | M.S., [http://r.umn.edu/academics-research/bicb Biomedical Informatics and Computational Biology],<br>[http://www.umn.edu University of Minnesota]
| |
| |-
| |
| | '''year''':
| |
| | 2010.
| |
| |}
| |
| | width="70" align="center" |
| |
| <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> [//mriedel.ece.umn.edu/wiki/images/5/5a/Fett_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf M.S. Thesis]
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br> [http://mriedel.ece.umn.edu/wiki/images/9/9c/Fett_Synthesizing_Stochastic_Biochemical_Reactions.ppt Slides]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''author''':
| |
| | [[Bin Cheng]]
| |
| |- valign="top"
| |
| | '''degree''':
| |
| | M.S., [http://www.ece.umn.edu Electrical Engineering], [http://www.umn.edu University of Minnesota]
| |
| |-
| |
| | '''year''':
| |
| | 2010.
| |
| |}
| |
| | width="70" align="center" |
| |
| <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> [//mriedel.ece.umn.edu/wiki/images/3/37/Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.pdf M.S. Thesis]
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br> [http://mriedel.ece.umn.edu/files/Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.ppt Slides]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | width="500" | [//mriedel.ece.umn.edu/wiki/images/7/7a/Riedel_Cyclic_Combinational_Circuits.pdf Cyclic Combinational Circuits]
| |
| |- valign="top"
| |
| | '''author''':
| |
| | [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''degree''':
| |
| | Ph.D., [http://www.ee.caltech.edu Electrical Engineering], [http://www.caltech.edu Caltech], 2004<br>(winner of [http://www.ee2.caltech.edu/charles_wilts.html Charles H. Wilts Prize] for the '''Best Ph.D. Dissertation''' in EE at Caltech)
| |
| |-
| |
| | '''year''':
| |
| | 2004.
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//mriedel.ece.umn.edu/wiki/images/7/7a/Riedel_Cyclic_Combinational_Circuits.pdf Ph.D. Dissertation]
| |
| | width="70" align="center" |
| |
| <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>
| |
| <br> [http://mriedel.ece.umn.edu/files/Riedel_Cyclic_Boolean_Circuits.ppt Slides]
| |
| |}
| |
| <br>
| |
| -----
| |
| <br>
| |
| [[Image:website-art-4.png|center|500px]]
| |
|
| |
| == Funding Proposals ==
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''Investigators''':
| |
| | [http://www.ece.umn.edu/users/kia Kia Bazargan], [https://www.cems.umn.edu/people/faculty/c-daniel-frisbie Daniel Frisbie], [http://www.ece.umn.edu/~harjani/ Ramesh Harjani], [http://www.arctic.umn.edu/lilja.shtml David Lilja] and [[Marc Riedel]].
| |
| |- valign="top"
| |
| | '''Agency''':
| |
| | [http://www.nsf.gov/ National Science Foundation]
| |
| |- valign="top"
| |
| | '''Program''':
| |
| | [http://www.nsf.gov/funding/pgm_summ.jsp?pims_id=503301&org=CCF Software and Hardware Foundations]
| |
| |- valign="top"
| |
| | '''Award''':
| |
| | $800,000
| |
| |- valign="top"
| |
| | '''Duration''':
| |
| | 2014 – 2017
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//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]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''Investigators''':
| |
| | [http://www.ece.umn.edu/users/parhi/ Keshab Parhi] and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''Agency''':
| |
| | [http://www.nsf.gov/ National Science Foundation]
| |
| |- valign="top"
| |
| | '''Program''':
| |
| | [http://www.nsf.gov/pubs/2011/nsf11557/nsf11557.htm Computing and Communications Foundations].
| |
| |- valign="top"
| |
| | '''Amount''':
| |
| | $300,000
| |
| |- valign="top"
| |
| | '''Duration''':
| |
| | 2014 – 2017
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//mriedel.ece.umn.edu/wiki/images/e/e6/Riedel_Parhi_Advanced_Digital_Signal_Processing_with_DNA.pdf Proposal]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''Investigators''':
| |
| | [[Marc Riedel]], [http://www.ece.umn.edu/users/kia Kia Bazargan], [http://www.ece.umn.edu/~harjani/ Ramesh Harjani], and [http://www.arctic.umn.edu/lilja.shtml David Lilja].
| |
| |- valign="top"
| |
| | '''Agency''':
| |
| | [http://www.nsf.gov/ National Science Foundation]
| |
| |- valign="top"
| |
| | '''Program''':
| |
| | [http://www.nsf.gov/funding/pgm_summ.jsp?pims_id=503301&org=CCF Software and Hardware Foundations]
| |
| |- valign="top"
| |
| | '''Award''':
| |
| | $300,000
| |
| |- valign="top"
| |
| | '''Duration''':
| |
| | 2012 – 2014
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//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]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''Investigators''':
| |
| | [http://www.ece.umn.edu/users/parhi/ Keshab Parhi] and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''Agency''':
| |
| | [http://www.nsf.gov/ National Science Foundation]
| |
| |- valign="top"
| |
| | '''Program''':
| |
| | [http://www.nsf.gov/pubs/2011/nsf11557/nsf11557.htm Computing and Communications Foundations]
| |
| |- valign="top"
| |
| | '''Amount''':
| |
| | $400,000
| |
| |- valign="top"
| |
| | '''Duration''':
| |
| | 2011 – 2014
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//mriedel.ece.umn.edu/wiki/images/9/93/Parhi_Riedel_Digital_Signal_Processing_with_Biomolecular_Reactions.pdf Proposal]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''Investigators''':
| |
| | [https://www.cems.umn.edu/people/faculty/yiannis-kaznessis Yiannis Kaznessis], [http://cbs.umn.edu/schmidt-dannert-lab/home Claudia Dannert Schmidt] and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''Agency''':
| |
| | [http://www.umn.edu University of Minnesota]
| |
| |- valign="top"
| |
| | '''Program''':
| |
| | [https://www.dtc.umn.edu/dti.php Digital Technology Center Seed Grant].
| |
| |- valign="top"
| |
| | '''Amount''':
| |
| | $100,000
| |
| |- valign="top"
| |
| | '''Duration''':
| |
| | 2011 – 2012
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//mriedel.ece.umn.edu/wiki/images/4/49/Kaznessis_Schmidt_Riedel_Computational_Methods_for_Forward_Biological_Engineering.pdf Proposal]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''Investigator''':
| |
| | [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''Agency''':
| |
| | [http://www.nsf.gov/ National Science Foundation]
| |
| |- valign="top"
| |
| | '''Program''':
| |
| | [http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=0845650&WT.z_pims_id NSF CAREER Award]
| |
| |- valign="top"
| |
| | '''Amount''':
| |
| | $500,000
| |
| |- valign="top"
| |
| | '''Duration''':
| |
| | 2009 – 2014
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//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]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''Investigators''':
| |
| | [http://www.ece.umn.edu/users/parhi/ Keshab Parhi] and [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''Agency''':
| |
| | [http://www.nsf.gov/ National Science Foundation]
| |
| |- valign="top"
| |
| | '''Program''':
| |
| | [http://www.nsf.gov/pubs/2011/nsf11557/nsf11557.htm Computing and Communications Foundations].
| |
| |- valign="top"
| |
| | '''Amount''':
| |
| | $200,000
| |
| |- valign="top"
| |
| | '''Duration''':
| |
| | 2009 – 2011
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//mriedel.ece.umn.edu/wiki/images/7/7d/Parhi_Riedel_Synthesizing_Signal_Processing_Functions_with_Biochemical_Reactions.pdf Proposal]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''Investigators''':
| |
| | [[Marc Riedel]] and Tim Mullins (IBM)
| |
| |- valign="top"
| |
| | '''Agency''':
| |
| | [http://www.umn.edu University of Minnesota]
| |
| |- valign="top"
| |
| | '''Program''':
| |
| | [https://r.umn.edu/academics-research/bicb Biomedical Informatics and Computational Biology Traineeships]
| |
| |- valign="top"
| |
| | '''Amount''':
| |
| | $78,000
| |
| |- valign="top"
| |
| | '''Duration''':
| |
| | 2007 – 2009
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//mriedel.ece.umn.edu/wiki/images/4/48/Riedel_Tackling_the_Stochastic_Simulation_of_Biochemical_Networks_with_Real_Computing_Power.pdf Proposal]
| |
| |}
| |
| {|
| |
| |
| |
| {| style="background:#F0E68C"
| |
| |- valign="top"
| |
| | width="100" | '''title''':
| |
| | 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"
| |
| | '''Investigator''':
| |
| | [[Marc Riedel]]
| |
| |- valign="top"
| |
| | '''Agency''':
| |
| | [http://www.src.org/program/fcrp/ SRC Focus Center Research Program (FCRP)]
| |
| |- valign="top"
| |
| | '''Program''':
| |
| | [http://www.fena.org/ Functional Engineered Nano-Architectonics (FENA)]
| |
| |- valign="top"
| |
| | '''Amount''':
| |
| | $325,000
| |
| |- valign="top"
| |
| | '''Duration''':
| |
| | 2006 – 2009
| |
| |}
| |
| | width="70" align="center" |
| |
| <span class="plainlinks">
| |
| [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>
| |
| [//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>
| |
| [[Image:sponsors.gif|center|500px]]
| |
