04438nam 22006375 450 99641830550331620200703101358.03-030-50086-110.1007/978-3-030-50086-3(CKB)5280000000218549(MiAaPQ)EBC6225116(DE-He213)978-3-030-50086-3(PPN)248595229(EXLCZ)99528000000021854920200609d2020 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFormal Techniques for Distributed Objects, Components, and Systems[electronic resource] 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings /edited by Alexey Gotsman, Ana Sokolova1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (xii, 237 pages) illustrationsProgramming and Software Engineering ;12136Includes author index.3-030-50085-3 Full Papers -- Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego -- Towards Bridging Time and Causal Reversibility -- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory -- Conformance-Based Doping Detection for Cyber-Physical Systems -- On Implementable Timed Automata? -- Deep Statistical Model Checking -- Trace Equivalence and Epistemic Logic to Express Security Properties -- Derivation of Heard-Of Predicates From Elementary Behavioral Patterns -- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities -- A Formal Framework for Consent Management -- Tutorials -- Tutorial: Parameterized Verification with Byzantine Model Checker -- Typechecking Java Protocols with [St]Mungo -- Short Paper -- Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper).This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.* The 10 full papers and 1 short paper presented were carefully reviewed and selected from 25 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems. *The conference was held virtually due to the COVID-19 pandemic. Chapter ‘Conformance-Based Doping Detection for Cyber-Physical Systems’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Programming and Software Engineering ;12136Software engineeringComputer logicComputer organizationArtificial intelligenceSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer Systems Organization and Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13006Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Software engineering.Computer logic.Computer organization.Artificial intelligence.Software Engineering.Logics and Meanings of Programs.Computer Systems Organization and Communication Networks.Artificial Intelligence.004.36Gotsman Alexeyedthttp://id.loc.gov/vocabulary/relators/edtSokolova Anaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996418305503316Formal Techniques for Distributed Objects, Components, and Systems1905204UNISA01449nam0 22003131i 450 UON0051044320231205105455.339978-88-936602-5-920221207d2022 |0itac50 baitaIT|||| 1||||ˆI ‰due occhi dell’animaintelligenza e amore nella mistica d'Occidente dal Medioevo a oggia cura di Giovanni Giambalvo Dal Benprefazione di Dom Laurence FreemanFirenzeLe lettere2022340 p.22 cm001UON005118852001 Saggi210 Firenzele Lettere179MISTICA CRISTIANASTORIAUONC085077FIITFirenzeUONL000052248.22Esperienza, pratica, vita cristiana. Misticismo21FreemannLaurenceUONV288963Giambalvo Dal BenGiovanniUONV288962Le LettereUONV257487650ITSOL20250509RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00510443SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI Oland STO 145 SI 40460 5 145 SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI2022743 1J 20221207Bolla 36 del 13/2/23 Due occhi dell’anima3901314UNIOR02743nam 2200685 a 450 991096573260332120251116150943.01-282-32106-497866123210611-4106-0955-3(CKB)1000000000031299(EBL)234258(OCoLC)475940881(SSID)ssj0000231026(PQKBManifestationID)11220463(PQKBTitleCode)TC0000231026(PQKBWorkID)10197836(PQKB)10048232(Au-PeEL)EBL234258(CaPaEBR)ebr10084625(CaONFJC)MIL588641(OCoLC)936902403(Au-PeEL)EBL5300737(CaONFJC)MIL232106(OCoLC)1027204070(MiAaPQ)EBC234258(MiAaPQ)EBC5300737(EXLCZ)99100000000003129920030319d2004 uy 0engur|n|---|||||txtccrQualitative research in journalism taking it to the streets /edited by Sharon Hartin IorioMahwah, NJ Lawrence Erlbaum Associatesc20041 online resource (251 p.)Routledge Communication SeriesDescription based upon print version of record.0-8058-4399-X 0-8058-4398-1 Includes bibliographical references and index.Contents; Foreword; Preface; About the Contributors; Part I; Part II; Glossary; Author Index; Subject IndexThis volume highlights the integration of qualitative research methods into traditional journalism, offering new ways of expanding and enhancing news coverage. Designed for readers without prior experience in social science research, this collection presents a wide variety of qualitative techniques and their applications in journalistic practice. The work brings together contributions from professional journalists and journalism scholars who are highly experienced in conducting qualitative research. These experts demonstrate how valid, reliable qualitative procedures can be used to increase coRoutledge Communication SeriesJournalismResearchJournalismObjectivityReporters and reportingJournalismResearch.JournalismObjectivity.Reporters and reporting.070.4/07/2Iorio Sharon Hartin1943-1877418MiAaPQMiAaPQMiAaPQBOOK9910965732603321Qualitative research in journalism4489628UNINA