Computing with cells: advances in membrane computing
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Oxford [u.a.]
Oxford Univ. Press
2009
|
| Ausgabe: | 1. publ. |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | XI, 345 S. Ill., graph. Darst. |
| ISBN: | 9780199542864 0199542864 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV025567680 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 100417s2009 ad|| |||| 00||| eng d | ||
| 020 | |a 9780199542864 |9 978-0-19-954286-4 | ||
| 020 | |a 0199542864 |9 0-19-954286-4 | ||
| 035 | |a (OCoLC)601756469 | ||
| 035 | |a (DE-599)BVBBV025567680 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 | ||
| 082 | 0 | |a 511.3 | |
| 084 | |a ST 152 |0 (DE-625)143596: |2 rvk | ||
| 100 | 1 | |a Frisco, Pierluigi |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Computing with cells |b advances in membrane computing |c Pierluigi Frisco |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Oxford [u.a.] |b Oxford Univ. Press |c 2009 | |
| 300 | |a XI, 345 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index | ||
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020166376&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020166376 | ||
Datensatz im Suchindex
| _version_ | 1804142744527962112 |
|---|---|
| adam_text | COMPUTING WITH CELLS ADVANCES IN MEMBRANE COMPUTING PIERLUIGI FRISCO
HERIOT-WATT UNIVERSITY SCHOOL OF MATHEMATICAL AND COMPUTER SCIENCES
RICCARTON CAMPUS, EDINBURGH EH14 4AS UNITED KINGDOM OXJFORD UNIVERSITY
PRESS CONTENTS 1. 2. 3. 4. 5. INTRODUCTION 1.1 1.2 1.3 FROM CLERKS TO
COMPUTERS FROM CELLS TO COMPUTERS BIBLIOGRAPHICAL NOTES BIOLOGY: AN
INTRODUCTION TO MEMBRANES IN. CELLS 2.1 2.2 2.3 THE LIPID BILAYER
MEMBRANES IN CELLS BIBLIOGRAPHICAL NOTES THEORETICAL COMPUTER SCIENCE:
AN INTRODUCTION 3.1 3.2 3.3 3.4 3.5 3.6 3.7 3.8 3.9 PETRI 4.1 4.2 4.3
4.4 4.5 4.6 4.7 4.8 PRELIMINARIES FORMAL GRAMMARS LINDENRNAYER SYSTEMS
REGISTER MACHINES UNIQUE-SUM SETS GRAPHS TOPOLOGY AND OPERATIONAL MODES
OF MEMBRANE SYSTEMS ABOUT SIMULATIONS BIBLIOGRAPHICAL NOTES NETS BASIC
DEFINITIONS FOUR EQUIVALENT FEATURES ABOUT GAMBLING ON THE COMPUTING
POWER OF BUILDING BLOCKS VECTOR ADDITION SYSTEMS P/T SYSTEMS AND
MEMBRANE SYSTEMS FINAL REMARKS AND RESEARCH TOPICS BIBLIOGRAPHICAL NOTES
SYMPORT/ANTIPORT 5.1 5.2 BIOLOGICAL MOTIVATIONS BASIC DEFINITIONS 1 1 2
3 5 5 7 9 11 11 14 17 19 23 23 25 27 29 31 31 41 46 47 61 62 63 65 67 67
68 X CONTENTS 5.3 EXAMPLES 70 5.4 P SYSTEMS WITH SYMPORT/ANTIPORT AND
P/T SYSTEMS 72 5.5 MINIMAL DEGREE AND WEIGHT 74 5.6 FOLLOWING THE TRACES
89 5.7 COUNTING TRANSITIONS 91 5.8 SMALL NUMBER OF SYMBOLS 92 5.9
ACCEPTING SYSTEMS 100 5.10 BOUNDED SYSTEMS 102 5.11 RESTRICTED MODELS
AND SEMILINEAR SETS 103 5.12 SYMPORT/ANTIPORT OF MULTISET REWRITING
RULES 109 5.13 TISSUE P SYSTEMS 117 5.14 FROM PREVIOUS PROOFS 120 5.15
NEW PROOFS 121 5.16 FINAL REMARKS AND RESEARCH TOPICS 126 5.17
BIBLIOGRAPHICAL NOTES 129 6. CATALYSTS 133 6.1 BIOLOGICAL MOTIVATIONS
133 6.2 BASIC DEFINITIONS 134 6.3 EXAMPLES 136 6.4 P SYSTEMS WITH
CATALYSTS AND P/T SYSTEMS 139 6.5 DETERMINISTIC P SYSTEMS WITH CATALYSTS
OF DEGREE 1 143 6.6 CATALYTIC P SYSTEMS OF DEGREE 1 147 6.7 FINAL
REMARKS AND RESEARCH TOPICS 153 6.8 BIBLIOGRAPHICAL NOTES 154 7. SPIKING
157 7.1 BIOLOGICAL MOTIVATIONS 157 7.2 BASIC DEFINITIONS 159 7.3
EXAMPLES 164 7.4 SPIKING P SYSTEMS AND P/T SYSTEMS 171 7.5 FINITE AND
SEMILINEAR SETS OF NUMBERS 173 7.6 RECURSIVE ENUMERABLE SETS OF NUMBERS
176 7.7 INFINITE OUTPUT AND ASTROCYTES 188 7.8 FINAL REMARKS AND
RESEARCH TOPICS 191 7.9 BIBLIOGRAPHICAL NOTES 192 8. CONFORMONS 195 8.1
BASIC DEFINITIONS 195 8.2 EXAMPLES 198 8.3 MODULES OF CONFORMON P
SYSTEMS 202 CONTENTS XI 8.4 CONFORMON P SYSTEMS AND P/T SYSTEMS 208 8.5
ONE AND TWO INFINITE ELEMENTS 209 8.6 INFINITE HIERARCHIES 218 8.7 FINAL
REMARKS AND RESEARCH TOPICS 223 8.8 BIBLIOGRAPHICAL NOTES 225 9.
SPLICING 227 9.1 BIOLOGICAL BACKGROUND 227 9.2 FROM BIOLOGICAL TO FORMAL
SPLICING 233 9.3 BASIC DEFINITIONS 236 9.4 EXAMPLES 238 9.5
ROTATE-AND-SIMULATE 240 9.6 COMPUTATIONAL POWER 243 9.7 IMMEDIATE
COMMUNICATION 252 9.8 DIRECT UNIVERSAL SPLICING P SYSTEM 255 9.9 FINAL
REMARKS AND RESEARCH TOPICS 262 9.10 BIBLIOGRAPHICAL NOTES 263 10.
DYNAMIC TOPOLOGICAL STRUCTURES 265 10.1 BIOLOGICAL MOTIVATIONS 265 10.2
BASIC DEFINITIONS 266 . 10.3 EXAMPLES 275 10.4 TRADING SPACE FOR TIME
278 10.5 ABOUT THE CLASSES P AND NP 281 10.6 USING POLARITIES 293 10.7
THE POWER OF DISSOLUTION RULES 297 10.8 ABOUT PSPACE-COMPLETE PROBLEMS
304 10.9 BRANE CALCULI 309 10.10 FROM BRANE CALCULI TO MEMBRANE
COMPUTING 310 10.11 FINAL REMARKS AND RESEARCH TOPICS 315 10.12
BIBLIOGRAPHICAL NOTES 315 BIBLIOGRAPHY 319 INDEX 339
|
| any_adam_object | 1 |
| author | Frisco, Pierluigi |
| author_facet | Frisco, Pierluigi |
| author_role | aut |
| author_sort | Frisco, Pierluigi |
| author_variant | p f pf |
| building | Verbundindex |
| bvnumber | BV025567680 |
| classification_rvk | ST 152 |
| ctrlnum | (OCoLC)601756469 (DE-599)BVBBV025567680 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01191nam a2200325 c 4500</leader><controlfield tag="001">BV025567680</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100417s2009 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199542864</subfield><subfield code="9">978-0-19-954286-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0199542864</subfield><subfield code="9">0-19-954286-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)601756469</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV025567680</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-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</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">Frisco, Pierluigi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computing with cells</subfield><subfield code="b">advances in membrane computing</subfield><subfield code="c">Pierluigi Frisco</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford [u.a.]</subfield><subfield code="b">Oxford Univ. Press</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 345 S.</subfield><subfield code="b">Ill., 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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS 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=020166376&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020166376</subfield></datafield></record></collection> |
| id | DE-604.BV025567680 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:36:38Z |
| institution | BVB |
| isbn | 9780199542864 0199542864 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020166376 |
| oclc_num | 601756469 |
| open_access_boolean | |
| owner | DE-11 |
| owner_facet | DE-11 |
| physical | XI, 345 S. Ill., graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Oxford Univ. Press |
| record_format | marc |
| spelling | Frisco, Pierluigi Verfasser aut Computing with cells advances in membrane computing Pierluigi Frisco 1. publ. Oxford [u.a.] Oxford Univ. Press 2009 XI, 345 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references and index HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020166376&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Frisco, Pierluigi Computing with cells advances in membrane computing |
| title | Computing with cells advances in membrane computing |
| title_auth | Computing with cells advances in membrane computing |
| title_exact_search | Computing with cells advances in membrane computing |
| title_full | Computing with cells advances in membrane computing Pierluigi Frisco |
| title_fullStr | Computing with cells advances in membrane computing Pierluigi Frisco |
| title_full_unstemmed | Computing with cells advances in membrane computing Pierluigi Frisco |
| title_short | Computing with cells |
| title_sort | computing with cells advances in membrane computing |
| title_sub | advances in membrane computing |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020166376&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT friscopierluigi computingwithcellsadvancesinmembranecomputing |