LEADER 01956oam 2200433zu 450 001 996200302303316 005 20210807003508.0 035 $a(CKB)111055184264050 035 $a(SSID)ssj0000558493 035 $a(PQKBManifestationID)12250531 035 $a(PQKBTitleCode)TC0000558493 035 $a(PQKBWorkID)10558734 035 $a(PQKB)10290383 035 $a(NjHacI)99111055184264050 035 $a(EXLCZ)99111055184264050 100 $a20160829d1995 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aLogic in Computer Science, 10th Symposium on (LICS '95 210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d1995 215 $a1 online resource (xiii, 518 pages) $cillustrations 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-8186-7050-9 320 $aIncludes bibliographical references. 330 $aThe proceedings of LICS'95 comprise technical papers on topics in program logics, finite models, model checking and verification, theorem proving and AI, concurrency, semantics, lambda calculus and types, unification and rewriting, and linear logic. There are also four invited presentations: a complete proof system for QPTL; the semantic challenge of Verilog HDL; experience using type theory as a foundation for computer science; and origins and metamorphoses of the trinity--logic, nets, automata. No index. Annotation copyright by Book News, Inc., Portland, OR. 606 $aComputer science$xMathematics$vCongresses 606 $aLogic, Symbolic and mathematical$vCongresses 615 0$aComputer science$xMathematics 615 0$aLogic, Symbolic and mathematical 676 $a004.0151 700 $aKozen$b Dexter$0535967 801 0$bPQKB 906 $aBOOK 912 $a996200302303316 996 $aLogic in Computer Science, 10th Symposium on (LICS '95$92540505 997 $aUNISA LEADER 04125nam 22005415 450 001 9910984593103321 005 20250228120745.0 010 $a9789819600779 010 $a9819600774 024 7 $a10.1007/978-981-96-0077-9 035 $a(CKB)37726495700041 035 $a(MiAaPQ)EBC31927433 035 $a(Au-PeEL)EBL31927433 035 $a(DE-He213)978-981-96-0077-9 035 $a(OCoLC)1503948826 035 $a(EXLCZ)9937726495700041 100 $a20250228d2025 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aGenetic Programming Theory and Practice XXI /$fedited by Stephan M. Winkler, Wolfgang Banzhaf, Ting Hu, Alexander Lalejini 205 $a1st ed. 2025. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2025. 215 $a1 online resource (535 pages) 225 1 $aGenetic and Evolutionary Computation,$x1932-0175 311 08$a9789819600762 311 08$a9819600766 327 $aChapter 1. Representation & Reachability: Assumption Impact in Data Modeling -- Chapter 2. EvoFeat: Genetic Programming-based Feature Engineering Approach to Tabular Data Classification -- Chapter 3. Deep Learning-Based Operators for Evolutionary Algorithms -- Chapter 4. Survey of Genetic Programming and Large Language Models -- Chapter 5. Evolving Many-Model Agents with Vector and Matrix Operations in Tangled Program Graphs -- Chapter 6. Automatic Design of Autoencoders using NeuroEvolution -- Chapter 7. Code Building Genetic Programming is Faster than PushGP -- Chapter 8. Sharpness-Aware Minimization in Genetic Programming -- Chapter 9. Tree-Based Grammatical Evolution with Non-Encoding Nodes -- Chapter 10. Genetic Programming with Memory for Approximate Data Reconstruction -- Chapter 11. Ratcheted Random Search for Self-Programming Boolean Networks -- Chapter 12. Exploring Non-Bloating Geometric Semantic Genetic Programming -- Chapter 13. Revisiting Gradient-based Local Search in Symbolic Regression -- Chapter 14. It?s Time to Revisit the Use of FPGAs for Genetic Programming -- Chapter 15. Interpretable Genetic Programming Models for Real-World Biomedical Images -- Chapter 16. Crafting Generative Art through Genetic Improvement: Managing Creative Outputs in Diverse Fitness Landscapes -- Chapter 17. Cell Regulation and the Early Evolution of Autonomous Control -- Chapter 18. How to Measure Explainability and Interpretability of Machine Learning Results -- Chapter 19. Lexicase Selection Parameter Analysis: Varying Population Size and Test Case Redundancy with Diagnostic Metrics -- Chapter 20. Using lineage age to augment search space exploration in lexicase selection. 330 $aThis book brings together some of the most impactful researchers in the field of genetic programming (GP), each one working on unique and interesting intersections of theoretical development and practical applications of this evolutionary-based machine learning paradigm. Topics of particular interest for this year´s book include powerful modeling techniques through GP-based symbolic regression, novel selection mechanisms that help guide the evolutionary process, modular approaches to GP, and applications in cybersecurity, biomedicine, and program synthesis, as well as papers by practitioner of GP that focus on usability and real-world results. In summary, readers will get a glimpse of the current state-of-the-art in GP research. 410 0$aGenetic and Evolutionary Computation,$x1932-0175 606 $aArtificial intelligence 606 $aArtificial Intelligence 615 0$aArtificial intelligence. 615 14$aArtificial Intelligence. 676 $a006.3 700 $aWinkler$b Stephan M$01768461 701 $aBanzhaf$b Wolfgang$061171 701 $aHu$b Ting$01331606 701 $aLalejini$b Alexander$01790208 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910984593103321 996 $aGenetic Programming Theory and Practice XXI$94326292 997 $aUNINA