Explore the vast range of titles available.

This tutorial paper surveys the main features of Uppaal  SMC, a model checking approach in Uppaal family that allows us to reason on networks of complex real-timed systems with a stochastic semantic. We demonstrate the modeling features of the tool, new verification algorithms and ways of applying them to potentially complex case studies.

Countering misinformation can reduce belief in the moment, but corrective messages quickly fade from memory. We tested whether the longer-term impact of fact-checks depends on when people receive them. In two experiments (total N = 2,683), participants read true and false headlines taken from social media. In the treatment conditions, “true” and “false” tags appeared before, during, or after participants read each headline. Participants in a control condition received no information about veracity. One week later, participants in all conditions rated the same headlines’ accuracy. Providing fact-checks after headlines (debunking) improved subsequent truth discernment more than providing the same information during (labeling) or before (prebunking) exposure. This finding informs the cognitive science of belief revision and has practical implications for social media platform designers.

This thematic issue explores the global fact-checking field, focusing on its organizations, practices, and institutional dynamics. Over the past decade, fact-checking has expanded to over 400 organizations, with approximately half operating in the Global South. Fact-checkers have built a solid institutional framework featuring annual conferences, regulatory bodies, and partnerships with big techs and public organizations. Even with this cohesion, the fact-checking movement remains deeply heterogeneous. Organizations range from small local outlets to global media giants, operating within varied media and political systems. These differences shape how fact-checkers define their mission and approach misinformation, and offer a valuable lens for journalism and political communication studies to analyze evolving media systems and digitalization effects worldwide. Given such diversity, our issue addresses the need for research to observe regional and comparative perspectives on fact-checking alongside studies of broader global trends. Recent scholarship has focused on how fact-checkers adapt to diverse environments, particularly in Africa, Asia, and Latin America, and how the field is evolving. It also examines fact-checkers’ relationships with platform companies, policymakers, and transnational institutions combating misinformation. Contributions employing diverse methodologies, from case studies to large-scale content analyses, are included, with a particular emphasis on understanding organizational and contextual specificities in this crucial area of media and political communication.

This study investigates the methods and practices used by self-identified fact-checkers situated on the fringe of the field of fact-checking to support their agenda for public recognition and legitimacy. Using a case study approach and selecting nine cases across five countries (Russia, Brazil, India, China, and Singapore), we identify the most common distinguishable attributes and tactics associated with this ambiguous collection of actors. In addition to identifying how fringe fact-checkers weaponize fact-checking practices and exploit or mimic the social standing of accredited fact-checkers, we critique examples where state-supported fact-checkers associated with authoritarian governance structures fact-check for national interests. We propose a spectrum of fact-checkers including those where public or general interest fact-checkers follow journalistic ideals and align with accredited communities of practice or non-accredited peer recognition, and a collection of fringe fact-checkers ranging from “special interest” actors promoting specific political agendas to hostile actors with disruptive, destructive, and openly propagandistic interests and aims to destabilize the global public sphere. The article contributes to current research and debates about the institutionalization of fact-checking and the understudied area of fact-checking impersonation, a problematic activity associated with misinformation and propaganda on platforms and the internet.

Background The opioid epidemic continues to be a significant cause of morbidity and mortality in the US. In 2020, 83% of opioid-related overdose deaths were due to synthetic opioids, such as fentanyl. Drug checking services have been widely implemented as a harm reduction intervention to facilitate the identification of substances in a drug sample. There is a need to inform decision-making on drug checking technologies and service implementation. This research aims to outline contextual considerations for the implementation of a drug checking service. Methods A scoping review was conducted using a structured search strategy in PubMed and EMBASE. Articles were independently screened by two reviewers, and included if they were primary literature and reported on an actionable consideration(s) for drug checking services. Data elements were extracted using a standardized form, and included study design, study population, drug checking technology utilized or discussed, and main findings. Results Twenty-nine articles were selected for inclusion, and four primary areas of consideration were identified: drug checking technologies, venue of a drug checking service, legality, and privacy. Technological considerations include the need for highly accurate, quantitative results which appeal to both populations of people with drug use disorder and recreational users. Accessibility of services was identified as an important factor that may be impacted by the location, integration with other services, how the service is provided (mobile vs. fixed), and the hours of operation. Maintaining plausible deniability and building trust were seen as important facilitators to service use and engagement. Issues surrounding legality were the most frequently cited barrier by patrons, including fear of criminalization, policing, and surveillance. Patrons and stakeholders identified a need for supportive policies that offer protections. Maintaining anonymity for patrons is crucial to addressing privacy-related barriers. Conclusion This review highlights the need to understand the local population and climate for drug checking to implement a drug checking service successfully. Common themes identified in the literature included considerations related to the choice of technology, the type of venue, and the impact of legality and privacy. We intend to utilize these considerations in future research to help guide discussions with US-based stakeholders.

The battle against disinformation played a key role during the Brazilian presidential elections of 2022. Supporters of Jair Bolsonaro—and, to a much lesser extent, of Luiz Inácio Lula da Silva—generated and disseminated deceptive and false “informative content” to influence public opinion. To counter the spread of fake news, different initiatives emerged. Based on a multimodal and hybrid ethnography, this essay discusses different modes of resistance to what we call “alternative images.” This term refers to intentionally misleading images with a deceptive referential value that are presented as accounts or reliable metaphors of reality. We describe three modes of countering these misleading images visually: public demonstrations, artistic interventions, and fact-checking agencies. Each one has its own modes of visual assessment and political intervention. The article argues for the importance of carrying out ethnographies of disinformation, capable of contributing to actual efforts against disinformation and alternative facts, along the lines of public and engaged critical anthropology.

With the popularization of Building Information Modeling (BIM) technology, increasing numbers of countries are attempting to introduce BIM into their national building permitting processes. There are also many BIM-related research initiatives worldwide. Likewise, the Korean government has joined this trend by improving its existing e-Submission system, SEUMTER, to provide for BIM-based e-submission and automated code compliance checking. Further, the Ministry of Land, Infrastructure, and Transport in Korea has funded the Korea BIM (KBIM) building e-Submission system project. The Industry Foundation Classes (IFC) data model is an openBIM approach that has been designated as an international standard through the International Organization for Standardization. It is not dependent on specific design tools and is suitable for public works applications. Hence, this study performed a comprehensive analysis of and developed a framework for a prototypical system for an e-Submission process based on the IFC data model. Four main modules were developed to perform code checking, submission, pre-checking, and automated rule-making. A real-world project was used to verify the feasibility and effectiveness of the proposed framework. This study could increase the adoption of BIM-based building e-Submission systems by sharing effective and successful processes.

Background Multiple imputation has become very popular as a general-purpose method for handling missing data. The validity of multiple-imputation-based analyses relies on the use of an appropriate model to impute the missing values. Despite the widespread use of multiple imputation, there are few guidelines available for checking imputation models. Analysis In this paper, we provide an overview of currently available methods for checking imputation models. These include graphical checks and numerical summaries, as well as simulation-based methods such as posterior predictive checking. These model checking techniques are illustrated using an analysis affected by missing data from the Longitudinal Study of Australian Children. Conclusions As multiple imputation becomes further established as a standard approach for handling missing data, it will become increasingly important that researchers employ appropriate model checking approaches to ensure that reliable results are obtained when using this method.

We explore dynamics of limited attention in the $35 billion market for checking overdrafts, using survey content as shocks to the salience of overdraft fees. Conditional on selection into surveys, individuals who face overdraft-related questions are less likely to incur a fee in the survey month. Taking multiple overdraft surveys builds a \"stock\" of attention that reduces overdrafts for up to two years. The effects are significant among consumers with lower education and financial literacy. Individuals avoid overdrafts by making fewer low-balance debit transactions and cancelling automatic recurring withdrawals. The results raise new questions about consumer financial protection policy.

What can be done to combat political misinformation? One prominent intervention involves attaching warnings to headlines of news stories that have been disputed by third-party fact-checkers. Here we demonstrate a hitherto unappreciated potential consequence of such a warning: an implied truth effect , whereby false headlines that fail to get tagged are considered validated and thus are seen as more accurate. With a formal model, we demonstrate that Bayesian belief updating can lead to such an implied truth effect. In Study 1 ( n = 5,271 MTurkers), we find that although warnings do lead to a modest reduction in perceived accuracy of false headlines relative to a control condition (particularly for politically concordant headlines), we also observed the hypothesized implied truth effect: the presence of warnings caused untagged headlines to be seen as more accurate than in the control. In Study 2 ( n = 1,568 MTurkers), we find the same effects in the context of decisions about which headlines to consider sharing on social media. We also find that attaching verifications to some true headlines—which removes the ambiguity about whether untagged headlines have not been checked or have been verified—eliminates, and in fact slightly reverses, the implied truth effect. Together these results contest theories of motivated reasoning while identifying a potential challenge for the policy of using warning tags to fight misinformation—a challenge that is particularly concerning given that it is much easier to produce misinformation than it is to debunk it. This paper was accepted by Elke Weber, judgment and decision making.