Results 1 to 10 of about 159,700 (256)
Branching Heuristic Strategy Based on Learnt Clauses Deletion Strategy for SAT Solver [PDF]
Jisuanji kexue, 2021 For the SAT solver,most popular branch variable decision-making strategies are based on the variable activity evaluation of conflict.The unassigned variable with the maximum activity is selected as the decision variable,and the most recent conflict is ...
WANG Yi-jie, XU Yang, WU Guan-feng
doaj +1 more source
Parallel Mining Algorithm of Frequent Itemset Based on N-list and DiffNodeset Structure [PDF]
Jisuanji kexue, 2023 Frequent itemset mining is a basic problem of data mining and plays an important role in many data mining applications.In order to solve the problems of the parallel frequent itemset mining algorithm(MrPrePost) in big data environment,such as algorithm ...
ZHANG Yang, WANG Rui, WU Guanfeng, LIU Hongyi
doaj +1 more source
Synthese, 2021 AbstractThis paper articulates in formal terms a crucial distinction concerning future contingents, the distinction between what is true about the future and what is reasonable to believe about the future. Its key idea is that the branching structures that have been used so far to model truth can be employed to define an epistemic property, credibility,
A. Iacona, S. Iaquinto
openaire +3 more sources
Credibility of preprints: an interdisciplinary survey of researchers [PDF]
Royal Society Open Science, 2020 Preprints increase accessibility and can speed scholarly communication if researchers view them as credible enough to read and use. Preprint services do not provide the heuristic cues of a journal's reputation, selection, and peer-review processes that ...
Courtney K. Soderberg +2 more
doaj +1 more source
Conservation Biology, 2008 Abstract Chapter 3 describes how, through the credibility process, the individual's mine, here, now transforms into the community's anyone, anywhere, anytime. The possibility of credible knowledge represents a fundamental belief of science that originates in the repeatability, continuity, and intersubjectivity of everyday life experience.
+5 more sources
Stability-based Term Evaluation Method in First-order Logic [PDF]
Jisuanji gongcheng, 2019 To address the complex term structure and difficult extraction of grammatical and semantic features in first-order logic,this paper analyzes the constraints and measurement rules of Herbrand semantic features of a term in text replacement.On this basis ...
ZHONG Jian, XU Yang, CHEN Shuwei, HE Xingxing
doaj +1 more source
IET Intelligent Transport Systems, 2022 Reliable decision‐making in a safety‐critical system depends on the consistency of the state of the system process. Based on the decision‐makeing properties of safety‐critical systems, the definition of the critical component, Boolean evolution system ...
Ke‐Ming Wang +4 more
doaj +1 more source
The role of the author in the hagiographic narrative: Selected examples of Serbian lives [PDF]
Zbornik Radova Vizantološkog Instituta, 2023 The theoretical and historical questions discussed in this paper concern the relationship between the hagiographical text, its author and its audience. Within the overall structure of the work, the author’s role as the direct or indirect witness
Marjanović-Dušanić Smilja
doaj +1 more source
Games and Economic Behavior, 2006 The theory of mechanism design and implementation abounds with clever mechanism whose equilibrium outcomes are optimal according to some social choice rule. However, the cleverness of these mechanisms relies on intricate systems of rewards and punishments off-the-equilibrium path.
Luis Corchón +2 more
openaire +4 more sources
Antecedents and Consequences of Credibility and Parasocial Interaction on Food Shopping Intentions
Jurnal Manajemen Teori dan Terapan, 2022 Objective: In recent years, vlogging or a trending term, especially among YouTube viewers, has increasingly bombarded content on Google's video site. This study examines the antecedents and consequences of credibility and parasocial interactions on food ...
Dea Farahdiba
doaj +1 more source