01059nam0 22002771i 450 UON0000072620231205101846.66920020107d1906 |0itac50 baengJP|||| 1||||Feudal and modern JapanArthur May KnappYokohamaKelly and Walsh1906IV, 372, XXIV p.20 cmGIAPPONESTORIA MEDIEVALEUONC000265FIGIAPPONESTORIA MODERNAUONC000266FIJPYokohamaUONL000897GIA IV BGIAPPONE - STORIA MODERNA E CONTEMPORANEAAKNAPPArthur MayUONV000720636794Kelly & Walsh LimitedUONV247763650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00000726SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI GIA IV B 177 N SI SA 68722 5 177 N Feudal and modern Japan1173875UNIOR03975nam 22007095 450 991050300890332120250822101726.03-030-89051-110.1007/978-3-030-89051-3(CKB)5140000000013021(MiAaPQ)EBC6749170(Au-PeEL)EBL6749170(OCoLC)1275428452(PPN)258296240(DE-He213)978-3-030-89051-3(EXLCZ)99514000000001302120211008d2021 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierProgramming Languages and Systems 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings /edited by Hakjoo Oh1st ed. 2021.Cham :Springer International Publishing :Imprint: Springer,2021.1 online resource (328 pages)Programming and Software Engineering,2945-9168 ;130083-030-89050-3 Analysis and Synthesis -- Scalable and Modular Robustness Analysis of Deep Neural Networks -- Function Pointer Eliminator for C Programs -- PyCT: A Python Concolic Tester -- Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications -- Server-Side Computation of Package Dependencies in Package-Management Systems -- Compilation and Transformation -- Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly -- A Dictionary-Passing Translation of Featherweight Go -- Hybrid quantum-classical circuit simplification with the ZX-calculus -- A compilation method for dynamic typing in ML -- Language Design -- The Choice Construct in the Soufflé Language -- Latent Effects for Reusable Language Components -- Adaptable Traces for Program Explanations -- A Typed Programmatic Interface to Contracts on the Blockchain -- Verification -- Simplifying of Alternating Automata for Emptiness Testing -- Termination Analysis for the pi-Calculus byReduction to Sequential Program Termination -- Proving LTL Properties of Bitvector Programs and Decompiled Binaries -- Solving Not-Substring Constraint with Flat Abstraction.-.This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.* The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification. * The conference was held in a hybrid format due to the COVID-19 pandemic.Programming and Software Engineering,2945-9168 ;13008Compilers (Computer programs)Artificial intelligenceComputer scienceComputer engineeringComputer networksComputer systemsCompilers and InterpretersArtificial IntelligenceComputer Science Logic and Foundations of ProgrammingComputer Engineering and NetworksComputer System ImplementationCompilers (Computer programs)Artificial intelligence.Computer science.Computer engineering.Computer networks.Computer systems.Compilers and Interpreters.Artificial Intelligence.Computer Science Logic and Foundations of Programming.Computer Engineering and Networks.Computer System Implementation.005.13Oh HakjooMiAaPQMiAaPQMiAaPQBOOK9910503008903321Programming Languages and Systems3644366UNINA05203nam 2200793Ia 450 991096431170332120251116234503.01-136-99242-11-136-99243-X1-282-56980-597866125698070-203-85470-510.4324/9780203854709 (CKB)2670000000009223(EBL)481053(OCoLC)609667592(SSID)ssj0000358025(PQKBManifestationID)11278569(PQKBTitleCode)TC0000358025(PQKBWorkID)10378411(PQKB)11684626(MiAaPQ)EBC481053(Au-PeEL)EBL481053(CaPaEBR)ebr10370086(CaONFJC)MIL256980(OCoLC)609667592 (FINmELB)ELB159721(EXLCZ)99267000000000922320091002d2010 uy 0engur|n|---|||||txtccrCollaboration in education /edited by Judith J. Slater and Ruth Ravid1st ed.New York Routledge20101 online resource (251 p.)Routledge Research in EducationDescription based upon print version of record.0-415-85285-4 0-415-80621-6 Includes bibliographical references and index.Book Cover; Title; Copyright; Contents; Figures; Tables; Acknowledgments; Introduction: The Meme of Collaboration; Part I Professional Development Schools; 1 When a Look Back Can Be a Step Forward: An Analysis of Two PDS Partnerships for Education Change and Improvement; 2 Growing a Multi-Site Professional Development School; Part II Consultation; 3 Schools of Ambition: Bridging Professional and Institutional Boundaries; 4 Ten School Districts and One University: A Collaborative Consultation5 Elementary Public School and University Partnership: Promoting and Analyzing Professional Development Processes of School TeachersPart III One-to-One Collaboration; 6 Policy Development and Sustainability: How a Rural County Maximized Resources through Collaboration and Managed Change; 7 School-University Collaboration as Mutual Professional Development; 8 A Public/Private Partnership in a Diverse Community; Part IV Multiple Configurations; 9 Reflections on a Cross University-Urban School Partnership: The Critical Role of Humanizing the Process10 A System's Perspective for Professional Development in Science and Mathematics Education: The Texas Regional Collaboratives11 Conducting Research that Practitioners Think is Relevant: Metropolitan Educational Research Consortium (MERC); 12 A Miracle in Process: What it Takes to Make an Educational Partnership a True Collaboration; 13 Collaboration and Equitable Reform in Australian Schools: Beyond the Rhetoric; 14 Benefits, Challenges, and Lessons of Longitudinal Research Collaborations; Part V Postsecondary; 15 Reciprocity in Collaboration: Academy for Teacher Excellence's Partnerships16 Reconceptualizing Leadership and Power: The Collaborative Experiences of Women Educational Leaders17 A CLASSIC © Approach to Collaboration: Documenting a Multi-State University and Multi-School District Partnership; Part VI Technology Projects; 18 School-University Collaboration for Technology Integration: Resistance, Risk-Taking, and Resilience; Part VII Interagency Collaboration; 19 Project FIRST: Families, Intercollegiate Collaboration, and Routes to Studying Teaching; 20 Urban Teacher Residencies: Collaborating to Reconceptualize Urban Teacher Preparation21 Sharing Power in an Interagency Collaboration22 Collaborating for Labor Consciousness: The Education & Labor Collaborative; Conclusion; Contributors; IndexCollaboration in Education establishes a needed framework for school/university collaborations that will be critical for others wishing to reproduce and participate in these partnerships. The contributors explore the elements necessary for sustainable collaboration in order to provide a frame of reference for others doing this work. This volume will help readers to ask the correct questions in thinking through school/university collaboration, such as: Does this collaboration make a true change in the way each parent organization operates in the future? Does it meet the needs of a mRoutledge Research in EducationInteraction analysis in educationCommunity and schoolEducational planningSocial aspectsInstructional systemsInteraction analysis in education.Community and school.Educational planningSocial aspects.Instructional systems.371.19378.104Slater Judith J1878777Ravid Ruth1878778MiAaPQMiAaPQMiAaPQBOOK9910964311703321Collaboration in education4491666UNINA