Results 31 to 40 of about 2,334 (179)
Cells, 2021 Alpha-Linolenic acid (ALA), an omega-3 polyunsaturated fatty acid, is extracted from plant sources and has been shown to be one of the anti-inflammatory and antioxidant agents.
Sayed-Ibrar Alam +5 more
doaj +1 more source
Genetic diagnosis of some root nodule bacteria isolated from leguminous Plants in Nineveh Governorate [PDF]
مجلة التربية والعلم, 2021 The importance of atmospheric nitrogen-fixing bacteria The study aimed to isolate bacteria from the roots of plants From four areas of the city of Mosul the winter agriculture, season 2020-2021 and using biochemical tests and phenotypic and agricultural ...
Samar Alhayale, Mohammed Al-Shakarchi
doaj +1 more source
Ring a Conformation of Aconine and Pseudaconine in CDCl
Natural Product Communications, 2014 On the basis of intensive interpretation of the 1 H NMR spectroscopic data, the ring A conformation of aconine ( 1 ) was speculated as twist boat in CDCl 3 , and as chair or twist boat in acetone-d 6 and pyridine-d 5 .
Hong-Ying Deng +2 more
doaj +1 more source
Too much information: Why CDCL solvers need to forget learned clauses.
PLoS ONE, 2022 Conflict-driven clause learning (CDCL) is a remarkably successful paradigm for solving the satisfiability problem of propositional logic. Instead of a simple depth-first backtracking approach, this kind of solver learns the reason behind occurring ...
Tom Krüger +2 more
doaj +1 more source
Molecules, 2021 Fagonia indica is a rich source of pharmacologically active compounds. The variation in the metabolites of interest is one of the major issues in wild plants due to different environmental factors.
Habiba Khan +10 more
doaj +1 more source
Angewandte Chemie, Volume 138, Issue 15, 6 April 2026.Precision hydrolysis enables the rational, room‐temperature synthesis of Zr and Hf oxo clusters with improved atom economy, sustainable solvents, and gram‐scale yields. By adding exactly 1.33 equivalents of water, Zr6, Hf6, and elusive bimetallic clusters are accessed, alongside new group 5 oxo clusters, providing a versatile and economical platform ...
Muhammed Jibin Parammal +5 more
wiley +2 more sources
IPASIR-UP: User Propagators for CDCL.
, 2023 Modern SAT solvers are frequently embedded as sub-reasoning engines into more complex tools for addressing problems beyond the Boolean satisfiability problem. Examples include solvers for Satisfiability Modulo Theories (SMT), combinatorial optimization, model enumeration and counting.
Katalin Fazekas +5 more
openaire +3 more sources
Reusing the assignment trail in CDCL solvers
J. Satisf. Boolean Model. Comput., 2011 Summary: We present the solver RestartSAT which includes a novel technique to reduce the cost to perform a restart in CDCL SAT solvers. This technique, called REUSEDTRAIL, exploits the observation that CDCL solvers often reassign the same variables to the same truth values after a restart.
Peter van der Tak +2 more
openaire +5 more sources
Crystals, 2021 In this study, close-spaced sublimation (CSS) grown cadmium telluride (CdTe) thin films with good adhesion to 100 µm thin Schott D263T ultra-thin glass (UTG) were investigated.
Nowshad Amin +2 more
doaj +1 more source
PharmaceuticalsBackground: This study investigates the effects of cadmium chloride (CdCl2) on hippocampal peroxisome proliferator-activated receptor gamma (PPARγ) expression and examines whether PPARγ activation mediates the neuroprotective effects of quercetin (QUR ...
Doha M. Al-Nouri
doaj +1 more source