Computing with cells and atoms: an introduction to quantum, DNA and membrane computing
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
London [u.a.]
Taylor & Francis
2001
|
| Ausgabe: | 1. publ. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 309 S. graph. Darst. |
| ISBN: | 0748408991 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013502312 | ||
| 003 | DE-604 | ||
| 005 | 20031110 | ||
| 007 | t | ||
| 008 | 001219s2001 d||| |||| 00||| eng d | ||
| 020 | |a 0748408991 |9 0-7484-0899-1 | ||
| 035 | |a (OCoLC)248025430 | ||
| 035 | |a (DE-599)BVBBV013502312 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 | ||
| 050 | 0 | |a QA76.889 | |
| 082 | 0 | |a 004.1 |2 21 | |
| 084 | |a ST 152 |0 (DE-625)143596: |2 rvk | ||
| 100 | 1 | |a Calude, Cristian |d 1952- |e Verfasser |0 (DE-588)120988259 |4 aut | |
| 245 | 1 | 0 | |a Computing with cells and atoms |b an introduction to quantum, DNA and membrane computing |c Cristian S. Calude ; Gheorghe Păun |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a London [u.a.] |b Taylor & Francis |c 2001 | |
| 300 | |a X, 309 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Atomen |2 gtt | |
| 650 | 7 | |a Cellen (biologie) |2 gtt | |
| 650 | 7 | |a DNA |2 gtt | |
| 650 | 7 | |a Kwantumcomputers |2 gtt | |
| 650 | 7 | |a Membranen |2 gtt | |
| 650 | 7 | |a Molecular modelling |2 gtt | |
| 650 | 4 | |a Ordinateurs moléculaires | |
| 650 | 4 | |a Ordinateurs quantiques | |
| 650 | 7 | |a Wiskundige modellen |2 gtt | |
| 650 | 4 | |a Molecular computers | |
| 650 | 4 | |a Quantum computers | |
| 650 | 0 | 7 | |a Quantencomputer |0 (DE-588)4533372-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Biocomputer |0 (DE-588)4270224-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Biocomputer |0 (DE-588)4270224-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Quantencomputer |0 (DE-588)4533372-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Păun, Gheorghe |d 1950- |e Verfasser |0 (DE-588)140913912 |4 aut | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009216286&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009216286 | |
Datensatz im Suchindex
| _version_ | 1806142867690749952 |
|---|---|
| adam_text |
COMPUTING WITH CELLS AND ATOMS AN INTRODUCTION TO QUANTUM, DNA AND
MEMBRANE COMPUTING CRISTIAN S. CALUDE GHEORGHE PAUN LONDON AND NEW YORK
CONTENTS PREFACE VII 1 PREREQUISITES 1 1.1 PRELIMINARY NOTIONS AND
NOTATIONS 1 1.2 OPERATIONS ON STRINGS AND LANGUAGES 2 1.3 A GENERAL
COMPUTING FRAMEWORK 3 1.4 CHOMSKY GRAMMARS 8 1.5 LINDENMAYER SYSTEMS 10
1.6 AUTOMATA AND TRANSDUCERS 11 1.7 CHARACTERIZATIONS OF COMPUTABLY
ENUMERABLE LANGUAGES . . 14 1.8 UNIVERSAL TURING MACHINES AND TYPE-0
GRAMMARS 16 1.9 COMPLEXITY 19 1.10 BIBLIOGRAPHICAL NOTES 21 2 DNA
COMPUTING 23 2.1 THE STRUCTURE OF DNA 23 2.2 COMPLEMENTARITY INDUCES
COMPUTATIONAL COMPLETENESS . 26 2.3 OPERATIONS ON DNA MOLECULES 30 2.4
ADLEMAN'S EXPERIMENT 36 2.5 OTHER DNA SOLUTIONS TO NP COMPLETE PROBLEMS
43 2.6 A TWO-DIMENSIONAL GENERALIZATION 50 2.7 COMPUTING BY CARVING 55
2.8 STICKER SYSTEMS 64 2.9 EXTENDED H SYSTEMS 77 2.10 CONTROLLED H
SYSTEMS 86 2.11 DISTRIBUTED H SYSTEMS 95 2.12 BIBLIOGRAPHICAL NOTES .
106 3 MEMBRANE COMPUTING 109 3.1 P SYSTEMS WITH LABELLED MEMBRANES 110
3.2 EXAMPLES 117 3.3 THE POWER OF P SYSTEMS 121 3.4 DECIDABILITY RESULTS
127 VI CONTENTS 3.5 REWRITING P SYSTEMS 131 3.6 P SYSTEMS WITH POLARIZED
MEMBRANES 135 3.7 NORMAL FORMS 144 3.8 P SYSTEMS ON ASYMMETRIC GRAPHS
154 3.9 P SYSTEMS WITH ACTIVE MEMBRANES 156 3.10 SPLICING P SYSTEMS 168
3.11 VARIANTS, PROBLEMS, CONJECTURES 176 3.12 BIBLIOGRAPHICAL NOTES 178
4 QUANTUM COMPUTING 179 4.1 THE CHURCH-TURING THESIS 179 4.2 COMPUTATION
IS PHYSICAL 181 4.3 REVERSIBLE COMPUTATION 183 4.4 THE COPY COMPUTER 186
"4.5 MAXWELL'S DEMON 187 4.6 QUANTUM WORLD 189 4.7 BITS AND QUBITS 190
4.8 QUANTUM CALCULUS 191 4.9 QUBIT EVOLUTION 195 4.10 NO CLONING THEOREM
203 4.11 MEASUREMENTS 204 4.12 ZENO MACHINES 206 4.13 INEXHAUSTIBLE
UNCERTAINTY 209 4.14 RANDOMNESS 213 4.15 THE EPR CONUNDRUM AND BELL'S
THEOREM 216 4.16 QUANTUM LOGIC 223 4.17 HAVE QUANTUM PROPOSITIONS
CLASSICAL MEANING? 226 4.18 QUANTUM COMPUTERS 234 4.19 QUANTUM
ALGORITHMS 241 4.20 QUANTUM COMPLEXITY 263 4.21 QUANTUM CRYPTOGRAPHY 272
"" 4.22 INFORMATION AND TELEPORTATION 274 4.23 COMPUTING THE
UNCOMPUTABLE? 279 4.24 BIBLIOGRAPHICAL NOTES 280 5 FINAL REMARKS 283
BIBLIOGRAPHY 285 INDEX 307 |
| any_adam_object | 1 |
| author | Calude, Cristian 1952- Păun, Gheorghe 1950- |
| author_GND | (DE-588)120988259 (DE-588)140913912 |
| author_facet | Calude, Cristian 1952- Păun, Gheorghe 1950- |
| author_role | aut aut |
| author_sort | Calude, Cristian 1952- |
| author_variant | c c cc g p gp |
| building | Verbundindex |
| bvnumber | BV013502312 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.889 |
| callnumber-search | QA76.889 |
| callnumber-sort | QA 276.889 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 152 |
| ctrlnum | (OCoLC)248025430 (DE-599)BVBBV013502312 |
| dewey-full | 004.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.1 |
| dewey-search | 004.1 |
| dewey-sort | 14.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV013502312</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20031110</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">001219s2001 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0748408991</subfield><subfield code="9">0-7484-0899-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248025430</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013502312</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.889</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.1</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 152</subfield><subfield code="0">(DE-625)143596:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Calude, Cristian</subfield><subfield code="d">1952-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120988259</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computing with cells and atoms</subfield><subfield code="b">an introduction to quantum, DNA and membrane computing</subfield><subfield code="c">Cristian S. Calude ; Gheorghe Păun</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Taylor & Francis</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 309 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Atomen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Cellen (biologie)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">DNA</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kwantumcomputers</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Membranen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Molecular modelling</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ordinateurs moléculaires</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ordinateurs quantiques</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wiskundige modellen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Molecular computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Quantum computers</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Quantencomputer</subfield><subfield code="0">(DE-588)4533372-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Biocomputer</subfield><subfield code="0">(DE-588)4270224-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Biocomputer</subfield><subfield code="0">(DE-588)4270224-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Quantencomputer</subfield><subfield code="0">(DE-588)4533372-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Păun, Gheorghe</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)140913912</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009216286&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009216286</subfield></datafield></record></collection> |
| id | DE-604.BV013502312 |
| illustrated | Illustrated |
| indexdate | 2024-08-01T00:27:44Z |
| institution | BVB |
| isbn | 0748408991 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009216286 |
| oclc_num | 248025430 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | X, 309 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Taylor & Francis |
| record_format | marc |
| spelling | Calude, Cristian 1952- Verfasser (DE-588)120988259 aut Computing with cells and atoms an introduction to quantum, DNA and membrane computing Cristian S. Calude ; Gheorghe Păun 1. publ. London [u.a.] Taylor & Francis 2001 X, 309 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Atomen gtt Cellen (biologie) gtt DNA gtt Kwantumcomputers gtt Membranen gtt Molecular modelling gtt Ordinateurs moléculaires Ordinateurs quantiques Wiskundige modellen gtt Molecular computers Quantum computers Quantencomputer (DE-588)4533372-5 gnd rswk-swf Biocomputer (DE-588)4270224-0 gnd rswk-swf Biocomputer (DE-588)4270224-0 s DE-604 Quantencomputer (DE-588)4533372-5 s Păun, Gheorghe 1950- Verfasser (DE-588)140913912 aut GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009216286&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Calude, Cristian 1952- Păun, Gheorghe 1950- Computing with cells and atoms an introduction to quantum, DNA and membrane computing Atomen gtt Cellen (biologie) gtt DNA gtt Kwantumcomputers gtt Membranen gtt Molecular modelling gtt Ordinateurs moléculaires Ordinateurs quantiques Wiskundige modellen gtt Molecular computers Quantum computers Quantencomputer (DE-588)4533372-5 gnd Biocomputer (DE-588)4270224-0 gnd |
| subject_GND | (DE-588)4533372-5 (DE-588)4270224-0 |
| title | Computing with cells and atoms an introduction to quantum, DNA and membrane computing |
| title_auth | Computing with cells and atoms an introduction to quantum, DNA and membrane computing |
| title_exact_search | Computing with cells and atoms an introduction to quantum, DNA and membrane computing |
| title_full | Computing with cells and atoms an introduction to quantum, DNA and membrane computing Cristian S. Calude ; Gheorghe Păun |
| title_fullStr | Computing with cells and atoms an introduction to quantum, DNA and membrane computing Cristian S. Calude ; Gheorghe Păun |
| title_full_unstemmed | Computing with cells and atoms an introduction to quantum, DNA and membrane computing Cristian S. Calude ; Gheorghe Păun |
| title_short | Computing with cells and atoms |
| title_sort | computing with cells and atoms an introduction to quantum dna and membrane computing |
| title_sub | an introduction to quantum, DNA and membrane computing |
| topic | Atomen gtt Cellen (biologie) gtt DNA gtt Kwantumcomputers gtt Membranen gtt Molecular modelling gtt Ordinateurs moléculaires Ordinateurs quantiques Wiskundige modellen gtt Molecular computers Quantum computers Quantencomputer (DE-588)4533372-5 gnd Biocomputer (DE-588)4270224-0 gnd |
| topic_facet | Atomen Cellen (biologie) DNA Kwantumcomputers Membranen Molecular modelling Ordinateurs moléculaires Ordinateurs quantiques Wiskundige modellen Molecular computers Quantum computers Quantencomputer Biocomputer |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009216286&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT caludecristian computingwithcellsandatomsanintroductiontoquantumdnaandmembranecomputing AT paungheorghe computingwithcellsandatomsanintroductiontoquantumdnaandmembranecomputing |