×

Found 85 Documents (Results 1–85)

Lower bound for scalable Byzantine agreement. (English) Zbl 1314.68144

Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC ’06, Denver, CO, USA, July 23–26, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-384-0). 285-291 (2006).
MSC:  68Q17 68M14 68M15 68Q05 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Operational semantics and rewriting logic in membrane computing. (English) Zbl 1273.68201

Mosses, Peter (ed.) et al., Proceedings of the 2nd workshop on structural operational semantics (SOS 2005), Lisbon, Portugal, July 10, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 156, No. 1, 57-78 (2006).
MSC:  68Q55 68Q05 68Q10 68Q42
PDFBibTeX XMLCite
Full Text: Link

Does Church-Turing thesis apply outside computer science? (English) Zbl 1204.68092

Dumas, Jean-Guillaume (ed.), Transgressive computing 2006. A conference in honor of Jean Della Dora, Granada, España, April 24–26, 2006. Proceedings. Granada: Universidad de Granada (ISBN 84-689-8381-0/pbk). 15-18 (2006).
MSC:  68Q05 68Q10
PDFBibTeX XMLCite

Analysis and simulation of dynamics in probabilistic P systems. (English) Zbl 1234.68116

Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 236-247 (2006).
MSC:  68Q10 68Q05
PDFBibTeX XMLCite
Full Text: DOI

Linearizer and doubler: Two mappings to unify molecular computing models based on DNA complementarity. (English) Zbl 1234.68115

Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 224-235 (2006).
MSC:  68Q10 68Q05
PDFBibTeX XMLCite
Full Text: DOI

Communicating distributed H systems: Optimal results with efficient ways of communication. (English) Zbl 1234.68114

Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 181-192 (2006).
MSC:  68Q10 68Q05
PDFBibTeX XMLCite
Full Text: DOI

Efficient algorithm for testing structure freeness of finite set of biomolecular sequences. (English) Zbl 1234.68113

Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 171-180 (2006).
MSC:  68Q10 68Q05 68Q25 92D20
PDFBibTeX XMLCite
Full Text: DOI

On bounded symport/antiport P systems. (English) Zbl 1234.68112

Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 129-143 (2006).
MSC:  68Q10 68Q05 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Counting time in computing with cells. (English) Zbl 1234.68111

Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 112-128 (2006).
MSC:  68Q10 68Q05
PDFBibTeX XMLCite
Full Text: DOI

Simple operations for gene assembly. (English) Zbl 1234.68110

Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 96-111 (2006).
MSC:  68Q10 68Q05 68R10 92D10
PDFBibTeX XMLCite
Full Text: DOI

An algorithm for SAT without an extraction phase. (English) Zbl 1234.68457

Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 67-80 (2006).
MSC:  68W05 68Q05 68Q10
PDFBibTeX XMLCite
Full Text: DOI

DNA recombination by XPCR. (English) Zbl 1234.68109

Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 55-66 (2006).
MSC:  68Q10 68Q05
PDFBibTeX XMLCite
Full Text: DOI

On computational properties of template-guided DNA recombination. (English) Zbl 1234.68108

Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 27-37 (2006).
MSC:  68Q10 68Q05
PDFBibTeX XMLCite
Full Text: DOI

Recognizing DNA splicing. (English) Zbl 1234.68107

Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 12-26 (2006).
MSC:  68Q10 68Q05 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Self-correcting self-assembly: Growth models and the Hammersley process. (English) Zbl 1234.68106

Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 1-11 (2006).
MSC:  68Q10 68Q05 68Q87
PDFBibTeX XMLCite
Full Text: DOI

DNA computing. 12th international meeting on DNA computing, DNA12, Seoul, Korea, June 5–9, 2006. Revised selected papers. (English) Zbl 1131.68011

Lecture Notes in Computer Science 4287. Berlin: Springer (ISBN 978-3-540-49024-1/pbk). xii, 440 p. (2006).
MSC:  68-06 68Q10 68Q05 00B25
PDFBibTeX XMLCite
Full Text: DOI

On the complexity of the “most general” firing squad synchronization problem. (English) Zbl 1136.68343

Durand, Bruno (ed.) et al., STACS 2006. 23rd annual symposium on theoretical aspects of computer science, Marseille, France, February 23–25, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-32301-3/pbk). Lecture Notes in Computer Science 3884, 696-711 (2006).
MSC:  68M14 68M12 68Q05 68Q10 68Q25 68R10
PDFBibTeX XMLCite
Full Text: DOI

Optimizing potential information transfer with self-referential memory. (English) Zbl 1126.68434

Calude, C. S. (ed.) et al., Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38593-6/pbk). Lecture Notes in Computer Science 4135, 228-242 (2006).
MSC:  68Q05 68Q10 92D20 94A15
PDFBibTeX XMLCite
Full Text: DOI

On pure catalytic P systems. (English) Zbl 1126.68431

Calude, C. S. (ed.) et al., Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38593-6/pbk). Lecture Notes in Computer Science 4135, 152-165 (2006).
MSC:  68Q05 68Q10
PDFBibTeX XMLCite
Full Text: DOI

Flexible versus rigid tile assembly. (English) Zbl 1126.68430

Calude, C. S. (ed.) et al., Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38593-6/pbk). Lecture Notes in Computer Science 4135, 139-151 (2006).
MSC:  68Q05 68Q10 52C20 92D20
PDFBibTeX XMLCite
Full Text: DOI

Chemical information processing devices constructed using a nonlinear medium with controlled excitability. (English) Zbl 1126.68429

Calude, C. S. (ed.) et al., Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38593-6/pbk). Lecture Notes in Computer Science 4135, 130-138 (2006).
MSC:  68Q05 68Q10 94C10
PDFBibTeX XMLCite
Full Text: DOI

On spiking neural P systems and partially blind counter machines. (English) Zbl 1126.68428

Calude, C. S. (ed.) et al., Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38593-6/pbk). Lecture Notes in Computer Science 4135, 113-129 (2006).
MSC:  68Q05 68Q10
PDFBibTeX XMLCite
Full Text: DOI

Handling Markov chains with membrane computing. (English) Zbl 1126.68427

Calude, C. S. (ed.) et al., Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38593-6/pbk). Lecture Notes in Computer Science 4135, 72-85 (2006).
MSC:  68Q05 68Q10
PDFBibTeX XMLCite
Full Text: DOI Link

Peptide computing – universality and theoretical model. (English) Zbl 1126.68426

Calude, C. S. (ed.) et al., Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38593-6/pbk). Lecture Notes in Computer Science 4135, 57-71 (2006).
MSC:  68Q05 68Q10 92C40
PDFBibTeX XMLCite
Full Text: DOI

Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. (English) Zbl 1123.68004

Lecture Notes in Computer Science 4135. Berlin: Springer (ISBN 978-3-540-38593-6/pbk). x, 266 p. (2006).
MSC:  68-06 68Q05 68Q10 00B25
PDFBibTeX XMLCite
Full Text: DOI

Unifying probability. (English) Zbl 1186.68197

Dunne, Steve (ed.) et al., Unifying theories of programming. First international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5–7, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-34750-7/pbk). Lecture Notes in Computer Science 4010, 173-199 (2006).
MSC:  68Q05 68N30 68Q10 68Q87 81P68 94A60
PDFBibTeX XMLCite
Full Text: DOI

A design-based model of reversible computation. (English) Zbl 1186.68201

Dunne, Steve (ed.) et al., Unifying theories of programming. First international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5–7, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-34750-7/pbk). Lecture Notes in Computer Science 4010, 63-83 (2006).
MSC:  68Q05 68N30 68Q10
PDFBibTeX XMLCite
Full Text: DOI

On a probabilistic chemical abstract machine and the expressiveness of Linda languages. (English) Zbl 1196.68081

de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1–4, 2005. Revised lectures. Berlin: Springer (ISBN 3-540-36749-7/pbk). Lecture Notes in Computer Science 4111, 388-407 (2006).
MSC:  68Q05 68Q10 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Membrane systems with external control. (English) Zbl 1187.68227

Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 215-232 (2006).
MSC:  68Q10 68Q05
PDFBibTeX XMLCite
Full Text: DOI Link

Computing with genetic gates, proteins, and membranes. (English) Zbl 1187.68229

Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 250-265 (2006).
MSC:  68Q10 68Q05
PDFBibTeX XMLCite
Full Text: DOI

Extended spiking neural P systems. (English) Zbl 1187.68221

Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 123-134 (2006).
MSC:  68Q10 68Q05
PDFBibTeX XMLCite
Full Text: DOI

Infinite hierarchies of conformon-P systems. (English) Zbl 1187.68234

Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 395-408 (2006).
MSC:  68Q10 68Q05
PDFBibTeX XMLCite
Full Text: DOI Link

Characterizations of some restricted spiking neural P systems. (English) Zbl 1187.68238

Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 424-442 (2006).
MSC:  68Q10 68Q05 68Q45
PDFBibTeX XMLCite
Full Text: DOI Link

P systems with symport/antiport and time. (English) Zbl 1187.68241

Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 463-476 (2006).
MSC:  68Q10 68Q05
PDFBibTeX XMLCite
Full Text: DOI

Tissue P systems with communication modes. (English) Zbl 1187.68225

Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 170-182 (2006).
MSC:  68Q10 68Q05
PDFBibTeX XMLCite
Full Text: DOI

A case study in (mem)brane computation: generating squares of natural numbers. (English) Zbl 1187.68228

Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 233-249 (2006).
MSC:  68Q10 68Q05
PDFBibTeX XMLCite
Full Text: DOI

P machines: an automata approach to membrane computing. (English) Zbl 1187.68231

Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 314-329 (2006).
MSC:  68Q10 68Q05 68Q45
PDFBibTeX XMLCite
Full Text: DOI

P colonies with a bounded number of cells and programs. (English) Zbl 1187.68232

Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 352-366 (2006).
MSC:  68Q10 68Q05
PDFBibTeX XMLCite
Full Text: DOI

Computational completeness of tissue P systems with conditional uniport. (English) Zbl 1187.68244

Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 521-535 (2006).
MSC:  68Q10 68Q05
PDFBibTeX XMLCite
Full Text: DOI

Arithmetics with P-machines. (English) Zbl 1119.68104

Grebenicov, E. (ed.) et al., CERMCS international conference of young scientists affiliated to the international conference on computer algebra in scientific computing 2006, (CASC 2006), Chişinău, Moldova, September 11–15, 2006. Communications. Chişinău: State University of Moldova, Centre of Education and Research in Mathematics and Computer Science, CERMCS; Chişinău: Tech. Univ. of Moldova (ISBN 978-9975-70-677-3/pbk). 86-92 (2006).
MSC:  68Q45 68Q05 68Q10
PDFBibTeX XMLCite

Encodings and arithmetic operations in membrane computing. (English) Zbl 1178.68252

Cai, Jin-Yi (ed.) et al., Theory and applications of models of computation. Third international conference, TAMC 2006, Beijing, China, May 15–20, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34021-1/pbk). Lecture Notes in Computer Science 3959, 621-630 (2006).
MSC:  68Q05 68Q10
PDFBibTeX XMLCite
Full Text: DOI

Upper and lower bounds for the computational power of P systems with mobile membranes. (English) Zbl 1145.68414

Beckmann, Arnold (ed.) et al., Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35466-2/pbk). Lecture Notes in Computer Science 3988, 526-535 (2006).
MSC:  68Q05 68Q10 68Q17
PDFBibTeX XMLCite
Full Text: DOI

How can nature help us compute? (English) Zbl 1175.68159

Wiedermann, Jiří (ed.) et al., SOFSEM 2006: Theory and practice of computer science. 32nd conference on current trends in theory and practice of computer science, Měřín, Czech Republic, January 21–27, 2006. Proceedings. Berlin: Springer (ISBN 3-540-31198-X/pbk). Lecture Notes in Computer Science 3831, 1-13 (2006).
MSC:  68Q05 68Q10
PDFBibTeX XMLCite
Full Text: DOI

Symbol/membrane complexity of P systems with symport/antiport rules. (English) Zbl 1135.68398

Freund, Rudolf (ed.) et al., Membrane computing. 6th international workshop, WMC 2005, Vienna, Austria, July 18–21, 2005. Revised selected and invited papers. Berlin: Springer (ISBN 3-540-30948-9/pbk). Lecture Notes in Computer Science 3850, 96-113 (2006).
MSC:  68Q10 68Q05
PDFBibTeX XMLCite
Full Text: DOI

On evolutionary lineages of membrane systems. (English) Zbl 1135.68424

Freund, Rudolf (ed.) et al., Membrane computing. 6th international workshop, WMC 2005, Vienna, Austria, July 18–21, 2005. Revised selected and invited papers. Berlin: Springer (ISBN 3-540-30948-9/pbk). Lecture Notes in Computer Science 3850, 67-78 (2006).
MSC:  68Q10 68Q05 92D15
PDFBibTeX XMLCite
Full Text: DOI

On deterministic catalytic systems. (English) Zbl 1172.68473

Farré, Jacques (ed.) et al., Implementation and application of automata. 10th international conference, CIAA 2005, Sophia Antipolis, France, June 27–29, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-31023-1/pbk). Lecture Notes in Computer Science 3845, 163-175 (2006).
MSC:  68Q05 68Q10 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Fundamentals of natural computing. Basic concepts, algorithms, and applications. (English) Zbl 1130.68059

Chapman & Hall/CRC Computer and Information Science Series. Boca Raton, FL: Chapman & Hall/CRC (ISBN 1-58488-643-9/hbk). xxxi, 662 p. (2006).
MSC:  68Q05 68-01 68Q10 68T05 92B20
PDFBibTeX XMLCite

DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. (English) Zbl 1096.68002

Lecture Notes in Computer Science 3892. Berlin: Springer (ISBN 3-540-34161-7/pbk). xi, 440 p. (2006).
MSC:  68-06 68Q10 68Q05 00B25
PDFBibTeX XMLCite

Automata theory with modern applications. With contributions by Tom Head. (English) Zbl 1127.68049

Cambridge: Cambridge University Press (ISBN 0-521-61324-8/pbk; 0-521-84887-3/hbk; 978-0-511-60720-2/ebook). viii, 255 p. (2006).
MSC:  68Q45 68-01 68Q05 68Q10 68Q42 68Q70 68R15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 3

Main Field

Software