The problem of unification of terms is log-spacc complete for P. In deriving this lower bound no use is made of the potentially concise representation of terms by directed acyclic graphs. In addition, the problem remains complete even if infinite substitutions arc allowed. A consequence of this result is that parallelism cannot significantly improve on the best sequential solutions for unificat...

Background: Pancreatic tumors cause changes in whole-body metabolism, but whether prediagnostic circulating metabolites predict survival is unknown. Methods: We measured 82 metabolites by liquid chromatography–mass spectrometry in prediagnostic plasma from 484 pancreatic cancer case patients enrolled in four prospective cohort studies. Association of metabolites with survival was evaluated usin...

microorganisms are important components of soil. some soil filamentous fungi such aspenicilium produce many bioactive small molecules, or secondary metabolites, that range frombeneficial bioactive compounds to harmful toxins. in this study, the metabolites of threepenicillium species (p. goditanum, p. moldavicum and p. corylophilum) were extracted byadding ethyl acetate to liquid cultures. the ...

let $g$ be a finite $p$-soluble group‎, ‎and $p$ a sylow $p$-subgroup of $g$‎. ‎it is proved‎ ‎that if all elements of $p$ of order $p$ (or of order ${}leq 4$ for $p=2$) are‎ ‎contained in the $k$-th term of the upper central series of $p$‎, ‎then the $p$-length of‎ ‎$g$ is at most $2m+1$‎, ‎where $m$ is the greatest integer such that‎ ‎$p^m-p^{m-1}leq k$‎, ‎and the exponent of the image of $p$...