Triglyceride hydrolysis by the perfused rat hindlimb is enhanced with serotonin-induced nonnutritive flow (NNF) and may be due to the presence of nonnutritive route-associated connective tissue fat cells. Here, we assess whether NNF influences muscle uptake of 0.55 mM palmitate in the perfused hindlimb. Comparisons were made with insulin-mediated glucose uptake. NNF induced during 60 nM insulin...

The aims of this study were to 1) compare two methods of determining interstitial glycerol concentration in subcutaneous adipose tissue (AT) and 2) determine whether there are regional differences in interstitial glycerol concentration in subcutaneous AT of nonobese, premenopausal women. Microdialysis probes were inserted under local anesthesia into the abdominal (2 probes) and femoral (1 probe...

AIM The aim of this study was to investigate the fracture resistance of two types of ceramic crowns cemented with two different cements. METHODS AND MATERIALS Forty premolar crowns were fabricated using lithium-disilicate (IPS Empress-2) and glass-infiltrated aluminium-oxide (In-Ceram) ceramic systems. The crowns were divided into four groups (n=10) with Group 1 (IPS Empress-2) and Group 2 (I...

PURPOSE To investigate the microtensile bond strength between two all-ceramic systems; lithium disilicate glass ceramic and zirconia core ceramics bonded with their corresponding glass veneers. MATERIALS AND METHODS Blocks of core ceramics (IPS e.max® Press and Lava™ Frame) were fabricated and veneered with their corresponding glass veneers. The bilayered blocks were cut into microbars; 8 mm ...

Decomposable negation normal form (DNNF) was developed primarily for knowledge compilation. Formulas in DNNF are linkless, in negation normal form (NNF), and have the property that atoms are not shared across conjunctions. Full dissolvents are linkless NNF formulas that do not in general have the latter property. However, many of the applications of DNNF can be obtained with full dissolvents. T...

The topic of this paper is Nenofex, a solver for quantified boolean formulae (QBF) in negation normal form (NNF), which relies on expansion as the core technique for eliminating variables. In contrast to eliminating existentially quantified variables by resolution on CNF, which causes the formula size to increase quadratically in the worst case, expansion on NNF is involved with only a linear i...

This article formalizes quantifier elimination procedures for dense linear orders, linear real arithmetic and Presburger arithmetic. In each case both a DNF-based non-elementary algorithm and one or more (doubly) exponential NNF-based algorithms are formalized, including the well-known algorithms by Ferrante and Rackoff and by Cooper. The NNF-based algorithms for dense linear orders are new but...

Recension av: Musik, möten, mångfald. Rapporter från ett seminarium om musik, kultur och identitet. Red. Susanne Österlund-Pötzsch. Åbo: Åbo Akademi. (NNF publications 8.) 126 s., ill.

This study was performed to investigate the antioxidant activities of Nymphaea nouchali flower (NNF) extract and the underlying mechanism using RAW 264.7 cells. The presence of gallic acid, catechin, epicatechin, epigallocatechin, epicatechin gallate, caffeic acid, quercetin, and apigenin in the NNF was confirmed by high-performance liquid chromatography (HPLC). The extract had a very potent ca...