Constitutional political economy has focused heavily on designing constitutional rules sufficient to constrain governmental power. More attention has been devoted to designing rules that are effective constraints than on the institutions that would b...
Health checks have beneficial effects on health outcomes in adults with intellectual disability; however, little is known about their effect on people with Down syndrome. The aim of this study was to assess the effect of receiving a health check on t...
The oil and gas phase behavior of high temperature is complex and changeable, which is usually obtained by PVT experiments. The accuracy of the experiment data plays a crucial role in the reserve evaluation and development plan of oil and gas reservo...
Plastic barriers physically separate queuing passengers in airport security check areas as a measure against aerosol transmission. However, this may create “canyons” that interfere with the existing ventilation design: potentially inhibit...
New needs have arisen from member states and paying agencies (PA) to achieve the compliance assessment from farmers in the frame of the European Common Agricultural Policy (CAP). Traditional field inspection (on-the-spot checks) and computer-aided ph...
This article, which integrates broader research, aims to identify the fake news patterns propagated in the process of disinformation about COVID-19 that were evaluated by the Brazilian fact-checking agencies Fato or Fake and Lupa. Aiming at this goal...
24 September 2021
Widespread misinformation about COVID-19 poses a significant threat to citizens long-term health and the combating of the disease. To fight the spread of misinformation, Chinese governments have used official social media accounts to participate in f...
13 October 2022
To control adherence to age limits regarding sales of tobacco products, Swedish authorities can conduct compliance checks. Compliance checks involve prior information to all retailers, mystery shopping, and subsequent feedback to the retailers. This...
(1) Background: Data collection procedures allow to obtain harmonization of in-depth road accident databases. Plausibility of calculable accident-related kinematic parameters depends on the constraints imposed on calculation, making their uncertainty...
This study was aimed at identifying the role of social networking information (SNI) on pre-employment background checks (PBCs) of job applicants involving a single mediating variable, sustainable organizational reputation (SOR). In addition to that,...
Background/Objectives: People with a severe mental illness die much earlier than the rest of the population from a preventable physical illness. Annual health checks are a way of assessing the person to then offer the appropriate interventions. Integ...
Regulatory technologies (RegTechs) are a set of electronic and digital technologies applied to check compliance in industrial processes. Such applications also aim to simplify the process of data collection and exchange according to the expected form...
Although prescription review is an important role for pharmacists in anticancer drug therapy, there are no guidelines in Japan that specify what pharmacists should check for in chemotherapy regimens. This prospective multicenter survey aimed to inves...
The availability of large amounts of Sentinel-2 data has been a trigger for its increasing exploitation in various types of applications. It is, therefore, of importance to understand the limits above which these data still guarantee a meaningful out...
A “checked” syllable usually refers to one with a short vowel and an oral or glottal coda, which results impressionistically in a “short” and “abrupt” quality. Although common in languages of the world, it is uncle...
The subject of investigation presented in this article is a filling and draining system of the ship lock installed in the Gabčíkovo Waterworks. This article describes the operation and construction of the special regulation segments, i.e....
31 July 2023
With the unregulated drug supply—particularly the unregulated opioid supply—becoming increasingly more toxic, more contaminated, and less predictable, drug checking has emerged as an essential public health service: informing individuals...
The Nash–Sutcliffe efficiency remains the best metric for measuring the appropriateness of a model and reflects a culture developed in hydrology to test models against reality before using them. This metric is not without problems, and alternat...
Due to the growing complexity of mechanical, electrical, and plumbing (MEP) designs and the rules that govern them, performing rule checks manually has become expensive. However, MEP-based rule checking has not received adequate attention compared to...
Information disorders condition electoral processes, becoming a major institutional concern. In response, the European Union and various fact-checking organisations co-organised the Elections24Check project to curb disinformation in the 2024 European...
HyperArc is a preferred technique for treating brain metastases, employing a single isocenter for multiple lesions. Geometrical isocentricity in the TrueBeam linear accelerator with HyperArc is crucial. We evaluated machine performance checks (MPCs)...
The regional economic impacts of the construction of timber and concrete check dams in Akita prefecture, Japan, were compared. When functions are appropriately unified, a concrete check dam is cheaper to build than a timber one; the difference in con...
Social networks have received considerable attention from the modal logic community. In this article, we study and characterize one of the most important principles in the field of social networks. Homophily, which means similarity breeds association...
Recently, many mountain disasters caused by natural phenomena, such as typhoons and heavy rains, have struck Japan, where check dams are used as important disaster prevention structures. Meanwhile, increased timber use in Japan is expected to revital...
Since the 1990s, mass timber constructions have become more and more popular. This type of construction has characteristics that are ideal for incorporating building information modeling (BIM). A mass timber structure implies offsite prefabrication a...
Check valves are essential components in hydraulic systems, preventing reverse flow that may lead to critical operating conditions. Simultaneously, their operation can induce system-damaging overpressure phenomena. This study investigates the behavio...
The multi-tiered school-wide positive behavioral interventions and supports offers a comprehensive model for the prevention of behavioral and academic problems in schools. This study evaluated Check-in/Check-out (CICO), a Tier 2 intervention, with th...
Safety code compliance checking before construction is a key step in risk control. However, the conventional safety compliance checking methods are static model-oriented, which can lead to both the low adaptability of the model to the dynamic constru...
In recent years, disinformation and “fake news” have been spreading throughout the internet at rates never seen before. This has created the need for fact-checking organizations, groups that seek out claims and comment on their veracity, to spawn wor...
The paper proposes a new technique to mitigate the state of explosion in model checking. The technique is called a divide and conquer approach to eventual model checking. As indicated by the name, the technique is dedicated to eventual properties. Th...
Model checking of building information models is gaining interest for academic and industrial fields. However, several limitations can be identified in the practical application of model checking processes. One of the main limitations is the unavaila...
Termination or halting is an important system requirement that many systems should satisfy and can be expressed in linear temporal logic as eventual properties. We devised a divide-and-conquer approach to eventual model checking in order to reduce th...
To tackle the issues of semantic collision and inconsistencies between ontologies and the original data model while learning ontology from relational database (RDB), a semi-automatic semantic consistency checking method based on graph intermediate re...
Digital systems are nowadays ubiquitous and often comprise an extremely high level of complexity. Guaranteeing the correct behavior of such systems has become an ever more pressing need for manufacturers. The correctness of digital systems can be add...
Increasing concerns about the prevalence of false information and fake news has led to calls for automated fact-checking systems that are capable of verifying the truthfulness of statements, especially on the internet. Most previous automated fact-ch...
Model checking is a well-established and widely adopted framework used to verify whether a given system satisfies the desired properties. Properties are usually given by means of formulas from a specific logic; there are several logics that can be us...
The features of a logically sound approach to a theory of statistical reasoning are discussed. A particular approach that satisfies these criteria is reviewed. This is seen to involve selection of a model, model checking, elicitation of a prior, chec...
This research addresses the time-consuming and error-prone nature of manual code compliance checking in Building Information Modeling (BIM) by introducing a Large Language Model (LLM)-driven approach to semi-automate this critical process. The develo...
Although check valves have attracted a lot of attention, work has rarely been completed done when there is a compressible working fluid. In this paper, the swing check valve and the tilting check valve flowing high-temperature compressible water vapo...
Compliance checking is a very important step in engineering construction. With the development of information technology, automated compliance checking (ACC) has been paid more and more attention by researchers. One of the most important steps in aut...
The proliferation of fact-checking services is a fast-growing global phenomenon, especially in Western countries. These services are the response of journalism to disinformation, that has transformed a common internal procedure of journalistic work i...
Paediatric check-ups and vaccinations are provided and free of charge in Germany. Despite being hitherto generally well-received and adhered to, it is possible that the lockdown implemented due to the COVID-19 pandemic resulted in delays or even canc...
This paper proposed a scheme design for Sydney’s frontport check-in system, which completes check-in and baggage drop-off at Sydney’s Circular Quay, and transports the baggage to Sydney Kingsford Smith Airport by waterway, and provided a strengths, w...
Check valves are used extensively in industrial piping systems. Based on dynamic mesh technology, this study uses the RNG k-ε turbulence model to numerically calculate the dual disc check valve’s three-dimensional transient flow. The dy...
A flapping wing micro air vehicle (FWMAV) demands high lift and thrust generation for a desired payload. In view of this, the present work focuses on a novel way of enhancing the lift characteristics through integrating check-valves in the flapping w...
Model checking is an efficient formal verification technique that has been applied to a wide spectrum of applications in software engineering. Popular model checking algorithms include Bounded Model Checking (BMC) and Incremental Construction of Indu...
Fault injection technologies can be utilized to steal secret information inside integrated circuits (ICs), and thus cause serious information security threats. Parity check has been adopted as an efficient method against fault injection attacks. Howe...
Fire checking is indispensable for guaranteeing the fire safety of buildings as it reviews the compliance of the building with fire codes and regulations. Automated Compliance Checking (ACC) systems that check building data utilizing Building Informa...
Check All That Apply (CATA) has become a popular type of questionnaire response in sensory/consumer research in recent years. However, some authors have pointed out potential problems with the method. An online survey using either a Check-All-That-Ap...
Machining grooves and ridges (peaks) into the surface of wooden deckboards reduces undesirable checking that develops when “profiled” boards are exposed to the weather. We aim to develop improved profiles for amabilis fir decking to reduce its suscep...
of 314