نتایج جستجو برای: res judicata

تعداد نتایج: 31091  

Journal: :Review of Ecumenical Studies Sibiu 2017

Journal: :Review of Ecumenical Studies Sibiu 2021

Journal: :Review of Ecumenical Studies Sibiu 2017

Journal: :Review of Ecumenical Studies Sibiu 2020

Journal: :Review of Ecumenical Studies Sibiu 2018

Objective(s):Resveratrol (RES) is a polyphenol compound that has been shown a promising cardioprotective effect. However, some reports have yielded conflicting findings. Herein, we investigated the anti-atherosclerotic effects of RES in apolipoprotein E (apo E)-deficient mice on a high cholesterol diet. Materials and Methods: Firstly, atherosclerosis was induced by feeding a high cholesterol di...

Journal: :CoRR 2013
Massimo Lauria

In this note we show that any k-CNF which can be refuted by a quasi-polynomial Res(polylog) refutation has a “narrow” refutation in Res (i.e., of poly-logarithmic width). Notice that while Res(polylog) is a complete proof system, this is not the case for Res if we ask for a narrow refutation. In particular is not even possible to express all CNFs with narrow clauses. But even for constant width...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید