LEADER 01752nam 2200397 450 001 9910476824203321 005 20230510223117.0 035 $a(CKB)5470000000566314 035 $a(NjHacI)995470000000566314 035 $a(EXLCZ)995470000000566314 100 $a20230510d2019 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aEducational visions $eThe lessons from 40 years of innovation /$fedited by Rebecca Ferguson, Ann Jones, Eileen Scanlon 210 1$aLondon :$cUbiquity Press,$d2019. 210 4$dİ2019 215 $a1 online resource (184 pages) 311 $a1-911529-83-8 320 $aIncludes bibliographical references and index. 330 $a"What have been the biggest successes in educational technology - and why have they succeeded when others have failed? Educational visions shows how innovations including citizen science, learning at scale, inclusive education, learning design and analytics have developed over decades. The book is shaped by the visions pursued by one research group for the past 40 years. It outlines the group's framework for innovation and shows how this can be put into practice to achieve long-term results that benefit both students and teachers at every educational level."-- Provided by publisher. 517 $aEducational visions 606 $aEducational vouchers 615 0$aEducational vouchers. 676 $a379.111 702 $aFerguson$b Rebecca 702 $aJones$b Ann 702 $aScanlon$b Eileen 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910476824203321 996 $aEducational visions$92018192 997 $aUNINA LEADER 04639nam 22006975 450 001 9910483853103321 005 20251226204304.0 010 $a3-540-31685-X 024 7 $a10.1007/11603023 035 $a(CKB)1000000000213570 035 $a(SSID)ssj0000319494 035 $a(PQKBManifestationID)11250105 035 $a(PQKBTitleCode)TC0000319494 035 $a(PQKBWorkID)10338414 035 $a(PQKB)11367138 035 $a(DE-He213)978-3-540-31685-5 035 $a(MiAaPQ)EBC3067831 035 $a(PPN)123099072 035 $a(EXLCZ)991000000000213570 100 $a20100409d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPractical Aspects of Declarative Languages $e8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /$fedited by Pascal van Hentenryck 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (X, 234 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v3819 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-30947-0 320 $aIncludes bibliographical references and index. 327 $aUsing CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut Actions for External Prolog Predicates -- Controlling Search Space Materialization in a Practical Declarative Debugger -- Automatic Verification of a Model Checker by Reflection -- Probabilistic-Logical Modeling of Music -- Using Dominators for Solving Constrained Path Problems -- JQuery: A Generic Code Browser with a Declarative Configuration Language -- A Hybrid BDD and SAT Finite Domain Constraint Solver -- Adding Constraint Solving to Mercury -- Modeling Genome Evolution with a DSEL for Probabilistic Programming -- Tabling in Mercury: Design and Implementation -- Translating Description Logic Queries to Prolog -- Efficient Top-Down Set-Sharing Analysis Using Cliques -- Querying Complex Graphs -- Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs. 330 $aThis volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages (PADL 2006) held on January 9-10, 2006, in Charleston, South Carolina. Information about the c- ference can be found athttp://www.cs.brown.edu/people/pvh/PADL06.html. As is now traditional, PADL 2006 was co-located with the 33rd Annual Sym- sium on Principles of Programming Languages that was held on January 11-13, 2006. The PADL conference series is a forum for researchers and practioners to present original work emphasizing novel applications and implementation te- niques for all forms of declarative concepts. Topics of interest include, but are not limited to: ? Innovative applications of declarative languages; ? Declarative domain-speci?c languages and applications; ? Practical applications of theoretical results; ? New language developments and their impact on applications; ? Evaluation of implementation techniques on practical applications; ? Novel implementation techniques relevant to applications; ? Novel uses of declarative languages in the classroom; ? Practical experiences. This year, there were 36 submissions. Each submission was reviewed by at least three Programme Committee members. The committee decided to accept 15 papers. In addition, the programme also included three invited talks by Erik Meijer, David Roundy, and Philip Walder. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v3819 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aComputer science 606 $aSoftware engineering 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aComputer science. 615 0$aSoftware engineering. 615 14$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 676 $a005.13 701 $aVan Hentenryck$b Pascal$0753435 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483853103321 996 $aPractical aspects of declarative languages$94194631 997 $aUNINA