Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Natural Computing
Erschienen in: Natural Computing 1/2011

01.03.2011

Strand algebras for DNA computing

verfasst von: Luca Cardelli

Erschienen in: Natural Computing | Ausgabe 1/2011

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We present a process algebra for DNA computing, discussing compilation of other formal systems into the algebra, and compilation of the algebra into DNA structures.
Vorheriger Artikel NP-completeness of the energy barrier problem without pseudoknots and temporary arcs
Nächster Artikel Complexity-preserving simulations among three variants of accepting networks of evolutionary processors

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Literatur
Angluin D, Aspnes J, Diamadi Z, Fischer MJ, Peralta R (2006) Computation in networks of passively mobile finite-state sensors. Distrib Comput 18:235–253
Benenson Y, Paz-Elizur T, Adar R, Keinan E, Livneh Z, Shapiro E (2001) Programmable and autonomous computing machine made of biomolecules. Nature 414:430–434
Berry G, Boudol G (1989) The chemical abstract machine. In: Proceedings of the 17th POPL, ACM, pp 81–94
Cardelli L (2009) Artificial biochemistry. In: Condon A, Harel D, Kok JN, Salomaa A, Winfree E (eds) Algorithmic bioprocesses. Springer, Berlin
Cardelli L (2009) Strand algebras for DNA computing (preliminary version). In: DNA computing and molecular programming, 15th International conference, DNA 15. LNCS 5877. Springer, pp 12–24
Cardelli L, Qian L, Soloveichik D, Winfree E (2009) Personal communications
Dirks RM, Bois JS, Schaeffer JM, Winfree E, Pierce NA (2007) Thermodynamic analysis of interacting nucleic acid strands. SIAM Rev 49:65–88MathSciNetMATHCrossRef
Fournet C, Gonthier G (2000) The join calculus: a language for distributed mobile programming. In: Proceedings of the Applied Semantics Summer School (APPSEM), Caminha, 9–15 September
Hagiya M (2004) Towards molecular programming. In: Ciobanu G, Rozenberg G (eds) Modelling in molecular biology. Springer, Heidelberg
Kari L, Konstantinidis S, Sosík P (2005) On properties of bond-free DNA languages. Theor Comput Sci 334(1–3):131–159MATHCrossRef
Marathe A, Condon AE, Corn RM (2001) On combinatorial DNA word design. J Comp Biol 8(3):201–219CrossRef
Milner R (1999) Communicating and mobile systems: the π-calculus. Cambridge University Press, Cambridge
Phillips A, Cardelli L (2009) A programming language for composable DNA circuits. J R Soc Interface 6:S419–S436CrossRef
Qian L, Winfree E (2008) A simple DNA gate motif for synthesizing large-scale circuits. In: Proceedings of the 14th international meeting on DNA computing
Reisig W (1985) Petri nets: an introduction. Springer-Verlag, BerlinMATH
Regev A, Panina EM, Silverman W, Cardelli L, Shapiro E (2004) BioAmbients: an abstraction for biological compartments. Theor Comput Sci 325(1):141–167MathSciNetMATHCrossRef
Sakamoto K, Kiga D, Komiya K, Gouzu H, Yokoyama S, Ikeda S, Sugiyama H, Hagiya M (1999) State transitions by molecules. Biosystems 52:81–91CrossRef
Seelig G, Soloveichik D, Zhang DY, Winfree E (2006) Enzyme-free nucleic acid logic circuits. Science 314:1585–1588
Soloveichik D, Cook M, Winfree E, Bruck J (2008) Computation with finite stochastic chemical reaction networks. Nat Comput 7:615–633MathSciNetMATHCrossRef
Wolkenhauer O, Ullah M, Kolch W, Cho K (2004) Modelling and simulation of intracellular dynamics: choosing an appropriate framework. IEEE Trans Nanobiosci 3:200–207CrossRef
Yin P, Choi HMT, Calvert CR, Pierce NA (2008) Programming biomolecular self-assembly pathways. Nature 451:318–322CrossRef
Yurke B, Mills AP Jr (2003) Using DNA to power nanostructures. Genet Program Evolvable Mach 4(2):111–122
Zavattaro G, Cardelli L (2008) Termination problems in chemical kinetics. In: van Breugel F, Chechik M (eds) CONCUR 2008—concurrency theory, 19th international conference. LNCS 5201. Springer, pp 477–491
Zhang DY, Turberfield AJ, Yurke B, Winfree E (2007) Engineering entropy-driven reactions and networks catalyzed by DNA. Science 318:1121–1125CrossRef
Metadaten
Titel
Strand algebras for DNA computing
verfasst von
Luca Cardelli
Publikationsdatum
01.03.2011
Verlag
Springer Netherlands
Erschienen in
Natural Computing / Ausgabe 1/2011
Print ISSN: 1567-7818
Elektronische ISSN: 1572-9796
DOI
https://doi.org/10.1007/s11047-010-9236-7

Weitere Artikel der Ausgabe 1/2011

Natural Computing 1/2011 Zur Ausgabe

OriginalPaper

Complexity-preserving simulations among three variants of accepting networks of evolutionary processors

OriginalPaper

On discrete models and immunological algorithms for protein structure prediction

OriginalPaper

The quantification of pollutants in drinking water by use of artificial neural networks

OriginalPaper

A hybrid approach for learning concept hierarchy from Malay text using artificial immune network

OriginalPaper

Biocircuit design through engineering bacterial logic gates

OriginalPaper

Design of a biomolecular device that executes process algebra

Premium Partner

    Bildnachweise