Formal Verification of Code Conversion: A Comprehensive Survey by Amira T. Mahmoud, Ahmad A. Mohammed, Mahitap Ayman, Walaa Medhat , Sahar Selim , Hala Zayed, Ahmed H. Yousef, Nahla Elaraby 

Subjects: Get full text

Fact-Checkers on the Fringe: Investigating Methods and Practices Associated With Contested Areas of Fact-Checking by Silvia Montaña-Niño, Victoria Vziatysheva, Ehsan Dehghan, Anand Badola, Guangnan Zhu, Otávio Vinhas, Michelle Riedlinger, Sofya Glazunova

Subjects: “…fact checking…”
Get full text

Why does the Media Disregard Internal Fact-Checking? The Fact-Checking Logic Determination in the Case of Ukrainian Media by Artem Zakharchenko, Anna Nagorna, Oleksandr Chekmyshev

Subjects: Get full text

The application of adaptive symmetry reduction for LTL model checking by I. V. Konnov, V. A. Zakharov

Subjects: “…model checking…”
Get full text

Characteristics of take-home fentanyl test strip use and support for drug checking services among people who use heroin in Australia: learnings for an increasingly complex drug mar... by Rachel Sutherland, Maureen Steele, Craig Rodgers, Edmund Silins, Rosie Gilliver, Amy Peacock, Monica Barratt, Nadine Ezard, Krista J. Siefried, Robert Page, Raimondo Bruno, Phillip Read

Subjects: Get full text

Disinformation Detection: Developing a Categorical Framework Through Thematic Analysis by Antea Boko

Subjects: Get full text

Getting it right, eh? Best practices for post hoc fact-checking in Canadian news by Brooks DeCillia, Brad Clark

Subjects: Get full text

On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic by Anton Romanovich Gnatenko, Vladimir Anatolyevich Zakharov

Subjects: Get full text

ENIGMA’s advanced guide for parcellation error identification (EAGLE-I): An implementation in the context of brain lesions by Evelyn Deutscher, Emily Dennis, Jake Burnett, Lyndon Firman-Sadler, Annalee L. Cobden, Michael Pink, Finian Keleher, Emma Read, Courtney McCabe, Janine Lyons, Frank G. Hillary, Elisabeth A. Wilde, Carrie Esopenko, Ekaterina Dobryakova, Andrei Irimia, Ahmed M. Radwan, Phoebe Imms, Adam Clemente, Paul Beech, Mohammadreza Mohebbi, Alex Burmester, Juan F Domínguez D, Neda Jahanshad, Sophia I. Thomopoulos, Paul M. Thompson, Karen Caeyenberghs

Subjects: Get full text

Quantifying Truthfulness: A Probabilistic Framework for Atomic Claim-Based Misinformation Detection by Fahim Sufi, Musleh Alsulami

Subjects: Get full text

Anabolic-androgenic steroid testing as a tool for consumer engagement and harm reduction: a sequential explanatory mixed-method study by Timothy Piatkowski, Ross Coomber, Cameron Francis, Emma Kill, Geoff Davey, Sarah Cresswell, Alan White, Madeline Harding, Karen Blakey, Steph Reeve, Brooke Walters, Cheneal Puljević, Jason Ferris, Monica J. Barratt

Subjects: Get full text

Inovasi Pelayanan Pertanahan Pengecekan Sertifikat online by Rona Yunita Nugraheni, Budi Puspo Priyadi, Kismartini Kismartini

Subjects: Get full text

Análisis de las propuestas educativas de las plataformas de fact checking en España, Italia y Portugal by Eva Mª Ferreras Rodríguez

Subjects: Get full text

Model Checking of Distributed Systems with Affine Data Structures by N. O. Garanina

Subjects: “…symbolic model checking…”
Get full text

Using text-matching software in educational science research: Research results from 18 universities in Vietnam by Thuan Van Pham, Hien Le Thi Thu, Thanh Thi Nghiem, Hang Do Thi Thu, Can Nguyen Duc, Huy Nguyen Hoa

Subjects: Get full text

On Construction and Verification of PLC-Programs by E. V. Kuzmin, V. A. Sokolov

Subjects: Get full text

Grouping based calculus for propositional linear temporal logic by Kostas Ragauskas, Adomas Birštunas

Subjects: “…loop checking…”
Get full text

Fact-checkers iberoamericanos en Instagram: análisis de los posts con mayor interacción by María Isabel Míguez-González, Alberto Dafonte-Gómez, Javier Abuín-Penas

Subjects: Get full text

Community pharmacists' decision-making patterns in clinical prescription checking: A simulation-based study by Ali Elgebli, Jason Hall, Denham L. Phipps

Subjects: Get full text

Desinformación y periodismo científico. El caso de Maldita Ciencia. by Juan-Pedro Molina-Cañabate, Raúl Magallón-Rosa

Subjects: “…fact-checking…”
Get full text