LEADER 03320nam 22006494a 450 001 9910453884303321 005 20200520144314.0 010 $a1-281-81126-2 010 $a9786611811266 010 $a0-8261-2186-1 035 $a(CKB)1000000000705020 035 $a(EBL)423482 035 $a(OCoLC)476263138 035 $a(SSID)ssj0000150722 035 $a(PQKBManifestationID)11162907 035 $a(PQKBTitleCode)TC0000150722 035 $a(PQKBWorkID)10281061 035 $a(PQKB)10924780 035 $a(MiAaPQ)EBC423482 035 $a(Au-PeEL)EBL423482 035 $a(CaPaEBR)ebr10265542 035 $a(CaONFJC)MIL181126 035 $a(EXLCZ)991000000000705020 100 $a20030627d2003 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aEvaluating community collaborations$b[electronic resource] /$fThomas E. Backer, editor 210 $aNew York $cSpringer Pub.$dc2003 215 $a1 online resource (177 p.) 300 $aDescription based upon print version of record. 311 $a0-8261-2185-3 320 $aIncludes bibliographical references and index. 327 $aContents; Contributors; Foreword: What's the News About Community Collaborations? The Good, the Not-So-Good, and a Cautiously Optimistic Forecast; Acknowledgments; 1. Evaluating Community Collaborations: An Overview; 2. Multicultural Issues in Collaboration: Some Implications for Multirater Evaluation; 3. The Human Side of Evaluating Collaborations; 4. A Practical Approach to Evaluation of Collaborations; 5. Making Sense of Results from Collaboration Evaluations; 6. Evaluating Collaborations in Youth Violence Prevention; Commentary; Index 330 $aCollaborations, which bring organizations together in a community to implement or improve an innovative program or change a policy or procedure, have become a central strategy for promoting community change. Funders require them; nonprofits see them as useful solutions to their problems of declining resources and increasing complexity (including multicultural issues); and communities demand them as evidence that key stakeholders are coming together to address problems of mutual concern. Moreover, no matter how powerful the concept, the implementation of community collaborations can usually be 606 $aHuman services$zUnited States$xCitizen participation$xEvaluation 606 $aCommunity organization$zUnited States$xCitizen participation$xEvaluation 606 $aCommunity health services$zUnited States$xCitizen participation$xEvaluation 606 $aEvaluation research (Social action programs) 606 $aCooperation$zUnited States 608 $aElectronic books. 615 0$aHuman services$xCitizen participation$xEvaluation. 615 0$aCommunity organization$xCitizen participation$xEvaluation. 615 0$aCommunity health services$xCitizen participation$xEvaluation. 615 0$aEvaluation research (Social action programs) 615 0$aCooperation 676 $a361.2/5 701 $aBacker$b Thomas E$0526912 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910453884303321 996 $aEvaluating community collaborations$91968420 997 $aUNINA LEADER 00883nam0-2200289 --450 001 9910517609303321 005 20220120141546.0 010 $a9783110652444 100 $a20220120d2019----kmuy0itay5050 ba 101 0 $aita 102 $aDE 105 $a 001yy 200 1 $a<>veneziano "de là da mar"$econtesti, testi, dinamiche del contatto linguistico e culturale$fa cura di Daniele Baglioni 210 $aBerlin$aBoston$cDe Gruyter$d2019 215 $aVI, 257$d24 cm 225 1 $aBeihefte zur Zeitschrift für romanische Philologie$v441 610 0 $aDialetti veneti 676 $a457.31 676 $a457.9453 702 1$aBaglioni,$bDaniele 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910517609303321 952 $a457.31 BAG 1$b2021/3239$fFLFBC 959 $aFLFBC 996 $aVeneziano "de là da mar"$92570999 997 $aUNINA LEADER 03745nam 2200493 450 001 996508668203316 005 20230506140819.0 010 $a3-031-05214-5 024 7 $a10.1007/978-3-031-05214-9 035 $a(MiAaPQ)EBC7167828 035 $a(Au-PeEL)EBL7167828 035 $a(CKB)25936422500041 035 $a(DE-He213)978-3-031-05214-9 035 $a(PPN)267807554 035 $a(EXLCZ)9925936422500041 100 $a20230506d2023 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 04$aThe authoring problem $echallenges in supporting authoring for interactive digital narratives /$fedited by Charlie Hargood [and three others] 205 $a1st ed. 2022. 210 1$aCham, Switzerland :$cSpringer,$d[2023] 210 4$d©2023 215 $a1 online resource (344 pages) 225 1 $aHuman?Computer Interaction Series,$x2524-4477 311 08$aPrint version: Hargood, Charlie The Authoring Problem Cham : Springer International Publishing AG,c2023 9783031052132 327 $aIntroduction -- Part I. Authors and Processes -- Understanding the Process of Authoring -- Interactive Digital Narrative: The Genealogy of a Field -- Authorial Burden -- We Make How We Learn: The role of Community in Authoring Tool Longevity -- The Authoring Problem is a Publishing Problem -- Part II. Content -- Getting Creative with Actions -- Authoring Interactive Narrative Meets Narrative Interaction Design -- Writing for Replay: Supporting the Authoring of Kaleidoscopic Interactive Narratives -- Strange Patterns: Structure and Post-structure in Interactive Digital Narratives -- Mapping the Unmappable: Reimagining Visual Representations of Interactive Narrative -- On Story -- Part III. Form -- Authoring for Story Sifters -- Authoring Locative Narratives - Lessons Learned and Future Visions -- Shower Curtains of the Mind -- Game Mechanics as Narrative Mode -- Working with Intelligent Narrative Technologies -- Part IV. Research Issues -- Authoring Issues in Interdisciplinary Research Teams -- The Authoring Tool Evaluation Problem -- Quantitative Analysis of Emergent Narratives -- An Ethics Framework for Interactive Digital Narrative Authoring. 330 $aAuthoring, its tools, processes, and design challenges are key issues for the Interactive Digital Narrative (IDN) research community. The complexity of IDN authoring, often involving stories co-created by procedures and user interaction, creates confusion for tool developers and raises barriers for new authors. This book examines these issues from both the tool designer and the author?s perspective, discusses the poetics of IDN and how that can be used to design authoring tools, explores diverse forms of IDN and their demands, and investigates the challenges around conducting research on IDN authoring. To address these challenges, the chapter authors incorporate a range of interdisciplinary perspectives on ?The Authoring Problem? in IDN. While existing texts provide ?how-to? guidance for authors, this book is a primer for research and practice-based investigations into the authoring problem, collecting the latest thoughts about this area from key researchers and practitioners. 410 0$aHuman?Computer Interaction Series,$x2524-4477 606 $aInteractive multimedia 606 $aDigital storytelling 615 0$aInteractive multimedia. 615 0$aDigital storytelling. 676 $a025.174 702 $aHargood$b Charlie 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996508668203316 996 $aThe authoring problem$93363630 997 $aUNISA LEADER 05191nam 22008415 450 001 9910484140503321 005 20251226202618.0 010 $a3-642-04761-0 024 7 $a10.1007/978-3-642-04761-9 035 $a(CKB)1000000000798295 035 $a(SSID)ssj0000316406 035 $a(PQKBManifestationID)11224854 035 $a(PQKBTitleCode)TC0000316406 035 $a(PQKBWorkID)10263798 035 $a(PQKB)10064748 035 $a(DE-He213)978-3-642-04761-9 035 $a(MiAaPQ)EBC3064697 035 $a(PPN)139958967 035 $a(EXLCZ)991000000000798295 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Technology for Verification and Analysis $e7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings /$fedited by Zhiming Liu, Anders P. Ravn 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XI, 414 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v5799 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-04760-2 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Verifying VLSI Circuits -- 3-Valued Abstraction for (Bounded) Model Checking -- Local Search in Model Checking -- State Space Reduction -- Exploring the Scope for Partial Order Reduction -- State Space Reduction of Linear Processes Using Control Flow Reconstruction -- A Data Symmetry Reduction Technique for Temporal-epistemic Logic -- Tools -- TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets -- CLAN: A Tool for Contract Analysis and Conflict Discovery -- UnitCheck: Unit Testing and Model Checking Combined -- Probabilistic Systems -- LTL Model Checking of Time-Inhomogeneous Markov Chains -- Statistical Model Checking Using Perfect Simulation -- Quantitative Analysis under Fairness Constraints -- A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems -- Medley -- Memory Usage Verification Using Hip/Sleek -- Solving Parity Games in Practice -- Automated Analysis of Data-Dependent Programs with Dynamic Memory -- Temporal Logic I -- On-the-fly Emptiness Check of Transition-Based Streett Automata -- On Minimal Odd Rankings for Büchi Complementation -- Specification Languages for Stutter-Invariant Regular Properties -- Abstraction and Refinement -- Incremental False Path Elimination for Static Software Analysis -- A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement -- Don?t Know for Multi-valued Systems -- Logahedra: A New Weakly Relational Domain -- Fault Tolerant Systems -- Synthesis of Fault-Tolerant Distributed Systems -- Formal Verification for High-Assurance Behavioral Synthesis -- Dynamic Observers for the Synthesis of Opaque Systems -- Temporal Logic II -- Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation -- LTL Model Checking for Recursive Programs -- OnDetecting Regular Predicates in Distributed Systems. 330 $aThis book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v5799 606 $aComputer science 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aMachine theory 606 $aAlgorithms 606 $aTheory of Computation 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aAlgorithms 615 0$aComputer science. 615 0$aComputer programming. 615 0$aCompilers (Computer programs) 615 0$aMachine theory. 615 0$aAlgorithms. 615 14$aTheory of Computation. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aAlgorithms. 676 $a004n/a 686 $aDAT 286f$2stub 686 $aDAT 325f$2stub 686 $aDAT 704f$2stub 686 $aSS 4800$2rvk 701 $aLiu$b Zhiming$f1961-$01708452 701 $aRavn$b Anders P$0956631 712 12$aATVA 2009 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484140503321 996 $aAutomated Technology for Verification and Analysis$94194636 997 $aUNINA