Results 61 to 70 of about 1,320,893 (348)
Comparison of the Antioxidant Effect of Microencapsulated and Un-microencapsulated Sodium Selenite with Butyl Hydroxyanisole in Soybean Oil [PDF]
Pizhūhish va Nuāvarī dar ̒Ulūm va Sanāyi̒-i Ghaz̠āyī, 2020 Microencapsulation of sodium selenite (15000 ppm) was carried out, comprising the following combination: Arabic gum (25, 26, 27, 28 and 29%) and a proportionate amount of Farsi gum (1, 2, 3, 4 and 5%) and using the solvent evaporation method, where the ...
Sepideh Moshtaghi, Mohammad Goli
doaj +1 more source
Space Efficiency of Propositional Knowledge Representation Formalisms [PDF]
, 2000 We investigate the space efficiency of a Propositional Knowledge Representation (PKR) formalism. Intuitively, the space efficiency of a formalism F in representing a certain piece of knowledge A, is the size of the shortest formula of F that represents A.
Cadoli, M. +3 more
core +3 more sources
Advanced Science, EarlyView.This study establishes a mandibular asymmetry (MA) mouse model that recapitulates chronic orofacial pain and anxiety comorbidity. Anterior cingulate cortex (ACC) hyperactivation and synaptic dysfunction are identified as central neural mechanisms underlying these pathologies, with chemogenetic inhibition of ACC CaMKII+ neurons effectively reversing ...
Zhaoyichun Zhang +19 more
wiley +1 more source
LEARNING MODULE ANALYSIS OF PYTHAGOREAN THEOREM BASED ON SCIENTIFIC APPROACH
Aksioma: Jurnal Program Studi Pendidikan Matematika, 2023 One of the basic competencies in class VIII contains the Pythagorean theorem. Surveys on students who have studied it, they still remember that the proposition is related to a right triangle.
Yus Mochamad Cholily +1 more
doaj +1 more source
LTL Fragments are Hard for Standard Parameterisations
, 2015 We classify the complexity of the LTL satisfiability and model checking problems for several standard parameterisations. The investigated parameters are temporal depth, number of propositional variables and formula treewidth, resp., pathwidth.
Lück, Martin, Meier, Arne
core +1 more source
Advanced Science, EarlyView.Genomic data offer a powerful tool for studying the molecular interactions between parasites and their hosts, but they remain scarce for parasitic monogenean flatworms. This study presents the first high‐quality phased genome assembly for monogeneans (Gyrodactylus kobayashii), and uses it to predict key interacting proteins between monogenean parasite ‐
Dong Zhang +17 more
wiley +1 more source
On the meaning of logical completeness [PDF]
Logical Methods in Computer Science, 2010 Goedel's completeness theorem is concerned with provability, while Girard's theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proofs.
Michele Basaldella, Kazushige Terui
doaj +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Satisfiability Threshold of Random Propositional S5 Theories
AxiomsModal logic S5, which isan important knowledge representation and reasoning paradigm, has been successfully applied in various artificial-intelligence-related domains.
Zaihang Su +3 more
doaj +1 more source
Extracting verified decision procedures: DPLL and Resolution [PDF]
Logical Methods in Computer Science, 2015 This article is concerned with the application of the program extraction technique to a new class of problems: the synthesis of decision procedures for the classical satisfiability problem that are correct by construction.
Ulrich Berger +3 more
doaj +1 more source