Difference between revisions of "Papers, Presentations, Theses, Proposals, and Patents"
MarcRiedel (talk | contribs) |
MarcRiedel (talk | contribs) (→Theses) |
||
(174 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
Here are links to our | Here are links to our research output. 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 == | == Storing with Molecules == | ||
Line 11: | Line 11: | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| [[Ajay Manicka]], | | [[Ajay Manicka]], Andrew Stephan, Sriram Chari, Gemma Mendonsa,<br>Peyton Okubo, John Stolzberg-Schray, Anil Reddy, and [[Marc Riedel]] | ||
|- valign="top" | |- valign="top" | ||
| ''' | | '''appeared in''': | ||
| [https:// | | [https://pubs.rsc.org/en/content/articlepdf/2023/DD/D3DD00083D?page=search Royal Society of Chemistry – Digital Discovery], Vol. 2, pp. 1436–1451, 2023 | ||
|} | |} | ||
| | | width="70" align="center" | | ||
<span class="plainlinks"> | <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> | [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> | <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]] | [[Media:Manicka_Stephan_Chari_Mendonsa_Okubo_Stolzberg-Schray_Reddy_Riedel_Automated_Routing_of_Droplets_for_DNA_Storage_on_a_Digital_Microfluidics_Platform.pdf | Paper]] | ||
| | | width="70" align="center" | | ||
<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> | <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] | <br>[https://mriedel.ece.umn.edu/wiki/images/1/11/Dna-storage-and-computing.pptx Slides] | ||
Line 35: | Line 35: | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| [https://cs.brown.edu/people/grad/aagiza/ Ahmed Agiza], [https://www.linkedin.com/in/kady-oakley-5b05a75b Kady Oakley], [http://rosenstein.engin.brown.edu Jacob Rosenstein], [https://rubenstein.group/authors/brenda-rubenstein/ Brenda Rubenstein], [https://sites.brown.edu/kim-chemistry/eunsuk-kim/ Eunsuk Kim], [[Marc Riedel]], and [https://vivo.brown.edu/display/sreda Sherief Reda] | | [https://cs.brown.edu/people/grad/aagiza/ Ahmed Agiza], [https://www.linkedin.com/in/kady-oakley-5b05a75b Kady Oakley], [http://rosenstein.engin.brown.edu Jacob Rosenstein], [https://rubenstein.group/authors/brenda-rubenstein/ Brenda Rubenstein],<br> [https://sites.brown.edu/kim-chemistry/eunsuk-kim/ Eunsuk Kim], [[Marc Riedel]], and [https://vivo.brown.edu/display/sreda Sherief Reda] | ||
|- valign="top" | |- valign="top" | ||
| '''appeared in''': | | '''appeared in''': | ||
| [https://www.nature.com/articles/s41467-023-36206-8 '''Nature Communications'''], Vol. 14, No. 496, 2023 | | [https://www.nature.com/articles/s41467-023-36206-8 '''Nature Communications'''], Vol. 14, No. 496, 2023 | ||
|} | |} | ||
| | | width="70" align="center" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[https://mriedel.ece.umn.edu/wiki/images/0/02/Agiza_Oakley_Rosenstein_Rubenstein_Kim_Riedel_Reda_Digital_Circuits_and_Neural_Networks_Based_on_Acid-Base_Chemistry_Implemented_by_Robotic_Fluid_Handling.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | [https://mriedel.ece.umn.edu/wiki/images/0/02/Agiza_Oakley_Rosenstein_Rubenstein_Kim_Riedel_Reda_Digital_Circuits_and_Neural_Networks_Based_on_Acid-Base_Chemistry_Implemented_by_Robotic_Fluid_Handling.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
Line 60: | Line 60: | ||
| [https://doi.org/10.1371/journal.pone.0281574 PLOS One], Vol. 18, No. 5, 2023 | | [https://doi.org/10.1371/journal.pone.0281574 PLOS One], Vol. 18, No. 5, 2023 | ||
|} | |} | ||
| | | width="70" align="center" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[https://mriedel.ece.umn.edu/wiki/images/5/57/Solanki_chen_riedel_computing_mathematical_functions_with_chemical_reactions_via_stochastic_logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | [https://mriedel.ece.umn.edu/wiki/images/5/57/Solanki_chen_riedel_computing_mathematical_functions_with_chemical_reactions_via_stochastic_logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
Line 72: | Line 72: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [[Media:Solanki-griffin-sutradhar-ganguly-riedel-neural-network-execution-using-nicked-dna-and-microfluidics.pdf|Neural | | width="500" | [[Media:Solanki-griffin-sutradhar-ganguly-riedel-neural-network-execution-using-nicked-dna-and-microfluidics.pdf|Neural Network Execution Using Nicked DNA and Microfluidics]] | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| [[Arnav Solanki]], Zak Griffin, Purab Ranjan Sutradhar, [https://www.rit.edu/directory/axgeec-amlan-ganguly Amlan Ganguly], [[Marc Riedel]] | | [[Arnav Solanki]], Zak Griffin, Purab Ranjan Sutradhar, [https://www.rit.edu/directory/axgeec-amlan-ganguly Amlan Ganguly], [[Marc Riedel]] | ||
|- valign="top" | |- valign="top" | ||
| ''' | | '''to appear in''': | ||
| [https:// | | [https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0292228 PLOS One], Vol. 18, No. 10, 2023 | ||
|} | |} | ||
| | | width="70" align="center" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[https://mriedel.ece.umn.edu/wiki/images/7/79/Solanki-griffin-sutradhar-ganguly-riedel-neural-network-execution-using-nicked-dna-and-microfluidics.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | [https://mriedel.ece.umn.edu/wiki/images/7/79/Solanki-griffin-sutradhar-ganguly-riedel-neural-network-execution-using-nicked-dna-and-microfluidics.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
Line 98: | Line 98: | ||
|- valign="top" | |- valign="top" | ||
| ''' | | '''appeared''': | ||
| [https://www.springer.com/journal/11047 Natural Computing], 2023 | | [https://www.springer.com/journal/11047 Natural Computing], 2023 | ||
|- valign="top" | |- valign="top" | ||
Line 126: | Line 126: | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
| [https://www.vcip2021.org/ Visual Communications and Image Processing], 2021 | | [https://www.vcip2021.org/ IEEE Visual Communications and Image Processing Conference], 2021 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
Line 148: | Line 148: | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/8/81/FNANO20_Random_Cutting.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | <span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/8/81/FNANO20_Random_Cutting.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br>[http://mriedel.ece.umn.edu/wiki/images/8/81/FNANO20_Random_Cutting.pdf | <br>[http://mriedel.ece.umn.edu/wiki/images/8/81/FNANO20_Random_Cutting.pdf Abstract] | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/2/29/FNANO_poster2020.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | <span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/2/29/FNANO_poster2020.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
Line 159: | Line 159: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [http://mriedel.ece.umn.edu/wiki/images/3/38/Chen_Solanki_Riedel_Concentration-Based-Polynomial-Calculations-on-Nicked-DNA.pdf Concentration-Based | | width="500" | [http://mriedel.ece.umn.edu/wiki/images/3/38/Chen_Solanki_Riedel_Concentration-Based-Polynomial-Calculations-on-Nicked-DNA.pdf Concentration-Based Polynomial Calculations on Nicked DNA] | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
Line 180: | Line 180: | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| [ | | [[Ahmad Salehi]], Xingyi Liu, [[Marc Riedel]], and [http://people.ece.umn.edu/~parhi/ Keshab K. Parhi] | ||
|- valign="top" | |- valign="top" | ||
| '''appeared in''': | | '''appeared in''': | ||
Line 208: | Line 208: | ||
|- valign="top" | |- valign="top" | ||
| '''appeared as''': | | '''appeared as''': | ||
| [http://pubs.acs.org/journal/asbcd6 ACS Synthetic Biology],Vol. 6, No. 1, pp. 76–83, 2017 | | [http://pubs.acs.org/journal/asbcd6 ACS Synthetic Biology], Vol. 6, No. 1, pp. 76–83, 2017 | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
Line 216: | Line 216: | ||
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/d/d7/Salehi_Parhi_Riedel_Chemical_Reaction_Networks_for_Computing_Polynomials.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | <span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/d/d7/Salehi_Parhi_Riedel_Chemical_Reaction_Networks_for_Computing_Polynomials.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br>[//mriedel.ece.umn.edu/wiki/images/4/47/Salehi_Riedel_Parhi_Chemical_Reaction_Networks_for_Computing_Polynomials.pdf Paper] | <br>[//mriedel.ece.umn.edu/wiki/images/4/47/Salehi_Riedel_Parhi_Chemical_Reaction_Networks_for_Computing_Polynomials.pdf Paper] | ||
|} | |||
{| | |||
| | |||
{| style="background:#F0E68C" | |||
|- valign="top" | |||
| width="100" | '''title''': | |||
| width="500" | [[Media:Salehi Riedel Parhi Molecular Computation of Complex Markov Chains with Self-Loop State Transitions.pdf|Molecular Computation of Complex Markov Chains with Self-Loop State Transitions]] | |||
|- valign="top" | |||
| '''authors''': | |||
| [[Ahmad Salehi]], [[Marc Riedel]] and [http://people.ece.umn.edu/~parhi/ Keshab Parhi] | |||
|- valign="top" | |||
| '''presented at''': | |||
| [https://ieeexplore.ieee.org/document/8335385 IEEE Asilomar Conference on Signals, Systems and Computers], 2017 | |||
|} | |||
| width="70" align="center" | | |||
<span class="plainlinks"> | |||
[https://mriedel.ece.umn.edu/wiki/images/9/9a/Salehi_Riedel_Parhi_Molecular_Computation_of_Complex_Markov_Chains_with_Self-Loop_State_Transitions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | |||
<br> | |||
[[Media:Salehi_Riedel_Parhi_Molecular_Computation_of_Complex_Markov_Chains_with_Self-Loop_State_Transitions.pdf | Paper]] | |||
|} | |} | ||
{| | {| | ||
Line 246: | Line 265: | ||
| '''presented at''': | | '''presented at''': | ||
| [http://www.dsp2015.org IEEE International Conference on Digital Signal Processing], 2015. | | [http://www.dsp2015.org IEEE International Conference on Digital Signal Processing], 2015. | ||
'''Best Paper Award''' finalist. | |||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
Line 263: | Line 283: | ||
|- 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 325: | Line 345: | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| Vishwesh Kulkarni | | [http://www2.warwick.ac.uk/fac/sci/eng/people/bio/?tag=vk Vishwesh Kulkarni] [[Thee Chanyaswad|,Thee Chanyaswad]], [[Marc Riedel]] and Jongmin Kim | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
Line 367: | Line 387: | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
| [http://www.dac.com/dac+2011+conference+program.aspx ACM | | [http://www.dac.com/dac+2011+conference+program.aspx IEEE/ACM Design Automation Conference], San Diego, CA, 2011. | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
Line 388: | Line 408: | ||
|- 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],<br>Pacific Grove, CA, 2011. | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
Line 489: | Line 509: | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
| [http://www.dac.com/45th/index.aspx ACM | | [http://www.dac.com/45th/index.aspx IEEE/ACM Design Automation Conference], San Diego, 2007; and at<br>[http://www.syntheticbiology3.ethz.ch/monday.htm Synthetic Biology 3.0], Zürich, 2007. | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
Line 506: | Line 526: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [ | | width="500" | [https://mriedel.ece.umn.edu/wiki/images/2/2d/Atkins_Solanki_Vasmatzis_Cornette_Riedel_Geographically_Biased_Composition_of_NetMHCpan_Training_Datasets_and_Evaluation_of_MHC-Peptide_Binding_Prediction_Accuracy_on_Novel_Alleles.pdf Geographically Biased Composition of NetMHCpan Training Datasets and Evaluation of MHC-Peptide] | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| [[Arnav Solanki]], | | Thomas Atkins, [[Arnav Solanki]], [https://www.mayo.edu/research/faculty/vasmatzis-george-ph-d/bio-00027811 George Vasmatzis], [https://orion.math.iastate.edu/cornette/ James Cornette], and [[Marc Riedel]] | ||
|- valign="top" | |- valign="top" | ||
| ''' | | '''appeared in''': | ||
| [https:// | | [https://www.frontiersin.org/journals/immunology Frontiers in Immunology], Vol. 14, 2023 | ||
|} | |} | ||
| align=center width="70" | | | align="center" width="70" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[https:// | [https://www.frontiersin.org/articles/10.3389/fimmu.2023.1288105/full http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br> | <br> | ||
[ | [https://www.frontiersin.org/articles/10.3389/fimmu.2023.1288105/full Paper] | ||
|} | |} | ||
Line 526: | Line 546: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [[Media: | | width="500" | [[Media: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" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
Line 532: | Line 552: | ||
|- valign="top" | |- valign="top" | ||
| '''appeared in''': | | '''appeared in''': | ||
| [https:// | | [https://ieeexplore.ieee.org/document/10457533 IEEE/ACM Trans. on Computational Biology and Bioinformatics], pp. 1–11, March, 2024 | ||
|} | |} | ||
| | | width="70" align="center" | | ||
<span class="plainlinks"> | <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> | [https://mriedel.ece.umn.edu/wiki/images/1/12/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: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/International Symposium on Mathematical and Computational Oncology], 2021 | |||
|} | |||
| width="70" align="center" | | |||
<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> | <br> | ||
[[Media:Solanki_Riedel_Cornette_Udell_Vasmatzis_Hydrophobicity_Identifies_False_Positives_and_False_Negatives_in_Peptide-MHC_Binding.pdf | Paper]] | [[Media:Solanki_Riedel_Cornette_Udell_Vasmatzis_Hydrophobicity_Identifies_False_Positives_and_False_Negatives_in_Peptide-MHC_Binding.pdf | Paper]] | ||
| | | width="70" align="center" | | ||
<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> | <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] | <br>[http://mriedel.ece.umn.edu/wiki/images/8/8b/ISMCO2021.pdf Slides] | ||
|} | |} | ||
{| | {| | ||
| | | | ||
Line 575: | Line 614: | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| Vishwesh Kulkarni, [http://www.che.iitb.ac.in/online/node/63 Venkatesh Kareenhalli], Ganesh Viswananthan, and [[Marc Riedel]] | | [http://www2.warwick.ac.uk/fac/sci/eng/people/bio/?tag=vk Vishwesh Kulkarni], [http://www.che.iitb.ac.in/online/node/63 Venkatesh Kareenhalli], Ganesh Viswananthan, and [[Marc Riedel]] | ||
|- valign="top" | |- valign="top" | ||
| '''appeared in''': | | '''appeared in''': | ||
Line 598: | Line 637: | ||
| [[Yadu Kiran]] and [[Marc Riedel]] | | [[Yadu Kiran]] and [[Marc Riedel]] | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | |||
| [https://dl.acm.org/doi/proceedings/10.1145/3526241 IEEE/ACM Great Lakes Symposium on VLSI], 2022 | |||
| ''' presented at''': | |||
| [https://dl.acm.org/doi/proceedings/10.1145/3526241 Great Lakes Symposium on VLSI | |||
|} | |} | ||
| | | width="70" align="center" | | ||
<span class="plainlinks"> | <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> | [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> | ||
[https://mriedel.ece.umn.edu/wiki/images/3/37/Kiran_Riedel_A_Scalable_Approach_to_Performing_Multiplication_and_Matrix_Dot-Products_in_Unary.pdf Paper] | |||
| width="70" align="center" | | |||
<span class="plainlinks">[https://mriedel.ece.umn.edu/wiki/images/b/ba/Kiran_Riedel_A_Scalable_Deterministic_Approach_to_Stochastic_Computing.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span> | |||
<br>[https://mriedel.ece.umn.edu/wiki/images/b/ba/Kiran_Riedel_A_Scalable_Deterministic_Approach_to_Stochastic_Computing.pptx Slides] | |||
|} | |} | ||
Line 616: | Line 654: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [https://mriedel.ece.umn.edu/wiki/images/2/22/Jenson_Riedel_A_Deterministic_Approach_to_Stochastic_Computation.pdf Performing Stochastic Computation Deterministically] | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| | | [[Devon Jenson]] and [[Marc Riedel]] | ||
|- valign="top" | |- valign="top" | ||
| '''appeared in''': | | '''appeared in''': | ||
| [https://ieeexplore.ieee.org/document/8793244 IEEE | | [https://ieeexplore.ieee.org/document/8793244 IEEE Trans. on Very Large Scale Integration Systems],<br>Vol. 27, No. 29, pp. 2925–2938, 2019 | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
Line 628: | Line 666: | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
| [ | | [https://ieeexplore.ieee.org/document/7827679 IEEE/ACM International Conference on Computer-Aided Design], 2016 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[ | [https://mriedel.ece.umn.edu/wiki/images/2/22/Jenson_Riedel_A_Deterministic_Approach_to_Stochastic_Computation.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br> | <br> | ||
[//mriedel.ece.umn.edu/wiki/images/ | [https://mriedel.ece.umn.edu/wiki/images/2/22/Jenson_Riedel_A_Deterministic_Approach_to_Stochastic_Computation.pdf Paper] | ||
| width="70" align="center" | | | 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> | <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> | ||
Line 712: | Line 750: | ||
| '''presented at''': | | '''presented at''': | ||
| [https://www.iccad.com/sites/iccad.com/files/2018_ICCADProgram_WEB.pdf IEEE/ACM International Conference on Computer-Aided Design], 2018 | | [https://www.iccad.com/sites/iccad.com/files/2018_ICCADProgram_WEB.pdf IEEE/ACM International Conference on Computer-Aided Design], 2018 | ||
|- valign="top" | |||
| '''presented at''': | |||
| [http://www.iwls.org/iwls2018/ IEEE/ACM International Workshop on Logic and Synthesis], 2018 | |||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
Line 771: | Line 812: | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| [[M. Hassan Najafi]], S. Jamali-Zavareh, [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Marc Riedel]], [http://people.ece.umn.edu/~kia Kia Bazargan] and<br>[http://people.ece.umn.edu/~harjani/ Ramesh Harjani] | | [[M. Hassan Najafi]], S. Jamali-Zavareh, [http://www.arctic.umn.edu/lilja.shtml David Lilja],[[Marc Riedel]],[http://people.ece.umn.edu/~kia Kia Bazargan] and<br>[http://people.ece.umn.edu/~harjani/ Ramesh Harjani] | ||
|- valign="top" | |- valign="top" | ||
| '''appeared in''': | | '''appeared in''': | ||
| [http://ieeexplore.ieee.org/xpl/aboutJournal.jsp?punumber=92 IEEE | | [http://ieeexplore.ieee.org/xpl/aboutJournal.jsp?punumber=92 IEEE Trans. on Very Large Scale Integration Systems],<br>Vol. 25, No. 5, pp. 1644–1657, 2017 | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
Line 820: | Line 861: | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
| [http://www.glsvlsi.org/ ACM Great Lakes Symposium on VLSI], 2017 | | [http://www.glsvlsi.org/ IEEE/ACM Great Lakes Symposium on VLSI], 2017 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
Line 891: | Line 932: | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
| [http://signalprocessingsociety.org/blog/2016-50th-annual-asilomar-conference-signals-systems-and-computers-asilomar-2016 Asilomar Conference on Signals, Systems, and Computers], 2016 | | [http://signalprocessingsociety.org/blog/2016-50th-annual-asilomar-conference-signals-systems-and-computers-asilomar-2016 IEEE Asilomar Conference on Signals, Systems, and Computers], 2016 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
Line 933: | Line 974: | ||
|- valign="top" | |- valign="top" | ||
| '''appeared in''': | | '''appeared in''': | ||
| [http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6502263 IEEE | | [http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6502263 IEEE Trans. on Very Large Scale Integration Systems],<br>Vol. 22, No. 3, pp. 449–462, 2014 | ||
|- valign="top" | |- valign="top" | ||
| ''' | | '''presented at''': | ||
| [http://link.springer.com/chapter/10.1007%2F978-3-642-36157-9_24#page-1 | | [http://link.springer.com/chapter/10.1007%2F978-3-642-36157-9_24#page-1 Power and Timing Modeling, Optimization and Simulation Workshop],<br>pp. 235–244, 2012 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
Line 1,022: | Line 1,063: | ||
|- valign="top" | |- valign="top" | ||
| '''appeared in''': | | '''appeared in''': | ||
| [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6386603 IEEE/ACM Int | | [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6386603 IEEE/ACM Int. Conference on Computer-Aided Design], San Jose, CA 2012 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
Line 1,115: | Line 1,156: | ||
|- valign="top" | |- valign="top" | ||
| '''appeared in''': | | '''appeared in''': | ||
| [http://www.igi-global.com/Bookstore/TitleDetails.aspx?TitleId=1117&DetailsType=Description International Journal of Nanotechnology and Molecular Computation], <br>Vol. 1, No. 4, pp. 39–57, | | [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, 2009 | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
Line 1,159: | Line 1,200: | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
| [http://www.glsvlsi.org/archive/glsvlsi09/index.html Great Lakes Symposium on VLSI], Boston, MA, 2009 | | [http://www.glsvlsi.org/archive/glsvlsi09/index.html IEEE/ACM Great Lakes Symposium on VLSI], Boston, MA, 2009 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
Line 1,217: | Line 1,258: | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
| [http://www.dac.com/events/eventdetails.aspx?id=77-37 ACM | | [http://www.dac.com/events/eventdetails.aspx?id=77-37 IEEE/ACM Design Automation Conference], Anaheim, CA, 2008 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
Line 1,236: | Line 1,277: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [[Media: | | width="500" | [[Media:Zink Riedel Karpuzcu Wang A Comparison Study of Spin Transfer Torque and Spin-Orbit Torque Based Stochastic Computing Using Computational Random Access Memory SC-CRAM.pdf|A Comparison Study of Spin Transfer Torque and Spin-Orbit Torque Based Stochastic Computing Using Computational Random Access Memory (SC-CRAM)]] | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| | | [https://nanospin.umn.edu/people/brandon-zink Brandon Zink], [[Marc Riedel]], [https://www.ece.umn.edu/~ukarpuzc/Karpuzcu.html Ulya Karpuzcu] and [https://nanospin.umn.edu/people/jian-ping-wang Jian-Ping Wang] | ||
|- valign="top" | |- valign="top" | ||
| '''appeared in''': | | '''appeared in''': | ||
| [https://ieeexplore.ieee.org/ | | [https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=20 IEEE Transactions on Magnetics], 2023 | ||
|- valign="top" | |||
| '''presented at''': | |||
| [https://ieeemagnetics.org/event/conference/34th-magnetic-recording-conference IEEE Magnetics Recording Conference], 2023 | |||
|} | |} | ||
| align=center width="70" | | | align="center" width="70" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[https://mriedel.ece.umn.edu/wiki/images/ | [https://mriedel.ece.umn.edu/wiki/images/4/41/Zink_Riedel_Karpuzcu_Wang_A_Comparison_Study_of_Spin_Transfer_Torque_and_Spin-Orbit_Torque_Based_Stochastic_Computing_Using_Computational_Random_Access_Memory_SC-CRAM.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br> | <br> | ||
[[Media: | [[Media:Zink_Riedel_Karpuzcu_Wang_A_Comparison_Study_of_Spin_Transfer_Torque_and_Spin-Orbit_Torque_Based_Stochastic_Computing_Using_Computational_Random_Access_Memory_SC-CRAM.pdf | Paper]] | ||
|} | |} | ||
Line 1,255: | Line 1,299: | ||
{| style="background:#F0E68C" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
| width="100" |'''title''': | | width="100" | '''title''': | ||
| width="500" |[ | | 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" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| [[ | | [https://nanospin.umn.edu/people/brandon-zink Brandon Zink], Yang Lv, Masoud Zabihi, Husrev Cilasun , [http://people.ece.umn.edu/users/sachin/ Sachin Sapatnekar],<br>[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" | |- 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 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <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> | <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]] | ||
[ | |||
|} | |} | ||
Line 1,282: | Line 1,319: | ||
{| style="background:#F0E68C" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
| width="100" |'''title''': | | width="100" | '''title''': | ||
| width="500" |[ | | width="500" | [[Media:Ganguly Abadal Thakkar Jerger Riedel Babaie Balasubramonian Sebastian Pasricha Taskin Interconnects for DNA Quantum In-Memory and Optical Computing Insights From a Panel Discussion.pdf|Interconnects for DNA, Quantum, In-Memory, and Optical Computing]] | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| | | Amlan Ganguly, Sergi Abadal, Ishan Thakkar, Natalie Enright Jerger,<br>[[Marc Riedel]], Masoud Babaie, Rajeev Balasubramonian,<br>Abu Sebastian, Sudeep Pasricha, and Baris Taskin | ||
|- valign="top" | |- valign="top" | ||
| '''appeared | | '''appeared in''': | ||
| [ | | [https://ieeexplore.ieee.org/document/9714013 IEEE_Micro], Vol. 42, No. 3, pp. 40–49, 2022 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[ | [https://mriedel.ece.umn.edu/wiki/images/d/de/Ganguly_Abadal_Thakkar_Jerger_Riedel_Babaie_Balasubramonian_Sebastian_Pasricha_Taskin_Interconnects_for_DNA_Quantum_In-Memory_and_Optical_Computing_Insights_From_a_Panel_Discussion.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br> | <br> | ||
[ | [[Media:Ganguly_Abadal_Thakkar_Jerger_Riedel_Babaie_Balasubramonian_Sebastian_Pasricha_Taskin_Interconnects_for_DNA_Quantum_In-Memory_and_Optical_Computing_Insights_From_a_Panel_Discussion.pdf | Paper]] | ||
|} | |} | ||
{| | {| | ||
| | | | ||
{| style="background:#F0E68C" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" |'''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" |[//mriedel.ece.umn.edu/wiki/images/c/ca/Altun_Riedel_Logic_Synthesis_for_Switching_Lattices.pdf Logic Synthesis for Switching Lattices] | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| [[Marc Riedel]] | | [[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" | |- valign="top" | ||
| ''' | | '''presented at''': | ||
| [http://www. | | [http://www.dac.com/47th/index.aspx IEEE/ACM Design Automation Conference], Anaheim, CA, 2010. | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[http:// | [http://cadbio.com/wiki/images/c/ca/Altun_Riedel_Logic_Synthesis_for_Switching_Lattices.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br> | <br> | ||
[//mriedel.ece.umn.edu/wiki/images/ | [//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" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" |'''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" |[//mriedel.ece.umn.edu/wiki/images/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''': | | '''authors''': | ||
| [[ | | [[Mustafa Altun]] and [[Marc Riedel]] | ||
|- | |- valign="top" | ||
| '''appeared in''': | | '''appeared in''': | ||
| [ | | [https://dblp.org/db/journals/ijnmc/ijnmc3.html 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" | | | width="70" align="center" | | ||
<span class="plainlinks">[http:// | <span class="plainlinks"> | ||
<br>[//mriedel.ece.umn.edu/wiki/images/ | [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] | |||
|} | |} | ||
{| | |||
{| | |||
| | | | ||
{| style="background:#F0E68C" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [ | | width="500" | [[Media:Sasao Butler Riedel Application of LUT Cascades to Numerical Function Generators.pdf|Application of LUT Cascades to Numerical Function Generators]] | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| | | Tsutomu Sasao, Jon Butler, and [[Marc Riedel]] | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | |||
| [https://www.sasimi.jp/current/2004/index.html Workshop on Synthesis And System Integration of Mixed<br>Information Technologies], pp. 422–429, 2004 | |||
| '''presented | |||
| [ | |||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[ | [https://mriedel.ece.umn.edu/wiki/images/f/fa/Sasao_Butler_Riedel_Application_of_LUT_Cascades_to_Numerical_Function_Generators.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br>[ | <br> | ||
[[Media:Sasao_Butler_Riedel_Application_of_LUT_Cascades_to_Numerical_Function_Generators.pdf | Paper]] | |||
|} | |} | ||
== Computing with Feedback == | |||
{| | {| | ||
| | | | ||
Line 1,370: | Line 1,413: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [//mriedel.ece.umn.edu/wiki/images/9/94/Riedel_Bruck_Cyclic_Boolean_Circuits.pdf Cyclic Boolean Circuits] | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| [[ | | [[Marc Riedel]] and [http://paradise.caltech.edu/bruck.html Shuki Bruck] | ||
|- valign="top" | |- valign="top" | ||
| ''' | | '''appeared in''': | ||
| [http://www. | | [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" | | | width="70" align="center" | | ||
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/ | <span class="plainlinks"> | ||
<br>[//mriedel.ece.umn.edu/wiki/images/ | [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" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [//mriedel.ece.umn.edu/wiki/images/8/82/Backes_Riedel_The_Synthesis_of_Cyclic_Functional_Dependencies_with_Boolean_Satisfiability.pdf The Synthesis of Cyclic Dependencies with Boolean Satisfiability] | ||
|- | |- | ||
| '''authors''': | | '''authors''': | ||
| [[ | | [[John Backes]] and [[Marc Riedel]] | ||
|- | |- | ||
| ''' | | '''appeared in''': | ||
| [http:// | | [http://todaes.acm.org/ ACM Trans. on Design Automation of Electronic Systems]<br> Vol. 17, No. 4, pp. 1–24, 2012 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks">[http:// | <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/ | <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" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [//mriedel.ece.umn.edu/wiki/images/6/66/Backes_Fett_Riedel_The_Analysis_And_Mapping_Of_Cyclic_Cricuits_With_Boolean_Satisfiability.pdf The Analysis and Mapping of Cyclic Circuits with Boolean Satisfiability] | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| [[ | | [[John Backes]], [[Brian Fett]], and [[Marc Riedel]] | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
| [http://www. | | [http://www.iccad.com/events/eventdetails.aspx?id=86-2-B IEEE/ACM Int. Conference on Computer-Aided Design], San Jose, CA, 2008 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks">[http:// | <span class="plainlinks"> | ||
<br>[//mriedel.ece.umn.edu/wiki/images/ | [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" | | | width="70" align="center" | | ||
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/ | <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/ | <br> [http://mriedel.ece.umn.edu/files/Backes_Riedel_The_Analysis_of_Cyclic_Circuits_With_Boolean_Satisfiability.ppt Slides] | ||
|} | |} | ||
{| | {| | ||
| | | | ||
{| style="background:#F0E68C" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [//mriedel.ece.umn.edu/wiki/images/e/ec/Backes_Riedel_The_Synthesis_of_Cyclic_Dependencies_with_Craig_Interpolation.pdf The Synthesis of Cyclic Dependencies with Craig Interpolation] | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| [[ | | [[John Backes]] and [[Marc Riedel]] | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
| [http:// | | [http://www.sigda.org/iwls/iwls2009 IEEE/ACM International Workshop on Logic and Synthesis], Berkeley, CA, 2009 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/ | <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/ | <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" | | | width="70" align="center" | | ||
<span class="plainlinks">[http://mriedel.ece.umn.edu/ | <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://mriedel.ece.umn.edu/ | <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" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [//mriedel.ece.umn.edu/wiki/images/e/ef/Riedel_Bruck_Timing_Analysis_of_Cyclic_Combinational_Circuits.pdf Timing Analysis of Cyclic Combinational Circuits] | ||
|- | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| [[ | | [[Marc Riedel]] and [http://paradise.caltech.edu/bruck.html Shuki Bruck] | ||
|- | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
| [http://www. | | [http://www.sigda.org/iwls/iwls2004/ IEEE/ACM International Workshop on Logic and Synthesis], Temecula, CA, 2004 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks">[http:// | <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/ | <br>[//mriedel.ece.umn.edu/wiki/images/e/ef/Riedel_Bruck_Timing_Analysis_of_Cyclic_Combinational_Circuits.pdf Paper] | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks">[http:// | <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:// | <br> [http://mriedel.ece.umn.edu/files/Riedel_Bruck_Timing_Analysis_of_Cyclic_Combinational_Circuits.ppt Slides] | ||
|} | |} | ||
{| | {| | ||
| | |||
{| style="background:#F0E68C" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [//mriedel.ece.umn.edu/wiki/images/c/ce/Riedel_Bruck_Cyclic_Combinational_Circuits_Analysis_for_Synthesis.pdf Cyclic Combinational Circuits: Analysis for Synthesis] | ||
|- | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| [[ | | [[Marc Riedel]] and [http://paradise.caltech.edu/bruck.html Shuki Bruck] | ||
|- | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
| [http:// | | [http://www.sigda.org/iwls/iwls2004/ IEEE/ACM Int. Workshop on Logic and Synthesis], Orange County, CA, 2003 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks">[http:// | <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/ | <br>[//mriedel.ece.umn.edu/wiki/images/c/ce/Riedel_Bruck_Cyclic_Combinational_Circuits_Analysis_for_Synthesis.pdf Paper] | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks">[http:// | <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/ | <br> [http://mriedel.ece.umn.edu/files/Riedel_Cyclic_Combinational_Circuits_Analysis_for_Synthesis.ppt Slides] | ||
|} | |} | ||
{| | {| | ||
Line 1,493: | Line 1,530: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/b/ | | width="500" | [//mriedel.ece.umn.edu/wiki/images/b/bc/Riedel_Bruck_The_Synthesis_of_Cyclic_Combinational_Circuits.pdf The Synthesis of Cyclic Combinational Circuits] | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| | | [[Marc Riedel]] and [http://paradise.caltech.edu/bruck.html Shuki Bruck] | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
| [http:// | | [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" | | | width="70" align="center" | | ||
<span class="plainlinks">[http:// | <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/ | <br>[//mriedel.ece.umn.edu/wiki/images/b/bc/Riedel_Bruck_The_Synthesis_of_Cyclic_Combinational_Circuits.pdf Paper] | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks">[http://mriedel.ece.umn.edu/ | <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/ | <br> [http://mriedel.ece.umn.edu/files/Riedel_Cyclic_Combinational_Circuits.ppt Slides] | ||
|} | |} | ||
== | == Algorithms and Data Structures== | ||
{| | {| | ||
| | | rowspan="2" | | ||
{| style="background:#F0E68C" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [//mriedel.ece.umn.edu/wiki/images/c/c0/Backes_Riedel_Using_Cubes_of_Non-State_Variables_With_Property_Directed_Reachability.pdf Using Cubes of Non-state Variables With Property Directed Reachability] | ||
|- | |- | ||
| '''authors''': | | '''authors''': | ||
| [[ | | [[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" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <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> | ||
[http://mriedel.ece.umn.edu/wiki/images/ | <br>[//mriedel.ece.umn.edu/wiki/images/c/c0/Backes_Riedel_Using_Cubes_of_Non-State_Variables_With_Property_Directed_Reachability.pdf Paper] | ||
<br> | | width="70" align="center" | | ||
[//mriedel.ece.umn.edu/wiki/images/ | <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" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [//mriedel.ece.umn.edu/wiki/images/2/27/Backes_Riedel_Resolution_Proofs_As_A_Data_Structure_For_Logic_Synthesis.pdf Resolution Proofs as a Data Structure For Logic Synthesis] | ||
|- | |- | ||
| '''authors''': | | '''authors''': | ||
| [[ | | [[John Backes]] and [[Marc Riedel]] | ||
|- | |||
|- | |||
| '''presented at''': | | '''presented at''': | ||
|[http:// | | [http://iwls.org/ IEEE/ACM International Workshop on Logic Synthesis], La Jolla, CA, 2011 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <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> | ||
[http:// | <br>[//mriedel.ece.umn.edu/wiki/images/b/b6/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf Paper] | ||
<br> | | width="70" align="center" | | ||
[//mriedel.ece.umn.edu/wiki/images/ | <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> | ||
| width="70" align="center" | | <br> [http://mriedel.ece.umn.edu/wiki/images/f/f1/Backes_Riedel_Resolution_Proofs_as_a_Data_Structure_for_Logic_Synthesis.ppt Slides] | ||
<span class="plainlinks">[http://mriedel. | |||
<br> [http://mriedel. | |||
|} | |} | ||
{| | {| | ||
Line 1,563: | Line 1,593: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [//mriedel.ece.umn.edu/wiki/images/b/b6/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf Reduction of Interpolants For Logic Synthesis] | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| | | [[John Backes]] and [[Marc Riedel]] | ||
|- valign="top" | |- valign="top" | ||
| '''presented at''': | | '''presented at''': | ||
| [http://www. | | [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" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <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> | ||
[http:// | <br>[//mriedel.ece.umn.edu/wiki/images/b/b6/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf Paper] | ||
<br> | | width="70" align="center" | | ||
[//mriedel.ece.umn.edu/wiki/images/ | <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> | ||
| width="70" align="center" | | <br> [http://mriedel.ece.umn.edu/wiki/images/0/00/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.ppt Slides] | ||
<span class="plainlinks">[http://mriedel.ece.umn.edu/ | |} | ||
<br> | |||
[http://mriedel.ece.umn.edu/ | |||
|} | |||
{| | {| | ||
| | | | ||
Line 1,586: | Line 1,617: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [ | | width="500" | [[Media:Riedel Bruck Tolerating Faults in Counting Networks.pdf|Tolerating Faults in Counting Networks]] | ||
|- valign="top" | |- valign="top" | ||
| '''authors''': | | '''authors''': | ||
| | | [[Marc Riedel]] and Jehoshua Bruck | ||
|- valign="top" | |- valign="top" | ||
| '''appeared in''': | | '''appeared in''': | ||
| [ | | [https://link.springer.com/book/10.1007/978-1-4615-4549-1 Dependable Network Computing], Springer, Dimiter Avresky, Editor, 267–277, 2000 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[http:// | [http://www.mriedel.ece.umn.edu/wiki/images/f/fc/Riedel_Bruck_Tolerating_Faults_in_Counting_Networks.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br> | <br> | ||
[//mriedel.ece.umn.edu/wiki/images/ | [[Media:Riedel_Bruck_Tolerating_Faults_in_Counting_Networks.pdf | Paper]] | ||
| width="70" align="center" | | |||
<span class="plainlinks">[https://mriedel.ece.umn.edu/wiki/images/7/78/Riedel-bruck-tolerating-faults-in-counting-networks.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span> | |||
<br> [https://mriedel.ece.umn.edu/wiki/images/7/78/Riedel-bruck-tolerating-faults-in-counting-networks.pptx Slides] | |||
|} | |} | ||
== | == Information Theory & Mathematics == | ||
{| | {| | ||
| | | | ||
Line 1,611: | Line 1,642: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [ | | width="500" | [[Media:Holec Qian Riedel Rosenberg Characterizing Polynomial Arithmetic with Stochastic Circuits.pdf|Characterizing Polynomial Arithmetic with Stochastic Circuits]] | ||
|- valign="top" | |- valign="top" | ||
| ''' | | '''authors''': | ||
| [[ | | Patrick Holec, [[Weikang Qian]], [[Marc Riedel]], and Ivo Rosenberg | ||
|- valign="top" | |- valign="top" | ||
| ''' | | '''to appear in''': | ||
| | | [https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/ Journal of Multiple-Valued Logic and Soft Computing], 2023 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <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> | <br> | ||
[ | [[Media:Holec_Qian_Riedel_Rosenberg_Characterizing_Polynomial_Arithmetic_with_Stochastic_Circuits.pdf | Paper]] | ||
|} | |} | ||
{| | {| | ||
| | |||
{| style="background:#F0E68C" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [//mriedel.ece.umn.edu/wiki/images/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" | | | width="70" align="center" | | ||
<span class="plainlinks">[http:// | <span class="plainlinks"> | ||
<br>[//mriedel.ece.umn.edu/wiki/images/ | [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" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [//mriedel.ece.umn.edu/wiki/images/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" | |- valign="top" | ||
| ''' | | '''appeared in''': | ||
| [ | | [http://www.elsevier.com/locate/dam Journal of Discrete Applied Mathematics], Vol. 193, pp. 11–38, 2015 | ||
|- valign="top" | |- 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" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[http:// | [http://cadbio.com/wiki/images/c/cb/Qian_Riedel_Rosenberg_Synthesizing_Cubes_to_Satisfy_a_Given_Intersection_Pattern.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br> | <br> | ||
[//mriedel.ece.umn.edu/wiki/images/ | [//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" | | | width="70" align="center" | | ||
<span class="plainlinks">[http://mriedel. | <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. | <br> [http://mriedel.com/wiki/images/5/5b/Qian_Riedel_Synthesizing_Cubes_to_Satisfy_a_Given_Intersection_Pattern.ppt Slides] | ||
|} | |} | ||
{| | {| | ||
| | | | ||
{| style="background:#F0E68C" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [//mriedel.ece.umn.edu/wiki/images/d/d8/Kulkarni_Riedel_Stan_Networks_of_Passive_Oscillators.pdf Networks of Passive Oscillators] | ||
|- valign="top" | |||
| '''authors''': | |||
| [http://www2.warwick.ac.uk/fac/sci/eng/people/bio/?tag=vk Vishwesh V. Kulkarni,] [[Marc Riedel]], and [http://www.bg.ic.ac.uk/research/g.stan/ Guy-Bart Stan] | |||
|- valign="top" | |- valign="top" | ||
| ''' | | '''presented at''': | ||
| | | [http://www.csl.illinois.edu/allerton/ Allerton Conference], Urbana-Champaign, Illinois, 2011 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[http:// | [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> | <br> | ||
[http://mriedel.ece.umn.edu/files/Kulkarni_Riedel_Stan_Networks_of_Passive_Oscillators.ppt Slides] | |||
|} | |} | ||
{| | {| | ||
Line 1,709: | Line 1,729: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [//mriedel.ece.umn.edu/wiki/images/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" | |- 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" | | |||
|} | |||
| width="70" align="center" | | |||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[http:// | [http://cadbio.com/wiki/images/a/ab/Qian_Riedel_Rosenberg_Uniform_Approximation_and_Bernstein_Polynomials_with_Coefficients_in_the_Unit_Interval.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br> | <br> | ||
[//mriedel.ece.umn.edu/wiki/images/ | [//mriedel.ece.umn.edu/wiki/images/a/ab/Qian_Riedel_Rosenberg_Uniform_Approximation_and_Bernstein_Polynomials_with_Coefficients_in_the_Unit_Interval.pdf Paper] | ||
|} | |} | ||
{| | {| | ||
| | | | ||
{| style="background:#F0E68C" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [// | | width="500" | [[Media:Bohossian Fan LeMahieu Riedel Xu Bruck Computing in the Rain A Reliable Array of Independent Nodes.pdf|Computing in the Rain A Reliable Array of Independent Nodes]] | ||
|- valign="top" | |||
| '''authors''': | |||
| Vasken Bohossian, Charles Fan, Paul LeMahieu, [[Marc Riedel]],<br>Lihao Xu, Jehoshua Bruck | |||
|- valign="top" | |||
| '''appeared in''': | |||
| [https://ieeexplore.ieee.org/document/910866 IEEE Transactions on Parallel and Distributed Systems],<br>Vol. 12, No. 2, pp. pp. 99–114, 2001 | |||
|- valign="top" | |- valign="top" | ||
| ''' | | '''presented at''': | ||
| | | [http://www.ipdps.org/ipdps2000/ipdps2000.htm Int. Parallel and Distributed Processing Symposium],<br>pp. 1204–1213, Cancun, Mexico, 2000 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks">[ | <span class="plainlinks"> | ||
<br> [ | [https://mriedel.ece.umn.edu/wiki/images/a/a8/Bohossian_Fan_LeMahieu_Riedel_Xu_Bruck_Computing_in_the_Rain_A_Reliable_Array_of_Independent_Nodes.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
| | <br> | ||
[[Media:Bohossian_Fan_LeMahieu_Riedel_Xu_Bruck_Computing_in_the_Rain_A_Reliable_Array_of_Independent_Nodes.pdf | Paper]] | |||
|} | |} | ||
<br> | |||
----- | |||
<br> | |||
[[Image:website-art-2.gif|center|500px]] | |||
== Theses == | |||
{| | {| | ||
| | | | ||
{| style="background:#F0E68C" | {| style="background:#F0E68C" | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [https://mriedel.ece.umn.edu/wiki/images/4/4c/Kaslewicz_jake_random_access_dna_registers.pdf Carving a Random Access DNA Registers] | ||
|- valign="top" | |- valign="top" | ||
| '''author''': | | '''author''': | ||
| | | Jake Kaslewicz | ||
|- valign="top" | |- valign="top" | ||
| '''degree''': | | '''degree''': | ||
| M.S., [http://www.ece.umn.edu Electrical Engineering], [http://www.umn.edu University of Minnesota] | | M.S., [http://www.ece.umn.edu Electrical & Computer Engineering], [http://www.umn.edu University of Minnesota] | ||
|- | |- | ||
| '''year''': | | '''year''': | ||
| | | 2023 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks">[ | <span class="plainlinks"> | ||
<br> [//mriedel.ece.umn.edu/wiki/images/ | [https://mriedel.ece.umn.edu/wiki/images/4/4c/Kaslewicz_jake_random_access_dna_registers.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br> | |||
[https://mriedel.ece.umn.edu/wiki/images/4/4c/Kaslewicz_jake_random_access_dna_registers.pdf M.S. Thesis] | |||
|} | |} | ||
{| | {| | ||
| | | | ||
Line 1,780: | Line 1,800: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [https://mriedel.ece.umn.edu/wiki/images/0/0a/Solanki_Carving_a_Niche_in_the_Intersection_of_Computer_Engineering_and_Molecular_Biology.pdf Carving a Niche in the Intersection of Computer Engineering and Molecular Biology] | ||
|- valign="top" | |- valign="top" | ||
| '''author''': | | '''author''': | ||
| [[ | | [[Arnav Solanki]] | ||
|- valign="top" | |- valign="top" | ||
| '''degree''': | | '''degree''': | ||
| Ph.D., [http://www. | | Ph.D., [http://www.ece.umn.edu Electrical Engineering], [http://www.umn.edu University of Minnesota] | ||
|- | |- | ||
| '''year''': | | '''year''': | ||
| | | 2023 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[ | [https://mriedel.ece.umn.edu/wiki/images/0/0a/Solanki_Carving_a_Niche_in_the_Intersection_of_Computer_Engineering_and_Molecular_Biology.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br> | <br> | ||
[//mriedel.ece.umn.edu/wiki/images/ | [https://mriedel.ece.umn.edu/wiki/images/0/0a/Solanki_Carving_a_Niche_in_the_Intersection_of_Computer_Engineering_and_Molecular_Biology.pdf Ph.D. Dissertation] | ||
|} | |} | ||
{| | {| | ||
| | | | ||
Line 1,811: | Line 1,823: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [https://mriedel.ece.umn.edu/wiki/images/d/de/Dormuth_DNA_Storage_and_Computation.pdf DNA Storage and Computation] | ||
|- valign="top" | |- valign="top" | ||
| ''' | | '''author''': | ||
| | | Zoe Dormuth | ||
|- valign="top" | |- valign="top" | ||
| ''' | | '''degree''': | ||
| [http://www. | | M.S., [http://www.ece.umn.edu Electrical Engineering], [http://www.umn.edu University of Minnesota] | ||
|- | |- | ||
| '''year''': | |||
| 2019 | |||
| ''' | |||
| | |||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[ | [https://mriedel.ece.umn.edu/wiki/images/d/de/Dormuth_DNA_Storage_and_Computation.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br> | <br> | ||
[//mriedel.ece.umn.edu/wiki/images/ | [https://mriedel.ece.umn.edu/wiki/images/d/de/Dormuth_DNA_Storage_and_Computation.pdf M.S. Report] | ||
|} | |} | ||
{| | {| | ||
| | | | ||
Line 1,839: | Line 1,846: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | 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] | | width="500" | [https://mriedel.ece.umn.edu/wiki/images/1/18/Salehi_Digital_Logic_and_Signal_Processing_Computations_with_Molecular_Reactions.pdf Digital Logic and Signal Processing Computations with Molecular Reactions] | ||
|- valign="top" | |||
| '''author''': | |||
| [[Ahmad Salehi]] | |||
|- valign="top" | |||
| '''degree''': | |||
| Ph.D., [http://www.ece.umn.edu Electrical Engineering], [http://www.umn.edu University of Minnesota] | |||
|- | |||
| '''year''': | |||
| 2017 | |||
|} | |||
| width="70" align="center" | | |||
<span class="plainlinks"> | |||
[https://mriedel.ece.umn.edu/wiki/images/1/18/Salehi_Digital_Logic_and_Signal_Processing_Computations_with_Molecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | |||
<br> | |||
[https://mriedel.ece.umn.edu/wiki/images/1/18/Salehi_Digital_Logic_and_Signal_Processing_Computations_with_Molecular_Reactions.pdf Ph.D. Dissertation] | |||
|} | |||
{| | |||
| | |||
{| style="background:#F0E68C" | |||
|- valign="top" | |||
| width="100" | '''title''': | |||
| width="500" | [https://mriedel.ece.umn.edu/wiki/images/a/a5/Desai_Data_Cycling_in_Networks_Thoughts_and_Experiments.pdf Data Cycling in Networks: Thoughts and Experiments] | |||
|- valign="top" | |||
| '''author''': | |||
| [[Vaibhav Desai]] | |||
|- valign="top" | |||
| '''degree''': | |||
| M.S., [http://www.ece.umn.edu Electrical Engineering], [http://www.umn.edu University of Minnesota] | |||
|- | |||
| '''year''': | |||
| 2016 | |||
|} | |||
| width="70" align="center" | | |||
<span class="plainlinks"> | |||
[https://mriedel.ece.umn.edu/wiki/images/a/a5/Desai_Data_Cycling_in_Networks_Thoughts_and_Experiments.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | |||
<br> | |||
[https://mriedel.ece.umn.edu/wiki/images/a/a5/Desai_Data_Cycling_in_Networks_Thoughts_and_Experiments.pdf M.S. Thesis] | |||
|} | |||
{| | |||
| 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" | [https://mriedel.ece.umn.edu/wiki/images/2/2f/Riedel_SemiSynBio-III_Moving_Millions_of_Droplets_at_Megahertz_Speeds_DNA_Computing_DNA_Storage_and_Synthetic_Biology_on_an_Industrial_Platform_for_Digital_Microfluidics.pdf Moving Millions of Droplets at Megahertz Speeds: DNA Computing, DNA Storage, and Synthetic Biology on an Industrial Platform for Digital Microfluidics] | |||
|- valign="top" | |||
| '''Investigators''': | |||
| [[Marc Riedel]], [http://www.protobiology.org/indexd.php Kate Adamala], [https://users.ece.utexas.edu/~soloveichik/ David Soloveichik], and Anil Reddy | |||
|- valign="top" | |||
| '''Agency''': | |||
| [http://www.nsf.gov/ National Science Foundation] | |||
|- valign="top" | |||
| '''Program''': | |||
| [https://www.nsf.gov/awardsearch/showAward?AWD_ID=2227578&HistoricalAwards=false SemiSynBio-III] | |||
|- valign="top" | |||
| '''Award''': | |||
| $1,000,000 | |||
|- valign="top" | |||
| '''Duration''': | |||
| 2022 – 2026 | |||
|} | |||
| width="70" align="center" | | |||
<span class="plainlinks"> | |||
[https://mriedel.ece.umn.edu/wiki/images/2/2f/Riedel_SemiSynBio-III_Moving_Millions_of_Droplets_at_Megahertz_Speeds_DNA_Computing_DNA_Storage_and_Synthetic_Biology_on_an_Industrial_Platform_for_Digital_Microfluidics.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | |||
<br>[https://mriedel.ece.umn.edu/wiki/images/2/2f/Riedel_SemiSynBio-III_Moving_Millions_of_Droplets_at_Megahertz_Speeds_DNA_Computing_DNA_Storage_and_Synthetic_Biology_on_an_Industrial_Platform_for_Digital_Microfluidics.pdf Proposal] | |||
|} | |||
{| | |||
| | |||
{| style="background:#F0E68C" | |||
|- valign="top" | |||
| width="100" | '''title''': | |||
| width="500" | [https://mriedel.ece.umn.edu/wiki/images/d/d5/UMN_Mayo_CHIP_Center.pdf The UMN/Mayo Computational Human Immuno-Peptidome (CHIP) Project] | |||
|- valign="top" | |||
| '''Investigator''': | |||
| [[Marc Riedel]] | |||
|- valign="top" | |||
| '''Agency''': | |||
| [https://www.oracle.com/research/ Oracle] | |||
|- valign="top" | |||
| '''Program''': | |||
| [https://blogs.oracle.com/research/post/announcing-inaugural-cohort-oracle-research-fellows Oracle Research Fellowship] | |||
|- valign="top" | |||
| '''Award''': | |||
| $200,000 | |||
|- valign="top" | |||
| '''Duration''': | |||
| 2022 – 2024 | |||
|} | |||
| width="70" align="center" | | |||
<span class="plainlinks"> | |||
[https://mriedel.ece.umn.edu/wiki/images/d/d5/UMN_Mayo_CHIP_Center.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | |||
<br>[https://mriedel.ece.umn.edu/wiki/images/d/d5/UMN_Mayo_CHIP_Center.pdf Proposal] | |||
|} | |||
{| | |||
| | |||
{| style="background:#F0E68C" | |||
|- valign="top" | |||
| width="100" | '''title''': | |||
| width="500" | Routing and Optimization of Digital Microfluidics for DNA Storage | |||
|- valign="top" | |||
| '''Investigator''': | |||
| [[Marc Riedel]] | |||
|- valign="top" | |||
| '''Agency''': | |||
| [https://www.seagate.com/ Seagate Technology] | |||
|- valign="top" | |||
| '''Program''': | |||
| [https://mint.umn.edu/ UMN enter for Micromagnetics and Information Technologies (MINT)] | |||
|- valign="top" | |||
| '''Award''': | |||
| $115,000 | |||
|- valign="top" | |||
| '''Duration''': | |||
| 2021 – 2023 | |||
|} | |||
{| | |||
| | |||
{| style="background:#F0E68C" | |||
|- valign="top" | |||
| width="100" | '''title''': | |||
| width="500" | [https://mriedel.ece.umn.edu/wiki/images/9/9f/Riedel_Storage_and_Processing_with_Native_DNA.pdf Storage and Processing with Native DNA] | |||
|- valign="top" | |||
| '''Investigators''': | |||
| [http://publish.illinois.edu/milenkovic/ Olgica Milenkovic], [[Marc Riedel]], [https://users.ece.utexas.edu/~soloveichik/ David Soloveichik], [http://faculty.scs.illinois.edu/~zhaogrp/ Huimin Zhao], and [https://scholar.google.com/citations?user=NVvwHRAAAAAJ&hl=en Alvaro Hernandez] | |||
|- valign="top" | |||
| '''Agency''': | |||
| [https://www.darpa.mil/ DARPA] | |||
|- valign="top" | |||
| '''Program''': | |||
| [https://www.darpa.mil/program/molecular-informatics Molecular Informatics] | |||
|- valign="top" | |||
| '''Award''': | |||
| $2,200,000 | |||
|- valign="top" | |||
| '''Duration''': | |||
| 2018 – 2022 | |||
|} | |||
| width="70" align="center" | | |||
<span class="plainlinks"> | |||
[https://mriedel.ece.umn.edu/wiki/images/9/9f/Riedel_Storage_and_Processing_with_Native_DNA.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | |||
<br>[https://mriedel.ece.umn.edu/wiki/images/9/9f/Riedel_Storage_and_Processing_with_Native_DNA.pdf Proposal] | |||
|} | |||
{| | |||
| | |||
{| 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 – 2018 | |||
|} | |||
| 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 – 2018 | |||
|} | |||
| 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" | |- valign="top" | ||
| '''Investigators''': | | '''Investigators''': | ||
Line 1,848: | Line 2,272: | ||
|- valign="top" | |- valign="top" | ||
| '''Program''': | | '''Program''': | ||
| [http://www.nsf.gov/pubs/2011/nsf11557/nsf11557.htm Computing and Communications Foundations] | | [http://www.nsf.gov/pubs/2011/nsf11557/nsf11557.htm Computing and Communications Foundations] | ||
|- valign="top" | |- valign="top" | ||
| '''Amount''': | | '''Amount''': | ||
| $ | | $400,000 | ||
|- valign="top" | |- valign="top" | ||
| '''Duration''': | | '''Duration''': | ||
| | | 2011 – 2014 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[http:// | [http://mriedel.ece.umn.edu/wiki/images/9/93/Parhi_Riedel_Digital_Signal_Processing_with_Biomolecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br> | <br> | ||
[//mriedel.ece.umn.edu/wiki/images/ | [//mriedel.ece.umn.edu/wiki/images/9/93/Parhi_Riedel_Digital_Signal_Processing_with_Biomolecular_Reactions.pdf Proposal] | ||
|} | |} | ||
{| | {| | ||
Line 1,867: | Line 2,291: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [//mriedel.ece.umn.edu/wiki/images/4/49/Kaznessis_Schmidt_Riedel_Computational_Methods_for_Forward_Biological_Engineering.pdf Synthesizing Signal Processing Functions with Biochemical Reactions] | ||
|- valign="top" | |- valign="top" | ||
| '''Investigators''': | | '''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" | |- valign="top" | ||
| '''Agency''': | | '''Agency''': | ||
| [http://www. | | [http://www.umn.edu University of Minnesota] | ||
|- valign="top" | |- valign="top" | ||
| '''Program''': | | '''Program''': | ||
| [ | | [https://www.dtc.umn.edu/dti.php Digital Technology Center Seed Grant]. | ||
|- valign="top" | |- valign="top" | ||
| ''' | | '''Amount''': | ||
| $ | | $100,000 | ||
|- valign="top" | |- valign="top" | ||
| '''Duration''': | | '''Duration''': | ||
| | | 2011 – 2012 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[http:// | [http://cctbio.ece.umn.edu/wiki/images/4/49/Kaznessis_Schmidt_Riedel_Computational_Methods_for_Forward_Biological_Engineering.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br> | <br> | ||
[//mriedel.ece.umn.edu/wiki/images/ | [//mriedel.ece.umn.edu/wiki/images/4/49/Kaznessis_Schmidt_Riedel_Computational_Methods_for_Forward_Biological_Engineering.pdf Proposal] | ||
|} | |} | ||
{| | {| | ||
Line 1,895: | Line 2,319: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [https://mriedel.ece.umn.edu/wiki/images/8/8a/Riedel_Computing_with_Things_Small_Wet_and_Random_Design_Automation_for_Digital_Computation_with_Nanoscale_Technologies_and_Biological_Processes.pdf Computing with Things Small, Wet, and Random – Design Automation for Digital Computation with Nanoscale Technologies and Biological Processes] | ||
|- valign="top" | |- valign="top" | ||
| ''' | | '''Investigator''': | ||
| | | [[Marc Riedel]] | ||
|- valign="top" | |- valign="top" | ||
| '''Agency''': | | '''Agency''': | ||
Line 1,904: | Line 2,328: | ||
|- valign="top" | |- valign="top" | ||
| '''Program''': | | '''Program''': | ||
| | | [http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=0845650&WT.z_pims_id NSF CAREER Award] | ||
|- valign="top" | |- valign="top" | ||
| '''Amount''': | | '''Amount''': | ||
| $ | | $500,000 | ||
|- valign="top" | |- valign="top" | ||
| '''Duration''': | | '''Duration''': | ||
| | | 2009 – 2014 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[ | [https://mriedel.ece.umn.edu/wiki/images/8/8a/Riedel_Computing_with_Things_Small_Wet_and_Random_Design_Automation_for_Digital_Computation_with_Nanoscale_Technologies_and_Biological_Processes.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br> | <br> | ||
[//mriedel.ece.umn.edu/wiki/images/ | [https://mriedel.ece.umn.edu/wiki/images/8/8a/Riedel_Computing_with_Things_Small_Wet_and_Random_Design_Automation_for_Digital_Computation_with_Nanoscale_Technologies_and_Biological_Processes.pdf Proposal] | ||
|} | |} | ||
{| | {| | ||
Line 1,923: | Line 2,347: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [//mriedel.ece.umn.edu/wiki/images/7/7d/Parhi_Riedel_Synthesizing_Signal_Processing_Functions_with_Biochemical_Reactions.pdf Synthesizing Signal Processing Functions with Biochemical Reactions] | ||
|- valign="top" | |- valign="top" | ||
| '''Investigators''': | | '''Investigators''': | ||
| [ | | [http://www.ece.umn.edu/users/parhi/ Keshab Parhi] and [[Marc Riedel]] | ||
|- valign="top" | |- valign="top" | ||
| '''Agency''': | | '''Agency''': | ||
| [http://www. | | [http://www.nsf.gov/ National Science Foundation] | ||
|- valign="top" | |- valign="top" | ||
| '''Program''': | | '''Program''': | ||
| [ | | [http://www.nsf.gov/pubs/2011/nsf11557/nsf11557.htm Computing and Communications Foundations]. | ||
|- valign="top" | |- valign="top" | ||
| '''Amount''': | | '''Amount''': | ||
| $ | | $200,000 | ||
|- valign="top" | |- valign="top" | ||
| '''Duration''': | | '''Duration''': | ||
| | | 2009 – 2011 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[http:// | [http://mriedel.ece.umn.edu/wiki/images/7/7d/Parhi_Riedel_Synthesizing_Signal_Processing_Functions_with_Biochemical_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br> | <br> | ||
[//mriedel.ece.umn.edu/wiki/images/ | [//mriedel.ece.umn.edu/wiki/images/7/7d/Parhi_Riedel_Synthesizing_Signal_Processing_Functions_with_Biochemical_Reactions.pdf Proposal] | ||
|} | |} | ||
{| | {| | ||
Line 1,951: | Line 2,375: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [//mriedel.ece.umn.edu/wiki/images/4/48/Riedel_Tackling_the_Stochastic_Simulation_of_Biochemical_Networks_with_Real_Computing_Power.pdf Tackling the Stochastic Simulation of Biochemical_Networks with Real Computing Power] | ||
|- valign="top" | |- valign="top" | ||
| ''' | | '''Investigators''': | ||
| [[Marc Riedel]] | | [[Marc Riedel]] and Tim Mullins (IBM) | ||
|- valign="top" | |- valign="top" | ||
| '''Agency''': | | '''Agency''': | ||
| [http://www. | | [http://www.umn.edu University of Minnesota] | ||
|- valign="top" | |- valign="top" | ||
| '''Program''': | | '''Program''': | ||
| [ | | [https://r.umn.edu/academics-research/bicb Biomedical Informatics and Computational Biology Traineeships] | ||
|- valign="top" | |- valign="top" | ||
| '''Amount''': | | '''Amount''': | ||
| $ | | $78,000 | ||
|- valign="top" | |- valign="top" | ||
| '''Duration''': | | '''Duration''': | ||
| | | 2007 – 2009 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[http:// | [http://cctbio.ece.umn.edu/wiki/images/4/48/Riedel_Tackling_the_Stochastic_Simulation_of_Biochemical_Networks_with_Real_Computing_Power.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br> | <br> | ||
[//mriedel.ece.umn.edu/wiki/images/ | [//mriedel.ece.umn.edu/wiki/images/4/48/Riedel_Tackling_the_Stochastic_Simulation_of_Biochemical_Networks_with_Real_Computing_Power.pdf Proposal] | ||
|} | |} | ||
{| | {| | ||
Line 1,979: | Line 2,403: | ||
|- valign="top" | |- valign="top" | ||
| width="100" | '''title''': | | width="100" | '''title''': | ||
| width="500" | [//mriedel.ece.umn.edu/wiki/images/ | | width="500" | [//mriedel.ece.umn.edu/wiki/images/8/8e/Riedel_Exploiting_Percolation_and_Randomness_in_the_Concurrent_Logical_and_Physical_Design_of_Digital_Nanoscale_Circuits.pdf Concurrent Logical and Physical Design of Digital Nanoscale Circuits] | ||
|- valign="top" | |- valign="top" | ||
| ''' | | '''Investigator''': | ||
| | | [[Marc Riedel]] | ||
|- valign="top" | |- valign="top" | ||
| '''Agency''': | | '''Agency''': | ||
| [http://www. | | [http://www.src.org/program/fcrp/ SRC Focus Center Research Program (FCRP)] | ||
|- valign="top" | |- valign="top" | ||
| '''Program''': | | '''Program''': | ||
| [http://www. | | [http://www.fena.org/ Functional Engineered Nano-Architectonics (FENA)] | ||
|- valign="top" | |- valign="top" | ||
| '''Amount''': | | '''Amount''': | ||
| $ | | $325,000 | ||
|- valign="top" | |- valign="top" | ||
| '''Duration''': | | '''Duration''': | ||
| | | 2006 – 2009 | ||
|} | |} | ||
| width="70" align="center" | | | width="70" align="center" | | ||
<span class="plainlinks"> | <span class="plainlinks"> | ||
[http://mriedel.ece.umn.edu/wiki/images/ | [http://mriedel.ece.umn.edu/wiki/images/8/8e/Riedel_Exploiting_Percolation_and_Randomness_in_the_Concurrent_Logical_and_Physical_Design_of_Digital_Nanoscale_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> | ||
<br> | <br> | ||
[//mriedel.ece.umn.edu/wiki/images/ | [//mriedel.ece.umn.edu/wiki/images/8/8e/Riedel_Exploiting_Percolation_and_Randomness_in_the_Concurrent_Logical_and_Physical_Design_of_Digital_Nanoscale_Circuits.pdf Proposal] | ||
|} | |} | ||
<br> | <br> | ||
[ | ----- | ||
<br> | |||
[[Image:Sponsors.jpg|center|500px]] | |||
|} | |} | ||
== Patents == | |||
{| | {| | ||
| | | | ||
{| style="background:#F0E68C" | {| class="sortable" style="background:#F0E68C" | ||
|- | |- | ||
| width=" | | 1. | ||
| | | width="600" | | ||
|- | "[https://patentimages.storage.googleapis.com/14/1a/f4/2d0f33a9989b1c/US11018689.pdf Parallel Computing using Stochastic Circuits and Deterministic Shuffling Networks]"<br>Soheil Mohajer, Zhiheng Wang,Kiarash Bazargan, [[Marc Riedel]],<br>David J. Lilja, and Sayed Abdolrasoul Faraji<br>U.S. Patent No. [https://patentimages.storage.googleapis.com/14/1a/f4/2d0f33a9989b1c/US11018689.pdf 11,018,689 B2], 2021 | ||
|- | |||
|2. | |||
|- | | | ||
| | "[https://patentimages.storage.googleapis.com/37/d1/3c/fff3c490a66909/US20200401376A1.pdf Low Discrepancy Deterministic Bit-Stream Processing Using Sobol Sequences]"<br> [[M. Hassan Najafi]], David J. Lilja, [[Marc Riedel]], Kia Bazargan, Sayed A. Faraji, and Bengzhe Li<br>U.S. Patent No. [https://patentimages.storage.googleapis.com/37/d1/3c/fff3c490a66909/US20200401376A1.pdf 20,200,401,376 A1], 2021 | ||
| [ | |- | ||
|- | |3. | ||
| | | | ||
| [ | "[https://patentimages.storage.googleapis.com/f2/27/1a/81e865f0f8ffbf/US20200143234A1.pdf Sorting Networks using Unary Processing]" [[M. Hassan Najafi]], David J. Lilja, | ||
|- | |||
| | [[Marc Riedel]], and Kia Bazargan<br>U.S. Patent No. [https://patentimages.storage.googleapis.com/f2/27/1a/81e865f0f8ffbf/US20200143234A1.pdf 20,200,143,234] A1, 2020 | ||
| | |- | ||
|- | |4. | ||
| | | | ||
| | "[https://patentimages.storage.googleapis.com/4b/ad/2c/46c83fbdede4b1/US10520975.pdf Polysynchronous Stochastic Circuits]"<br>David J. Lilja, [[M. Hassan Najafi]], [[Marc Riedel]], and Kiarash Bazargan<br>U.S. Patent No. [https://patentimages.storage.googleapis.com/4b/ad/2c/46c83fbdede4b1/US10520975.pdf 10,520,975 B2], 2019 | ||
|- | |||
|5. | |||
| | |||
"[https://patentimages.storage.googleapis.com/46/60/b8/0301c0e60e79bf/US10740686.pdf Stochastic Computation using Pulse-Width Modulated Signals]" [[M. Hassan Najafi]],<br>S Jamali-Zavareh, D. J. Lilja, [[Marc Riedel]], K. Bazargan, and R. Harjani<br>U.S. Patent No. [https://patentimages.storage.googleapis.com/46/60/b8/0301c0e60e79bf/US10740686.pdf 10,740,686] B2, 2018 | |||
|- | |||
|6. | |||
| | |||
"[https://patentimages.storage.googleapis.com/51/e3/63/6ea37887bdc606/US10063255.pdf Stochastic Computing on Deterministic Bit Streams]"<br>[[Devon Jenson]] and [[Marc Riedel]]<br>U.S. Patent No. [https://patentimages.storage.googleapis.com/51/e3/63/6ea37887bdc606/US10063255.pdf 10,063,255,] 2018 | |||
|- | |||
|7. | |||
| | |||
"[https://patentimages.storage.googleapis.com/32/1f/53/160f07c0044a2d/US7249341.pdf Synthesis of Cyclic Combinational Circuits]"<br>[[Marc Riedel]] and Jehoshua Bruck<br>U.S. Patent No. [https://patentimages.storage.googleapis.com/32/1f/53/160f07c0044a2d/US7249341.pdf 7,249,341], 2007 | |||
|- | |||
|8. | |||
| | |||
"[https://patentimages.storage.googleapis.com/20/16/3e/bc3d27149d1d0c/US6128277.pdf A Reliable Array of Distributed Computing Nodes]"<br>Vincent Bohossian, Charles Fan, Paul LeMahieu, [[Marc Riedel]], Lihao Xu, and Jehoshua Bruck<br>U.S. Patent No. [https://patentimages.storage.googleapis.com/20/16/3e/bc3d27149d1d0c/US6128277.pdf 6,128,277], 2000 | |||
|} | |} | ||
|} | |} | ||
Latest revision as of 12:31, 8 June 2024
Here are links to our research output. 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
|
Computing with Molecules
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computing about Molecules
|
|
|
|
|
Computing with Random Bit Streams
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computing with Emerging Technology
|
|
|
|
|
|
Computing with Feedback
|
|
|
|
|
|
|
Algorithms and Data Structures
|
|
|
|
Information Theory & Mathematics
|
|
|
|
|
|
Theses
|
|
|
|
|
|
|
|
|
|
|
|
Funding Proposals
|
|
Patents
|