04612nam 22005775 450 99649035970331620230810175202.09783031043178(electronic bk.)978303104316110.1007/978-3-031-04317-8(MiAaPQ)EBC7099615(Au-PeEL)EBL7099615(CKB)24882712400041(DE-He213)978-3-031-04317-8(PPN)269129251(EXLCZ)992488271240004120220923d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierAnimated Program Design[electronic resource] Intermediate Program Design Using Video Game Development /by Marco T. Morazán1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (515 pages)Texts in Computer Science,1868-095XPrint version: Morazán, Marco T. Animated Program Design Cham : Springer International Publishing AG,c2022 9783031043161 Part I: Basic Problem Solving and Program Design -- 1. The Science of Problem Solving -- 2. The N-Puzzle Problem -- 3. Randomness -- Part II: Generative Recursion -- 4. Introduction to Generative Recursion -- 5. Sorting -- 6. Searching -- 7. N-Puzzle Version 2 -- 8. N-Puzzle Version 3 -- Part III: Accumulative Recursion -- 9. Accumulators -- 10. N-Puzzle Versions 4 and 5 -- 11. Iteration -- 12. N-Puzzle Version 6 -- 13. Continuation-Passing Style -- Part IV: Mutation -- 14. Sharing Values -- 15. Mutation Sequencing -- 16. Vectors -- 17. In-Place Operations -- 18. The Chicken and the Egg Paradox -- Part V: Epilogue -- 19. Where to go from here.This textbook presents a systematic methodology for program development by using design recipes, i.e. a series of steps, each with a specific outcome, that takes a problem solver from a problem statement to a working and tested programmed solution. It introduces the reader to generative recursion, heuristic searching, accumulative recursion, tail recursion, iteration, mutation, loops, program correctness, and vectors. It uses video game development to make the content fun while at the same time teaching problem-solving techniques. The book is divided into four parts. Part I presents introductory material on basic problem solving and program design. It starts by reviewing the basic steps of a design recipe using structural recursion on a list. It then proceeds to review code refactoring–a common technique used to refine programs when a better or more elegant way is found to solve a problem–and introduces the reader to randomness. Next, Part II explores a new type of recursion called generative recursion. It navigates the reader through examples involving fractal image generation, efficient sorting, and efficient searching techniques such as binary, depth-first, and breadth-first search. Part III then explores a new type of recursion called accumulative (or accumulator) recursion. Examples used include finding a path in a graph, improving insertion sorting, and list-folding operations. Finally, Part IV explores mutation. To aid the reader in properly sequencing mutations it presents Hoare Logic and program correctness. In addition, it introduces vectors, vector processing, in-place operations, and circular data. Throughout the whole book complexity analysis and empirical experimentation is used to evaluate solutions. This textbook targets undergraduates at all levels as well as graduate students wishing to learn about program design. It details advanced types of recursion, a disciplined approach to the use of mutation, and illustrates the design process by developing a video game exploiting iterative refinement.Texts in Computer Science,1868-095XSoftware engineeringComputer programmingComputer gamesProgrammingSoftware EngineeringProgramming TechniquesGame DevelopmentSoftware engineering.Computer programming.Computer gamesProgramming.Software Engineering.Programming Techniques.Game Development.794.81526Morazán Marco T.1078509MiAaPQMiAaPQMiAaPQ996490359703316Animated Program Design2915936UNISA04200nam 22008295 450 991048400070332120251226195929.03-319-23525-710.1007/978-3-319-23525-7(CKB)3890000000001388(SSID)ssj0001558582(PQKBManifestationID)16183647(PQKBTitleCode)TC0001558582(PQKBWorkID)14818534(PQKB)10799742(DE-He213)978-3-319-23525-7(MiAaPQ)EBC5594969(PPN)188460896(EXLCZ)99389000000000138820150828d2015 u| 0engurnn#008mamaatxtccrMachine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part II /edited by Annalisa Appice, Pedro Pereira Rodrigues, Vítor Santos Costa, João Gama, Alípio Jorge, Carlos Soares1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (XLII, 773 p. 198 illus.)Lecture Notes in Artificial Intelligence,2945-9141 ;9285Bibliographic Level Mode of Issuance: Monograph3-319-23524-9 The three volume set LNAI 9284, 9285, and 9286 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2015, held in Porto, Portugal, in September 2015. The 131 papers presented in these proceedings were carefully reviewed and selected from a total of 483 submissions. These include 89 research papers, 11 industrial papers, 14 nectar papers, 17 demo papers. They were organized in topical sections named: classification, regression and supervised learning; clustering and unsupervised learning; data preprocessing; data streams and online learning; deep learning; distance and metric learning; large scale learning and big data; matrix and tensor analysis; pattern and sequence mining; preference learning and label ranking; probabilistic, statistical, and graphical approaches; rich data; and social and graphs. Part III is structured in industrial track, nectar track, and demo track.Lecture Notes in Artificial Intelligence,2945-9141 ;9285Data miningArtificial intelligencePattern recognition systemsInformation storage and retrieval systemsDatabase managementApplication softwareData Mining and Knowledge DiscoveryArtificial IntelligenceAutomated Pattern RecognitionInformation Storage and RetrievalDatabase ManagementComputer and Information Systems ApplicationsData mining.Artificial intelligence.Pattern recognition systems.Information storage and retrieval systems.Database management.Application software.Data Mining and Knowledge Discovery.Artificial Intelligence.Automated Pattern Recognition.Information Storage and Retrieval.Database Management.Computer and Information Systems Applications.006.312Appice Annalisaedthttp://id.loc.gov/vocabulary/relators/edtRodrigues Pedro Pereiraedthttp://id.loc.gov/vocabulary/relators/edtSantos Costa Vítoredthttp://id.loc.gov/vocabulary/relators/edtGama Joãoedthttp://id.loc.gov/vocabulary/relators/edtJorge Alípioedthttp://id.loc.gov/vocabulary/relators/edtSoares Carlosedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910484000703321Machine Learning and Knowledge Discovery in Databases3568347UNINA