LEADER 02380oam 2200577zu 450 001 9910220139603321 005 20211007181819.0 010 $a0-8330-9327-4 035 $a(CKB)3710000000595133 035 $a(SSID)ssj0001622549 035 $a(PQKBManifestationID)16358949 035 $a(PQKBTitleCode)TC0001622549 035 $a(PQKBWorkID)14844160 035 $a(PQKB)10177106 035 $a(oapen)doab115543 035 $a(EXLCZ)993710000000595133 100 $a20160829d2015 uy 101 0 $aeng 135 $aurmn|---annan 181 $ctxt 182 $cc 183 $acr 200 14$aThe Federal Voting Assistance Program and the road ahead : achieving institutional change through analysis and collaboration 210 $cRAND Corporation$d2015 210 31$a[Place of publication not identified]$cRand$d2015 215 $a1 online resource 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a0-8330-9168-9 330 $aThis report documents the Federal Voting Assistance Program's efforts to align its strategy and operations to better serve its mission and stakeholders, and strengthen its capacity to set its own course, greet change, and communicate its role in the voting community. The report shows the potential for substantial, timely change in a highly collaborative working relationship, rooted in a systematic and analytically grounded research design. 517 $aFederal Voting Assistance Program and the Road Ahead 606 $aAbsentee voting$xSuffrage$zUnited States 606 $aSoldiers$zUnited States 606 $aTransnational voting$zUnited States 606 $aElection law$zUnited States 606 $aPolitical Rights - U.S$2HILCC 606 $aGovernment - U.S$2HILCC 606 $aLaw, Politics & Government$2HILCC 615 0$aAbsentee voting$xSuffrage 615 0$aSoldiers 615 0$aTransnational voting 615 0$aElection law 615 7$aPolitical Rights - U.S. 615 7$aGovernment - U.S. 615 7$aLaw, Politics & Government 676 $a324.6068 700 $aGreenfield$b Victoria A.$f1964-$01135594 801 0$bPQKB 906 $aBOOK 912 $a9910220139603321 996 $aThe Federal Voting Assistance Program and the road ahead : achieving institutional change through analysis and collaboration$92882781 997 $aUNINA LEADER 03362nam 22007575 450 001 9910595052303321 005 20260126103201.0 010 $a9783031169120 010 $a3031169123 024 7 $a10.1007/978-3-031-16912-0 035 $a(CKB)5850000000078552 035 $a(MiAaPQ)EBC7102163 035 $a(Au-PeEL)EBL7102163 035 $a(PPN)26495324X 035 $a(OCoLC)1348495448 035 $a(DE-He213)978-3-031-16912-0 035 $a(EXLCZ)995850000000078552 100 $a20220921d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aMathematics of Program Construction $e14th International Conference, MPC 2022, Tbilisi, Georgia, September 26?28, 2022, Proceedings /$fedited by Ekaterina Komendantskaya 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (281 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13544 300 $aIncludes index. 311 08$a9783031169113 311 08$a3031169115 327 $aBreadth-First Traversal Via Staging -- Subtyping without Reduction -- Calculating datastructures -- Flexibly Graded Monads and Graded Algebras -- Folding over Neural Networks -- Towards a Practical Library for Monadic Equational Reasoning in Coq -- Semantic preservation for a type directed translation scheme of Featherweight Go -- Streams of Approximations, Equivalence of Recursive Effectful Programs -- Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes. 330 $aThis book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022. The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 14 submissions. The papers deal with mathematical principles and techniques for constructing computer programs. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13544 606 $aComputer science 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputer networks 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aComputer Communication Networks 606 $aProgramaciķ (Ordinadors)$2thub 606 $aMatemātica discreta$2thub 608 $aCongressos$2thub 608 $aLlibres electrōnics$2thub 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aComputer networks. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aComputer Communication Networks. 615 7$aProgramaciķ (Ordinadors) 615 7$aMatemātica discreta 676 $a371.39445 676 $a005.1 702 $aKomendantskaya$b Ekaterina 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910595052303321 996 $aMathematics of Program Construction$92915783 997 $aUNINA