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...

Through the Paris Agreement, Parties to UNFCCC have reached a landmark fight climate change. Aligned with this, European Union has set itself an ambitious long-term goal of reducing gree...

In a previous communication (1), we have presented data indicating that the phagocytic capacity of the reticuloendotheial system (RES) in man can be determined safely and effectively by measuring the rate of disappearance of various doses of radioisotopically labeled aggregated human serum albumin particles from the blood after intravenous injection. Subsequently we reported that in patients wi...

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...

conclusions in lighting conditions, most of t-res was isomerized to the other isomer cis-resveratrol. t-res is unstable in alkali ph and when exposed to light. t-res was quite stable at other conditions, and several freeze-thaw cycles did not have any effect on its stability. results our findings revealed that t-res was quite stable in different temperatures ranging from -70 °c to 25 °c, and ac...

For many centuries, a predominant view of meaning was that the meaning of a word is some kind of chunk of mind-stuff (“idea”) glued to the word and animating it. However, while the traditional view was that we must first understand meaning, which enables us to understand language and hence our linguistic practices, a new approach to semantics that has emerged in the second half of the twentieth...