Behavioral program synthesis with genetic programming:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
[Cham]
Springer
[2016]
|
| Schriftenreihe: | Studies in computational intelligence
volume 618 |
| Schlagworte: | |
| Online-Zugang: | Klappentext |
| Beschreibung: | XX, 172 Seiten Illustrationen |
| ISBN: | 9783319275635 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV043282036 | ||
| 003 | DE-604 | ||
| 005 | 20160527 | ||
| 007 | t | ||
| 008 | 160115s2016 a||| |||| 00||| eng d | ||
| 020 | |a 9783319275635 |c print |9 978-3-319-27563-5 | ||
| 035 | |a (OCoLC)936060374 | ||
| 035 | |a (DE-599)BVBBV043282036 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-355 | ||
| 050 | 0 | |a Q342 | |
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 100 | 1 | |a Krawiec, Krzysztof |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Behavioral program synthesis with genetic programming |c Krzysztof Krawiec |
| 264 | 1 | |a [Cham] |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a XX, 172 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in computational intelligence |v volume 618 | |
| 650 | 0 | 7 | |a Genetische Programmierung |0 (DE-588)4500172-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verhalten |0 (DE-588)4062860-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Genetische Programmierung |0 (DE-588)4500172-8 |D s |
| 689 | 0 | 1 | |a Verhalten |0 (DE-588)4062860-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-27565-9 |
| 830 | 0 | |a Studies in computational intelligence |v volume 618 |w (DE-604)BV020822171 |9 618 | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028703401&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028703401 | ||
Datensatz im Suchindex
| _version_ | 1804175809132363777 |
|---|---|
| adam_text | Studies in Computational Intelligence 618
Krzysztof Krawiec
Behavioral Program Synthesis with Genetic Programming
Genetic programming (GP) is a popular heuristic methodology of program synthesis with origins in evolutionär} computation. In this generate-and-test approach, candidate programs are iteratively produced and evaluated. The latter involves running programs on tests, where they exhibit complex behaviors reflected in changes of variables, registers, or memory. That behavior not only ultimately determines program output, but may also reveal its hidden qualities and discover important characteristics of the considered synthesis problem, However, the conventional GP is oblivious to most of that information and usually cares only about the number of tests passed by a program. I his evaluation bottleneck leaves search algorithm underinformed about the actual and potential qualities of candidate programs.
This book proposes behavioral program synthesis, a conceptual framework that opens GP to detailed information on program behavior in order to make program synthesis more efficient. Several existing and novel mechanisms subscribing to that perspective to varying extent are presented and discussed, including implicit fitness sharing, semantic GP, co-solvability, trace convergence analysis, pattern-guided program synthesis, and behavioral archives of subprograms. The framework involves several concepts that are new to GP, including execution record, combined trace, and search driver, a generalization of objective function. Empirical evidence gathered in several presented experiments clearly demonstrates the usefulness of behavioral approach. The book contains also an extensive discussion on implications of the behavioral perspective for program synthesis and beyond.
|
| any_adam_object | 1 |
| author | Krawiec, Krzysztof |
| author_facet | Krawiec, Krzysztof |
| author_role | aut |
| author_sort | Krawiec, Krzysztof |
| author_variant | k k kk |
| building | Verbundindex |
| bvnumber | BV043282036 |
| callnumber-first | Q - Science |
| callnumber-label | Q342 |
| callnumber-raw | Q342 |
| callnumber-search | Q342 |
| callnumber-sort | Q 3342 |
| callnumber-subject | Q - General Science |
| classification_rvk | ST 300 |
| ctrlnum | (OCoLC)936060374 (DE-599)BVBBV043282036 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01615nam a2200397 cb4500</leader><controlfield tag="001">BV043282036</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160527 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">160115s2016 a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319275635</subfield><subfield code="c">print</subfield><subfield code="9">978-3-319-27563-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)936060374</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043282036</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</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><subfield code="a">DE-355</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q342</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Krawiec, Krzysztof</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Behavioral program synthesis with genetic programming</subfield><subfield code="c">Krzysztof Krawiec</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Cham]</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 172 Seiten</subfield><subfield code="b">Illustrationen</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="490" ind1="1" ind2=" "><subfield code="a">Studies in computational intelligence</subfield><subfield code="v">volume 618</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Genetische Programmierung</subfield><subfield code="0">(DE-588)4500172-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verhalten</subfield><subfield code="0">(DE-588)4062860-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Genetische Programmierung</subfield><subfield code="0">(DE-588)4500172-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Verhalten</subfield><subfield code="0">(DE-588)4062860-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-319-27565-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in computational intelligence</subfield><subfield code="v">volume 618</subfield><subfield code="w">(DE-604)BV020822171</subfield><subfield code="9">618</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg - ADAM Catalogue Enrichment</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=028703401&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028703401</subfield></datafield></record></collection> |
| id | DE-604.BV043282036 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:22:11Z |
| institution | BVB |
| isbn | 9783319275635 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028703401 |
| oclc_num | 936060374 |
| open_access_boolean | |
| owner | DE-11 DE-355 DE-BY-UBR |
| owner_facet | DE-11 DE-355 DE-BY-UBR |
| physical | XX, 172 Seiten Illustrationen |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Studies in computational intelligence |
| series2 | Studies in computational intelligence |
| spelling | Krawiec, Krzysztof Verfasser aut Behavioral program synthesis with genetic programming Krzysztof Krawiec [Cham] Springer [2016] © 2016 XX, 172 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Studies in computational intelligence volume 618 Genetische Programmierung (DE-588)4500172-8 gnd rswk-swf Verhalten (DE-588)4062860-7 gnd rswk-swf Genetische Programmierung (DE-588)4500172-8 s Verhalten (DE-588)4062860-7 s DE-604 Erscheint auch als Online-Ausgabe 978-3-319-27565-9 Studies in computational intelligence volume 618 (DE-604)BV020822171 618 Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028703401&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Klappentext |
| spellingShingle | Krawiec, Krzysztof Behavioral program synthesis with genetic programming Studies in computational intelligence Genetische Programmierung (DE-588)4500172-8 gnd Verhalten (DE-588)4062860-7 gnd |
| subject_GND | (DE-588)4500172-8 (DE-588)4062860-7 |
| title | Behavioral program synthesis with genetic programming |
| title_auth | Behavioral program synthesis with genetic programming |
| title_exact_search | Behavioral program synthesis with genetic programming |
| title_full | Behavioral program synthesis with genetic programming Krzysztof Krawiec |
| title_fullStr | Behavioral program synthesis with genetic programming Krzysztof Krawiec |
| title_full_unstemmed | Behavioral program synthesis with genetic programming Krzysztof Krawiec |
| title_short | Behavioral program synthesis with genetic programming |
| title_sort | behavioral program synthesis with genetic programming |
| topic | Genetische Programmierung (DE-588)4500172-8 gnd Verhalten (DE-588)4062860-7 gnd |
| topic_facet | Genetische Programmierung Verhalten |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028703401&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV020822171 |
| work_keys_str_mv | AT krawieckrzysztof behavioralprogramsynthesiswithgeneticprogramming |