Results 31 to 40 of about 337,799 (288)
Zhishi guanli luntan[Purpose/Significance] This study aims to help the public play a better role and reduce the harm caused by the inundation of misinformation on social media.
Wang Yuyu, Xia Zhijie
doaj +1 more source
Model Checking Algorithms for CTMDPs [PDF]
, 2011 Continuous Stochastic Logic (CSL) can be interpreted over continuoustime Markov decision processes (CTMDPs) to specify quantitative properties of stochastic systems that allow some external control.
Hermanns, Holger +13 more
core +1 more source
Unauthenticity of mediafact: mode and distortion of reality
Динамика медиасистем, 2021 The article presents the study results of the media discourse, containing an immense amount of media information that has pretensions to being factual. In this regard, in human sciences there are ongoing discussions about dubious authenticity that does ...
Наталья Пром
doaj
METHODS OF CHECKING THE AUTHENTICITY OF TEXTS
Modern engineering and innovative technologies, 2019 A general overview of the available methods for verifying the authenticity of texts was performed, the advantages and disadvantages of each were analyzed.
openaire +1 more source
An object model development for the UK automated compliance checking [PDF]
, 2013 Approving building designs against existing UK building regulations manually is a time consuming and tedious process. As the architecture engineering construction (AEC) industry moves from 2D CAD drawings to more semantically rich building information ...
Malsane, S. +4 more
core
Beyond authenticity and commodification
, 2007 Authenticity and commodification are central to academic debates in tourism. Previous analyses suggest that the commercialization of local identities leads to negative consequences.
Cole, Stroma, Cole, S.
core +1 more source
Design and analysis strategies for robust microbiome ageing research
FEBS Letters, EarlyView.The gut microbiome changes with age and associates with age‐related morbidity and mortality, establishing it as a potential biomarker and intervention target for ageing. Realising this potential requires methodological rigour, yet distinguishing biological signals from methodological artefacts remains challenging across cohorts. This review provides an
Mark Olenik +5 more
wiley +1 more source
Symbolic model checking of logics with actions [PDF]
, 2006 Reasoning about agents and modalities such as knowledge and belief leads to models where different relations over states co-exist, or equivalently, where information (labels, actions) is associated to state transitions.
Raimondi, F. +4 more
core
Interpolant Learning and Reuse in SAT-Based Model Checking [PDF]
, 2007 Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed significant performance gains and, as a consequence, a large number of commercial ...
Marques-Silva, Joao
core +1 more source
Spatial heterogeneity of hotspot mutations and clonal relatedness in ovarian endometrioid carcinoma
Molecular Oncology, EarlyView.Spatially resolved analysis revealed heterogeneous distributions of selected cancer‐associated mutations within ovarian endometrioid carcinomas. Shared mutations between paired endometrial and ovarian tumors supported clonal relatedness. These findings highlight the value of sampling multiple tumor regions when interpreting molecular profiles ...
Takahito Ashihara +10 more
wiley +1 more source