✦ LIBER ✦

The Undecidability of the Infinite Ribbon Problem: Implications for Computing by Self-Assembly

✍ Scribed by Adleman, Leonard; Kari, Jarkko; Kari, Lila; Reishus, Dustin; Sosik, Petr

Book ID: 118181044
Publisher: Society for Industrial and Applied Mathematics
Year: 2009
Tongue: English
Weight: 467 KB
Volume: 38
Category: Article
ISSN: 0097-5397
DOI: 10.1137/080723971

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Year 2000 computing problem implications

Year 2000 computing problem implications for business and society

✍ Bartlett, J. 📂 Article 📅 1998 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 593 KB

Self-assembly into infinite tapes by 2,7

Self-assembly into infinite tapes by 2,7-disubstituted-1,8-naphthyridines in the solid state

✍ Bailey, Andrew James; Horton, Peter Neil; Grossel, Martin Christopher 📂 Article 📅 2010 🏛 Royal Society of Chemistry 🌐 English ⚖ 424 KB

On the Computational Complexity of Tile

On the Computational Complexity of Tile Set Synthesis for DNA Self-Assembly

✍ Xiaojun Ma; Lombardi, F. 📂 Article 📅 2009 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 285 KB

Numerical computation of the optimal fee

Numerical computation of the optimal feedback law¶for nonlinear infinite time horizon control problems

✍ W. Prager 📂 Article 📅 2000 🏛 Springer Milan 🌐 English ⚖ 224 KB

Real Computational Universality: The Wor

Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation

✍ Klaus Meer; Martin Ziegler 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 431 KB

The Viability Kernel Algorithm for Compu

The Viability Kernel Algorithm for Computing Value Functions of Infinite Horizon Optimal Control Problems

✍ Jean-Pierre Aubin; Hélène Frankowska 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 222 KB

We characterize in this paper the epigraph of the value function of a discounted infinite horizon optimal control problem as the viability kernel of an auxiliary differential inclusion. Then the viability kernel algorithm applied to this problem provides the value function of the discretized optimal