Formal Descriptions of Developing Systems:
A cutting-edge survey of formal methods directed specifically at dealing with the deep mathematical problems engendered by the study of developing systems, in particular dealing with developing phase spaces, changing components, structures and functionalities, and the problem of emergence. Several p...
Gespeichert in:
| Weitere beteiligte Personen: | , , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
2003
|
| Schriftenreihe: | NATO Science Series, Series II: Mathematics, Physics and Chemistry
121 |
| Schlagwörter: | |
| Links: | https://doi.org/10.1007/978-94-010-0064-2 https://doi.org/10.1007/978-94-010-0064-2 |
| Zusammenfassung: | A cutting-edge survey of formal methods directed specifically at dealing with the deep mathematical problems engendered by the study of developing systems, in particular dealing with developing phase spaces, changing components, structures and functionalities, and the problem of emergence. Several papers deal with the modelling of particular experimental situations in population biology, economics and plant and muscle developments in addition to purely theoretical approaches. Novel approaches include differential inclusions and viability theory, growth tensors, archetypal dynamics, ensembles with variable structures, and complex system models. The papers represent the work of theoreticians and experimental biologists, psychologists and economists. The areas covered embrace complex systems, the development of artificial life, mathematics, computer science, biology and psychology |
| Umfang: | 1 Online-Ressource (XIV, 306 p) |
| ISBN: | 9789401000642 |
| DOI: | 10.1007/978-94-010-0064-2 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV045152214 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 180828s2003 xx o|||| 00||| eng d | ||
| 020 | |a 9789401000642 |9 978-94-010-0064-2 | ||
| 024 | 7 | |a 10.1007/978-94-010-0064-2 |2 doi | |
| 035 | |a (ZDB-2-CMS)978-94-010-0064-2 | ||
| 035 | |a (OCoLC)1050947166 | ||
| 035 | |a (DE-599)BVBBV045152214 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 | ||
| 082 | 0 | |a 570.285 |2 23 | |
| 084 | |a SK 960 |0 (DE-625)143275: |2 rvk | ||
| 084 | |a WD 9200 |0 (DE-625)148253: |2 rvk | ||
| 245 | 1 | 0 | |a Formal Descriptions of Developing Systems |c edited by James Nation, Irina Trofimova, John D. Rand, William Sulis |
| 246 | 1 | 3 | |a Proceedings of the NATO Advanced Research Workshop, held in Manoa, Hawaii, U.S.A., 2-6 October 2002 |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 2003 | |
| 300 | |a 1 Online-Ressource (XIV, 306 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a NATO Science Series, Series II: Mathematics, Physics and Chemistry |v 121 | |
| 520 | |a A cutting-edge survey of formal methods directed specifically at dealing with the deep mathematical problems engendered by the study of developing systems, in particular dealing with developing phase spaces, changing components, structures and functionalities, and the problem of emergence. Several papers deal with the modelling of particular experimental situations in population biology, economics and plant and muscle developments in addition to purely theoretical approaches. Novel approaches include differential inclusions and viability theory, growth tensors, archetypal dynamics, ensembles with variable structures, and complex system models. The papers represent the work of theoreticians and experimental biologists, psychologists and economists. The areas covered embrace complex systems, the development of artificial life, mathematics, computer science, biology and psychology | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Mathematical and Computational Biology | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Systems Theory, Control | |
| 650 | 4 | |a Economic Theory/Quantitative Economics/Mathematical Methods | |
| 650 | 4 | |a Developmental Biology | |
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Developmental biology | |
| 650 | 4 | |a System theory | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Biomathematics | |
| 650 | 4 | |a Economic theory | |
| 650 | 0 | 7 | |a Vorhersagetheorie |0 (DE-588)4188671-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Methodologie |0 (DE-588)4139716-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Methodologie |0 (DE-588)4139716-2 |D s |
| 689 | 0 | 1 | |a Vorhersagetheorie |0 (DE-588)4188671-9 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Nation, James |4 edt | |
| 700 | 1 | |a Trofimova, Irina |4 edt | |
| 700 | 1 | |a Rand, John D. |4 edt | |
| 700 | 1 | |a Sulis, William |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781402015687 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-010-0064-2 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-CMS | ||
| 940 | 1 | |q ZDB-2-CMS_2000/2004 | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-030541882 | |
| 966 | e | |u https://doi.org/10.1007/978-94-010-0064-2 |l DE-703 |p ZDB-2-CMS |q ZDB-2-CMS_2000/2004 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1818984463170797568 |
|---|---|
| any_adam_object | |
| author2 | Nation, James Trofimova, Irina Rand, John D. Sulis, William |
| author2_role | edt edt edt edt |
| author2_variant | j n jn i t it j d r jd jdr w s ws |
| author_facet | Nation, James Trofimova, Irina Rand, John D. Sulis, William |
| building | Verbundindex |
| bvnumber | BV045152214 |
| classification_rvk | SK 960 WD 9200 |
| collection | ZDB-2-CMS |
| ctrlnum | (ZDB-2-CMS)978-94-010-0064-2 (OCoLC)1050947166 (DE-599)BVBBV045152214 |
| dewey-full | 570.285 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 570 - Biology |
| dewey-raw | 570.285 |
| dewey-search | 570.285 |
| dewey-sort | 3570.285 |
| dewey-tens | 570 - Biology |
| discipline | Biologie Mathematik |
| doi_str_mv | 10.1007/978-94-010-0064-2 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03401nam a2200661zcb4500</leader><controlfield tag="001">BV045152214</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">180828s2003 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401000642</subfield><subfield code="9">978-94-010-0064-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-010-0064-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-CMS)978-94-010-0064-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1050947166</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045152214</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">570.285</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 960</subfield><subfield code="0">(DE-625)143275:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">WD 9200</subfield><subfield code="0">(DE-625)148253:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal Descriptions of Developing Systems</subfield><subfield code="c">edited by James Nation, Irina Trofimova, John D. Rand, William Sulis</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Proceedings of the NATO Advanced Research Workshop, held in Manoa, Hawaii, U.S.A., 2-6 October 2002</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 306 p)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">NATO Science Series, Series II: Mathematics, Physics and Chemistry</subfield><subfield code="v">121</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">A cutting-edge survey of formal methods directed specifically at dealing with the deep mathematical problems engendered by the study of developing systems, in particular dealing with developing phase spaces, changing components, structures and functionalities, and the problem of emergence. Several papers deal with the modelling of particular experimental situations in population biology, economics and plant and muscle developments in addition to purely theoretical approaches. Novel approaches include differential inclusions and viability theory, growth tensors, archetypal dynamics, ensembles with variable structures, and complex system models. The papers represent the work of theoreticians and experimental biologists, psychologists and economists. The areas covered embrace complex systems, the development of artificial life, mathematics, computer science, biology and psychology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical and Computational Biology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems Theory, Control</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Economic Theory/Quantitative Economics/Mathematical Methods</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Developmental Biology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Developmental biology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Biomathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Economic theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Vorhersagetheorie</subfield><subfield code="0">(DE-588)4188671-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Methodologie</subfield><subfield code="0">(DE-588)4139716-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Methodologie</subfield><subfield code="0">(DE-588)4139716-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Vorhersagetheorie</subfield><subfield code="0">(DE-588)4188671-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nation, James</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Trofimova, Irina</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rand, John D.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sulis, William</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781402015687</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-010-0064-2</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-CMS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-CMS_2000/2004</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030541882</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-010-0064-2</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-CMS</subfield><subfield code="q">ZDB-2-CMS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV045152214 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T18:19:24Z |
| institution | BVB |
| isbn | 9789401000642 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030541882 |
| oclc_num | 1050947166 |
| open_access_boolean | |
| owner | DE-703 |
| owner_facet | DE-703 |
| physical | 1 Online-Ressource (XIV, 306 p) |
| psigel | ZDB-2-CMS ZDB-2-CMS_2000/2004 ZDB-2-CMS ZDB-2-CMS_2000/2004 |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer Netherlands |
| record_format | marc |
| series2 | NATO Science Series, Series II: Mathematics, Physics and Chemistry |
| spelling | Formal Descriptions of Developing Systems edited by James Nation, Irina Trofimova, John D. Rand, William Sulis Proceedings of the NATO Advanced Research Workshop, held in Manoa, Hawaii, U.S.A., 2-6 October 2002 Dordrecht Springer Netherlands 2003 1 Online-Ressource (XIV, 306 p) txt rdacontent c rdamedia cr rdacarrier NATO Science Series, Series II: Mathematics, Physics and Chemistry 121 A cutting-edge survey of formal methods directed specifically at dealing with the deep mathematical problems engendered by the study of developing systems, in particular dealing with developing phase spaces, changing components, structures and functionalities, and the problem of emergence. Several papers deal with the modelling of particular experimental situations in population biology, economics and plant and muscle developments in addition to purely theoretical approaches. Novel approaches include differential inclusions and viability theory, growth tensors, archetypal dynamics, ensembles with variable structures, and complex system models. The papers represent the work of theoreticians and experimental biologists, psychologists and economists. The areas covered embrace complex systems, the development of artificial life, mathematics, computer science, biology and psychology Mathematics Mathematical and Computational Biology Mathematical Logic and Foundations Systems Theory, Control Economic Theory/Quantitative Economics/Mathematical Methods Developmental Biology Developmental biology System theory Mathematical logic Biomathematics Economic theory Vorhersagetheorie (DE-588)4188671-9 gnd rswk-swf Methodologie (DE-588)4139716-2 gnd rswk-swf Methodologie (DE-588)4139716-2 s Vorhersagetheorie (DE-588)4188671-9 s 1\p DE-604 Nation, James edt Trofimova, Irina edt Rand, John D. edt Sulis, William edt Erscheint auch als Druck-Ausgabe 9781402015687 https://doi.org/10.1007/978-94-010-0064-2 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Formal Descriptions of Developing Systems Mathematics Mathematical and Computational Biology Mathematical Logic and Foundations Systems Theory, Control Economic Theory/Quantitative Economics/Mathematical Methods Developmental Biology Developmental biology System theory Mathematical logic Biomathematics Economic theory Vorhersagetheorie (DE-588)4188671-9 gnd Methodologie (DE-588)4139716-2 gnd |
| subject_GND | (DE-588)4188671-9 (DE-588)4139716-2 |
| title | Formal Descriptions of Developing Systems |
| title_alt | Proceedings of the NATO Advanced Research Workshop, held in Manoa, Hawaii, U.S.A., 2-6 October 2002 |
| title_auth | Formal Descriptions of Developing Systems |
| title_exact_search | Formal Descriptions of Developing Systems |
| title_full | Formal Descriptions of Developing Systems edited by James Nation, Irina Trofimova, John D. Rand, William Sulis |
| title_fullStr | Formal Descriptions of Developing Systems edited by James Nation, Irina Trofimova, John D. Rand, William Sulis |
| title_full_unstemmed | Formal Descriptions of Developing Systems edited by James Nation, Irina Trofimova, John D. Rand, William Sulis |
| title_short | Formal Descriptions of Developing Systems |
| title_sort | formal descriptions of developing systems |
| topic | Mathematics Mathematical and Computational Biology Mathematical Logic and Foundations Systems Theory, Control Economic Theory/Quantitative Economics/Mathematical Methods Developmental Biology Developmental biology System theory Mathematical logic Biomathematics Economic theory Vorhersagetheorie (DE-588)4188671-9 gnd Methodologie (DE-588)4139716-2 gnd |
| topic_facet | Mathematics Mathematical and Computational Biology Mathematical Logic and Foundations Systems Theory, Control Economic Theory/Quantitative Economics/Mathematical Methods Developmental Biology Developmental biology System theory Mathematical logic Biomathematics Economic theory Vorhersagetheorie Methodologie |
| url | https://doi.org/10.1007/978-94-010-0064-2 |
| work_keys_str_mv | AT nationjames formaldescriptionsofdevelopingsystems AT trofimovairina formaldescriptionsofdevelopingsystems AT randjohnd formaldescriptionsofdevelopingsystems AT suliswilliam formaldescriptionsofdevelopingsystems AT nationjames proceedingsofthenatoadvancedresearchworkshopheldinmanoahawaiiusa26october2002 AT trofimovairina proceedingsofthenatoadvancedresearchworkshopheldinmanoahawaiiusa26october2002 AT randjohnd proceedingsofthenatoadvancedresearchworkshopheldinmanoahawaiiusa26october2002 AT suliswilliam proceedingsofthenatoadvancedresearchworkshopheldinmanoahawaiiusa26october2002 |