CONTEXT Body fat distribution and inflammation may play a role in metabolic derangements and cardiovascular disease in obesity. OBJECTIVE The aim of this study is to investigate clinical and biochemical factors associated with area and metabolic activity in the visceral and subcutaneous adipose tissues (VAT and SAT). PARTICIPANTS (18)F-fluorodeoxyglucose-positron emission tomography and com...

Fertilization commonly increases biomass production in loblolly pine ( Pinus taeda L.). However, the sequence of short-term physiological adjustments allowing for the establishment of leaf area and enhanced growth is not well understood. The effects of fertilization on photosynthetic parameters, root respiration, and growth for over 200 d following the application of diammonium phosphate were i...

We study random instances of the weighted d-CNF satisfiability problem (WEIGHTED dSAT), a generic W[1]-complete problem. A random instance of the problem consists of a fixed parameter k and a random d-CNF formula F k,d generated as follows: for each subset of d variables and with probability p, a clause over the d variables is selected uniformly at random from among the 2 − 1 clauses that conta...

This paper introduces GRASP (Generic seaRch Algorithm for the Sati$ability Problem), a new search algorithm f o r Propositional Satisjability (SAT). GRASP incorporates several search-pruning techniques, some of which are spec$c to SAT whereas others f ind equivalent in other f i e h ofArt$cial Intelligence. GRASP is premised on the inevitability of conflicts during search and its most distingui...

We present a new type of sat problem called the k-gd-sat, which generalizes k-sat and gd-sat. In k-gd-sat, clause lengths have geometric distribution, controlled by a probability parameter p; for p = 1, a k-gd-sat problem is a k-sat problem. We report on the phase transition between satisfiability and unsatisfiability for randomly generated instances of k-gd-sat. We provide theoretical analysis...

One of the most studied models SAT is random SAT. In this model, instances are composed from clauses chosen uniformly randomly and independently each other. This model may be unsatisfactory in that it fails to describe various features instances, arising real-world applications. Various modifications have been suggested define industrial Here, we focus mainly on aspect community structure. Name...

Given a family of graphs F , a graph G is F-saturated if no element of F is a subgraph of G, but for any edge e in G, some element of F is a subgraph of G + e. Let sat(n,F) denote the minimum number of edges in an F-saturated graph of order n, which we refer to as the saturation number or saturation function of F . If F = {F}, then we instead say that G is F -saturated and write sat(n, F ). For...

BACKGROUND The objective of this study was to evaluate how different measures of adiposity are related to both arterial inflammation and the risk of subsequent cardiovascular events. METHODS AND RESULTS We included individuals who underwent (18)F-fluorodeoxyglucose positron emission tomography/computed tomography imaging for oncological evaluation. Subcutaneous adipose tissue (SAT) volume, vi...

We show that there exists a natural encoding which transforms Min-SAT instances into Max-SAT instances. Unlike previous encodings, this natural encoding keeps the same variables, and the optimal assignment for the Min-SAT instance is identical to the optimal assignment of the corresponding Max-SAT instance. In addition to that the encoding can be generalized to the Min-SAT variants with clause ...

This study uses analysis of co-variance in order to determine which cognitive/learning (working memory, knowledge integration, epistemic belief of learning) or social/personality factors (test anxiety, performance-avoidance goals) might account for gender differences in SAT-V, SAT-M, and overall SAT scores. The results revealed that none of the cognitive/learning factors accounted for gender di...