Results 41 to 50 of about 2,334 (179)

RETRACTED: A Flavonoid-Rich Extract from Bergamot Juice, Alone or in Association with Curcumin and Resveratrol, Shows Protective Effects in a Murine Model of Cadmium-Induced Testicular Injury

Pharmaceuticals, 2021
It is known that cadmium damages testis structure and functionality. We examined the effects of nutraceuticals such as a flavonoid-rich extract of bergamot juice (BJe), alone or in association with curcumin (Cur) and resveratrol (Re), on mice testicular ...
Nadia Ferlazzo, Antonio Micali, Herbert Ryan Marini, Josè Freni, Giuseppe Santoro, Domenico Puzzolo, Francesco Squadrito, Giovanni Pallio, Michele Navarra, Santa Cirmi, Letteria Minutoli   +10 more
doaj   +1 more source

Impulse‐Type Transmission Efficiency Modulation in Ferroelectric Nematic Liquid Crystals in the Nematic Phase and in Ferroelectric Nematic/Nematic Blends

Advanced Electronic Materials, Volume 12, Issue 11, 8 June 2026.
Impulse‐type transmission efficiency (TE) modulation is a widely observed phenomenon in liquid crystals (LCs) with significant polarization. This phenomenon is observable in the ferroelectric nematic (NF) and nematic (N) phase of NFLCs, as well as in a blended LC composed of NFLC and a conventional NLC.
Yuji Kinose, Takahiro Noda, Ryohei Ishige, Atsuto Momoze, Kazuki Oyama, Junji Watanabe, Yoshinobu Tsujii, Osamu Sato   +7 more
wiley   +1 more source

Induction of Testicular Degeneration syndrome via Cadmium Chloride in male Albino rats

Kufa Journal for Veterinary Medical Sciences, 2022
This study was designed to induction of testicular degeneration syndrome (TDS) in male rats by cadmium chloride and identified the best concentration of induction for this syndrome.
Nabeel M. N. Al-Sharafi, Saja Mazin Radhi Alobaidy   +1 more
doaj   +1 more source

Quantified CDCL with Universal Resolution.

, 2022
Quantified Conflict-Driven Clause Learning (QCDCL) solvers for QBF generate Q-resolution proofs. Pivot variables in Q-resolution must be existentially quantified. Allowing resolution on universally quantified variables leads to a more powerful proof system called QU-resolution, but so far, QBF solvers have used QU-resolution only in very limited ways ...
openaire   +3 more sources

Cardiotoxicity in rats following subchronic exposure to cadmium chloride solution and cadmium oxide nanoparticles

Public Health and Toxicology, 2022
Introduction A number of epidemiologic and experimental studies have demonstrated that cadmium exposure increases the risk of cardiovascular diseases.
Svetlana V. Klinova, Yuri L. Protsenko, Ilzira A. Minigalieva, Marina P. Sutunkova, Oksana P. Gerzen, Salavat R. Nabiev, Alexander A. Balakin, Ruslan V. Lisin, Oleg N. Lookin, Vladimir G. Panov, Boris A. Katsnelson, Larisa V. Nikitina   +11 more
doaj   +1 more source

Proofdoors and Efficiency of CDCL Solvers

CoRR
We propose a new parameter called proofdoor in an attempt to explain the efficiency of CDCL SAT solvers over formulas derived from circuit (esp., arithmetic) verification applications. Informally, given an unsatisfiable CNF formula F over n variables, a proofdoor decomposition consists of a chunking of the clauses into A1, . . .
Sunidhi Singh, Vincent Liew, Marc Vinyals, Vijay Ganesh 0001   +3 more
openaire   +2 more sources

Involvement of ERK and Oxidative Stress in Airway Exposure to Cadmium Chloride Aggravates Airway Inflammation in Ovalbumin-Induced Asthmatic Mice

Toxics
Inhalation represents a significant route of cadmium (Cd) exposure, which is associated with an elevated risk of lung diseases. This research study aims to evaluate the impact of repeated low-dose cadmium inhalation on exacerbating airway inflammation ...
Chendong Wu, Xinyue Hu, Yuanyuan Jiang, Jiale Tang, Huan Ge, Shuanglinzi Deng, Xiaozhao Li, Juntao Feng   +7 more
doaj   +1 more source

Gibberellins Target Shoot-Root Growth, Morpho-Physiological and Molecular Pathways to Induce Cadmium Tolerance in Vigna radiata L.

Agronomy, 2021
Cadmium (Cd) inhibits plant growth, perturbs nutrient uptake, and affects chloroplast ultrastructure. The role of Cd stress in affecting growth and physiology and ameliorative effects of gibberellins (GAs) in Cd-induced toxicity in mung bean are lesser ...
Haroon Rashid Hakla, Shubham Sharma, Mohammad Urfan, Narendra Singh Yadav, Prakriti Rajput, Dinesh Kotwal, Arafat Abdel Hamed Abdel Latef, Sikander Pal   +7 more
doaj   +1 more source

Characterization of Glue Variables in CDCL SAT Solving

CoRR, 2019
A state-of-the-art criterion to evaluate the importance of a given learned clause is called Literal Block Distance (LBD) score. It measures the number of distinct decision levels in a given learned clause. The lower the LBD score of a learned clause, the better is its quality.
Md. Solimul Chowdhury, Martin Müller 0003, Jia-Huai You   +2 more
openaire   +2 more sources

SPASS-SATT [PDF]

, 2019
SPASS-SATT is a CDCL(LA) solver for linear rational and linear mixed/integer arithmetic. This system description explains its specific features: fast cube tests for integer solvability, bounding transformations for unbounded problems, close interaction between the SAT solver and the theory solver, efficient data structures, and small-clause-normal-form
Bromberger, Martin, Fleury, Mathias, Schwarz, Simon, Weidenbach, Christoph   +3 more
openaire   +3 more sources