Results 251 to 260 of about 235,564 (296)
Determinants of Learners' Continuance Intention in Informal Video Learning: Evidence from YouTube. [PDF]
Behav Sci (Basel)Khanmolee T, Lekcharoen S, Pankham S.
europepmc +1 more source
Normative Reference Values and Cut-Off Points for Nutritional Ultrasound: The VALORES Study. [PDF]
J Cachexia Sarcopenia MuscleMoreno-Torres-Taboada C +10 more
europepmc +1 more source
A Proposed Diagnostic Algorithm for Helicobacter pylori Infection in Cameroon: A Comparison of Five Diagnostic Methods in Patients With Gastroduodenal Symptoms. [PDF]
CureusNgimgoh SN +5 more
europepmc +1 more source
Risk of Bias Associated with Varying Sampling Strategies for External Comparator Cohorts for Single-Arm Trials: Insights from Aggressive Lymphoma. [PDF]
Clin Pharmacol TherSimonsen MR +6 more
europepmc +1 more source
A hybrid RAG and rule-based reasoning framework for technical document analysis. [PDF]
Front Artif IntellThomas ER +3 more
europepmc +1 more source
Artificial Intelligence, 2021 The SAT Competitions constitute a well-established series of yearly open international algorithm implementation competitions, focusing on the Boolean satisfiability (or propositional satisfiability, SAT) problem. In this article, we provide a detailed account on the 2020 instantiation of the SAT Competition, including the new competition tracks and ...
Marijn Heule +2 more
exaly +4 more sources
Some of the next articles are maybe not open access.
SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators
Proceedings of the AAAI Conference on Artificial Intelligence, 2016Special-purpose propagators speed up solving logic programs by inferring facts that are hard to deduce otherwise. However, implementing special-purpose propagators is a non-trivial task and requires expert knowledge of solvers. This paper proposes a novel approach in logic programming that allows (1) logical specification of both the ...
Tomi Janhunen +2 more
openaire +4 more sources