Results 11 to 20 of about 316,431 (264)
PLoS ONE, 2021 Front-of-package labeling (FOPL) is a policy tool that helps consumers to make informed food choices. South Africa has not yet implemented this labeling system.
Makoma Bopape +6 more
doaj +1 more source
Foods, 2023 Food labels are used to reduce the inefficiencies that arise from information asymmetry. Since food certification and traceability labels are commonly food safety information labels used in China, it is of great importance to study producer preference ...
Yingqi Zhong
doaj +1 more source
On the Power of Labels in Transition Systems [PDF]
BRICS Report Series, 2001 In this paper we discuss the role of labels in transition systems with regard to bisimilarity and model checking problems. We suggest a general reduction from labelled transition systems to unlabelled ones, preserving bisimilarity and satisfiability of mu-calculus formulas.
openaire +3 more sources
Differencing Labeled Transition Systems [PDF]
, 2011 Concurrent programs often use Labeled Transition Systems (LTSs) as their operational semantic models, which provide the basis for automatic system analysis and verification. System behaviors (generated from the operational semantics) evolve as programs evolve for fixing bugs or implementing new user requirements.
Zhenchang Xing +3 more
openaire +2 more sources
A Novel Method for Predicting Fault Labels of Roller Bearing by Generalized Laplacian Matrix
IEEE Access, 2021 Because mechanical failures are accompanied by contingency and randomness, fault data is often difficult to obtain, and fault labels are also difficult to assign.
Jiawei Gu +3 more
doaj +1 more source
Metrics for Labeled Markov Systems [PDF]
, 1999 Partial Labeled Markov Chains (plMc) generalize process algebra and traditional Markov chains. They provide a foundation for interacting discrete probabilistic systems. Existing notions of process equivalence are too sensitive to the exact probabilities of transitions in plMcs. This paper studies more robust notions of "approximate" equivalence between
Josée Desharnais +3 more
openaire +1 more source
Frontiers in Artificial Intelligence, 2022 Cardiac computed tomography angiography (CTA) is an emerging imaging modality for assessing coronary artery as well as various cardiovascular structures.
Vy Bui +10 more
doaj +1 more source
Scottish Journal of Residential Child Care, 2021 Practitioners and policy makers have become increasingly aware of the importance of language used around children and young people within the care system. Existing research on young people and labels largely focuses on the impact of diagnostic labelling.
Rosie Urquhart-Stewart, Nicola Wylie
doaj +1 more source
Q8VaxStance: Dataset Labeling System for Stance Detection towards Vaccines in Kuwaiti Dialect
Big Data and Cognitive Computing, 2023 The Kuwaiti dialect is a particular dialect of Arabic spoken in Kuwait; it differs significantly from standard Arabic and the dialects of neighboring countries in the same region.
Hana Alostad +2 more
doaj +1 more source
Patient Safety, 2021 A nonpunitive approach to safety event reporting and analysis is an important dimension of healthcare organization safety culture. A system-based safety event review process, one focused on understanding and improving the conditions in which individuals ...
Ella S. Franklin +8 more
doaj +2 more sources