http://mriedel.ece.umn.edu/wiki/api.php?action=feedcontributions&user=Student&feedformat=atom
The Circuits and Biology Lab at UMN - User contributions [en]
2024-03-29T06:13:51Z
User contributions
MediaWiki 1.37.1
http://mriedel.ece.umn.edu/wiki/index.php?title=Thomas_Karl_Atkins&diff=311366
Thomas Karl Atkins
2023-07-06T18:50:04Z
<p>Student: Created page with "200px [https://thomaskatkins.github.io/ Personal Webpage] == About == I completed my undergraduate degree in Computer Science and Statistics at the [http://www.umn.edu University of Minnesota] in Spring 2023, and will join Princeton's [https://lsi.princeton.edu/qcbgraduate Quantitative and Computational Biology] Ph.D. program in Fall 2023. During Summer 2023, I am investigating neural-network peptide-MHC I binding predictors to determine t..."</p>
<hr />
<div>[[Image:Thomas_Atkins.png|200px]]<br />
<br />
[https://thomaskatkins.github.io/ Personal Webpage]<br />
<br />
== About ==<br />
<br />
I completed my undergraduate degree in Computer Science and Statistics at the [http://www.umn.edu University of Minnesota] in Spring 2023, and will join Princeton's [https://lsi.princeton.edu/qcbgraduate Quantitative and Computational Biology] Ph.D. program in Fall 2023.<br />
<br />
During Summer 2023, I am investigating neural-network peptide-MHC I binding predictors to determine the validity of the models in contexts outside of their training data. Previously, I completed [https://hdl.handle.net/11299/254602 my undergraduate thesis] on a novel imputation algorithm for three-dimensional spatial transcriptomics (ST) data.<br />
<br />
== Contact ==<br />
<br />
Email: atkin423 [at] umn [dot] edu</div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=People&diff=311362
People
2023-07-06T18:37:08Z
<p>Student: /* Current Students */</p>
<hr />
<div><br />
== <span style="color: brown"> Faculty </span>==<br />
{| border="0&gt;"<br />
|-<br />
| width="960" align="center" |[[Image:Marc_Riedel.jpg|230px| link=http://cctbio.ece.umn.edu/wiki/index.php/Marc_Riedel]]<br />
<br />
|-<br />
| align="center" | '''[[Marc Riedel | Marc Riedel, Ph.D.]]''' <em> <br /> Associate Professor,<br>[http://www.ece.umn.edu Electrical and Computer Engineering];<br /><br />
Graduate Faculty,<br><br />
[http://www.r.umn.edu/academics-research/bicb/ Biomedical Informatics & Computational Biology];<br><br />
[http://www.umn.edu University of Minnesota]</em><br />
|}<br />
<br />
== <span style="color: brown"> Current Students </span> ==<br />
{| border="0&gt;"<br />
<br />
| width="320" align="center" | [[Image:Yadu_kiran.jpg|215px|link=http://mriedel.ece.umn.edu/wiki/index.php/Yadu_Kiran]]<br />
'''[[Yadu Kiran]]''' <br />Ph.D. Student <br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />
<br />
| width="320" align="center" |[[Image:Arnav_Solanki_profile image.jpg|215px|link=http://www.mriedel.ece.umn.edu/wiki/index.php/Arnav_Solanki]]<br />
'''[[Arnav Solanki]]''' <br />Ph.D Student<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />
<br />
| width="320" align="center" |[[Image:Ajshrom.jpg|215px|link=Alex_Shrom]]<br />
'''[[Alex Shrom]]''' <br />Ph.D. Student<br /><em>[https://r.umn.edu/academics-research/graduate-programs/bicb Bioinformatics and Computational Biology],<br>[http://www.umn.edu University of Minnesota].<br />
<br />
|-<br />
<br />
| width="320" align="center" |[[Image:judell.png|215px|link=http://mriedel.ece.umn.edu/wiki/index.php/Julia_Udell]]<br />
'''[[Julia Udell]]''' <br />Ph.D. Student<br /><em>[https://r.umn.edu/academics-research/graduate-programs/bicb Bioinformatics and Computational Biology],<br>[http://www.umn.edu University of Minnesota]<br>[https://www.mayo.edu/research/centers-programs/center-individualized-medicine/research/translational-programs/biomarker-discovery Biomarker Discovery Program, Center for Individualized Medicine]<br>[https://www.mayoclinic.org Mayo Clinic].<br />
<br />
| width="320" align="center" |[[Image:Thomas_Atkins.png|215px|link=http://mriedel.ece.umn.edu/wiki/index.php/Thomas_Atkins]]<br />
'''[[Thomas Karl Atkins]]''' <br />Undergraduate Researcher<br /><em>[https://cse.umn.edu/cs Computer Science & Engineering], [https://cla.umn.edu/statistics Statistics],<br>[http://www.umn.edu University of Minnesota].<br />
<br />
|}<br />
<br />
== <span style="color: brown"> Former Students </span> ==<br />
''(Many students have participated in our research activities. Here we list those who have earned M.S. or Ph.D. degrees and/or published papers with us.)''<br />
<br />
{| border="0&gt;"<br />
|-<br />
| width="320" align="center" |[[Image:Mustafa_Altun.jpg|215px|link=https://web.itu.edu.tr/altunmus/]]<br />
'''[https://web.itu.edu.tr/altunmus/ Mustafa Altun]''' <br />Ph.D., 2012<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now an Associate Professor at the <br />[http://www.itu.edu.tr/en/ Istanbul Technical University].</em><br />
<br />
| width="320" align="center" |[[Image:John_Backes.jpg|170px| link=http://mriedel.ece.umn.edu/wiki/index.php/John_ackes]]<br />
'''[[John Backes]]''' <br /> Ph.D., 2013<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota].<br />Now at [https://aws.amazon.com Amazon Web Services].</em><br />
<br />
| width="320" align="center" |[[Image:Thee_Chanyaswad.jpg|285px| link=http://mriedel.ece.umn.edu/wiki/index.php/Thee_Chanyaswad]]<br />
'''[[Thee Chanyaswad]]'''<br />B.S., 2012<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Ph.D., 2018<br></em> [https://www.princeton.edu Princeton University]<br>Now an Advanced Data Scientist<br>at [http://www.kbtg.tech/en KASIKORN Business-Technolog].<br />
<br />
|- <br />
<br />
| width="320" align="center" |[[Image:Tonglin Chen.jpg|215px|link=http://mriedel.ece.umn.edu/wiki/index.php/Tonglin_Chen]]<br />
'''[[Tonglin Chen]]''' <br />M.S., 2021<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />
<br />
| width="320" align="center" |[[Image:Bin_Cheng.jpg|175px]]<br />
'''[[Bin Cheng]]''' <br />M.S., 2008<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Last Known Destination:<br> [http://www.cadence.com/us/pages/default.aspx Cadence Design Systems].</em><br />
<br />
| width="320" align="center" |[[Image:Vaibhav.png|170px| link=http://mriedel.ece.umn.edu/wiki/index.php/Vaibhav_Desai]]<br />
'''[[Vaibhav Desai]]'''<br> <em>M.S., 2016 <br />[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota].</em><br>Last Known Destination:<br>Entrepreneur in Seattle.<br />
<br />
|- <br />
<br />
| width="320" align="center" |[[Image:ZoeDormuth.JPG|215px|link=https://www.cs.arizona.edu/person/zoe-dormuth]]<br />
'''[[Zoe Dormuth]]''' <br />M.S., 2019<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota]<br>Now a [https://www.cs.arizona.edu/person/zoe-dormuth Ph.D. Student]<br>at the [https://www.arizona.edu University of Arizona].<br />
<br />
| width="320" align="center" |[[Image:Brian_Fett.jpg|200px| link=http://mriedel.ece.umn.edu/wiki/index.php/Brian_Fett]]<br />
'''[[Brian Fett]]'''<br />M.S., 2010<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now a Senior Software Test Engineer<br> at [https://www.emerson.com/en-us/automation-solutions Emerson].</em><br />
<br />
| width="320" align="center" |[[Image:Robby_Friedlander.jpg|210px| link=http://mriedel.ece.umn.edu/wiki/index.php/Robby_Friedlander]]<br />
'''[[Robby Friedlander]]'''<br />B.S., 2014<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now a [https://www.ece.gatech.edu/calendar/day/2019/10/30/106087 Ph.D. Student]<br> at the [http://www.gatech.edu/ Georgia Institute of Technology].</em><br />
<br />
|- <br />
<br />
| width="320" align="center" |[[Image:Hua.jpg|285px| link=http://mriedel.ece.umn.edu/wiki/index.php/Hua_Jiang]]<br />
'''[[Hua Jiang]]'''<br />Ph.D., 2012<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now a Senior Software Engineer<br> at [http://www.netflix.com Netflix].</em><br />
<br />
| width="320" align="center" |[[Image:Owen_Hoffend.jpg|215px|link=http://www.mriedel.ece.umn.edu/wiki/index.php/Owen_Hoffend]]<br />
'''[[Owen Hoffend]]''' <br />B.S. 2020<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now Ph.D. Student<br> at the [https://web.eecs.umich.edu| University of Michigan]<br>.</em><br />
<br />
| width="320" align="center" |[[Image:IMG_0364_(640x640).jpg|230px| link=http://mriedel.ece.umn.edu/wiki/index.php/Aleksandra_Kharam]]<br />
'''[[Aleksandra Kharam]]'''<br />B.S., 2012<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now a Senior Electrical Engineer<br> at [https://www.bostonscientific.com/content/gwc/en-US/Home.html Boston Scientific].</em><br />
<br />
|-<br />
<br />
| width="320" align="center" |[[Image:MHassanNajafi.jpg|170px|link=https://sites.google.com/a/umn.edu/mhassannajafi/]]<br />
'''[https://scholar.google.com/citations?user=vIc-83QAAAAJ&hl=en M. Hassan Najafi]'''<br />Ph.D., 2018<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota]<br />Now Assistant Professor<br> at the [https://louisiana.edu/ University of Louisiana].</em><br />
<br />
| width="320" align="center" |[[Image:Weikang_Qian.jpg|180px| link=http://umji.sjtu.edu.cn/~wkqian/people/weikang-qian.html]]<br />
'''[http://umji.sjtu.edu.cn/~wkqian/people/weikang-qian.html Weikang Qian]'''<br />Ph.D. 2011<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now Associate Professor<br />[http://www.umji.sjtu.edu.cn/en/?basic_type=93 University of Michigan &ndash; Shanghai Jia Tong University Joint Institute].</em><br />
<br />
| width="320" align="center" |[[Image:MeghaParhi.jpg|170px| link=http://mriedel.ece.umn.edu/wiki/index.php/Megha_Parhi]]<br />
'''[[Megha Parhi]]'''<br>B.S., 2015<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota].<br />Now a Ph.D. Student at the<br /> [https://www.utexas.edu/ University of Texas at Austin].</em><br />
<br />
|-<br />
<br />
| width="320" align="center" |[[Image:Ahmad.jpg|170px| link=http://salehi.engr.uky.edu]]<br />
'''[http://salehi.engr.uky.edu Ahmad Salehi]'''<br>Ph.D., 2017<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering]<br />[http://www.umn.edu University of Minnesota]</em><br>Now Assistant Professor<br> at the [http://engr.uky.edu University of Kentucky]<br />
<br />
| width="320" align="center" |[[Image:Senum_pic.jpg|150px| link=http://mriedel.ece.umn.edu/wiki/index.php/Phil_Senum]]<br />
'''[[Phil Senum]]'''<br>B.S., 2013<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota]</em><br />Now at <em>[http://en.wikipedia.org/wiki/IBM_Rochester IBM Rochester].</em><br />
<br />
| width="320" align="center" |[[Image:Adam_Shea.png|175px| link=http://mriedel.ece.umn.edu/wiki/index.php/Adam_Shea]]<br />
'''[[Adam Shea]]'''<br />B.S., 2009<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now a Ph.D. Student at the<br /> [http://www.wisc.edu/ University of Wisconsin &ndash; Madison].</em><br />
<br />
|-<br />
<br />
| width="320" align="center" |[[Image:McKenzievdH.jpg|170px| link=http://mriedel.ece.umn.edu/wiki/index.php/McKenzie_van_der_Hagen]]<br />
'''[[McKenzie van der Hagen]]'''<br />B.S., 2017<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota]</em>.<br /> Now a Ph.D. Student at<br /> <em>[https://www.ece.cmu.edu Carnegie Mellon University].</em><br />
<br />
| width="320" align="center" |[[Image:Ajay Profile.png|215px|link=http://www.mriedel.ece.umn.edu/wiki/index.php/]]<br />
'''[[Ajay Manicka]]'''<br />B.S., 2022<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota]</em>.<br /> Now a Ph.D. Student at<br /> <em>[https://www.eecs.mit.edu/ MIT].</em><br />
<br />
<br />
|}</div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=People&diff=311361
People
2023-07-06T18:36:53Z
<p>Student: /* Current Students */ added Thomas</p>
<hr />
<div><br />
== <span style="color: brown"> Faculty </span>==<br />
{| border="0&gt;"<br />
|-<br />
| width="960" align="center" |[[Image:Marc_Riedel.jpg|230px| link=http://cctbio.ece.umn.edu/wiki/index.php/Marc_Riedel]]<br />
<br />
|-<br />
| align="center" | '''[[Marc Riedel | Marc Riedel, Ph.D.]]''' <em> <br /> Associate Professor,<br>[http://www.ece.umn.edu Electrical and Computer Engineering];<br /><br />
Graduate Faculty,<br><br />
[http://www.r.umn.edu/academics-research/bicb/ Biomedical Informatics & Computational Biology];<br><br />
[http://www.umn.edu University of Minnesota]</em><br />
|}<br />
<br />
== <span style="color: brown"> Current Students </span> ==<br />
{| border="0&gt;"<br />
<br />
| width="320" align="center" | [[Image:Yadu_kiran.jpg|215px|link=http://mriedel.ece.umn.edu/wiki/index.php/Yadu_Kiran]]<br />
'''[[Yadu Kiran]]''' <br />Ph.D. Student <br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />
<br />
| width="320" align="center" |[[Image:Arnav_Solanki_profile image.jpg|215px|link=http://www.mriedel.ece.umn.edu/wiki/index.php/Arnav_Solanki]]<br />
'''[[Arnav Solanki]]''' <br />Ph.D Student<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />
<br />
| width="320" align="center" |[[Image:Ajshrom.jpg|215px|link=Alex_Shrom]]<br />
'''[[Alex Shrom]]''' <br />Ph.D. Student<br /><em>[https://r.umn.edu/academics-research/graduate-programs/bicb Bioinformatics and Computational Biology],<br>[http://www.umn.edu University of Minnesota].<br />
<br />
|-<br />
<br />
| width="320" align="center" |[[Image:judell.png|215px|link=http://mriedel.ece.umn.edu/wiki/index.php/Julia_Udell]]<br />
'''[[Julia Udell]]''' <br />Ph.D. Student<br /><em>[https://r.umn.edu/academics-research/graduate-programs/bicb Bioinformatics and Computational Biology],<br>[http://www.umn.edu University of Minnesota]<br>[https://www.mayo.edu/research/centers-programs/center-individualized-medicine/research/translational-programs/biomarker-discovery Biomarker Discovery Program, Center for Individualized Medicine]<br>[https://www.mayoclinic.org Mayo Clinic].<br />
<br />
| width="320" align="center" |[[Image:Thomas_Atkins.png|215px|link=http://mriedel.ece.umn.edu/wiki/index.php/Thomas_Atkins]]<br />
'''[[Thomas Atkins]]''' <br />Undergraduate Researcher<br /><em>[https://cse.umn.edu/cs Computer Science & Engineering], [https://cla.umn.edu/statistics Statistics],<br>[http://www.umn.edu University of Minnesota].<br />
<br />
|}<br />
<br />
== <span style="color: brown"> Former Students </span> ==<br />
''(Many students have participated in our research activities. Here we list those who have earned M.S. or Ph.D. degrees and/or published papers with us.)''<br />
<br />
{| border="0&gt;"<br />
|-<br />
| width="320" align="center" |[[Image:Mustafa_Altun.jpg|215px|link=https://web.itu.edu.tr/altunmus/]]<br />
'''[https://web.itu.edu.tr/altunmus/ Mustafa Altun]''' <br />Ph.D., 2012<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now an Associate Professor at the <br />[http://www.itu.edu.tr/en/ Istanbul Technical University].</em><br />
<br />
| width="320" align="center" |[[Image:John_Backes.jpg|170px| link=http://mriedel.ece.umn.edu/wiki/index.php/John_ackes]]<br />
'''[[John Backes]]''' <br /> Ph.D., 2013<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota].<br />Now at [https://aws.amazon.com Amazon Web Services].</em><br />
<br />
| width="320" align="center" |[[Image:Thee_Chanyaswad.jpg|285px| link=http://mriedel.ece.umn.edu/wiki/index.php/Thee_Chanyaswad]]<br />
'''[[Thee Chanyaswad]]'''<br />B.S., 2012<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Ph.D., 2018<br></em> [https://www.princeton.edu Princeton University]<br>Now an Advanced Data Scientist<br>at [http://www.kbtg.tech/en KASIKORN Business-Technolog].<br />
<br />
|- <br />
<br />
| width="320" align="center" |[[Image:Tonglin Chen.jpg|215px|link=http://mriedel.ece.umn.edu/wiki/index.php/Tonglin_Chen]]<br />
'''[[Tonglin Chen]]''' <br />M.S., 2021<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />
<br />
| width="320" align="center" |[[Image:Bin_Cheng.jpg|175px]]<br />
'''[[Bin Cheng]]''' <br />M.S., 2008<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Last Known Destination:<br> [http://www.cadence.com/us/pages/default.aspx Cadence Design Systems].</em><br />
<br />
| width="320" align="center" |[[Image:Vaibhav.png|170px| link=http://mriedel.ece.umn.edu/wiki/index.php/Vaibhav_Desai]]<br />
'''[[Vaibhav Desai]]'''<br> <em>M.S., 2016 <br />[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota].</em><br>Last Known Destination:<br>Entrepreneur in Seattle.<br />
<br />
|- <br />
<br />
| width="320" align="center" |[[Image:ZoeDormuth.JPG|215px|link=https://www.cs.arizona.edu/person/zoe-dormuth]]<br />
'''[[Zoe Dormuth]]''' <br />M.S., 2019<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota]<br>Now a [https://www.cs.arizona.edu/person/zoe-dormuth Ph.D. Student]<br>at the [https://www.arizona.edu University of Arizona].<br />
<br />
| width="320" align="center" |[[Image:Brian_Fett.jpg|200px| link=http://mriedel.ece.umn.edu/wiki/index.php/Brian_Fett]]<br />
'''[[Brian Fett]]'''<br />M.S., 2010<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now a Senior Software Test Engineer<br> at [https://www.emerson.com/en-us/automation-solutions Emerson].</em><br />
<br />
| width="320" align="center" |[[Image:Robby_Friedlander.jpg|210px| link=http://mriedel.ece.umn.edu/wiki/index.php/Robby_Friedlander]]<br />
'''[[Robby Friedlander]]'''<br />B.S., 2014<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now a [https://www.ece.gatech.edu/calendar/day/2019/10/30/106087 Ph.D. Student]<br> at the [http://www.gatech.edu/ Georgia Institute of Technology].</em><br />
<br />
|- <br />
<br />
| width="320" align="center" |[[Image:Hua.jpg|285px| link=http://mriedel.ece.umn.edu/wiki/index.php/Hua_Jiang]]<br />
'''[[Hua Jiang]]'''<br />Ph.D., 2012<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now a Senior Software Engineer<br> at [http://www.netflix.com Netflix].</em><br />
<br />
| width="320" align="center" |[[Image:Owen_Hoffend.jpg|215px|link=http://www.mriedel.ece.umn.edu/wiki/index.php/Owen_Hoffend]]<br />
'''[[Owen Hoffend]]''' <br />B.S. 2020<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now Ph.D. Student<br> at the [https://web.eecs.umich.edu| University of Michigan]<br>.</em><br />
<br />
| width="320" align="center" |[[Image:IMG_0364_(640x640).jpg|230px| link=http://mriedel.ece.umn.edu/wiki/index.php/Aleksandra_Kharam]]<br />
'''[[Aleksandra Kharam]]'''<br />B.S., 2012<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now a Senior Electrical Engineer<br> at [https://www.bostonscientific.com/content/gwc/en-US/Home.html Boston Scientific].</em><br />
<br />
|-<br />
<br />
| width="320" align="center" |[[Image:MHassanNajafi.jpg|170px|link=https://sites.google.com/a/umn.edu/mhassannajafi/]]<br />
'''[https://scholar.google.com/citations?user=vIc-83QAAAAJ&hl=en M. Hassan Najafi]'''<br />Ph.D., 2018<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota]<br />Now Assistant Professor<br> at the [https://louisiana.edu/ University of Louisiana].</em><br />
<br />
| width="320" align="center" |[[Image:Weikang_Qian.jpg|180px| link=http://umji.sjtu.edu.cn/~wkqian/people/weikang-qian.html]]<br />
'''[http://umji.sjtu.edu.cn/~wkqian/people/weikang-qian.html Weikang Qian]'''<br />Ph.D. 2011<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now Associate Professor<br />[http://www.umji.sjtu.edu.cn/en/?basic_type=93 University of Michigan &ndash; Shanghai Jia Tong University Joint Institute].</em><br />
<br />
| width="320" align="center" |[[Image:MeghaParhi.jpg|170px| link=http://mriedel.ece.umn.edu/wiki/index.php/Megha_Parhi]]<br />
'''[[Megha Parhi]]'''<br>B.S., 2015<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota].<br />Now a Ph.D. Student at the<br /> [https://www.utexas.edu/ University of Texas at Austin].</em><br />
<br />
|-<br />
<br />
| width="320" align="center" |[[Image:Ahmad.jpg|170px| link=http://salehi.engr.uky.edu]]<br />
'''[http://salehi.engr.uky.edu Ahmad Salehi]'''<br>Ph.D., 2017<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering]<br />[http://www.umn.edu University of Minnesota]</em><br>Now Assistant Professor<br> at the [http://engr.uky.edu University of Kentucky]<br />
<br />
| width="320" align="center" |[[Image:Senum_pic.jpg|150px| link=http://mriedel.ece.umn.edu/wiki/index.php/Phil_Senum]]<br />
'''[[Phil Senum]]'''<br>B.S., 2013<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota]</em><br />Now at <em>[http://en.wikipedia.org/wiki/IBM_Rochester IBM Rochester].</em><br />
<br />
| width="320" align="center" |[[Image:Adam_Shea.png|175px| link=http://mriedel.ece.umn.edu/wiki/index.php/Adam_Shea]]<br />
'''[[Adam Shea]]'''<br />B.S., 2009<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now a Ph.D. Student at the<br /> [http://www.wisc.edu/ University of Wisconsin &ndash; Madison].</em><br />
<br />
|-<br />
<br />
| width="320" align="center" |[[Image:McKenzievdH.jpg|170px| link=http://mriedel.ece.umn.edu/wiki/index.php/McKenzie_van_der_Hagen]]<br />
'''[[McKenzie van der Hagen]]'''<br />B.S., 2017<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota]</em>.<br /> Now a Ph.D. Student at<br /> <em>[https://www.ece.cmu.edu Carnegie Mellon University].</em><br />
<br />
| width="320" align="center" |[[Image:Ajay Profile.png|215px|link=http://www.mriedel.ece.umn.edu/wiki/index.php/]]<br />
'''[[Ajay Manicka]]'''<br />B.S., 2022<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota]</em>.<br /> Now a Ph.D. Student at<br /> <em>[https://www.eecs.mit.edu/ MIT].</em><br />
<br />
<br />
|}</div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Thoams_Atkins.png&diff=311359
File:Thoams Atkins.png
2023-07-06T18:32:37Z
<p>Student: Student moved page File:Thoams Atkins.png to File:Thomas Atkins.png</p>
<hr />
<div>#REDIRECT [[File:Thomas Atkins.png]]</div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Thomas_Atkins.png&diff=311358
File:Thomas Atkins.png
2023-07-06T18:32:37Z
<p>Student: Student moved page File:Thoams Atkins.png to File:Thomas Atkins.png</p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Thomas_Atkins.png&diff=311357
File:Thomas Atkins.png
2023-07-06T18:30:49Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=People&diff=282711
People
2022-06-03T20:58:57Z
<p>Student: /* Former Students */</p>
<hr />
<div><br />
== <span style="color: brown"> Faculty </span>==<br />
{| border="0&gt;"<br />
|-<br />
| width="960" align="center" |[[Image:Marc_Riedel.jpg|230px| link=http://cctbio.ece.umn.edu/wiki/index.php/Marc_Riedel]]<br />
<br />
|-<br />
| align="center" | '''[[Marc Riedel | Marc Riedel, Ph.D.]]''' <em> <br /> Associate Professor,<br>[http://www.ece.umn.edu Electrical and Computer Engineering];<br /><br />
Graduate Faculty,<br><br />
[http://www.r.umn.edu/academics-research/bicb/ Biomedical Informatics & Computational Biology];<br><br />
[http://www.umn.edu University of Minnesota]</em><br />
|}<br />
<br />
== <span style="color: brown"> Current Students </span> ==<br />
{| border="0&gt;"<br />
<br />
| width="320" align="center" | [[Image:Yadu_kiran.jpg|215px|link=http://mriedel.ece.umn.edu/wiki/index.php/Yadu_Kiran]]<br />
'''[[Yadu Kiran]]''' <br />Ph.D. Student <br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />
<br />
| width="320" align="center" |[[Image:Arnav_Solanki_profile image.jpg|215px|link=http://www.mriedel.ece.umn.edu/wiki/index.php/Arnav_Solanki]]<br />
'''[[Arnav Solanki]]''' <br />Ph.D Student<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />
<br />
| width="320" align="center" |[[Image:Ajshrom.jpg|215px|link=Alex_Shrom]]<br />
'''[[Alex Shrom]]''' <br />Ph.D. Student<br /><em>[https://r.umn.edu/academics-research/graduate-programs/bicb Bioinformatics and Computational Biology],<br>[http://www.umn.edu University of Minnesota].<br />
<br />
|-<br />
<br />
| width="320" align="center" |[[Image:judell.png|215px|link=http://mriedel.ece.umn.edu/wiki/index.php/Julia_Udell]]<br />
'''[[Julia Udell]]''' <br />Ph.D. Student<br /><em>[https://r.umn.edu/academics-research/graduate-programs/bicb Bioinformatics and Computational Biology],<br>[http://www.umn.edu University of Minnesota]<br>[https://www.mayo.edu/research/centers-programs/center-individualized-medicine/research/translational-programs/biomarker-discovery Biomarker Discovery Program, Center for Individualized Medicine]<br>[https://www.mayoclinic.org Mayo Clinic].<br />
<br />
| width="320" align="center" |[[Image:Image1.jpg|215px|link=http://www.mriedel.ece.umn.edu/wiki/index.php/Jason_Wessel]]<br />
'''[[Jason Wessel]]''' <br />B.S. Student<br /><em>[https://cse.umn.edu/cs Computer Science and Engineering],<br>[http://www.umn.edu University of Minnesota].<br />
<br />
|}<br />
<br />
== <span style="color: brown"> Former Students </span> ==<br />
''(Many students have participated in our research activities. Here we list those who have earned M.S. or Ph.D. degrees and/or published papers with us.)''<br />
<br />
{| border="0&gt;"<br />
|-<br />
| width="320" align="center" |[[Image:Mustafa_Altun.jpg|215px|link=https://web.itu.edu.tr/altunmus/]]<br />
'''[https://web.itu.edu.tr/altunmus/ Mustafa Altun]''' <br />Ph.D., 2012<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now an Associate Professor at the <br />[http://www.itu.edu.tr/en/ Istanbul Technical University].</em><br />
<br />
| width="320" align="center" |[[Image:John_Backes.jpg|170px| link=http://mriedel.ece.umn.edu/wiki/index.php/John_ackes]]<br />
'''[[John Backes]]''' <br /> Ph.D., 2013<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota].<br />Now at [https://aws.amazon.com Amazon Web Services].</em><br />
<br />
| width="320" align="center" |[[Image:Thee_Chanyaswad.jpg|285px| link=http://mriedel.ece.umn.edu/wiki/index.php/Thee_Chanyaswad]]<br />
'''[[Thee Chanyaswad]]'''<br />B.S., 2012<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Ph.D., 2018<br></em> [https://www.princeton.edu Princeton University]<br>Now an Advanced Data Scientist<br>at [http://www.kbtg.tech/en KASIKORN Business-Technolog].<br />
<br />
|- <br />
<br />
| width="320" align="center" |[[Image:Tonglin Chen.jpg|215px|link=http://mriedel.ece.umn.edu/wiki/index.php/Tonglin_Chen]]<br />
'''[[Tonglin Chen]]''' <br />M.S., 2021<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />
<br />
| width="320" align="center" |[[Image:Bin_Cheng.jpg|175px| link=http://mriedel.ece.umn.edu/wiki/index.php/Bin_Cheng]]<br />
'''[[Bin Cheng]]''' <br />M.S., 2008<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Last Known Destination:<br> [http://www.cadence.com/us/pages/default.aspx Cadence Design Systems].</em><br />
<br />
| width="320" align="center" |[[Image:Vaibhav.png|170px| link=http://mriedel.ece.umn.edu/wiki/index.php/Vaibhav_Desai]]<br />
'''[[Vaibhav Desai]]'''<br> <em>M.S., 2016 <br />[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota].</em><br>Last Known Destination:<br>Entrepreneur in Seattle.<br />
<br />
|- <br />
<br />
| width="320" align="center" |[[Image:ZoeDormuth.JPG|215px|link=https://www.cs.arizona.edu/person/zoe-dormuth]]<br />
'''[[Zoe Dormuth]]''' <br />M.S., 2019<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota]<br>Now a [https://www.cs.arizona.edu/person/zoe-dormuth Ph.D. Student]<br>at the [https://www.arizona.edu University of Arizona].<br />
<br />
| width="320" align="center" |[[Image:Brian_Fett.jpg|200px| link=http://mriedel.ece.umn.edu/wiki/index.php/Brian_Fett]]<br />
'''[[Brian Fett]]'''<br />M.S., 2010<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now a Senior Software Test Engineer<br> at [https://www.emerson.com/en-us/automation-solutions Emerson].</em><br />
<br />
| width="320" align="center" |[[Image:Robby_Friedlander.jpg|210px| link=http://mriedel.ece.umn.edu/wiki/index.php/Robby_Friedlander]]<br />
'''[[Robby Friedlander]]'''<br />B.S., 2014<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now a [https://www.ece.gatech.edu/calendar/day/2019/10/30/106087 Ph.D. Student]<br> at the [http://www.gatech.edu/ Georgia Institute of Technology].</em><br />
<br />
|- <br />
<br />
| width="320" align="center" |[[Image:Hua.jpg|285px| link=http://mriedel.ece.umn.edu/wiki/index.php/Hua_Jiang]]<br />
'''[[Hua Jiang]]'''<br />Ph.D., 2012<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now a Senior Software Engineer<br> at [http://www.netflix.com Netflix].</em><br />
<br />
| width="320" align="center" |[[Image:Owen_Hoffend.jpg|215px|link=http://www.mriedel.ece.umn.edu/wiki/index.php/Owen_Hoffend]]<br />
'''[[Owen Hoffend]]''' <br />B.S. 2020<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now Ph.D. Student<br> at the [https://web.eecs.umich.edu| University of Michigan]<br>.</em><br />
<br />
| width="320" align="center" |[[Image:IMG_0364_(640x640).jpg|230px| link=http://mriedel.ece.umn.edu/wiki/index.php/Aleksandra_Kharam]]<br />
'''[[Aleksandra Kharam]]'''<br />B.S., 2012<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now a Senior Electrical Engineer<br> at [https://www.bostonscientific.com/content/gwc/en-US/Home.html Boston Scientific].</em><br />
<br />
|-<br />
<br />
| width="320" align="center" |[[Image:MHassanNajafi.jpg|170px|link=https://sites.google.com/a/umn.edu/mhassannajafi/]]<br />
'''[https://sites.google.com/a/umn.edu/mhassannajafi/ M. Hassan Najafi]'''<br />Ph.D., 2018<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota]<br />Now Assistant Professor<br> at the [https://louisiana.edu/ University of Louisiana].</em><br />
<br />
| width="320" align="center" |[[Image:Weikang_Qian.jpg|180px| link=http://umji.sjtu.edu.cn/~wkqian/people/weikang-qian.html]]<br />
'''[http://umji.sjtu.edu.cn/~wkqian/people/weikang-qian.html Weikang Qian]'''<br />Ph.D. 2011<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now Associate Professor<br />[http://www.umji.sjtu.edu.cn/en/?basic_type=93 University of Michigan &ndash; Shanghai Jia Tong University Joint Institute].</em><br />
<br />
| width="320" align="center" |[[Image:MeghaParhi.jpg|170px| link=http://mriedel.ece.umn.edu/wiki/index.php/Megha_Parhi]]<br />
'''[[Megha Parhi]]'''<br>B.S., 2015<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota].<br />Now a Ph.D. Student at the<br /> [https://www.utexas.edu/ University of Texas at Austin].</em><br />
<br />
|-<br />
<br />
| width="320" align="center" |[[Image:Ahmad.jpg|170px| link=http://salehi.engr.uky.edu]]<br />
'''[http://salehi.engr.uky.edu Ahmad Salehi]'''<br>Ph.D., 2017<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering]<br />[http://www.umn.edu University of Minnesota]</em><br>Now Assistant Professor<br> at the [http://engr.uky.edu University of Kentucky]<br />
<br />
| width="320" align="center" |[[Image:Senum_pic.jpg|150px| link=http://mriedel.ece.umn.edu/wiki/index.php/Phil_Senum]]<br />
'''[[Phil Senum]]'''<br>B.S., 2013<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota]</em><br />Now at <em>[http://en.wikipedia.org/wiki/IBM_Rochester IBM Rochester].</em><br />
<br />
| width="320" align="center" |[[Image:Adam_Shea.png|175px| link=http://mriedel.ece.umn.edu/wiki/index.php/Adam_Shea]]<br />
'''[[Adam Shea]]'''<br />B.S., 2009<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br>[http://www.umn.edu University of Minnesota].<br />Now a Ph.D. Student at the<br /> [http://www.wisc.edu/ University of Wisconsin &ndash; Madison].</em><br />
<br />
|-<br />
<br />
| width="320" align="center" |[[Image:McKenzievdH.jpg|170px| link=http://mriedel.ece.umn.edu/wiki/index.php/McKenzie_van_der_Hagen]]<br />
'''[[McKenzie van der Hagen]]'''<br />B.S., 2017<br /><em>[http://www.ece.umn.edu Electrical and Computer Engineering],<br />[http://www.umn.edu University of Minnesota]</em>.<br /> Now a Ph.D. Student at<br /> <em>[https://www.ece.cmu.edu Carnegie Mellon University].</em><br />
<br />
|}</div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=Papers,_Presentations,_Theses,_Proposals,_and_Patents&diff=274701
Papers, Presentations, Theses, Proposals, and Patents
2022-05-02T04:15:40Z
<p>Student: /* Computing with Random Bit Streams */</p>
<hr />
<div>Here are links to our papers, theses, proposals, and presentations. When several version of a paper were published, for instance one in conference proceedings and another in a journal, these are grouped together and only the most significant version is linked. All materials are subject to copyrights.<br />
<br />
<br />
== Computing with Random Bit Streams ==<br />
<br />
{|<br />
|<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" |[https://mriedel.ece.umn.edu/wiki/images/e/e8/GLSVLSI_Paper.pdf A Scalable Deterministic Approach to Stochastic Computing]<br />
|- valign="top"<br />
| '''authors''':<br />
| [https://mriedel.ece.umn.edu/wiki/index.php/Yadu_Kiran Yadu Kiran] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''appeared in''':<br />
| Great Lakes Symposium on VLSI (GLSVLSI), 2022<br />
|}<br />
|}<br />
|<br />
{|<br />
|-<br />
| width="70" align="center" |<br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/c/c9/Najafi_Jenson_Lilja_Riedel_Performing_Stochastic_Computation_Deterministically.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[https://mriedel.ece.umn.edu/wiki/images/e/e8/GLSVLSI_Paper.pdf Paper]<br />
|}<br />
|<br />
|-<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/c/c9/Najafi_Jenson_Lilja_Riedel_Performing_Stochastic_Computation_Deterministically.pdf Performing Stochastic Computation Deterministically]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[M. Hassan Najafi]], [[Devon Jenson]], [https://ece.umn.edu/directory/lilja-david/ David Lilja], and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''appeared in''':<br />
| [https://ieeexplore.ieee.org/document/8793244 IEEE Transactions on Very Large Scale Integration (VLSI) Systems],<br>Vol. 27, No. 29, pp. 2925&ndash;2938, 2019<br />
|- valign="top"<br />
| '''presented at''':<br />
| [https://iscas2020.org IEEE International Symposium of Circuits and Systems], 2020<br />
|- valign="top"<br />
| '''presented at''':<br />
| [http://www.ieee.org/conferences_events/conferences/conferencedetails/index.html?Conf_ID=38629 IEEE/ACM International Conference on Computer-Aided Design], 2016<br />
|}<br />
| width="70" align="center" |<br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/c/c9/Najafi_Jenson_Lilja_Riedel_Performing_Stochastic_Computation_Deterministically.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/c/c9/Najafi_Jenson_Lilja_Riedel_Performing_Stochastic_Computation_Deterministically.pdf Paper]<br />
| width="70" align="center" |<br />
<span class="plainlinks">[http://cadbio.com/wiki/images/4/4f/Jenson_Riedel_A_Deterministic_Approach_to_Stochastic_Computing.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br>[http://cadbio.com/wiki/images/4/4f/Jenson_Riedel_A_Deterministic_Approach_to_Stochastic_Computing.pptx Slides]<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/0/0c/Qian-riedel-synthesis-of-polynomials.pdf Synthesis of Polynomial Functions]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Weikang Qian]] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''appeared in''':<br />
| [https://link.springer.com/book/10.1007/978-3-030-03730-7 Chapter 4, Stochastic Computing: Techniques and Applications],<br>Springer, W.J Gross and V. C. Gaudet, Editors, pp. pp. 103&ndash;120, 2019<br />
|}<br />
| width="70" align="center" |<br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/0/0c/Qian-riedel-synthesis-of-polynomials.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/0/0c/Qian-riedel-synthesis-of-polynomials.pdf Paper]<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/a/a5/Riedel-deterministic-approaches-to-bitstream-computing.pdf Deterministic Approaches to Bitstream Computing]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Marc Riedel]]<br />
|- valign="top"<br />
| '''appeared in''':<br />
| [https://link.springer.com/book/10.1007/978-3-030-03730-7 Chapter 5, Stochastic Computing: Techniques and Applications],<br>Springer, W.J Gross and V. C. Gaudet, Editors, pp. pp. 121&ndash;136, 2019<br />
|}<br />
| width="70" align="center" |<br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/a/a5/Riedel-deterministic-approaches-to-bitstream-computing.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/0/0c/Qian-riedel-synthesis-of-polynomials.pdf Paper]<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [http://mriedel.ece.umn.edu/wiki/images/9/9d/Qian_Wang_Wang_Riedel_Huang_A_Survey_of_Computation-Driven_Data_Encoding.pdf A Survey of Computation-Driven Data Encodings]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Weikang Qian]], Runsheng Wang, Yuan Wang, [[Marc Riedel]] and Ru Huang <br />
|- valign="top"<br />
| '''presented at''':<br />
| [https://ieeexplore.ieee.org/xpl/conhome/9006748/proceeding IEEE Workshop on Signal Processing Systems], 2019<br />
|}<br />
| width="70" align="center" |<br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/9/9d/Qian_Wang_Wang_Riedel_Huang_A_Survey_of_Computation-Driven_Data_Encoding.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[http://mriedel.ece.umn.edu/wiki/images/9/9d/Qian_Wang_Wang_Riedel_Huang_A_Survey_of_Computation-Driven_Data_Encoding.pdf Paper]<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [http://mriedel.ece.umn.edu/wiki/images/1/1f/Najafi_Lilja_Riedel_Deterministic_Methods_for_Stochastic_Computing_using_Low-Discrepancy_Sequences.pdf Deterministic Methods for Stochastic Computing using Low-Discrepancy Sequences]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[M. Hassan Najafi]], [http://www.arctic.umn.edu/people/david-lilja David Lilja], and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''presented at''':<br />
| [https://www.iccad.com/sites/iccad.com/files/2018_ICCADProgram_WEB.pdf IEEE/ACM International Conference on Computer-Aided Design], 2018<br />
|}<br />
| width="70" align="center" |<br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/1/1f/Najafi_Lilja_Riedel_Deterministic_Methods_for_Stochastic_Computing_using_Low-Discrepancy_Sequences.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/1/1f/Najafi_Lilja_Riedel_Deterministic_Methods_for_Stochastic_Computing_using_Low-Discrepancy_Sequences.pdf Paper]<br />
| width="70" align="center" |<br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/3/36/Najafi_Lilja_Riedel_Deterministic_Methods_for_Stochastic_Computing_using_Low-Discrepancy_Sequences_Slides.pdf http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br>[http://mriedel.ece.umn.edu/wiki/images/3/36/Najafi_Lilja_Riedel_Deterministic_Methods_for_Stochastic_Computing_using_Low-Discrepancy_Sequences_Slides.pdf Slides]<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/c/cc/Najafi_Lilja_Riedel_Bazargan_Low_Cost_Sorting_Network_Circuits_using_Unary_Processing.pdf Low Cost Sorting Network Circuits using Unary Processing]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[M. Hassan Najafi]], [http://www.arctic.umn.edu/people/david-lilja David Lilja], [[Marc Riedel]], and [http://kia.umn.edu Kia Bazargan]<br />
|- valign="top"<br />
| '''appeared in''':<br />
| [https://ieeexplore.ieee.org/abstract/document/8338366 IEEE Trans. on Very Large Scale Integration Sytems],<br>Vol. 26, No. 8, pp. 1471&ndash;1480, 2018<br />
|- valign="top"<br />
| '''presented at''':<br />
| [https://ieeexplore.ieee.org/abstract/document/8119200 IEEE International Conference on Computer Design], 2017<br />
|}<br />
| width="70" align="center" |<br />
<span class="plainlinks"><br />
[http://www.mriedel.ece.umn.edu/wiki/images/c/cc/Najafi_Lilja_Riedel_Bazargan_Low_Cost_Sorting_Network_Circuits_using_Unary_Processing.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/c/cc/Najafi_Lilja_Riedel_Bazargan_Low_Cost_Sorting_Network_Circuits_using_Unary_Processing.pdf Paper]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [http://mriedel.ece.umn.edu/wiki/images/7/7f/Najafi_Jamali-Zavareh_Lilja_Riedel_Bazargan_Harjani_An_Overview_of_Time-Based_Computing_with_Stochastic_Constructs.pdf An Overview of Time-Based Computing with Stochastic Constructs]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[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]<br />
|- valign="top"<br />
| '''appeared in''':<br />
| [http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=40 IEEE Micro,] Vol. 37, No. 6, pp. 62--71, 2017 <br />
|}<br />
| width="70" align="center" |<br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/7/7f/Najafi_Jamali-Zavareh_Lilja_Riedel_Bazargan_Harjani_An_Overview_of_Time-Based_Computing_with_Stochastic_Constructs.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/b/b0/Najafi_Jamali_Zavareh_Lilja_Riedel_Bazargan_Harjani_Time_Encoded_Values_for_Highly_Efficient_Stochastic_Circuits.pdf Paper]<br />
|-<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/b/b0/Najafi_Jamali_Zavareh_Lilja_Riedel_Bazargan_Harjani_Time_Encoded_Values_for_Highly_Efficient_Stochastic_Circuits.pdf Time-Encoded Values for Highly Efficient Stochastic Circuits]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[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]<br />
|- valign="top"<br />
| '''appeared in''':<br />
| [http://ieeexplore.ieee.org/xpl/aboutJournal.jsp?punumber=92 IEEE Transactions on VLSI], Vol. 25, No. 5, pp. 1644&ndash;1657, 2017<br />
|- valign="top"<br />
| '''presented at''':<br />
| [http://www.ieee.org/conferences_events/conferences/conferencedetails/index.html?Conf_ID=33621 IEEE International Symposium on Circuits and Systems], 2017<br />
|}<br />
| width="70" align="center" |<br />
<span class="plainlinks"><br />
[http://www.mriedel.ece.umn.edu/wiki/images/b/b0/Najafi_Jamali_Zavareh_Lilja_Riedel_Bazargan_Harjani_Time_Encoded_Values_for_Highly_Efficient_Stochastic_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/b/b0/Najafi_Jamali_Zavareh_Lilja_Riedel_Bazargan_Harjani_Time_Encoded_Values_for_Highly_Efficient_Stochastic_Circuits.pdf Paper]<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/b/b9/Van_der_Hagen_Riedel_Unary_Positional_Computing.pdf Unary Positional Computing]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[McKenzie van der Hagen]] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''presented at''':<br />
| [http://www.2017.ieeeglobalsip.org IEEE Global Conference on Signal and Information Processing], 2017<br />
|}<br />
| width="70" align="center" |<br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/b/b9/Van_der_Hagen_Riedel_Unary_Positional_Computing.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/b/b9/Van_der_Hagen_Riedel_Unary_Positional_Computing.pdf Paper]<br />
| width="70" align="center" |<br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/b/b8/Van_der_Hangen_Unary_Positional_Computing.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br>[http://mriedel.ece.umn.edu/wiki/images/b/b8/Van_der_Hangen_Unary_Positional_Computing.pptx Poster]<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/9/92/Salehi_Liu_Riedel_Parhi_Computing_Polynomials_with_Positive_Coefficients_using_Stochastic_Logic_by_Double-NAND_Expansion.pdf Computing Polynomials with Positive Coefficients using Stochastic Logic by Double NAND Expansion]<br />
|- valign="top"<br />
| '''authors''':<br />
| Ahmad Salehi, Yin Liu, [[Marc Riedel]], and [http://people.ece.umn.edu/~parhi/ Keshab Parhi]<br />
|- valign="top"<br />
| '''presented at''':<br />
| [http://www.glsvlsi.org/ ACM Great Lakes Symposium on VLSI], 2017<br />
|}<br />
| width="70" align="center" |<br />
<span class="plainlinks"><br />
[http://128.101.171.36/wiki/images/9/92/Salehi_Liu_Riedel_Parhi_Computing_Polynomials_with_Positive_Coefficients_using_Stochastic_Logic_by_Double-NAND_Expansion.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/9/92/Salehi_Liu_Riedel_Parhi_Computing_Polynomials_with_Positive_Coefficients_using_Stochastic_Logic_by_Double-NAND_Expansion.pdf Paper]<br />
| width="70" align="center" |<br />
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/e/e7/Salehi_Liu_Riedel_Parhi_Computing_Polynomials_with_Positive_Coefficients_using_Stochastic_Logic_by_Double-NAND_Expansion.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br>[http://cctbio.ece.umn.edu/wiki/images/e/e7/Salehi_Liu_Riedel_Parhi_Computing_Polynomials_with_Positive_Coefficients_using_Stochastic_Logic_by_Double-NAND_Expansion.pptx Slides]<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/1/13/Najafi_Lilja_Riedel_Bazargan_Polysynchronous_Clocking_Exploiting_the_Skew_Tolerance_of_Stochastic_Circuits.pdf Polysynchronous Clocking: Exploiting the Skew Tolerance of Stochastic Circuits]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[M. Hassan Najafi]], [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Marc Riedel]], and [http://www.ece.umn.edu/users/kia/ Kia Bazargan]<br />
|- valign="top" <br />
| '''appeared in''':<br />
| [https://ieeexplore.ieee.org/document/7911306 IEEE Transactions on Computers], Vol. 66, No. 10, pp. 1734&ndash;1746, 2017<br>'''Feature Paper of the Month'''<br />
|- valign="top" <br />
| '''presented at''':<br />
| ''Work-in-Progress'' Session, [https://dac.com/content/53rd-dac IEEE/ACM Design Automation Conference], 2016 <br />
|- valign="top" <br />
| '''presented at''':<br />
| [http://www.amsv.umac.mo/aspdac2016/ IEEE/ACM Asia and South Pacific Design Automation Conference], 2016 <br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://cctbio.ece.umn.edu/wiki/images/1/13/Najafi_Lilja_Riedel_Bazargan_Polysynchronous_Clocking_Exploiting_the_Skew_Tolerance_of_Stochastic_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/1/13/Najafi_Lilja_Riedel_Bazargan_Polysynchronous_Clocking_Exploiting_the_Skew_Tolerance_of_Stochastic_Circuits.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/7/7d/Najafi_Lilja_Riedel_Bazargan_Polysynchronous_Stochastic_Circuits-long.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br>[http://cctbio.ece.umn.edu/wiki/images/7/7d/Najafi_Lilja_Riedel_Bazargan_Polysynchronous_Stochastic_Circuits-long.pptx Slides]<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/5/53/Najafi_Li_Qian_Riedel_A_Reconfigurable_Architecture_with_Sequential_Logic-based_Stochastic_Computing.pdf A Reconfigurable Architecture with Sequential Logic-based Stochastic Computing]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[M. Hassan Najafi]], Peng Li, [http://www.arctic.umn.edu/lilja.shtml David J. Lilja], [[Weikang Qian]] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''appeared in''':<br />
| [http://jetc.acm.org ACM Journal on Emerging Technologies in Computing Systems],<br> Vol. 13, No. 4, pp. 1&ndash;28, 2017<br />
|}<br />
| width="70" align="center" |<br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/5/53/Najafi_Li_Qian_Riedel_A_Reconfigurable_Architecture_with_Sequential_Logic-based_Stochastic_Computing.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/5/53/Najafi_Li_Qian_Riedel_A_Reconfigurable_Architecture_with_Sequential_Logic-based_Stochastic_Computing.pdf Paper]<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/4/48/Liu_Parhi_Riedel_Parhi_Synthesis_of_Correlated_Bit_Streams_for_Stochastic_Computing.pdf Synthesis of Correlated Bit Streams for Stochastic Computing]<br />
|- valign="top"<br />
| '''authors''':<br />
| Yin Liu, Megha Parhi, [[Marc Riedel]] and [http://people.ece.umn.edu/~parhi/ Keshab Parhi]<br />
|- valign="top"<br />
| '''presented at''':<br />
| [http://signalprocessingsociety.org/blog/2016-50th-annual-asilomar-conference-signals-systems-and-computers-asilomar-2016 Asilomar Conference on Signals, Systems, and Computers], 2016<br />
|}<br />
| width="70" align="center" |<br />
<span class="plainlinks"><br />
[http://cctbio.ece.umn.edu/wiki/images/4/48/Liu_Parhi_Riedel_Parhi_Synthesis_of_Correlated_Bit_Streams_for_Stochastic_Computing.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/4/48/Liu_Parhi_Riedel_Parhi_Synthesis_of_Correlated_Bit_Streams_for_Stochastic_Computing.pdf Paper]<br />
| width="70" align="center" |<br />
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/b/b9/Liu_Parhi_Riedel_Parhi_The_Synthesis_of_Correlated_Bit_Streams_for_Stochastic_Computing.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br>[http://cctbio.ece.umn.edu/wiki/images/b/b9/Liu_Parhi_Riedel_Parhi_The_Synthesis_of_Correlated_Bit_Streams_for_Stochastic_Computing.pptx Slides]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/5/55/BitLevel_Corr_Parhi_Riedel_Parhi.pdf Effect of Bit-Level Correlation in Stochastic Computing]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Megha Parhi]], [[Marc Riedel]], and [http://www.ece.umn.edu/~parhi/ Keshab Parhi]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.dsp2015.org/ IEEE International Conference on Digital Signal Processing], Singapore, 2015.<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/5/55/BitLevel_Corr_Parhi_Riedel_Parhi.pdf http://cctbio.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/5/55/BitLevel_Corr_Parhi_Riedel_Parhi.pdf Paper]<br />
| width="70" align="center" |<br />
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/4/49/Parhi_Riedel_Parhi_Effect_of_Bit-level_Correlation_in_Stochastic_Computing.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br>[http://cctbio.ece.umn.edu/wiki/images/4/49/Parhi_Riedel_Parhi_Effect_of_Bit-level_Correlation_in_Stochastic_Computing.pptx Slides]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/f/f7/Li_Lilja_Qian_Bazargan_Riedel_Computation_on_Stochastic_Bit_Streams_Digital_Image_Processing_Case_Studies.pdf Computation on Stochastic Bit Streams: Digital Image Processing Case Studies]<br />
|- valign="top"<br />
| '''authors''':<br />
| [http://www.ece.umn.edu/~lipeng/ Peng Li], [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Weikang Qian]], [http://www.ece.umn.edu/users/kia/ Kia Bazargan] and [[Marc Riedel]] <br />
|- valign="top" <br />
| '''appeared in''':<br />
| [http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6502263 IEEE Transactions on VLSI Sytems], Vol. 22, No. 3, pp. 449&ndash;462, 2014 <br />
|- valign="top" <br />
| '''appeared in''':<br />
| [http://link.springer.com/chapter/10.1007%2F978-3-642-36157-9_24#page-1 Lecture Notes in Computer Science<br>Power and Timing Modeling, Optimization and Simulation Workshop]<br>G. Goos, J. Hartmanis, and J. V. Leeuwen Editors, Springer, pp. 235&ndash;244, 2012<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://cctbio.ece.umn.edu/wiki/images/f/f7/Li_Lilja_Qian_Bazargan_Riedel_Computation_on_Stochastic_Bit_Streams_Digital_Image_Processing_Case_Studies.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/f/f7/Li_Lilja_Qian_Bazargan_Riedel_Computation_on_Stochastic_Bit_Streams_Digital_Image_Processing_Case_Studies.pdf Paper]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/7/7c/Li_Lilja_Qian_Riedel_Bazargan_Logical_Computation_on_Stochastic_Bit_Streams_with_Linear_Finite_State_Machines.pdf Logical Computation on Stochastic Bit Streams with Linear Finite State Machines]<br />
|- valign="top"<br />
| '''authors''':<br />
| [http://www.ece.umn.edu/~lipeng/ Peng Li], [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Weikang Qian]],[http://www.ece.umn.edu/users/kia/ Kia Bazargan] and [[Marc Riedel]] <br />
|- valign="top" <br />
| '''appeared in''':<br />
| [http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6307798 IEEE Transactions on Computers], Vol. 63, No. 6., pp. 1474&ndash;1486, 2014<br />
|- valign="top" <br />
| '''presented at''':<br />
| [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6165056 IEEE/ACM Asia and South Pacific Design Automation Conference],<br>Sydney, Australia, 2012<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://cctbio.ece.umn.edu/wiki/images/7/7c/Li_Lilja_Qian_Riedel_Bazargan_Logical_Computation_on_Stochastic_Bit_Streams_with_Linear_Finite_State_Machines.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/7/7c/Li_Lilja_Qian_Riedel_Bazargan_Logical_Computation_on_Stochastic_Bit_Streams_with_Linear_Finite_State_Machines.pdf Paper]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/6/60/Saraf_Bazargan_Lilja_Riedel_IIR_Filters_Using_Stochastic_Arithmetic.pdf IIR Filters Using Stochastic Arithmetic]<br />
|- valign="top"<br />
| '''authors''':<br />
| Naman Saraf, [http://www.ece.umn.edu/users/kia/ Kia Bazargan], [http://www.arctic.umn.edu/lilja.shtml David Lilja], and [[Marc Riedel]] <br />
|- valign="top" <br />
| '''appeared in''':<br />
| [http://dl.acm.org/citation.cfm?id=2616697 IEEE/ACM Design, Automation, and Test in Europe], 2014 <br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/6/60/Saraf_Bazargan_Lilja_Riedel_IIR_Filters_Using_Stochastic_Arithmetic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/6/60/Saraf_Bazargan_Lilja_Riedel_IIR_Filters_Using_Stochastic_Arithmetic.pdf Paper]<br />
| width="70" align="center" |<br />
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/4/4e/Saraf_Bazargan_Lilja_Riedel_IIR_Filters_Using_Stochatic_Arithmetic_poster.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[http://cctbio.ece.umn.edu/wiki/images/4/4e/Saraf_Bazargan_Lilja_Riedel_IIR_Filters_Using_Stochatic_Arithmetic_poster.pdf Slides]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/6/66/Saraf_Bazargan_Lilja_Riedel_Stochastic_Functions_Using_Sequential_Logic.pdf Stochastic Functions Using Sequential Logic]<br />
|- valign="top"<br />
| '''authors''':<br />
| Naman Saraf, [http://www.ece.umn.edu/users/kia/ Kia Bazargan], [http://www.arctic.umn.edu/lilja.shtml David Lilja], and [[Marc Riedel]] <br />
|- valign="top" <br />
| '''appeared in''':<br />
| [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6657094&tag=1 IEEE International Conference on Computer Design], Asheville, NC, 2013 <br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/6/66/Saraf_Bazargan_Lilja_Riedel_Stochastic_Functions_Using_Sequential_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/6/66/Saraf_Bazargan_Lilja_Riedel_Stochastic_Functions_Using_Sequential_Logic.pdf Paper]<br />
| width="70" align="center" |<br />
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/f/fe/Najafi_Bazargan_Riedel_Lilja_Stochastic_Functions_using_Sequential_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[http://cctbio.ece.umn.edu/wiki/images/f/fe/Najafi_Bazargan_Riedel_Lilja_Stochastic_Functions_using_Sequential_Logic.pdf Slides]<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/b/b7/Qian_Wang_Li_Lilja_Bazargan_Riedel_An_Efficient_Implementation_of_Numerical_Integration_Using_Logical_Computation_on_Stochastic_Bit_Streams.pdf An Efficient Implementation of Numerical Integration Using Logical Computation<br>on Stochastic Bit Streams]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Weikang Qian]], Cheng Wang, [http://www.ece.umn.edu/~lipeng/ Peng Li], [http://www.arctic.umn.edu/lilja.shtml David Lilja],<br>[http://www.ece.umn.edu/users/kia/ Kia Bazargan] and [[Marc Riedel]] <br />
|- valign="top" <br />
| '''appeared in''':<br />
| [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6386603 IEEE/ACM Int'l Conference on Computer-Aided Design], San Jose, CA 2012<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://cctbio.ece.umn.edu/wiki/images/b/b7/Qian_Wang_Li_Lilja_Bazargan_Riedel_An_Efficient_Implementation_of_Numerical_Integration_Using_Logical_Computation_on_Stochastic_Bit_Streams.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/b/b7/Qian_Wang_Li_Lilja_Bazargan_Riedel_An_Efficient_Implementation_of_Numerical_Integration_Using_Logical_Computation_on_Stochastic_Bit_Streams.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://cadbio.com/wiki/images/6/67/Qian_Wang_Li_Lilja_Bazargan_Riedel_An_Efficient_Implementation_of_Numerical_Integration_Using_Logical_Computation_on_Stochastic_Bit_Streams.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://cadbio.com/wiki/images/6/67/Qian_Wang_Li_Lilja_Bazargan_Riedel_An_Efficient_Implementation_of_Numerical_Integration_Using_Logical_Computation_on_Stochastic_Bit_Streams.pptx Slides]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/4/4e/Li_Lilja_Qian_Bazargan_Riedel_The_Synthesis_of_Complex_Arithmetic_Computation_on_Stochastic_Bit_Streams_Using_Sequential_Logic.pdf The Synthesis of Complex Arithmetic Computation on Stochastic Bit Streams Using Sequential Logic]<br />
|- valign="top"<br />
| '''authors''':<br />
| [http://www.ece.umn.edu/~lipeng/ Peng Li], [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Weikang Qian]], [http://www.ece.umn.edu/users/kia/ Kia Bazargan] and [[Marc Riedel]] <br />
|- valign="top" <br />
| '''presented at''':<br />
| [http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6386710 IEEE/ACM International Conference on Computer-Aided Design], San Jose, CA 2012<br />
|- valign="top" <br />
| '''presented at''':<br />
| [http://www.iwls.org/iwls2012/ IEEE/ACM International Workshop on Logic and Synthesis], Berkeley, CA 2012<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://cctbio.ece.umn.edu/wiki/images/4/4e/Li_Lilja_Qian_Bazargan_Riedel_The_Synthesis_of_Complex_Arithmetic_Computation_on_Stochastic_Bit_Streams_Using_Sequential_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/4/4e/Li_Lilja_Qian_Bazargan_Riedel_The_Synthesis_of_Complex_Arithmetic_Computation_on_Stochastic_Bit_Streams_Using_Sequential_Logic.pdf Paper]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/d/db/Qian_Riedel_Zhou_Bruck_Transforming_Probabilities_with_Combinational_Logic.pdf Transforming Probabilities with Combinational Logic]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Weikang Qian]], [[Marc Riedel]], [http://paradise.caltech.edu/~hzhou/ Hongchao Zhou], and [http://paradise.caltech.edu/bruck.html Jehoshua Bruck]<br />
|- valign="top"<br />
| '''appeared in''':<br />
| [http://tcad.polito.it/ IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems], <br>Vol. 30, No. 9, pp. 1279&ndash;1292, 2011<br />
|- valign="top"<br />
| '''appeared in''':<br />
| [http://www.springer.com/engineering/circuits+%26+systems/book/978-1-4419-7517-1 Advanced Techniques in Logic Synthesis, Optimizations and Applications]<br> [http://www.ece.tamu.edu/~sunil/ Sunil Khatri] and [http://www.google.com/profiles/kanu.gulati Kanupriya Gulati] editors, [http://www.springerpub.com Springer Publishing], 2011<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.iccad.com/events/eventdetails.aspx?id=106-5-C IEEE/ACM International Conference on Computer-Aided Design], San Jose, 2009<br> (nominated for '''IEEE/ACM William J. McCalla ICCAD Best Paper Award''').<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
|[http://www.sigda.org/iwls/iwls2009/ IEEE/ACM International Workshop on Logic and Synthesis], Berkeley, CA, 2009<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://cadbio.com/wiki/images/d/db/Qian_Riedel_Zhou_Bruck_Transforming_Probabilities_with_Combinational_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
[//mriedel.ece.umn.edu/wiki/images/d/db/Qian_Riedel_Zhou_Bruck_Transforming_Probabilities_with_Combinational_Logic.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Qian_Riedel_Bazargan_Lilja_The_Synthesis_of_Combinational_Logic_to_Generate_Probabilities.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/files/Qian_Riedel_Bazargan_Lilja_The_Synthesis_of_Combinational_Logic_to_Generate_Probabilities.ppt Slides]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/2/21/Qian_Li_Riedel_Bazargan_Lilja_An_Architecture_for_Fault-Tolerant_Computation_with_Stochastic_Logic.pdf An Architecture for Fault-Tolerant Computation with Stochastic Logic]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Weikang Qian]], [http://www.arctic.umn.edu/people.shtml Xin Li], [[Marc Riedel]], [http://www.ece.umn.edu/users/kia/ Kia Bazargan], and [http://www.arctic.umn.edu/lilja.shtml David Lilja]<br />
|- valign="top" <br />
| '''appeared in''':<br />
| [http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5601694 IEEE Transactions on Computers], Vol. 60, No. 1, pp. 93&ndash;105, 2011<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://cadbio.com/wiki/images/2/21/Qian_Li_Riedel_Bazargan_Lilja_An_Architecture_for_Fault-Tolerant_Computation_with_Stochastic_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/2/21/Qian_Li_Riedel_Bazargan_Lilja_An_Architecture_for_Fault-Tolerant_Computation_with_Stochastic_Logic.pdf Paper]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/a/a8/Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation_IJNMC.pdf The Synthesis of Stochastic Circuits for Nanoscale Computation]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Weikang Qian]], [[John Backes]], and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''appeared&nbsp;in''':<br />
| [http://www.igi-global.com/Bookstore/TitleDetails.aspx?TitleId=1117&DetailsType=Description International Journal of Nanotechnology and Molecular Computation], <br>Vol. 1, No. 4, pp. 39&ndash;57, 2010<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.sigda.org/iwls/iwls2007 IEEE/ACM International Workshop on Logic and Synthesis], San Diego, CA, 2007<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/a/a8/Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation_IJNMC.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/a/a8/Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation_IJNMC.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/files/Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation.ppt Slides]<br />
|}<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/4/4c/Qian_Riedel_Two_Level_Logic_Synthesis_for_Probabilistic_Computation.pdf Two-Level Logic Synthesis for Probabilistic Computation]<br />
|- valign="top" <br />
| '''authors''':<br />
| [[Weikang Qian]] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''presented at''':<br />
| [http://www.sigda.org/iwls/iwls2010/ IEEE/ACM International Workshop on Logic and Synthesis], Irvine, CA, 2010<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://www.mriedel.ece.umn.edu/wiki/images/4/4c/Qian_Riedel_Two_Level_Logic_Synthesis_for_Probabilistic_Computation.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/4/4c/Qian_Riedel_Two_Level_Logic_Synthesis_for_Probabilistic_Computation.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Qian_Two_Level_Logic_Synthesis_for_Probabilistic_Computation.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/files/Qian_Two_Level_Logic_Synthesis_for_Probabilistic_Computation.pptx Slides]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/b/b0/Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.pdf A Reconfigurable Stochastic Architecture for Highly Reliable Computing]<br />
|- valign="top" <br />
| '''authors''':<br />
| [http://www.arctic.umn.edu/people.shtml Xin Li], [[Weikang Qian]], [[Marc Riedel]], [http://www.ece.umn.edu/users/kia/ Kia Bazargan], and [http://www.arctic.umn.edu/lilja.shtml David Lilja]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.glsvlsi.org/archive/glsvlsi09/index.html Great Lakes Symposium on VLSI], Boston, MA, 2009<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://www.mriedel.ece.umn.edu/wiki/images/b/b0/Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/b/b0/Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/files/Li_Qian_Riedel_Bazargan_Lilja_A_Reconfigurable_Stochastic_Architecture_for_Highly_Reliable_Computing.ppt Slides]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" |'''title''':<br />
| width="500" |[//mriedel.ece.umn.edu/wiki/images/2/29/Sivaswamy_Bazargan_Riedel_Estimation_and_Optimization_of_Reliability_of_Noisy_Digital_Circuits.pdf Estimation and Optimization of Reliability of Noisy Digital Circuits]<br />
|- valign="top"<br />
| '''authors''':<br />
| [http://www.ece.umn.edu/users/satish/ Satish Sivaswamy], [http://www.ece.umn.edu/users/kia/ Kia Bazargan] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.isqed.org/ IEEE International Symposium on Quality Electronic Design], San Jose, CA, 2009.<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/2/29/Sivaswamy_Bazargan_Riedel_Estimation_and_Optimization_of_Reliability_of_Noisy_Digital_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/2/29/Sivaswamy_Bazargan_Riedel_Estimation_and_Optimization_of_Reliability_of_Noisy_Digital_Circuits.pdf Paper]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/b/be/Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.pdf The Synthesis of Stochastic Logic to Perform Multivariate Polynomial Arithmetic]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Weikang Qian]] and [[Marc Riedel]]<br />
|- valign="top" <br />
| '''presented&nbsp;at''':<br />
| [http://www.sigda.org/iwls/iwls2008/ IEEE/ACM International Workshop on Logic and Synthesis], Lake Tahoe, CA, 2008<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/b/be/Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/b/be/Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/e/e3/Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://www.mriedel.ece.umn.edu/wiki/images/e/e3/Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.ppt Poster]<br />
|}<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/0/07/Qian_Riedel_The_Synthesis_of_Robust_Polynomial_Arithmetic_with_Stochastic_Logic.pdf The Synthesis of Robust Polynomial Arithmetic with Stochastic Logic]<br />
|- valign="top" <br />
| '''authors''':<br />
| [[Weikang Qian]] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.dac.com/events/eventdetails.aspx?id=77-37 ACM/EDAC/IEEE Design Automation Conference], Anaheim, CA, 2008<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://cctbio.ece.umn.edu/wiki/images/0/07/Qian_Riedel_The_Synthesis_of_Robust_Polynomial_Arithmetic_with_Stochastic_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/0/07/Qian_Riedel_The_Synthesis_of_Robust_Polynomial_Arithmetic_with_Stochastic_Logic.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Qian_Riedel_The_Synthesis_of_Robust_Polynomial_Arithmetic_with_Stochastic_Logic.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/files/Qian_Riedel_The_Synthesis_of_Robust_Polynomial_Arithmetic_with_Stochastic_Logic.ppt Slides]<br />
|}<br />
<br />
== Computing with Molecules ==<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//http://mriedel.ece.umn.edu/wiki/images/e/e0/DNA27_SIMD_DNA.pdf Parallel Pairwise Operations on Data Stored in DNA: Sorting, Shifting, and Searching]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Tonglin Chen]], [[Arnav Solanki]] and [[Marc Riedel]]<br />
|- valign="top" <br />
| '''presented&nbsp;at''':<br />
| [http://dna27.iopconfs.org/home International Conference on DNA Computing and Molecular Programming], 2021<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/e/e0/DNA27_SIMD_DNA.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[http://mriedel.ece.umn.edu/wiki/images/e/e0/DNA27_SIMD_DNA.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/d/d5/DNA27_Presentation.pdf http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/images/d/d5/DNA27_Presentation.pdf Slides]<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//http://mriedel.ece.umn.edu/wiki/images/5/58/VCIP2021_Blind.pdf Cascadable Stochastic Logic for DNA Storage]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Arnav Solanki]], [[Tonglin Chen]] and [[Marc Riedel]]<br />
|- valign="top" <br />
| '''presented&nbsp;at''':<br />
| [https://www.vcip2021.org/ Visual Communications and Image Processing], 2021<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/5/58/VCIP2021_Blind.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[http://mriedel.ece.umn.edu/wiki/images/5/58/VCIP2021_Blind.pdf Paper]<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/8/81/FNANO20_Random_Cutting.pdf Stochastic Computation on DNA strands through Hydroxyl Nicking]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Arnav Solanki]], [[Tonglin Chen]] and [[Marc Riedel]]<br />
|- valign="top" <br />
| '''presented&nbsp;at''':<br />
| [https://www2.cs.duke.edu/FNANO/ Foundations of Nanoscience: Self-Assembled Architectures and Devices], 2020<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/8/81/FNANO20_Random_Cutting.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[http://mriedel.ece.umn.edu/wiki/images/8/81/FNANO20_Random_Cutting.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/2/29/FNANO_poster2020.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/images/2/29/FNANO_poster2020.pdf Poster]<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Tonglin Chen]] and [[Marc Riedel]]<br />
|- valign="top" <br />
| '''presented&nbsp;at''':<br />
| [https://rc.signalprocessingsociety.org/conferences/icassp-2020/SPSICASSP20VID1364.html IEEE International Conference on Acoustics, Speech, and Signal Processing], 2020<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/3/38/Chen_Solanki_Riedel_Concentration-Based-Polynomial-Calculations-on-Nicked-DNA.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[http://mriedel.ece.umn.edu/wiki/images/3/38/Chen_Solanki_Riedel_Concentration-Based-Polynomial-Calculations-on-Nicked-DNA.pdf Paper]<br />
|}<br />
<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/4/4c/Chen_Riedel_Parallel_Binary_Sorting_and_Shifting_with_DNA.pdf Parallel Binary Sorting and Shifting with DNA]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Tonglin Chen]] and [[Marc Riedel]]<br />
|- valign="top" <br />
| '''presented&nbsp;at''':<br />
| [https://www.iwbdaconf.org/2019/ International Workshop on Bio-Design Automation], Cambridge, England, 2019.<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/4/4c/Chen_Riedel_Parallel_Binary_Sorting_and_Shifting_with_DNA.pdf http://cctbio.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br> [//mriedel.ece.umn.edu/wiki/images/4/4c/Chen_Riedel_Parallel_Binary_Sorting_and_Shifting_with_DNA.pdf Paper]<br />
<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/4/41/Salehi_Liu_Riedel_Parhi_Computation_of_Mathematical_Functions_using_DNA_via_Fractional_Coding.pdf Computing Mathematical Functions using DNA via Fractional Coding]<br />
|- valign="top"<br />
| '''authors''':<br />
| [https://www.engr.uky.edu/directory/salehi-sayed-ahmad Ahmad Salehi], Xingyi Liu, [[Marc Riedel]], and [http://people.ece.umn.edu/~parhi/ Keshab K. Parhi]<br />
|- valign="top"<br />
| '''appeared in''':<br />
| [https://www.nature.com/articles/s41598-018-26709-6 Nature Scientific Reports], Vol. 8 No. 8312, 2018<br />
|}<br />
| width="70" align="center" |<br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/4/41/Salehi_Liu_Riedel_Parhi_Computation_of_Mathematical_Functions_using_DNA_via_Fractional_Coding.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/4/41/Salehi_Liu_Riedel_Parhi_Computation_of_Mathematical_Functions_using_DNA_via_Fractional_Coding.pdf Paper]<br />
| width="70" align="center" |<br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/9/91/Salehi_Liu_Riedel_Parhi_Computation_of_Mathematical_Functions_using_DNA_via_Fractional_Coding_Supplement.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/9/91/Salehi_Liu_Riedel_Parhi_Computation_of_Mathematical_Functions_using_DNA_via_Fractional_Coding_Supplement.pdf Supplement]<br />
|}<br />
<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/d/d7/Salehi_Parhi_Riedel_Chemical_Reaction_Networks_for_Computing_Polynomials.pdf Chemical Reaction Networks for Computing Polynomials]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Ahmad Salehi]], [http://www.ece.umn.edu/users/parhi Keshab Parhi] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''appeared as''':<br />
| [http://pubs.acs.org/journal/asbcd6 ACS Synthetic Biology],Vol. 6, No. 1, pp. 76–83, 2017<br />
|- valign="top"<br />
| '''presented at''':<br />
| [http://globecom2016.ieee-globecom.org IEEE Globecom Symposium, 2016]<br />
|}<br />
| width="70" align="center" | <br />
<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 />
<br>[//mriedel.ece.umn.edu/wiki/images/4/47/Salehi_Riedel_Parhi_Chemical_Reaction_Networks_for_Computing_Polynomials.pdf Paper]<br />
|}<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/2/25/Salehi_Riedel_Parhi_Molecular_Sensing_and_Computing_Systems.pdf Molecular Sensing and Computing Systems]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Ahmad Salehi]], [[Marc Riedel]], [http://www.ece.umn.edu/users/parhi Keshab Parhi]<br />
|- valign="top"<br />
| '''appeared as''':<br />
| [http://mbmc.info IEEE Trans. on Molecular, Biological, and Multi-Scale Communications],<br>Vol. 1, No. 3, 2015<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/2/25/Salehi_Riedel_Parhi_Molecular_Sensing_and_Computing_Systems.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br> [http://cctbio.ece.umn.edu/wiki/images/2/25/Salehi_Riedel_Parhi_Molecular_Sensing_and_Computing_Systems.pdf Paper]<br />
|}<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/c/c0/Salehi_Riedel_Parhi_Markov_Chain_Computations_using_Molecular_Reactions.pdf Markov Chain Computations using Molecular Reactions]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Ahmad Salehi]], [[Marc Riedel]], [http://www.ece.umn.edu/users/parhi Keshab Parhi]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.dsp2015.org IEEE International Conference on Digital Signal Processing], 2015.<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/c/c0/Salehi_Riedel_Parhi_Markov_Chain_Computations_using_Molecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/c/c0/Salehi_Riedel_Parhi_Markov_Chain_Computations_using_Molecular_Reactions.pdf Paper]<br />
| width="70" align="center" | <br />
|}<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/b/b3/Salehi_Riedel_Parhi_Asynchronous_Discrete-Time_Signal_Processing_with_Molecular_Reactions.pdf Asynchronous Discrete-Time Signal Processing with Molecular Reactions]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Ahmad Salehi]], [[Marc Riedel]], and [http://www.ece.umn.edu/users/parhi Keshab Parhi]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.asilomarsscconf.org/webpage/asil14/post_conf.htm Asilomar Conference on Signals, Systems, and Computers], 2014.<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/b/b3/Salehi_Riedel_Parhi_Asynchronous_Discrete-Time_Signal_Processing_with_Molecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/b/b3/Salehi_Riedel_Parhi_Asynchronous_Discrete-Time_Signal_Processing_with_Molecular_Reactions.pdf Paper]<br />
|}<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/c/cf/Jiang_Riedel_Parhi_Digital_Logic_with_Molecular_Reactions.pdf Digital Logic with Molecular Reactions]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Hua Jiang]], [[Marc Riedel]], [http://www.ece.umn.edu/users/parhi Keshab Parhi]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.iccad.com IEEE/ACM International Conference on Computer-Aided Design],<br>San Jose, CA, 2013.<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/c/cf/Jiang_Riedel_Parhi_Digital_Logic_with_Molecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/c/cf/Jiang_Riedel_Parhi_Digital_Logic_with_Molecular_Reactions.pdf Paper]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/3/36/Jiang_Salehi_Riedel_Parhi_Discrete-Time_Signal_Processing_with_DNA.pdf Discrete-Time Signal Processing with DNA]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Hua Jiang]], Ahmad Salehi, [[Marc Riedel]] and [http://www.ece.umn.edu/users/parhi Keshab Parhi]<br />
|- valign="top"<br />
| '''appeared&nbsp;in''':<br />
| [http://pubs.acs.org/doi/abs/10.1021/sb300087n ACS Synthetic Biology], Vol. 2 no. 5, pp. 245&ndash;254, 2013.<br>[//mriedel.ece.umn.edu/wiki/images/4/40/Jiang_Salehi_Riedel_Parhi_Discrete-Time_Signal_Processing_with_DNA_Appendix.pdf Supplementary Information: List of Reactions]<br />
|- valign="top"<br />
| '''appeared&nbsp;in''':<br />
| [http://www.computer.org/portal/web/dt IEEE Design & Test of Computers], Vol. 29, No. 3, pp. 21&ndash;31, 2012.<br />
|- valign="top"<br />
| '''presented at''':<br />
| [http://www.iccad.com/ IEEE/ACM International Conference on Computer-Aided Design],<br> San Jose, CA, 2010.<br />
|- valign="top"<br />
| '''presented at''':<br />
| [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=7703&copyownerid=8242 IEEE Workshop on Signal Processing Systems], San Francisco, 2010<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/3/36/Jiang_Salehi_Riedel_Parhi_Discrete-Time_Signal_Processing_with_DNA.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/images/3/36/Jiang_Salehi_Riedel_Parhi_Discrete-Time_Signal_Processing_with_DNA.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/2/2a/Jiang_Kharam_Riedel_Parhi_Digital_Signal_Processing_with_Biomolecular_Reactions.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/images/2/2a/Jiang_Kharam_Riedel_Parhi_Digital_Signal_Processing_with_Biomolecular_Reactions.pptx Slides]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/5/57/Kulkarni_Chanyaswad_Riedel_Kim_Robust_Tunable_In_Vitro_Transcriptional_Oscillator_Networks.pdf Robust Tunable ''In Vitro'' Transcriptional Oscillator Networks]<br />
|- valign="top"<br />
| '''authors''':<br />
| Vishwesh Kulkarni, [[Thee Chanyaswad]], [[Marc Riedel]] and Jongmin Kim<br />
|- valign="top"<br />
| '''presented at''':<br />
| [http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6475439 Allerton Conference], Urbana-Champaign, IL, 2012.<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/5/57/Kulkarni_Chanyaswad_Riedel_Kim_Robust_Tunable_In_Vitro_Transcriptional_Oscillator_Networks.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/images/5/57/Kulkarni_Chanyaswad_Riedel_Kim_Robust_Tunable_In_Vitro_Transcriptional_Oscillator_Networks.pdf Paper]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/d/db/Senum_Riedel_Rate-Independent_Constructs_for_Chemical_Computation.pdf Rate-Independent Constructs for Chemical Computation]<br />
|- valign="top" <br />
| '''authors''':<br />
| [[Phil Senum]] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''appeared in''':<br />
| [http://dx.plos.org/10.1371/journal.pone.0021414 PLoS ONE], Vol. 6, No. 6, 2011.<br>[[Rate_Independent_Constructs_Supplementary_Information | Supplementary Information]]<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/d/db/Senum_Riedel_Rate-Independent_Constructs_for_Chemical_Computation.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/images/d/db/Senum_Riedel_Rate-Independent_Constructs_for_Chemical_Computation.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/d/d2/Senum_Riedel_Rate-Independent_Modules_for_Chemical_Computation.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/images/d/d2/Senum_Riedel_Rate-Independent_Modules_for_Chemical_Computation.pptx Slides]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/0/07/Jiang_Riedel_Parhi_Synchronous_Sequential_Computation_with_Molecular_Reactions.pdf Synchronous Sequential Computation with Molecular Reactions]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Hua Jiang]], [[Marc Riedel]] and [http://www.ece.umn.edu/users/parhi Keshab Parhi]<br />
|- valign="top"<br />
| '''presented at''':<br />
| [http://www.dac.com/dac+2011+conference+program.aspx ACM/EDAC/IEEE Design Automation Conference], San Diego, CA, 2011.<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/0/07/Jiang_Riedel_Parhi_Synchronous_Sequential_Computation_with_Molecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/images/0/07/Jiang_Riedel_Parhi_Synchronous_Sequential_Computation_with_Molecular_Reactions.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/9/9b/Jiang_Riedel_Parhi_Synchronous_Sequential_Computation_with_Molecular_Reactions.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/images/9/9b/Jiang_Riedel_Parhi_Synchronous_Sequential_Computation_with_Molecular_Reactions.pptx Slides]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/a/ab/Jiang_Riedel_Parhi_Asynchronous_Computation_with_Molecular_Reactions.pdf Asynchronous Computation with Molecular Reactions]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Hua Jiang]], [[Marc Riedel]] and [http://www.ece.umn.edu/users/parhi Keshab Parhi]<br />
|- valign="top"<br />
| '''presented at''':<br />
| [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.<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://cctbio.ece.umn.edu/wiki/images/a/ab/Jiang_Riedel_Parhi_Asynchronous_Computation_with_Molecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br> [//mriedel.ece.umn.edu/wiki/images/a/ab/Jiang_Riedel_Parhi_Asynchronous_Computation_with_Molecular_Reactions.pdf Paper]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/a/a7/Kharam_Jiang_Riedel_Parhi_Binary_Counting_with_Chemical_Reactions.pdf Binary Counting with Chemical Reactions]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Aleksandra Kharam]], [[Hua Jiang]], [[Marc Riedel]] and [http://www.ece.umn.edu/users/parhi Keshab Parhi]<br />
|- valign="top"<br />
| '''presented at''':<br />
| [http://psb.stanford.edu/psb-online/proceedings/psb11 Pacific Symposium on Biocomputing], Hawaii, 2011.<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://cadbio.com/wiki/images/a/a7/Kharam_Jiang_Riedel_Parhi_Binary_Counting_with_Chemical_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br> [http://cadbio.com/wiki/images/a/a7/Kharam_Jiang_Riedel_Parhi_Binary_Counting_with_Chemical_Reactions.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/a/a6/Kharam_Jiang_Riedel_Parhi_Binary_Counting_with_Chemical_Reactions.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/images/a/a6/Kharam_Jiang_Riedel_Parhi_Binary_Counting_with_Chemical_Reactions.ppt Slides]<br />
|}<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/0/04/Shea_Fett_Riedel_Parhi_Writing_and_Compiling_code_into_Biochemistry.pdf Writing and Compiling Code into Biochemistry]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Adam Shea]], [[Brian Fett]], [[Marc Riedel]], and [http://www.ece.umn.edu/~parhi/ Keshab Parhi]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.iccad.com/events/eventdetails.aspx?id=106-2-C IEEE/ACM International Conference on Computer-Aided Design],<br>San Jose, CA, 2009; and at [http://psb.stanford.edu/psb-online/proceedings/psb10 Pacific Symposium on Biocomputing],<br> Kona, Hawaii, 2010 (see [http://friendfeed.com/pacific-symposium-for-bio/6476a568/marc-riedel-writing-and-compiling-code-into blog]). <br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.iwls.org/iwls2009/ IEEE/ACM International Workshop on Logic and Synthesis], Berkeley, 2009<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/0/04/Shea_Fett_Riedel_Parhi_Writing_and_Compiling_code_into_Biochemistry.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br>[//mriedel.ece.umn.edu/wiki/images/0/04/Shea_Fett_Riedel_Parhi_Writing_and_Compiling_code_into_Biochemistry.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Shea_Fett_Riedel_Parhi_Writing_and_Compiling_code_into_Biochemistry.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/files/Shea_Fett_Riedel_Parhi_Writing_and_Compiling_code_into_Biochemistry.ppt Slides]<br />
|}<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Bin Cheng]] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://psb.stanford.edu Pacific Symposium on Biocomputing], Hawaii, 2009.<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/3/37/Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br> [//mriedel.ece.umn.edu/wiki/images/3/37/Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.pdf Paper]<br />
| width="70" align="center" | <br />
<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 />
<br> [http://mriedel.ece.umn.edu/files/Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.ppt Slides]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/6/66/Fett_Riedel_Module_Locking_in_Biochemical_Synthesis.pdf Module Locking in Biochemical Systems]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Brian Fett]] and [[Marc Riedel]]<br />
|- valign="top" <br />
| '''presented&nbsp;at''':<br />
| [http://www.iccad.com/events/eventdetails.aspx?id=86-10-A IEEE/ACM International Conference on Computer-Aided Design],<br>San Jose, CA, 2008; and at [http://sb4.biobricks.org Synthetic Biology 4.0], Hong Kong, 2008.<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/6/66/Fett_Riedel_Module_Locking_in_Biochemical_Synthesis.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br> [//mriedel.ece.umn.edu/wiki/images/6/66/Fett_Riedel_Module_Locking_in_Biochemical_Synthesis.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Fett_Riedel_Module_Locking_in_Biochemical_Synthesis.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/files/Fett_Riedel_Module_Locking_in_Biochemical_Synthesis.ppt Slides]<br />
|}<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/e/e6/Fett_Bruck_Riedel_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf Synthesizing Stochasticity in Biochemical Systems]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Brian Fett]], [http://paradise.caltech.edu/bruck.html Shuki Bruck], and [[Marc Riedel]]<br />
|- valign="top" <br />
| '''presented&nbsp;at''':<br />
| [http://www.dac.com/45th/index.aspx ACM/EDAC/IEEE Design Automation Conference], San Diego, 2007; and at<br>[http://www.syntheticbiology3.ethz.ch/monday.htm Synthetic Biology 3.0], Z&uuml;rich, 2007.<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/e/e6/Fett_Bruck_Riedel_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br> [//mriedel.ece.umn.edu/wiki/images/e/e6/Fett_Bruck_Riedel_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Fett_Bruck_Riedel_Synthesizing_Stochasticity_in_Biochemical_Systems.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/files/Fett_Bruck_Riedel_Synthesizing_Stochasticity_in_Biochemical_Systems.ppt Slides]<br />
|}<br />
<br />
== Computing about Molecules ==<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//http://mriedel.ece.umn.edu/wiki/images/e/e6/ISMCO_netMHC.pdf The Role of Hydrophobicity in Peptide-MHC Binding]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Arnav Solanki]], [[Marc Riedel]], [https://orion.math.iastate.edu/cornette/ James Cornette], [[Julia Udell]], Ishaan Koratkar, and [https://www.mayo.edu/research/faculty/vasmatzis-george-ph-d/bio-00027811 George Vasmatzis]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://ismco.net/ 3rd International Symposium on Mathematical and Computational Oncology], 2021<br />
|}<br />
| width="70" align="center" |<br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/e/e6/ISMCO_netMHC.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//http://mriedel.ece.umn.edu/wiki/images/e/e6/ISMCO_netMHC.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/8/8b/ISMCO2021.pdf http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br><br />
[http://mriedel.ece.umn.edu/wiki/images/8/8b/ISMCO2021.pdf Slides]<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/8/86/Kulkarni_Arastoo_Bhat_Subramanian_Kothare_Riedel_Gene_Regulatory_Network_Modeling_Using_Literature_Curated_and_High_Throughput_Data.pdf Gene Regulatory Network Modeling Using Literature Curated and High Throughput Data]<br />
|- valign="top" <br />
| '''authors''':<br />
| [http://www2.warwick.ac.uk/fac/sci/eng/people/bio/?tag=vk Vishwesh Kulkarni], Reza Arastoo, Anupama Bhat,<br>Kalyansundaram Subramanian, Mayuresh Kothare, Marc Riedel and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''appeared&nbsp;in''':<br />
| [http://www.springer.com/biomed/journal/11693 Systems and Synthetic Biology], Vol. 6, No. 3&ndash;4, pp. 69--77, 2012 <br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://cctbio.ece.umn.edu/wiki/images/8/86/Kulkarni_Arastoo_Bhat_Subramanian_Kothare_Riedel_Gene_Regulatory_Network_Modeling_Using_Literature_Curated_and_High_Throughput_Data.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br> [//mriedel.ece.umn.edu/wiki/images/8/86/Kulkarni_Arastoo_Bhat_Subramanian_Kothare_Riedel_Gene_Regulatory_Network_Modeling_Using_Literature_Curated_and_High_Throughput_Data.pdf Paper]<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/2/2b/Kulkarni_Kareenhalli_Viswananthan_Riedel_Characterizing_the_Memory_of_the_GAL_Regulatory_Network_in_Saccharomyces_cerevisiae.pdf Characterizing the Memory of the GAL Regulatory Network in<br> ''Saccharomyces cerevisiae'']<br />
|- valign="top" <br />
| '''authors''':<br />
| Vishwesh Kulkarni, [http://www.che.iitb.ac.in/online/node/63 Venkatesh Kareenhalli], Ganesh Viswananthan, and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''appeared&nbsp;in''':<br />
| [http://www.springer.com/biomed/journal/11693 Systems and Synthetic Biology], Vol. 5, No. 3&ndash;4, pp. 97--104, 2011 <br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/2/2b/Kulkarni_Kareenhalli_Viswananthan_Riedel_Characterizing_the_Memory_of_the_GAL_Regulatory_Network_in_Saccharomyces_cerevisiae.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/images/2/2b/Kulkarni_Kareenhalli_Viswananthan_Riedel_Characterizing_the_Memory_of_the_GAL_Regulatory_Network_in_Saccharomyces_cerevisiae.pdf Paper]<br />
|}<br />
<br />
== Computing with Nanoscale Lattices ==<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" |'''title''':<br />
| width="500" |[//mriedel.ece.umn.edu/wiki/images/c/ca/Altun_Riedel_Logic_Synthesis_for_Switching_Lattices.pdf Logic Synthesis for Switching Lattices]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Mustafa Altun]] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''appear&nbsp;in''':<br />
| [http://www.computer.org/portal/web/tc IEEE Transactions on Computers], Vol. 61, No. 11, pp. 1588&ndash;1600, 2012.<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.dac.com/47th/index.aspx ACM/EDAC/IEEE Design Automation Conference], Anaheim, CA, 2010.<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[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><br />
[//mriedel.ece.umn.edu/wiki/images/c/ca/Altun_Riedel_Logic_Synthesis_for_Switching_Lattices.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[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 />
<br> [http://mriedel.ece.umn.edu/wiki/images/2/28/Altun_Riedel_Lattice-Based_Computation_of_Boolean_Functions.ppt Slides]<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" |'''title''':<br />
| 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]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Mustafa Altun]] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''appeared&nbsp;in''':<br />
| [http://www.igi-global.com/Bookstore/TitleDetails.aspx?TitleId=1117&DetailsType=Description/ International Journal of Nanotechnology and Molecular Computation], <br>Vol. 3, No. 2, pp. 12&ndash;30, 2011.<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.dac.com/46th/index.aspx ACM/EDAC/IEEE Design Automation Conference], San Francisco, CA, 2009.<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://cadbio.com/wiki/images/3/3b/Altun_Riedel_Synthesizing_Logic_with_Percolation_in_Nanoscale_Lattices.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/3/3b/Altun_Riedel_Synthesizing_Logic_with_Percolation_in_Nanoscale_Lattices.pdf Paper]<br />
| width="70" align="center" | <br />
<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 />
<br> [http://mriedel.ece.umn.edu/wiki/images/f/fe/Altun_Riedel_Neuhauser_Nanoscale_Digital_Computation_Through_Percolation.ppt Slides]<br />
|}<br />
<br />
== Computing with Feedback ==<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/9/94/Riedel_Bruck_Cyclic_Boolean_Circuits.pdf Cyclic Boolean Circuits]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Marc Riedel]] and [http://paradise.caltech.edu/bruck.html Shuki Bruck]<br />
|- valign="top"<br />
| '''appeared &nbsp;in''':<br />
| [http://www.elsevier.com/wps/find/journaldescription.cws_home/505609/description#description Discrete Applied Mathematics], Vol. 160, No. 13&ndash;14, pp. 1877&ndash;1900, 2012<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/9/94/Riedel_Bruck_Cyclic_Boolean_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/9/94/Riedel_Bruck_Cyclic_Boolean_Circuits.pdf Paper]<br />
|}<br />
{|<br />
| rowspan="2" | <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- <br />
| '''authors''':<br />
| [[John Backes]] and [[Marc Riedel]]<br />
|- <br />
| '''appeared&nbsp;in''':<br />
| [http://todaes.acm.org/ ACM Transactions on Design Automation of Electronic Systems]<br> Vol. 17, No. 4, pp. 1&ndash;24, 2012<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/8/82/Backes_Riedel_The_Synthesis_of_Cyclic_Functional_Dependencies_with_Boolean_Satisfiability.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/8/82/Backes_Riedel_The_Synthesis_of_Cyclic_Functional_Dependencies_with_Boolean_Satisfiability.pdf Paper]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[John Backes]], [[Brian Fett]], and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''appeared&nbsp;as''':<br />
| Technical Report, UMN <br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.iccad.com/events/eventdetails.aspx?id=86-2-B IEEE/ACM Int'l Conference on Computer-Aided Design], San Jose, CA, 2008<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://www.mriedel.ece.umn.edu/wiki/images/6/66/Backes_Fett_Riedel_The_Analysis_And_Mapping_Of_Cyclic_Cricuits_With_Boolean_Satisfiability.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/6/66/Backes_Fett_Riedel_The_Analysis_And_Mapping_Of_Cyclic_Cricuits_With_Boolean_Satisfiability.pdf Paper]<br />
| width="70" align="center" | <br />
<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 />
<br> [http://mriedel.ece.umn.edu/files/Backes_Riedel_The_Analysis_of_Cyclic_Circuits_With_Boolean_Satisfiability.ppt Slides]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top" <br />
| '''authors''':<br />
| [[John Backes]] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.sigda.org/iwls/iwls2009 IEEE/ACM International Workshop on Logic and Synthesis], Berkeley, CA, 2009<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/e/ec/Backes_Riedel_The_Synthesis_of_Cyclic_Dependencies_with_Craig_Interpolation.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/e/ec/Backes_Riedel_The_Synthesis_of_Cyclic_Dependencies_with_Craig_Interpolation.pdf Paper]<br />
| width="70" align="center" | <br />
<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 />
<br> [http://www.mriedel.ece.umn.edu/wiki/images/a/ad/Backes_Riedel_The_Synthesis_Of_Functional_Dependencies_With_Craig_Interpolation.ppt Slides]<br />
|}<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Marc Riedel]] and [http://paradise.caltech.edu/bruck.html Shuki Bruck]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.sigda.org/iwls/iwls2004/ IEEE/ACM International Workshop on Logic and Synthesis], Temecula, CA, 2004<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/e/ef/Riedel_Bruck_Timing_Analysis_of_Cyclic_Combinational_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/e/ef/Riedel_Bruck_Timing_Analysis_of_Cyclic_Combinational_Circuits.pdf Paper]<br />
| width="70" align="center" | <br />
<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 />
<br> [http://mriedel.ece.umn.edu/files/Riedel_Bruck_Timing_Analysis_of_Cyclic_Combinational_Circuits.ppt Slides]<br />
|}<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Marc Riedel]] and [http://paradise.caltech.edu/bruck.html Shuki Bruck]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.sigda.org/iwls/iwls2004/ IEEE/ACM Int'l Workshop on Logic and Synthesis], Orange County, CA, 2003<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/c/ce/Riedel_Bruck_Cyclic_Combinational_Circuits_Analysis_for_Synthesis.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/c/ce/Riedel_Bruck_Cyclic_Combinational_Circuits_Analysis_for_Synthesis.pdf Paper]<br />
| width="70" align="center" | <br />
<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 />
<br> [http://mriedel.ece.umn.edu/files/Riedel_Cyclic_Combinational_Circuits_Analysis_for_Synthesis.ppt Slides]<br />
|}<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Marc Riedel]] and [http://paradise.caltech.edu/bruck.html Shuki Bruck]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www2.dac.com/40th/index.html ACM/EDAC/IEEE Design Automation Conference], Anahiem, CA, 2003<br>(winner of '''DAC Best Paper Award''').<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/b/bc/Riedel_Bruck_The_Synthesis_of_Cyclic_Combinational_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/b/bc/Riedel_Bruck_The_Synthesis_of_Cyclic_Combinational_Circuits.pdf Paper]<br />
| width="70" align="center" | <br />
<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 />
<br> [http://mriedel.ece.umn.edu/files/Riedel_Cyclic_Combinational_Circuits.ppt Slides]<br />
|}<br />
<br />
== Algorithms and Data Structures==<br />
<br />
{|<br />
| rowspan="2" | <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- <br />
| '''authors''':<br />
| [[John Backes]] and [[Marc Riedel]]<br />
|- <br />
| '''presented&nbsp;at''':<br />
| [http://www.date-conference.com/ IEEE/ACM Design Automation & Test in Europe], Grenoble, France, 2013<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/c/c0/Backes_Riedel_Using_Cubes_of_Non-State_Variables_With_Property_Directed_Reachability.pdf http://cctbio.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/c/c0/Backes_Riedel_Using_Cubes_of_Non-State_Variables_With_Property_Directed_Reachability.pdf Paper]<br />
| width="70" align="center" | <br />
<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 />
<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]<br />
|}<br />
{|<br />
| rowspan="2" | <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- <br />
| '''authors''':<br />
| [[John Backes]] and [[Marc Riedel]]<br />
|- <br />
| '''presented&nbsp;at''':<br />
| [http://iwls.org/ IEEE/ACM International Workshop on Logic Synthesis], La Jolla, CA, 2011<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/2/27/Backes_Riedel_Resolution_Proofs_As_A_Data_Structure_For_Logic_Synthesis.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/b/b6/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/5/5e/Iwls2011final_final.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/images/f/f1/Backes_Riedel_Resolution_Proofs_as_a_Data_Structure_for_Logic_Synthesis.ppt Slides]<br />
|}<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[John Backes]] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.iccad.com IEEE/ACM International Conference on Computer-Aided Design], San Jose, CA, 2010<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://iwls.org/ IEEE/ACM International Workshop on Logic Synthesis], Irvine, CA, 2010 <br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://cadbio.com/wiki/images/b/b6/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/b/b6/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf Paper]<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/0/00/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/images/0/00/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.ppt Slides]<br />
|}<br />
<br />
== Mathematics ==<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Mustafa Altun]] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''appeared in''':<br />
| [https://link.springer.com/article/10.1007/s10255-017-0633-x Acta Mathematicae Applicatae Sinica], Vol. 33, No. 1, pp. 43–52, 2017<br />
|}<br />
| width="70" align="center" |<br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/1/19/Altun_Riedel_A_Study_on_Monotone_Self-Dual_Boolean_Functions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/1/19/Altun_Riedel_A_Study_on_Monotone_Self-Dual_Boolean_Functions.pdf Paper]<br />
|}<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top" <br />
| '''authors''':<br />
| [[Weikang Qian]], [[Marc Riedel]], and [http://dms.umontreal.ca/Professeurs/rosenb/index.html Ivo Rosenberg]<br />
|- valign="top"<br />
| '''appeared&nbsp;in''':<br />
| [http://www.elsevier.com/locate/dam Journal of Discrete Applied Mathematics], Vol. 193, pp. 11&ndash;38, 2015 <br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
|[http://www.sigda.org/iwls/iwls2010/ IEEE/ACM International Workshop on Logic and Synthesis], Irvine, CA, 2010<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[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><br />
[//mriedel.ece.umn.edu/wiki/images/c/cb/Qian_Riedel_Rosenberg_Synthesizing_Cubes_to_Satisfy_a_Given_Intersection_Pattern.pdf Paper]<br />
| width="70" align="center" |<br />
<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 />
<br> [http://mriedel.com/wiki/images/5/5b/Qian_Riedel_Synthesizing_Cubes_to_Satisfy_a_Given_Intersection_Pattern.ppt Slides]<br />
|}<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/d/d8/Kulkarni_Riedel_Stan_Networks_of_Passive_Oscillators.pdf Networks of Passive Oscillators]<br />
|- valign="top" <br />
| '''authors''':<br />
| Vishwesh V. Kulkarni, [[Marc Riedel]], and [http://www.bg.ic.ac.uk/research/g.stan/ Guy-Bart Stan]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.csl.illinois.edu/allerton/ Allerton Conference], Urbana-Champaign, Illinois, 2011<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/d/d8/Kulkarni_Riedel_Stan_Networks_of_Passive_Oscillators.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/d/d8/Kulkarni_Riedel_Stan_Networks_of_Passive_Oscillators.pdf Paper]<br />
| width="70" align="center" |<br />
<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><br />
[http://mriedel.ece.umn.edu/files/Kulkarni_Riedel_Stan_Networks_of_Passive_Oscillators.ppt Slides]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top" <br />
| '''authors''':<br />
| [[Weikang Qian]], [[Marc Riedel]], and [http://dms.umontreal.ca/Professeurs/rosenb/index.html Ivo Rosenberg]<br />
|- valign="top"<br />
| '''appeared in''':<br />
| [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&ndash;463, 2011<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[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><br />
[//mriedel.ece.umn.edu/wiki/images/a/ab/Qian_Riedel_Rosenberg_Uniform_Approximation_and_Bernstein_Polynomials_with_Coefficients_in_the_Unit_Interval.pdf Paper]<br />
|}<br />
<br><br />
-----<br />
<br><br />
[[Image:website-art-2.gif|center|500px]]<br />
<br />
== Theses ==<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/8/88/Hoffe083_honors_thesis_final_report.pdf Simulating Chemical Reaction Networks for Computing with Naturally-Occurring DNA]<br />
|- valign="top"<br />
| '''author''':<br />
| [[Owen Hoffend]] <br />
|- valign="top"<br />
| '''degree''':<br />
| B.S., [http://www.ece.umn.edu Computer Engineering], [http://www.umn.edu University of Minnesota]<br />
|-<br />
| '''year''':<br />
| 2020. <br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/8/88/Hoffe083_honors_thesis_final_report.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/8/88/Hoffe083_honors_thesis_final_report.pdf Senior Honors Thesis]<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/index.php/File:Owen_hoffend_honors_thesis_final_report.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/index.php/File:Owen_hoffend_honors_thesis_final_report.pptx Slides]<br />
|}<br />
{|<br />
| rowspan="2" | <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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''')<br />
|- <br />
| '''author''':<br />
| [[John Backes]]<br />
|- <br />
| '''degree''':<br />
| Ph.D., [http://www.ece.umn.edu Electrical and Computer Engineering], [http://www.umn.edu University of Minnesota]<br />
|-<br />
| '''year''':<br />
| 2013. <br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://www.mriedel.ece.umn.edu/wiki/images/9/96/Backes_Algorithms_And_Data_Structures_For_Logic_Synthesis_And_Verification_Using_Boolean_Satisfiability.pdf http://cctbio.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[//mriedel.ece.umn.edu/wiki/images/9/96/Backes_Algorithms_And_Data_Structures_For_Logic_Synthesis_And_Verification_Using_Boolean_Satisfiability.pdf Ph.D. Dissertation]<br />
| width="70" align="center" | <br />
<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 />
<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]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top"<br />
| '''author''':<br />
| [[Hua Jiang]] <br />
|- valign="top"<br />
| '''degree''':<br />
| Ph.D., [http://www.ece.umn.edu Electrical Engineering], [http://www.umn.edu University of Minnesota]<br />
|-<br />
| '''year''':<br />
| 2012. <br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/a/ae/Jiang_Digital_Logic_and_Signal_Processing_Computations_with_Molecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/a/ae/Jiang_Digital_Logic_and_Signal_Processing_Computations_with_Molecular_Reactions.pdf Ph.D. Dissertation]<br />
| width="70" align="center" | <br />
<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 />
<br> [http://mriedel.ece.umn.edu/wiki/images/8/87/Jiang_Digital_Logic_and_Signal_Processing_Computations_with_Molecular_Reactions.pptx Slides]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top"<br />
| '''author''':<br />
| [[Mustafa Altun]] <br />
|- valign="top"<br />
| '''degree''':<br />
| Ph.D., [http://www.ece.umn.edu Electrical Engineering], [http://www.umn.edu University of Minnesota]<br />
|-<br />
| '''year''':<br />
| 2012. <br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://www.mriedel.ece.umn.edu/wiki/images/9/92/Altun_Logic_Synthesis_for_Networks_of_Four_Terminal_Switches.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/9/92/Altun_Logic_Synthesis_for_Networks_of_Four_Terminal_Switches.pdf Ph.D. Dissertation]<br />
| width="70" align="center" | <br />
<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 />
<br> [http://www.mriedel.ece.umn.edu/wiki/images/9/97/Altun_Logic_Synthesis_for_Networks_of_Four_Terminal_Switches.ppt Slides]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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''')<br />
|- valign="top"<br />
| '''author''':<br />
| [[Weikang Qian]] <br />
|- valign="top"<br />
| '''degree''':<br />
| Ph.D., [http://www.ece.umn.edu Electrical Engineering], [http://www.umn.edu University of Minnesota]<br />
|-<br />
| '''year''':<br />
| 2011. <br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/3/33/Qian_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/3/33/Qian_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pdf Ph.D. Dissertation]<br />
| width="70" align="center" | <br />
<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 />
<br> [http://mriedel.ece.umn.edu/wiki/images/e/e8/Qian_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.ppt Slides]<br />
|}<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/5/5a/Fett_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf Synthesizing Stochasticity in Biochemical Systems]<br />
|- valign="top"<br />
| '''author''':<br />
| [[Brian Fett]]<br />
|- valign="top" <br />
| '''degree''':<br />
| M.S., [http://r.umn.edu/academics-research/bicb Biomedical Informatics and Computational Biology],<br>[http://www.umn.edu University of Minnesota]<br />
|-<br />
| '''year''':<br />
| 2010. <br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/5/5a/Fett_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br> [//mriedel.ece.umn.edu/wiki/images/5/5a/Fett_Synthesizing_Stochasticity_in_Biochemical_Systems.pdf M.S. Thesis]<br />
| width="70" align="center" | <br />
<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 />
<br> [http://mriedel.ece.umn.edu/wiki/images/9/9c/Fett_Synthesizing_Stochastic_Biochemical_Reactions.ppt Slides]<br />
|}<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top"<br />
| '''author''':<br />
| [[Bin Cheng]] <br />
|- valign="top"<br />
| '''degree''':<br />
| M.S., [http://www.ece.umn.edu Electrical Engineering], [http://www.umn.edu University of Minnesota] <br />
|-<br />
| '''year''':<br />
| 2010. <br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/8/80/Cheng_Stochastic_Transient_Analysis_of_Biochemical_Systems.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br> [//mriedel.ece.umn.edu/wiki/images/3/37/Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.pdf M.S. Thesis]<br />
| width="70" align="center" | <br />
<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 />
<br> [http://mriedel.ece.umn.edu/files/Cheng_Riedel_Stochastic_Transient_Analysis_of_Biochemical_Systems.ppt Slides]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/7/7a/Riedel_Cyclic_Combinational_Circuits.pdf Cyclic Combinational Circuits]<br />
|- valign="top"<br />
| '''author''':<br />
| [[Marc Riedel]] <br />
|- valign="top"<br />
| '''degree''':<br />
| 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)<br />
|-<br />
| '''year''':<br />
| 2004. <br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/7/7a/Riedel_Cyclic_Combinational_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/7/7a/Riedel_Cyclic_Combinational_Circuits.pdf Ph.D. Dissertation]<br />
| width="70" align="center" | <br />
<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 />
<br> [http://mriedel.ece.umn.edu/files/Riedel_Cyclic_Boolean_Circuits.ppt Slides]<br />
|}<br />
<br><br />
-----<br />
<br><br />
[[Image:website-art-4.png|center|500px]]<br />
<br />
== Funding Proposals ==<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top" <br />
| '''Investigators''':<br />
| [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]].<br />
|- valign="top"<br />
| '''Agency''':<br />
| [http://www.nsf.gov/ National Science Foundation]<br />
|- valign="top"<br />
| '''Program''':<br />
| [http://www.nsf.gov/funding/pgm_summ.jsp?pims_id=503301&org=CCF Software and Hardware Foundations]<br />
|- valign="top"<br />
| '''Award''':<br />
| $800,000<br />
|- valign="top"<br />
| '''Duration''':<br />
| 2014 &ndash; 2017<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://cadbio.com/wiki/images/b/b7/Bazargan_Frisbie_Harjani_Lilja_Riedel_Design_in_a_Post-CMOS_Era_when_Transistor_Counts_Matter_Again.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><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]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/e/e6/Riedel_Parhi_Advanced_Digital_Signal_Processing_with_DNA.pdf Advanced Signal Processing with DNA]<br />
|- valign="top" <br />
| '''Investigators''':<br />
| [http://www.ece.umn.edu/users/parhi/ Keshab Parhi] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''Agency''':<br />
| [http://www.nsf.gov/ National Science Foundation]<br />
|- valign="top"<br />
| '''Program''':<br />
| [http://www.nsf.gov/pubs/2011/nsf11557/nsf11557.htm Computing and Communications Foundations].<br />
|- valign="top"<br />
| '''Amount''':<br />
| $300,000<br />
|- valign="top"<br />
| '''Duration''':<br />
| 2014 &ndash; 2017<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://cctbio.ece.umn.edu/wiki/images/e/e6/Riedel_Parhi_Advanced_Digital_Signal_Processing_with_DNA.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/e/e6/Riedel_Parhi_Advanced_Digital_Signal_Processing_with_DNA.pdf Proposal]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top" <br />
| '''Investigators''':<br />
| [[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].<br />
|- valign="top"<br />
| '''Agency''':<br />
| [http://www.nsf.gov/ National Science Foundation]<br />
|- valign="top"<br />
| '''Program''':<br />
| [http://www.nsf.gov/funding/pgm_summ.jsp?pims_id=503301&org=CCF Software and Hardware Foundations]<br />
|- valign="top"<br />
| '''Award''':<br />
| $300,000<br />
|- valign="top"<br />
| '''Duration''':<br />
| 2012 &ndash; 2014<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/3/36/Riedel_Bazargan_Harjani_Lilja_Digital_Yet_Deliberately_Random_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><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]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top" <br />
| '''Investigators''':<br />
| [http://www.ece.umn.edu/users/parhi/ Keshab Parhi] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''Agency''':<br />
| [http://www.nsf.gov/ National Science Foundation]<br />
|- valign="top"<br />
| '''Program''':<br />
| [http://www.nsf.gov/pubs/2011/nsf11557/nsf11557.htm Computing and Communications Foundations]<br />
|- valign="top"<br />
| '''Amount''':<br />
| $400,000<br />
|- valign="top"<br />
| '''Duration''':<br />
| 2011 &ndash; 2014<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[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><br />
[//mriedel.ece.umn.edu/wiki/images/9/93/Parhi_Riedel_Digital_Signal_Processing_with_Biomolecular_Reactions.pdf Proposal]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top" <br />
| '''Investigators''':<br />
| [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]]<br />
|- valign="top"<br />
| '''Agency''':<br />
| [http://www.umn.edu University of Minnesota]<br />
|- valign="top"<br />
| '''Program''':<br />
| [https://www.dtc.umn.edu/dti.php Digital Technology Center Seed Grant].<br />
|- valign="top"<br />
| '''Amount''':<br />
| $100,000<br />
|- valign="top"<br />
| '''Duration''':<br />
| 2011 &ndash; 2012<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[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><br />
[//mriedel.ece.umn.edu/wiki/images/4/49/Kaznessis_Schmidt_Riedel_Computational_Methods_for_Forward_Biological_Engineering.pdf Proposal]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//mriedel.ece.umn.edu/wiki/images/8/8a/Riedel_Computing_with_Things_Small_Wet_and_Random_Design_Automation_for_Digital_Computation_with_Nanoscale_Technologies_and_Biological_Processes.pdf Computing with Things Small, Wet, and Random &ndash; Design Automation for Digital Computation with Nanoscale Technologies and Biological Processes]<br />
|- valign="top" <br />
| '''Investigator''':<br />
| [[Marc Riedel]]<br />
|- valign="top"<br />
| '''Agency''':<br />
| [http://www.nsf.gov/ National Science Foundation]<br />
|- valign="top"<br />
| '''Program''':<br />
| [http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=0845650&WT.z_pims_id NSF CAREER Award]<br />
|- valign="top"<br />
| '''Amount''':<br />
| $500,000<br />
|- valign="top"<br />
| '''Duration''':<br />
| 2009 &ndash; 2014<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/8/8a/Riedel_Computing_with_Things_Small_Wet_and_Random_Design_Automation_for_Digital_Computation_with_Nanoscale_Technologies_and_Biological_Processes.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//mriedel.ece.umn.edu/wiki/images/8/8a/Riedel_Computing_with_Things_Small_Wet_and_Random_Design_Automation_for_Digital_Computation_with_Nanoscale_Technologies_and_Biological_Processes.pdf Proposal]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top" <br />
| '''Investigators''':<br />
| [http://www.ece.umn.edu/users/parhi/ Keshab Parhi] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''Agency''':<br />
| [http://www.nsf.gov/ National Science Foundation]<br />
|- valign="top"<br />
| '''Program''':<br />
| [http://www.nsf.gov/pubs/2011/nsf11557/nsf11557.htm Computing and Communications Foundations].<br />
|- valign="top"<br />
| '''Amount''':<br />
| $200,000<br />
|- valign="top"<br />
| '''Duration''':<br />
| 2009 &ndash; 2011<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[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><br />
[//mriedel.ece.umn.edu/wiki/images/7/7d/Parhi_Riedel_Synthesizing_Signal_Processing_Functions_with_Biochemical_Reactions.pdf Proposal]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top" <br />
| '''Investigators''':<br />
| [[Marc Riedel]] and Tim Mullins (IBM)<br />
|- valign="top"<br />
| '''Agency''':<br />
| [http://www.umn.edu University of Minnesota]<br />
|- valign="top"<br />
| '''Program''':<br />
| [https://r.umn.edu/academics-research/bicb Biomedical Informatics and Computational Biology Traineeships] <br />
|- valign="top"<br />
| '''Amount''':<br />
| $78,000<br />
|- valign="top"<br />
| '''Duration''':<br />
| 2007 &ndash; 2009<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[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><br />
[//mriedel.ece.umn.edu/wiki/images/4/48/Riedel_Tackling_the_Stochastic_Simulation_of_Biochemical_Networks_with_Real_Computing_Power.pdf Proposal]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| 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]<br />
|- valign="top" <br />
| '''Investigator''':<br />
| [[Marc Riedel]]<br />
|- valign="top"<br />
| '''Agency''':<br />
| [http://www.src.org/program/fcrp/ SRC Focus Center Research Program (FCRP)]<br />
|- valign="top"<br />
| '''Program''':<br />
| [http://www.fena.org/ Functional Engineered Nano-Architectonics (FENA)]<br />
|- valign="top"<br />
| '''Amount''':<br />
| $325,000<br />
|- valign="top"<br />
| '''Duration''':<br />
| 2006 &ndash; 2009<br />
|}<br />
| width="70" align="center" | <br />
<span class="plainlinks"><br />
[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><br />
[//mriedel.ece.umn.edu/wiki/images/8/8e/Riedel_Exploiting_Percolation_and_Randomness_in_the_Concurrent_Logical_and_Physical_Design_of_Digital_Nanoscale_Circuits.pdf Proposal]<br />
|}<br />
<br><br />
-----<br />
<br><br />
[[Image:sponsors.gif|center|500px]]</div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:GLSVLSI_Paper.pdf&diff=274696
File:GLSVLSI Paper.pdf
2022-05-02T04:10:31Z
<p>Student: </p>
<hr />
<div>Paper on Scalable Deterministic Approach to Stochastic Computing, presented at GLSVLSI</div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=Papers,_Theses,_and_Slides&diff=268452
Papers, Theses, and Slides
2022-04-07T16:49:10Z
<p>Student: Changed redirect target from Publications and Presentations to Papers, Theses, and Presentations</p>
<hr />
<div>#REDIRECT [[Papers, Theses, and Presentations]]</div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=Arnav_Solanki&diff=261510
Arnav Solanki
2022-03-10T18:15:02Z
<p>Student: /* Papers */</p>
<hr />
<div>[[Image:Arnav_Solanki_profile_image.jpg|200px]]<br />
<br />
== About Me ==<br />
<br />
I am a Ph.D. Student in [http://www.ece.umn.edu Electrical and Computer Engineering] at the [http://www.umn.edu University of Minnesota], advised by Prof. [[Marc Riedel]]. I was born in Jaipur, India. I like learning random facts about space and biology (though I struggle remembering the latter)!<br />
<br />
== Research ==<br />
<br />
My research focus is on Bioinformatics, Cancer Genomics, and DNA computing.<br />
<br />
== Papers ==<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//http://mriedel.ece.umn.edu/wiki/images/e/e6/ISMCO_netMHC.pdf The Role of Hydrophobicity in Peptide-MHC Binding]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Arnav Solanki]], [[Marc Riedel]], [https://orion.math.iastate.edu/cornette/ James Cornette], [[Julia Udell]], Ishaan Koratkar, and [https://www.mayo.edu/research/faculty/vasmatzis-george-ph-d/bio-00027811 George Vasmatzis]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://ismco.net/ 3rd International Symposium on Mathematical and Computational Oncology], 2021<br />
|}<br />
| align="center" width="70" |<br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/e/e6/ISMCO_netMHC.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//http://mriedel.ece.umn.edu/wiki/images/e/e6/ISMCO_netMHC.pdf Paper]<br />
| align="center" width="70" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/8/8b/ISMCO2021.pdf http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br><br />
[http://mriedel.ece.umn.edu/wiki/images/8/8b/ISMCO2021.pdf Slides]<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//http://mriedel.ece.umn.edu/wiki/images/e/e0/DNA27_SIMD_DNA.pdf Parallel Pairwise Operations on Data Stored in DNA: Sorting, Shifting, and Searching]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Tonglin Chen]], [[Arnav Solanki]] and [[Marc Riedel]]<br />
|- valign="top" <br />
| '''presented&nbsp;at''':<br />
| [http://dna27.iopconfs.org/home 27th International Conference on DNA Computing and Molecular Programming], 2021<br />
|}<br />
| align="center" width="70" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/e/e0/DNA27_SIMD_DNA.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[http://mriedel.ece.umn.edu/wiki/images/e/e0/DNA27_SIMD_DNA.pdf Paper]<br />
|}<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [[Media:Qian_Riedel_The_Synthesis_of_Stochastic_Logic_to_Perform_Multivariate_Polynomial_Arithmetic.pdf | Stochastic Computation on DNA strands through Hydroxyl Nicking]]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Arnav Solanki]], [[Tonglin Chen]] and [[Marc Riedel]]<br />
|- valign="top" <br />
| '''presented&nbsp;at''':<br />
| [https://www2.cs.duke.edu/FNANO/ Foundations of Nanoscience: Self-Assembled Architectures and Devices], 2020<br />
|}<br />
| align="center" width="70" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/8/81/FNANO20_Random_Cutting.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[http://mriedel.ece.umn.edu/wiki/images/8/81/FNANO20_Random_Cutting.pdf Paper]<br />
| align="center" width="70" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/2/29/FNANO_poster2020.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/images/2/29/FNANO_poster2020.pdf Poster]<br />
|}<br />
<br />
== Contact ==<br />
Email me at solan053@umn.edu</div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Chen_Solanki_Riedel_Concentration-Based-Polynomial-Calculations-on-Nicked-DNA.pdf&diff=254760
File:Chen Solanki Riedel Concentration-Based-Polynomial-Calculations-on-Nicked-DNA.pdf
2022-02-09T21:44:42Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Marc_Riedel_CV.pdf&diff=254758
File:Marc Riedel CV.pdf
2022-02-09T21:23:15Z
<p>Student: Mriedel uploaded a new version of File:Marc Riedel CV.pdf</p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Qian_Wang_Wang_Riedel_Huang_A_Survey_of_Computation-Driven_Data_Encoding.pdf&diff=254755
File:Qian Wang Wang Riedel Huang A Survey of Computation-Driven Data Encoding.pdf
2022-02-09T20:06:27Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=Main_Page&diff=254746
Main Page
2022-01-25T17:01:30Z
<p>Student: /* Announcements */</p>
<hr />
<div>__FORCETOC__<br />
<br />
A collaborative website for the Circuits and Biology group.<br />
<br />
==About the Group==<br />
<br />
The group consists of [[Marc_Riedel|Prof. Marc Riedel]] and his students in the [http://www.ece.umn.edu Department of Electrical and Computer Engineering] at the [http://www.umn.edu University of Minnesota]. Our research activities encompass topics in logic synthesis and verification, as well as in synthetic and computational biology. A broad theme is the application of expertise from digital circuit design to new areas. <br />
<br />
* See our "[[People]]" page for a list of everyone in the group. <br />
* See our "[[Research]]" page for an overview of our research activities.<br />
* See our "[[Papers,_Theses,_and_Presentations|Publications]]" page for our papers, theses, proposals, and slides.<br />
* See our "[[Tools]]" page for software tools that we have developed.<br />
* See our "[[Teaching]]" page for courses that [[Marc Riedel | Marc]] teaches.<br />
<br />
[[Image:website-art-1.gif|center|none|600px]]<br />
</div><br />
<br />
==Announcements==<br />
<br />
* We received a $100,000 grant from [https://www.seagate.com| Seagate] on DNA storage.<br />
* We received a $200,000 NSF Grant for [https://www.nsf.gov/awardsearch/showAward?AWD_ID=2036064&HistoricalAwards=false| computational work on COVID 19].<br />
* Our paper [[Media:Salehi Liu Riedel Parhi Computation of Mathematical Functions using DNA via Fractional Coding.pdf| Computation of Mathematical Functions using DNA via Fractional via Fractional Coding]] has appeared in [https://www.nature.com/articles/s41598-018-26709-6 Nature Scientific Reports].<br />
* With colleagues from the [https://ece.illinois.edu/directory/profile/milenkov University of Illinois] and the [http://users.ece.utexas.edu/~soloveichik/ University of Texas], we have received a $1.8 million grant from the [https://www.darpa.mil DARPA] [https://www.darpa.mil/program/molecular-informatics Molecular Informatics Program] to pursue research on [[Media:Darpa-grant-storage-with-native-dna.pdf|DNA Storage]].<br />
* [https://sites.google.com/a/umn.edu/mhassannajafi/home M. Hassan Najafi] graduated and has accepted a tenure-track position at the [https://louisiana.edu University of Louisiana].<br />
* [https://www.engr.uky.edu/directory/salehi-sayed-ahmad Ahmad Salehi] graduated and has accepted a tenure-track position at the [https://www.engr.uky.edu University of Kentucky].<br />
* Our paper [[Media:Najafi_Lilja_Riedel_Bazargan_Polysynchronous_Clocking_Exploiting_the_Skew_Tolerance_of_Stochastic_Circuits.pdf | on Polysynchronous Clocking]] was the [https://ieeexplore.ieee.org/document/7911306 IEEE Transaction on Computers] "Feature Paper of the Month."<br />
* Our work on [[Papers,_Theses,_and_Presentations#Computing_with_Random_Bit_Streams | A Deterministic Approach to Stochastic Computing]] has received critical acclaim: it upends the conventional thinking on stochastic computing (a field that we pioneered back in 2008).<br />
* [[Ahmad Salehi|Ahmad]] received the [http://www.grad.umn.edu/fellowships/ddf/ Doctoral Dissertation Fellowship], a prestigious university-wide award for top doctoral candidates at the [http://www.umn.edu University of Minnesota].<br />
* We received two NSF Grants in 2014:<br />
** [[Media:Bazargan_Frisbie_Harjani_Lilja_Riedel_Design_in_a_Post-CMOS_Era_when_Transistor_Counts_Matter_Again.pdf | Back to the Future with Printed, Flexible Electronics –Design in a Post-CMOS Era when Transistor Counts Matter Again]] <br>($800,000 joint with [https://www.ece.umn.edu/~kia/ Kia Bazargan], [http://www.ece.umn.edu/~harjani/ Ramesh Harjani], [http://www.arctic.umn.edu/lilja.shtml David Lilja], and [http://research.cems.umn.edu/frisbie Dan Frisbie])<br />
** [[Media:Riedel_Parhi_Advanced_Digital_Signal_Processing_with_DNA.pdf | Advanced Signal Processing with DNA]]<br>($300,000 joint with [http://www.ece.umn.edu/~parhi/ Keshab Parhi])<br />
* [[John Backes | John]] has earned his Ph.D. He joined [http://www.rockwellcollins.com/ Rockwell Collins] in April, 2013<br />
* [[Mustafa Altun | Mustafa]] has earned his Ph.D. He joined the [http://www.itu.edu.tr/en/ Istanbul Technical University] as an Assistant Professor in September, 2012.<br />
* [[Hua Jiang| Hua]] has earned his Ph.D. He joined [http://www.synopsys.com/ Synopsys] in June, 2012. <br />
* The [http://www.umn.edu/regents/ Board of Regents] of the [http://www.umn.edu University of Minnesota] has conferred [http://regents.umn.edu/sites/default/files/policies/FacultyTenure1.pdf indefinite tenure] on [[Marc Riedel | Marc]] in May, 2012.<br />
* [[John Backes| John]] received the [http://www.grad.umn.edu/fellowships/ddf/ Doctoral Dissertation Fellowship], a prestigious university-wide award for top doctoral candidates at the [http://www.umn.edu University of Minnesota], in May, 2012.<br />
* Our group received a $400,000 grant from the [[Papers,_Theses,_and_Presentations#Funding Proposals | NSF Computing and Communications Foundations Program]] in May, 2012. <br />
* [[Weikang Qian | Weikang]] has earned his Ph.D. He joined the [http://umji.sjtu.edu.cn University of Michigan&ndash;Shanghai Jiao Tong University Joint Institute] as an Assistant Professor in September 2011.<br />
* [[Weikang Qian | Weikang]] received the [http://www.grad.umn.edu/fellowships/ddf/ Doctoral Dissertation Fellowship], a prestigious university-wide award for top doctoral candidates, in May, 2010.<br />
* Our group received a $200,000 grant from the [[Papers,_Theses,_and_Presentations#Funding Proposals | NSF Computing and Communications Foundations Program]] in June, 2009.<br />
* Our group received a $500,000 grant with the [[Papers,_Theses,_and_Presentations#Funding Proposals | NSF CAREER Award]], in June, 2009.<br />
* [[Marc Riedel | Marc]] received a [[Papers,_Theses,_and_Presentations#Funding Proposals | NSF CAREER Award]], the National Science Foundation's most prestigious award in support of junior faculty, in June, 2009.<br />
* Our group received a $325,000 grant from the [http://www.fena.org Center on Functional Engineered Nano Architectonics (FENA)], a joint [http://www.src.org Semiconductor Research Corporation (SRC)]/[http://www.defense.gov Department of Defense] research center, in August, 2006.<br />
<br><br />
[[Image:website-art-3.gif|center|none|500px]]</div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:DNA27_Presentation.pdf&diff=254744
File:DNA27 Presentation.pdf
2021-10-17T21:41:32Z
<p>Student: slides</p>
<hr />
<div>== Summary ==<br />
slides</div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=Research&diff=254742
Research
2021-10-17T21:39:27Z
<p>Student: /* Computational Immunology */</p>
<hr />
<div>"''You see things; and you say, 'Why?' But I dream things that never were; and I say, 'Why not?'"&ndash;&ndash;'' '''George Bernard Shaw''' (1856 &ndash;1950)<br />
<br />
Our research spans different disciplines ranging from digital circuit design, to algorithms, to mathematics, to synthetic biology. It tends to be ''inductive'' (as opposed to ''deductive'') and ''conceptual'' (as opposed to ''applied''). A recurring theme is building systems that compute in novel or unexpected ways with new and emerging technologies. Often, the task of ''analyzing'' the way things work in a new technology is straightforward; however the task of ''synthesizing'' new computational constructs is more challenging. <br />
<br />
==Computing with Random Bit Streams==<br />
<br />
"''To invent, all you need is a pile of junk and a good imagination.''" &ndash;&ndash; '''Thomas A. Edison''' (1847&ndash;1931)<br />
<br />
Humans are accustomed to counting in a positional number system &ndash; [http://en.wikipedia.org/wiki/Decimal decimal] radix. Nearly all computer systems operate on another positional number system &ndash; [http://en.wikipedia.org/wiki/Binary_numeral_system binary] radix. From the standpoint of ''representation'', such positional systems are compact: given a radix ''b'', one can represent ''b<sup>n</sup>'' distinct numbers with ''n'' digits. However, from the standpoint of ''computation'', positional systems impose a burden: for each operation such as addition or multiplication, the signal must be "''decoded''", with each digit weighted according to its position. The result must be "''encoded''" back in positional form. Any student who has designed a [http://en.wikipedia.org/wiki/Binary_multiplier binary multiplier] in a course on [[EE2301 | logic design]] can appreciate all the complexity that goes into wiring up such an operation.<br />
<br />
==== Logic that Operates on Probabilities ====<br />
<br />
We advocate an alternative representation: random bit streams where the signal value is encoded by the probability of obtaining a one versus a zero. This representation is much less compact than binary radix. However, complex operations can be performed with very simple logic. For instance, multiplication can be performed with a single AND gate; scaled addition can be performed with a multiplexer (MUX). <br />
<br />
{| align="center"<br />
| [[Image:stochastic-multiplier.png|center|thumb|350px|'''Multiplication''' with an AND gate. Here the variables represents the ''probabilities'' of obtaining a 1 versus a 0 in stochastic bit streams. The AND gate produces an output probability <math>c</math> that is the product of the of the input probabilities <math>a</math> and <math>b</math>.]]<br />
||&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<br />
|| [[Image:stochastic-adder.png|thumb|320px|'''Scaled addition''' with a multiplexer (MUX). <br />
Given input probabilities <math>a</math>, <math>b</math> and <math>s</math>, the MUX produces an output probability <math>c = a s + (1 - s) b</math>.]]<br />
|}<br />
<br />
We have developed a general method for synthesizing digital circuitry that computes on such stochastic bit streams. Our method can be used to synthesize arbitrary polynomial functions. Through polynomial approximations, it can also be used to synthesize non-polynomial functions. Because the representation is uniform, with all bits weighted equally, the resulting circuits are highly tolerant of [http://en.wikipedia.org/wiki/Soft_error soft errors] (i.e., bit flips). <br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [[Media:Qian_Riedel_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pdf | Synthesizing Logical Computation on Stochastic Bit Streams]]<br />
|- valign="top" <br />
| '''authors''':<br />
| [[Weikang Qian]] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''appeared as''':<br />
| Techincal Report, UMN <br />
|- valign="top"<br />
|}<br />
| align="center" width="70" | <br />
<span class="plainlinks"><br />
[http://cadbio.com/wiki/images/6/64/Qian_Riedel_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[[Media:Qian_Riedel_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pdf | Paper]]<br />
| align="center" width="70" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Riedel_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br>[http://mriedel.ece.umn.edu/files/Riedel_Synthesizing_Logical_Computation_on_Stochastic_Bit_Streams.pptx Slides]<br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [[Media:Li_Lilja_Qian_Riedel_Bazargan_Logical_Computation_on_Stochastic_Bit_Streams_with_Linear_Finite_State_Machines.pdf | Logical Computation on Stochastic Bit Streams with Linear Finite State Machines]]<br />
|- valign="top"<br />
| '''authors''':<br />
| [http://www.ece.umn.edu/~lipeng/ Peng Li], [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Weikang Qian]],[http://www.ece.umn.edu/users/kia/ Kia Bazargan] and [[Marc Riedel]] <br />
|- valign="top" <br />
| '''appeared in''':<br />
| [http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6307798 IEEE Transactions on Computers], Vol. 63, No. 6., pp. 1474&ndash;1486, 2014<br />
|- valign="top" <br />
| '''presented at''':<br />
| [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6165056 IEEE/ACM Asia and South Pacific Design Automation Conference],<br>Sydney, Australia, 2012<br />
|}<br />
| align="center" width="70" | <br />
<span class="plainlinks"><br />
[http://cctbio.ece.umn.edu/wiki/images/7/7c/Li_Lilja_Qian_Riedel_Bazargan_Logical_Computation_on_Stochastic_Bit_Streams_with_Linear_Finite_State_Machines.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[[Media:Li_Lilja_Qian_Riedel_Bazargan_Logical_Computation_on_Stochastic_Bit_Streams_with_Linear_Finite_State_Machines.pdf | Paper]]<br />
|}<br />
<br />
====Logic that Generates Probabilities====<br />
<br />
Schemes for probabilistic computation can exploit physical sources to generate random values in the form of bit streams. Generally, each source has a fixed bias and so provides bits that have a specific probability of being one versus zero. If many different probability values are required, it can be difficult or expensive to generate all of these directly from physical sources. In this work, we demonstrate novel techniques for synthesizing combinational logic that transforms a set of ''source'' probabilities into different ''target'' probabilities. <br />
<!--The problem I consider is: given a set ''S'' of ''n'' probabilistic inputs with probabilities ''p''<sub>1</sub>, ..., ''p''<sub><I>n</I></sub> of being one and a target probability ''q'', how can we synthesize a combinational circuit that takes inputs from the set ''S'' and produces an output with probability ''q'' of being one?--><br />
<br />
[[File:Generate_Probabilities_Example.png|center|frame|Given a set ''S'' of source probabilities {0.4, 0.5}, we can synthesize a combinational circuit to generate an arbitrary ''decimal'' output probability. The example shows how to generate 0.119. Each AND gate performs a multiplication and each inverter performs a "one-minus" operation.]]<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [[Media:Qian_Riedel_Zhou_Bruck_Transforming_Probabilities_with_Combinational_Logic.pdf | Transforming Probabilities with Combinational Logic]]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Weikang Qian]], [[Marc Riedel]], [http://paradise.caltech.edu/~hzhou/ Hongchao Zhou], and [http://paradise.caltech.edu/bruck.html Jehoshua Bruck]<br />
|- valign="top"<br />
| '''will appear in''':<br />
| [http://tcad.polito.it/ IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems], 2012.<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.iccad.com/events/eventdetails.aspx?id=106-5-C International Conference on Computer-Aided Design], San Jose, 2009<br>(nominated for '''IEEE/ACM William J. McCalla ICCAD Best Paper Award''').<br />
|}<br />
| align="center" width="70" | <br />
<span class="plainlinks"><br />
[http://cadbio.com/wiki/images/d/db/Qian_Riedel_Zhou_Bruck_Transforming_Probabilities_with_Combinational_Logic.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[[Media:Qian_Riedel_Zhou_Bruck_Transforming_Probabilities_with_Combinational_Logic.pdf | Paper]]<br />
| align="center" width="70" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/files/Qian_Riedel_Bazargan_Lilja_The_Synthesis_of_Combinational_Logic_to_Generate_Probabilities.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/files/Qian_Riedel_Bazargan_Lilja_The_Synthesis_of_Combinational_Logic_to_Generate_Probabilities.ppt Slides]<br />
|}<br />
<br />
====Computing with Crappy Clocks====<br />
<br />
Clock distribution networks are a significant source of power consumption and a major design bottleneck for high-performance circuits. We have proposed a radically new approach: splitting clock domains at a very fine level, with domains consisting of only a handful of gates each. These domains are synchrnonized by "crappy clocks", generated locally with inverter rings. This is feasible if one adopts the paradigm of computing on randomized bit streams. <br />
[[File:polysynchronous-and.png|center|frame|thumb|Stochastic multiplication using an AND gate with unsynchronized random bit streams. The stochastic paradigm can tolerate arbitrarly high clock skew. Accordingly, one can replace an expensive global clock distribution network with cheap local clocks, generated by inverter rings &ndash; "crappy clocks".]]<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [[Media: Najafi_Lilja_Riedel_Bazargan_Polysynchronous_Stochastic_Circuits.pdf | Polysynchronous Stochastic Circuits]]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[M. Hassan_Najafi]], [http://www.arctic.umn.edu/lilja.shtml David Lilja], [[Marc Riedel]], and [http://www.ece.umn.edu/users/kia/ Kia Bazargan]<br />
|- valign="top" <br />
| '''to appear in''':<br />
| [http://www.amsv.umac.mo/aspdac2016/ IEEE/ACM Asia and South Pacific Design Automation Conference], 2016 <br />
|}<br />
| align="center" width="70" | <br />
<span class="plainlinks"><br />
[http://cctbio.ece.umn.edu/wiki/images/e/ec/Najafi_Lilja_Riedel_Bazargan_Polysynchronous_Stochastic_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[[Media:Najafi_Lilja_Riedel_Bazargan_Polysynchronous_Stochastic_Circuits.pdf | Paper]]<br />
|}<br />
<br />
Please see our "[[Papers,_Theses,_and_Presentations |Publications]]" page for more of our papers on these topics.<br />
<br />
==Computing with Molecules==<br />
<br />
“''If I can’t create it, I don’t understand it.''” &ndash;&ndash; '''Richard Feynman''' (1918&ndash;1988)<br />
<br />
The theory of [http://en.wikipedia.org/wiki/Chemical_kinetics mass-action kinetics] underpins our understanding of biological and chemical systems. It is a simple and elegant formalism: molecular reactions define ''rules'' according to which reactants form products; each rule fires at a ''rate'' that is proportional to the quantities of the corresponding reactants that are present. Just as electronic systems implement computation in terms of '''voltage''' (''energy per unit charge''), we can conceive of molecular systems that compute in terms of '''chemical concentrations''' (''molecules per unit volume''). We are studying techniques for implementing a variety of computational constructs with molecular reactions such as logic, memory, arithmetic, and signal processing. Although conceptual, we target [http://pubs.acs.org/doi/pdfplus/10.1021/ja906987s DNA Strand Displacement] as our experimental chassis.<br />
<br><br />
{| align="center"<br />
||<br />
[[Image:molecular-reactions-are-rules.gif|center|thumb|300px|Molecular reactions define ''rules'' according to which reactants form products. Here molecules of type A combine with molecules of type B to form molecules of type C, at a rate proportional to the molecular concentrations of A and B as well as a rate constant ''k''.]]<br />
||<br />
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<br />
||<br />
[[Image:branch-migration.png|center|thumb|300px|We map abstract molecular reactions to DNA reactions. Through a process<br />
called [http://pubs.acs.org/doi/pdfplus/10.1021/ja906987s DNA strand displacement], single strands of DNA displace parts of double strands, releasing other single strands.]] <br />
|}<br />
<br />
'''Computational Constructs'''<br />
<br />
We have developed a strategy for implementing digital logic with molecular reactions. Based on a bistable mechanism for representing bits, we implement a constituent set of logical components, including combinational components such as '''AND''', '''OR''', and '''XOR gates''', as well as sequential components such as '''D latches''' and '''D flip-flops'''. Using these components, we build full-fledged digital circuits such as a ''binary counters'' and ''linear feedback shift registers''. <br />
<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [[Media:Jiang_Riedel_Parhi_Digital_Logic_with_Molecular_Reactions.pdf | Digital Logic with Molecular Reactions]]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Hua Jiang]], [[Marc Riedel]], [http://www.ece.umn.edu/users/parhi Keshab Parhi]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.iccad.com The International Conference on Computer-Aided Design], San Jose, CA, 2013.<br />
|}<br />
| align="center" width="70" | <br />
<span class="plainlinks">[http://cctbio.ece.umn.edu/wiki/images/c/cf/Jiang_Riedel_Parhi_Digital_Logic_with_Molecular_Reactions.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[[Media:Jiang_Riedel_Parhi_Digital_Logic_with_Molecular_Reactions.pdf | Paper]]<br />
|}<br />
<br />
We have developed a strategy for implementing arithmetic with molecular reactions &ndash; operations such as '''increments & decrements''', '''multiplication''', '''logarithms''', and '''exponentiation'''. Try out our [http://mriedel.ece.umn.edu/chem-compiler/chem-compiler.pl compiler]: it translates arbitrary constructs from a '''C-like language''' into a robust implementation with molecular reactions.<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [[Media:Senum_Riedel_Rate-Independent_Constructs_for_Chemical_Computation.pdf | Rate-Independent Constructs for Chemical Computation]]<br />
|- valign="top" <br />
| '''authors''':<br />
| [[Phil Senum]] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''appeared in''':<br />
| [http://dx.plos.org/10.1371/journal.pone.0021414 PLoS ONE], Vol. 6, No. 6, 2011.<br>[[Rate_Independent_Constructs_Supplementary_Information | Supplementary Information]]<br />
|}<br />
| align="center" width="70" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/d/db/Senum_Riedel_Rate-Independent_Constructs_for_Chemical_Computation.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/images/d/db/Senum_Riedel_Rate-Independent_Constructs_for_Chemical_Computation.pdf Paper]<br />
| align="center" width="70" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/d/d2/Senum_Riedel_Rate-Independent_Modules_for_Chemical_Computation.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/images/d/d2/Senum_Riedel_Rate-Independent_Modules_for_Chemical_Computation.pptx Slides]<br />
|}<br />
<br />
We have developed a strategy for implementing signal processing with molecular reactions including operations such as '''filtering'''. We have demonstrated robust designs for [http://en.wikipedia.org/wiki/Finite_impulse_response Finite-Impulse Response (FIR)], [http://en.wikipedia.org/wiki/Infinite_impulse_response Infinite-Impulse Response (IIR)] filters, and [http://en.wikipedia.org/wiki/Fast_Fourier_transform Fast Fourier Transforms (FFTs)]. <br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [[Media:Jiang_Salehi_Riedel_Parhi_Discrete-Time_Signal_Processing_with_DNA.pdf | Discrete-Time Signal Processing with DNA]]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Hua Jiang]], Ahmed Salehi, [[Marc Riedel]] and [http://www.ece.umn.edu/users/parhi Keshab Parhi]<br />
|- valign="top"<br />
| '''appeared&nbsp;in''':<br />
| [http://pubs.acs.org/doi/abs/10.1021/sb300087n ACS Synthetic Biology], Vol. 2 no. 5, pp. 245&ndash;254, 2013.<br>[[Media:Jiang_Salehi_Riedel_Parhi_Discrete-Time_Signal_Processing_with_DNA_Appendix.pdf | Supplementary Information: List of Reactions]]<br />
|- valign="top"<br />
| '''appeared&nbsp;in''':<br />
| [http://www.computer.org/portal/web/dt IEEE Design & Test of Computers], Vol. 29, No. 3, pp. 21&ndash;31, 2012.<br />
|- valign="top"<br />
| '''presented at''':<br />
| [http://www.iccad.com/ IEEE/ACM International Conference on Computer-Aided Design],<br> San Jose, CA, 2010.<br />
|- valign="top"<br />
| '''presented at''':<br />
| [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=7703&copyownerid=8242 IEEE Workshop on Signal Processing Systems], San Francisco, 2010<br />
|}<br />
| align="center" width="70" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/3/36/Jiang_Salehi_Riedel_Parhi_Discrete-Time_Signal_Processing_with_DNA.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/images/3/36/Jiang_Salehi_Riedel_Parhi_Discrete-Time_Signal_Processing_with_DNA.pdf Paper]<br />
| align="center" width="70" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/2/2a/Jiang_Kharam_Riedel_Parhi_Digital_Signal_Processing_with_Biomolecular_Reactions.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/images/2/2a/Jiang_Kharam_Riedel_Parhi_Digital_Signal_Processing_with_Biomolecular_Reactions.pptx Slides]<br />
|}<br />
<br />
<br><br />
{| align="center"<br />
<br />
|<br />
[[Image:dna-logic-gates.gif|center|thumb|450px| Simulations of DNA implementation of logic gates. The input signals are molecular concentrations X and Y; the output signal is a molecular concentration Z. (A) AND gate. (B) OR gate. (C) NOR gate. (D) XOR gate.]] <br />
||<br />
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<br />
||<br />
[[Image:moving-average-filter-simulation.gif|center|thumb|400px|Simulations of DNA implementation of a '''moving-average FIR filter'''. This filter removes the high-frequency component from an input signal, producing an output signal consisting of only the low-frequency component. Here the "signals" are molecular concentrations.]]<br />
|| <br />
|}<br />
<br />
The impetus for this research is not computation ''per se''. Molecular computation will never compete with conventional computers made of [http://en.wikipedia.org/wiki/Integrated_circuit silicon integrated circuits] for tasks such as number crunching. Chemical systems are inherently slow and messy, taking minutes or even hours to finish, and producing fragmented results. Rather, the goal is to create “'''embedded controllers'''” &ndash; viruses and bacteria that are engineered to perform useful molecular computation ''in situ'' where it is needed, for instance for drug delivery and biochemical sensing.<br />
[[Image:embedded-controller.png|center|thumb|350px|Molecular computation is applicable to the design of ''embedded controllers'': engineered bacteria and viruses for tasks such as drug delivery.]]<br />
<br />
Please see our "[[Papers,_Theses,_and_Presentations |Publications]]" page for more of our papers on these topics.<br />
<br />
==Computational Immunology==<br />
<br />
“''Biology is the study of the complex things in the Universe. Physics is the study of the simple ones.''” &ndash;&ndash; '''Richard Dawkins''' (1941&ndash; )<br />
<br />
Cellular immunity allows circulating T-cells to kill off infected cells. When a cell is infected with a virus, it hijacks the host cell’s machinery, forcing it to make viral proteins. Our cells have a defense mechanism: they chop up such proteins into fragments, called peptides, and transport them to the cell surface, bound to MHC I molecules. Presented this way on the cell surface, T-cells can identify a cell as being infected and can destroy it using toxins. If this mechanism succeeds, an infection is stopped in its tracks: T-cells kill off infected cells before they can do damage. If it fails, then infected cells become factories for reproducing copies of the virus and full-blown disease results.<br />
<br><br />
{| align="center"<br />
||<br />
[[Image:Peptide1.PNG|center|thumb|300px|A peptide (in blue) bound to a MHC Class I protein (in yellow).]]<br />
||<br />
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<br />
||<br />
[[Image:Peptide2.PNG|center|thumb|300px|The ends of the peptide bind inside binding pockets, while the connecting backbone extrudes above the binding groove on the surface of the MHC I molecule.]] <br />
|}<br />
<br />
'''Machine Learning Predictions'''<br />
<br />
Predicting peptide-MHC binding is of significance in determining whether a given person's immune system can detect and effectively respond to cellular infections. [https://services.healthtech.dtu.dk/service.php?NetMHC-4.0 NetMHC] and [https://services.healthtech.dtu.dk/service.php?NetMHCpan-4.1 NetMHCpan] are state-of-the-art machine learning based tools used for this purpose. While investigating binding peptides predicted from the SARS-Cov-2 spike protein, we observed certain false positives being predicted as binders. We identified hydrophobicity as a key biochemical factor that was useful for testing the accuracy of these machine learning predictions.<br />
<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [//http://mriedel.ece.umn.edu/wiki/images/e/e6/ISMCO_netMHC.pdf The Role of Hydrophobicity in Peptide-MHC Binding]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Arnav Solanki]], [[Marc Riedel]], [https://orion.math.iastate.edu/cornette/ James Cornette], [[Julia Udell]], [[Ishaan Koratkar]], and [https://www.mayo.edu/research/faculty/vasmatzis-george-ph-d/bio-00027811 George Vasmatzis]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://ismco.net/ 3rd International Symposium on Mathematical and Computational Oncology], 2021<br />
|}<br />
| align="center" width="70" |<br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/e/e6/ISMCO_netMHC.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[//http://mriedel.ece.umn.edu/wiki/images/e/e6/ISMCO_netMHC.pdf Paper]<br />
| align="center" width="70" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/8/8b/ISMCO2021.pdf http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br><br />
[http://mriedel.ece.umn.edu/wiki/images/8/8b/ISMCO2021.pdf Slides]<br />
|}<br />
<br />
'''Mechanistic Simulations'''<br />
<br />
We are currently building a FORTRAN based simulation tool that will model peptide and MHC Class I binding mechanistically, i.e. we will incorporate several biochemical factors pertinent to binding, such as hydrophobicity, van der Waals forces, electrostatic forces, pi-interactions, etc. This work is in collaboration with the Mayo Clinic.<br />
<br />
==Computing with Nanoscale Lattices==<br />
<br />
"''Listen to the technology; find out what it’s telling you.''” &ndash;&ndash; '''Carver Mead''' (1934&ndash;&nbsp;&nbsp;)<br />
<br />
In his seminal Master's Thesis, [http://en.wikipedia.org/wiki/Claude_Shannon Claude Shannon] made the connection between Boolean algebra and switching circuits. He considered '''two-terminal''' switches corresponding to electromagnetic relays. A Boolean function can be implemented in terms of connectivity across a network of switches, often arranged in a series/parallel configuration. We have developed a method for synthesizing Boolean functions with networks of '''four-terminal switches'''. Our model is applicable for variety of nanoscale technologies, such as [http://www.sciencemag.org/content/302/5649/1377.short nanowire crossbar arrays], as [http://en.wikipedia.org/wiki/Molecular_switch molecular switch-based structures].<br />
{| align="center"<br />
|<br />
[[Image:two-terminal.gif|center|thumb|none|315px|Shannon's model: '''two-terminal switches'''. Each switch is either ON (closed) or OFF (open). A Boolean function is implemented in terms of connectivity across a network of switches, between the source S and the drain D.]]<br />
|| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<br />
|| [[Image:four-terminal.gif|center|thumb|none|315px|Our model: '''four-terminal switches'''. Each switch is either mutually connected to its neighbors (ON) or disconnected (OFF). A Boolean function is implemented in terms of connectivity between the top and bottom plates. This network implements the same function as the two-terminal network on the left.]] <br />
|}<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" |'''title''':<br />
| width="500" |[[Media:Altun_Riedel_Logic_Synthesis_for_Switching_Lattices.pdf | Logic Synthesis for Switching Lattices]]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Mustafa Altun]] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''will appear&nbsp;in''':<br />
| [http://www.computer.org/portal/web/tc IEEE Transactions on Computers], 2011.<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.dac.com/47th/index.aspx Design Automation Conference], Anaheim, CA, 2010.<br />
|}<br />
| align="center" width="70" | <br />
<span class="plainlinks"><br />
[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><br />
[[Media:Altun_Riedel_Logic_Synthesis_for_Switching_Lattices.pdf | Paper]]<br />
| align="center" width="70" | <br />
<span class="plainlinks"><br />
[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 />
<br> [http://mriedel.ece.umn.edu/wiki/images/2/28/Altun_Riedel_Lattice-Based_Computation_of_Boolean_Functions.ppt Slides]<br />
|}<br />
<br />
The impetus for nanowire-based technology is the potential density, scalability and manufacturability. Many other novel and emerging technologies fit the general model of four-terminal switches. For instance, researchers are investigating [http://en.wikipedia.org/wiki/Spin_wave spin waves]. A common feature of many emerging technologies for switching networks is that they exhibit high defect rates. <br />
{| align="center"<br />
|<br />
[[Image:nano-crossbar.gif|center|thumb|315px|A nanowire crossbar switch. <br />
The connections between horizontal and vertical<br />
wires are FET-like junctions. When high or low voltages are applied to input nanowires, the<br />
FET-like junctions that cross these develop a high or low impedance, respectively.<br />
]]<br />
|| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<br />
|| [[Image:percolation.gif|center|thumb|315px| In a switching network with defects, percolation can be exploited to produce robust Boolean functionality. Unless the defect rate exceeds an error margin, with high probability no connection forms between the top and bottom plates for logical zero ("OFF"); with high probability, a connection forms for logical one ("ON").]]<br />
|}<br />
We have devised a novel framework for digital computation with lattices of nanoscale switches with high defect rates, based on the mathematical phenomenon of [http://en.wikipedia.org/wiki/Percolation_theory percolation]. With random connectivity, percolation gives rise to a sharp non-linearity in the probability of global connectivity as a function of the probability of local connectivity. We exploit this phenomenon to compute Boolean functions robustly in the presence of defects.<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" |'''title''':<br />
| width="500" |[[Media:Altun_Riedel_Robust_Computation_through_Percolation_Synthesizing_Logic_with_Percolation_in_Nanoscale_Lattices.pdf | Synthesizing Logic with Percolation in Nanoscale Lattices]]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Mustafa Altun]] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''appeared&nbsp;in''':<br />
| [http://www.igi-global.com/Bookstore/TitleDetails.aspx?TitleId=1117&DetailsType=Description/ International Journal of Nanotechnology and Molecular Computation], <br>Vol. 3, No. 2, pp. 12&ndash;30, 2011.<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.dac.com/46th/index.aspx Design Automation Conference], San Francisco, CA, 2009.<br />
|}<br />
| align="center" width="70" | <br />
<span class="plainlinks"><br />
[http://cadbio.com/wiki/images/3/3b/Altun_Riedel_Robust_Computation_through_Percolation_Synthesizing_Logic_with_Percolation_in_Nanoscale_Lattices.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[[Media:Altun_Riedel_Synthesizing_Logic_with_Percolation_in_Nanoscale_Lattices.pdf | Paper]]<br />
| align="center" width="70" | <br />
<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 />
<br> [http://mriedel.ece.umn.edu/wiki/images/f/fe/Altun_Riedel_Neuhauser_Nanoscale_Digital_Computation_Through_Percolation.ppt Slides]<br />
|}<br />
<!-- [[Image:Lattice-defects-percolation.gif|center|thumb|none|700px|In a switching network with defects, percolation can be exploited to produce robust Boolean functionality. Unless the defect rate exceeds an error margin, with high probability, no connection forms between the top and bottom plates for logical zero ("OFF"); with high probability, a connection forms for logical one ("ON").]] --><br />
<br />
Please see our "[[Papers,_Theses,_and_Presentations |Publications]]" page for more of our papers on these topics.<br />
<br />
==Computing with Feedback==<br />
<br />
"''A person with a new idea is a crank until the idea succeeds.''" &ndash;&ndash; '''Mark Twain''' (1835&ndash;1910)<br />
<br />
The accepted wisdom is that [http://en.wikipedia.org/wiki/Combinational_logic combinational circuits] (i.e., memoryless circuits) must have ''acyclic'' (i.e., loop-free or feed-forward) topologies. And yet simple examples suggest that this need not be so. We advocate the design of '''cyclic''' combinational circuits (i.e., circuits with loops or feedback paths). We have proposed a methodology for synthesizing such circuits and demonstrated that it produces significant improvements in area and in delay. <br />
[[Image:cyclic-combinational-circuit.gif|center|thumb|none|550px|A circuit that has feedback and yet is combinational.]]<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [[Media:Riedel_Bruck_Cyclic_Boolean_Circuits.pdf | Cyclic Boolean Circuits]]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[Marc Riedel]] and [http://paradise.caltech.edu/bruck.html Shuki Bruck]<br />
|- valign="top"<br />
| '''appeared &nbsp;in''':<br />
| [http://www.elsevier.com/wps/find/journaldescription.cws_home/505609/description#description Discrete Applied Mathematics], Vol. 160, No. 13&ndash;14, pp. 1877&ndash;1900, 2011.<br />
<br />
|- valign="top"<br />
| '''dissertation''':<br />
| 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).<br />
<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www2.dac.com/40th/index.html Design Automation Conference], Anahiem, CA, 2003<br>(winner of '''DAC Best Paper Award''').<br />
<br />
|}<br />
| align="center" width="70" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/9/94/Riedel_Bruck_Cyclic_Boolean_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[[Media:Riedel_Bruck_Cyclic_Boolean_Circuits.pdf | Paper]]<br />
| align="center" width="70" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/7/7a/Riedel_Cyclic_Combinational_Circuits.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[[Media:Riedel_Cyclic_Combinational_Circuits.pdf | PhD Dissertation]]<br />
| align="center" width="70" | <br />
<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 />
<br> [http://mriedel.ece.umn.edu/files/Riedel_Cyclic_Combinational_Circuits.ppt Slides]<br />
|}<br />
Please see our [[Papers,_Theses,_and_Presentations | Publications]] page for more of our papers on this topic.<br />
<br />
==Algorithms and Data Structures==<br />
<br />
"''There are two kinds of people in the world: those who divide the world into two kinds of people, and those who don't.''" &ndash;&ndash; '''Robert Charles Benchley''' (1889&ndash;1945)<br />
<br />
Consider the task of designing a digital circuit with 256 inputs. From a mathematical standpoint, such a circuit performs mappings from a space of <math>2^{256}</math> Boolean input values to Boolean output values. (The number of rows in a [http://en.wikipedia.org/wiki/Truth_table truth table] for such a function is approximately equal to [http://en.wikipedia.org/wiki/Observable_universe#Matter_content the number of atoms in the universe] &ndash; <math>10^{77}</math> rows versus <math>10^{79}</math> atoms!) Verifying such a function, let alone designing the corresponding circuit, would seem to be an intractable problem. Circuit designers have succeeded in their endeavor largely as a result of innovations in the data structures and algorithms used to represent and manipulate [http://en.wikipedia.org/wiki/Boolean_function Boolean functions]. We have developed novel, efficient techniques for synthesizing functional dependencies based on so-called [http://en.wikipedia.org/wiki/Boolean_satisfiability_problem SAT-solving algorithms]. We use [http://en.wikipedia.org/wiki/Craig_interpolation Craig Interpolation] to generate circuits from the corresponding Boolean functions. <br />
{| align="center"<br />
| [[Image:sat-squid.jpg|center|thumb|350px|A circuit construct for SAT-based verification.]]<br />
||&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<br />
|| [[Image:squid.jpg|thumb|350px|A squid.]]<br />
|}<br />
{|<br />
| <br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [[Media:Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf | Reduction of Interpolants For Logic Synthesis]]<br />
|- valign="top"<br />
| '''authors''':<br />
| [[John Backes]] and [[Marc Riedel]]<br />
|- valign="top"<br />
| '''presented&nbsp;at''':<br />
| [http://www.iccad.com The International Conference on Computer-Aided Design], San Jose, CA, 2010.<br />
|}<br />
| align="center" width="70" | <br />
<span class="plainlinks">[http://cadbio.com/wiki/images/b/b6/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br>[[Media:Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.pdf | Paper]]<br />
| align="center" width="70" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/0/00/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/images/0/00/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.ppt Slides]<br />
|}<br />
Please see our "[[Papers,_Theses,_and_Presentations |Publications]]" page for more of our papers on this topic. (Papers on SAT-based circuit verification, that is, not on squids.)<br />
<br />
==Mathematics==<br />
<br />
"''Mathematics may be defined as the subject in which we never know what we are talking about, nor whether what we are saying is true.''" &ndash;&ndash; '''Bertrand Russell''' (1872&ndash;1970)<br />
<br />
The great mathematician [http://en.wikipedia.org/wiki/John_von_Neumann John von Neumann] articulated the view that research should never meander too far down theoretical paths; it should always be guided by potential applications. This view was not based on concerns about the relevance of his profession; rather, in his judgment, real-world applications give rise to the most ''interesting'' problems for mathematicians to tackle. At their core, most of our research contributions are mathematical contributions. The tools of our trade are [http://en.wikipedia.org/wiki/Discrete_mathematics discrete math], including [http://en.wikipedia.org/wiki/Combinatorics combinatorics] and [http://en.wikipedia.org/wiki/Probability probability theory].<br />
[[Image:papa-handwriting.gif|center|thumb|none|550px|Mathematics, before the era of [http://en.wikipedia.org/wiki/LaTeX LaTeX].]]<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [[Media:Qian_Riedel_Rosenberg_Uniform_Approximation_and_Bernstein_Polynomials_with_Coefficients_in_the_Unit_Interval.pdf | Uniform Approximation and Bernstein Polynomials with<br>Coefficients in the Unit Interval]]<br />
|- valign="top" <br />
| '''authors''':<br />
| [[Weikang Qian]], [[Marc Riedel]], and [http://dms.umontreal.ca/Professeurs/rosenb/index.html Ivo Rosenberg]<br />
|- valign="top"<br />
| '''appeared in''':<br />
| [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&ndash;463, 2011.<br />
|}<br />
| align="center" width="70" | <br />
<span class="plainlinks"><br />
[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><br />
[[Media:Qian_Riedel_Rosenberg_Uniform_Approximation_and_Bernstein_Polynomials_with_Coefficients_in_the_Unit_Interval.pdf | Paper]]<br />
|}<br />
<br />
Please see our "[[Papers,_Theses,_and_Presentations |Publications]]" page for more of our papers on this topic.</div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:ISMCO2021.pdf&diff=254739
File:ISMCO2021.pdf
2021-10-17T21:36:17Z
<p>Student: slides</p>
<hr />
<div>== Summary ==<br />
slides</div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Peptide2.PNG&diff=254731
File:Peptide2.PNG
2021-10-15T18:41:07Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Peptide1.PNG&diff=254730
File:Peptide1.PNG
2021-10-15T18:40:30Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:ISMCO_netMHC.pdf&diff=254728
File:ISMCO netMHC.pdf
2021-10-15T17:20:34Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:VCIP2021_Blind.pdf&diff=254726
File:VCIP2021 Blind.pdf
2021-10-15T17:13:52Z
<p>Student: Paper submitted to VCIP2021, not final camera version</p>
<hr />
<div>== Summary ==<br />
Paper submitted to VCIP2021, not final camera version</div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:DNA27_SIMD_DNA.pdf&diff=254715
File:DNA27 SIMD DNA.pdf
2021-07-20T03:39:30Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:ArtyA7.png&diff=254696
File:ArtyA7.png
2021-05-18T06:42:14Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Dmf.jpg&diff=254695
File:Dmf.jpg
2021-05-18T06:41:54Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=Alex_Shrom&diff=254636
Alex Shrom
2021-04-16T21:16:56Z
<p>Student: </p>
<hr />
<div>[[Image:Ajshrom_long.jpg|300px|''I read books without pictures'']]<br />
<br />
<br />
== About ==<br />
<br />
As of April 1st, 2021 (no kidding), I am a PhD Student in [https://r.umn.edu/academics-research/graduate-programs/bicb Bioinformatics and Computational Biology] at the [http://www.umn.edu University of Minnesota], advised by Prof. Marc Riedel. <br />
<br />
My research project is currently TBD, but I can promise you it will be next-level. You only live once.<br />
<br />
== Contact ==<br />
<br />
Email: shrom006@umn.edu</div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Ajshrom_long.jpg&diff=254631
File:Ajshrom long.jpg
2021-04-16T21:08:50Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Ajshrom.jpg&diff=254627
File:Ajshrom.jpg
2021-04-16T20:51:10Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=Tools&diff=254616
Tools
2021-04-16T04:02:42Z
<p>Student: </p>
<hr />
<div><span class="plain links">[http://cctbio.ece.umn.edu/symbool http://cctbio.ece.umn.edu/wiki/images/3/38/Symbool.gif]</span><br><br />
Description: Symbolic Manipulation of Boolean Expressions<br><br />
Distribution: [http://cctbio.ece.umn.edu/symbool Online]<br><br />
Author: [[Marc Riedel]], [http://www.umn.edu University of Minnesota].<br />
<br />
<span class="plain links">[http://cctbio.ece.umn.edu/aleae http://mriedel.ece.umn.edu/wiki/images/e/ec/Aleae.gif]</span><br><br />
Description: Stochastic Simulation of Chemical Reactions<br><br />
Distribution: [http://cctbio.ece.umn.edu/aleae Online]<br><br />
Author: [[Marc Riedel]], [http://www.umn.edu University of Minnesota].<br />
<br />
<!--<br />
<span class="plain links">[http://cctbio.ece.umn.edu/chem-compiler http://cctbio.ece.umn.edu/wiki/images/c/c9/Logo.png]</span><br><br />
[[Platypus Compiler|<b>P</b>hil's <b>L</b>anugage <b>A</b>nd <b>T</b>oolset to easil<b>Y</b> <b>P</b>rogram <b>U</b>nique <b>S</b>ystems<br>]]<br />
Description: Compilation of C-Like Programs to Chemical Reactions<br><br />
Distribution: [http://cctbio.ece.umn.edu/chem-compiler Online]<br><br />
Author: [[Phil Senum]], [http://www.umn.edu University of Minnesota].<br />
></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Aleae.gif&diff=254614
File:Aleae.gif
2021-04-16T04:01:47Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=MediaWiki:Sidebar&diff=254609
MediaWiki:Sidebar
2021-04-16T03:56:31Z
<p>Student: </p>
<hr />
<div>* navigation<br />
** mainpage | mainpage<br />
** People | People<br />
** Research | Research<br />
** Papers, Theses, and Presentations | Publications<br />
** Tools | Tools<br />
** recentchanges-url | recentchanges</div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=Owen_Hoffend&diff=238528
Owen Hoffend
2020-05-13T05:40:15Z
<p>Student: </p>
<hr />
<div>[[Image:MVIMG 20200126 225801 2.jpg|215px]]<br />
<br />
Hello! I am Owen Hoffend!<br />
<br />
I graduated with a B.S. in Computer Engineering in 2020. Over the course of my undergraduate time at UMN. <br />
I've worked with Marc in the past on designing stochastic logic circuits, via the UMN UROP Program. <br />
I also did my Senior Honors Project with Marc on the topic of DNA computation. My thesis is linked below.<br />
<br />
=== My Senior Honors Thesis ===<br />
{|<br />
|<br />
{| style="background:#F0E68C"<br />
|- valign="top"<br />
| width="100" | '''title''':<br />
| width="500" | [[Media:Hoffe083 honors thesis final report.pdf | Simulating Chemical Reaction Networks for Computing with Naturally-Occurring DNA]]<br />
|- valign="top"<br />
| '''author''':<br />
| [[Owen Hoffend]] <br />
|- valign="top"<br />
| '''degree''':<br />
| B.S., [http://www.ece.umn.edu Computer Engineering], [http://www.umn.edu University of Minnesota]<br />
|-<br />
| '''year''':<br />
| 2020. <br />
|}<br />
| align="center" width="70" | <br />
<span class="plainlinks"><br />
[http://mriedel.ece.umn.edu/wiki/images/8/88/Hoffe083_honors_thesis_final_report.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span><br />
<br><br />
[[Media:Hoffe083 honors thesis final report.pdf | Senior Honors Thesis]]<br />
| align="center" width="70" | <br />
<span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/index.php/File:Owen_hoffend_honors_thesis_final_report.pptx http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span><br />
<br> [http://mriedel.ece.umn.edu/wiki/index.php/File:Owen_hoffend_honors_thesis_final_report.pptx Slides]<br />
|}</div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:MVIMG_20200126_225801_2.jpg&diff=238527
File:MVIMG 20200126 225801 2.jpg
2020-05-13T05:39:41Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Owen_hoffend_honors_thesis_final_report.pptx&diff=238522
File:Owen hoffend honors thesis final report.pptx
2020-05-13T05:18:12Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Hoffe083_honors_thesis_final_report.pdf&diff=238521
File:Hoffe083 honors thesis final report.pdf
2020-05-13T05:17:10Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Van_der_Hangen_Unary_Positional_Computing.pptx&diff=238380
File:Van der Hangen Unary Positional Computing.pptx
2020-05-11T18:44:21Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Van_der_Hagen_Riedel_Unary_Positional_Computing.pdf&diff=238379
File:Van der Hagen Riedel Unary Positional Computing.pdf
2020-05-11T18:43:54Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Najafi_Lilja_Riedel_Bazargan_Power_and_Area_Efficient_Sorting_Networks_using_Unary_Processing.pdf&diff=238377
File:Najafi Lilja Riedel Bazargan Power and Area Efficient Sorting Networks using Unary Processing.pdf
2020-05-11T18:33:02Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Najafi_Lilja_Riedel_Deterministic_Methods_for_Stochastic_Computing_using_Low-Discrepancy_Sequences_Slides.pdf&diff=238372
File:Najafi Lilja Riedel Deterministic Methods for Stochastic Computing using Low-Discrepancy Sequences Slides.pdf
2020-05-11T17:45:41Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Najafi_Lilja_Riedel_Deterministic_Methods_for_Stochastic_Computing_using_Low-Discrepancy_Sequences.pdf&diff=238367
File:Najafi Lilja Riedel Deterministic Methods for Stochastic Computing using Low-Discrepancy Sequences.pdf
2020-05-11T17:34:25Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Yadu_kiran.jpg&diff=238357
File:Yadu kiran.jpg
2020-05-11T17:16:50Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Owen_hoffend_profile_image.jpg&diff=238353
File:Owen hoffend profile image.jpg
2020-05-11T17:15:06Z
<p>Student: Mriedel moved page File:Owen hoffend profile image.jpg to File:Owen Hoffend.jpg</p>
<hr />
<div>#REDIRECT [[File:Owen Hoffend.jpg]]</div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Owen_Hoffend.jpg&diff=238352
File:Owen Hoffend.jpg
2020-05-11T17:15:06Z
<p>Student: Mriedel moved page File:Owen hoffend profile image.jpg to File:Owen Hoffend.jpg</p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Riedel-deterministic-approaches-to-bitstream-computing.pdf&diff=238333
File:Riedel-deterministic-approaches-to-bitstream-computing.pdf
2020-05-11T16:45:07Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Qian-riedel-synthesis-of-polynomials.pdf&diff=238326
File:Qian-riedel-synthesis-of-polynomials.pdf
2020-05-11T16:16:29Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:FNANO20_Random_Cutting.pdf&diff=237405
File:FNANO20 Random Cutting.pdf
2020-05-02T02:21:07Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:FNANO_poster2020.pdf&diff=237403
File:FNANO poster2020.pdf
2020-05-02T02:05:20Z
<p>Student: Poster for FNANO 2020.</p>
<hr />
<div>== Summary ==<br />
Poster for FNANO 2020.</div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Najafi_Jenson_Lilja_Riedel_Performing_Stochastic_Computation_Deterministically.pdf&diff=235946
File:Najafi Jenson Lilja Riedel Performing Stochastic Computation Deterministically.pdf
2020-04-13T02:17:11Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Arnav_Solanki_profile_image.jpg&diff=233491
File:Arnav Solanki profile image.jpg
2020-02-05T20:56:08Z
<p>Student: </p>
<hr />
<div></div>
Student
http://mriedel.ece.umn.edu/wiki/index.php?title=File:Chen_Riedel_Parallel_Binary_Sorting_and_Shifting_with_DNA.pdf&diff=233484
File:Chen Riedel Parallel Binary Sorting and Shifting with DNA.pdf
2020-01-25T04:48:10Z
<p>Student: Abstracts on SIMDNA structure, appeared on IWBDA 2019</p>
<hr />
<div>== Summary ==<br />
Abstracts on SIMDNA structure, appeared on IWBDA 2019</div>
Student