Working in the base theory of PA + I60 + exp, we show that for all n ∈ ω, the bounding principle for 6n-formulas (B6n) is equivalent to the induction principle for 1n-formulas (I1n). This partially answers a question of J. Paris; see Clote and Krajı́ček (1993).

Using a stable-isotope tracer technique, Burdge & Wootton (2002) noted that women of child-bearing age (about 28 years) had a much greater capacity to convert a-linolenic acid (18 : 3n-3) to docosahexaenoic acid (22 : 6n-3) compared with men of a similar age (Burdge et al. 2002). Based on their analysis of the area under the curve of the time course plot of the plasma C-labelled fatty acids, th...

The projected stagnation in the catch from global fisheries and the continuing expansion of aquaculture is considered against the background that fishmeal and fish oil are major feed stocks for farmed salmon and trout, and also for marine fish. The dietary requirement of these farmed fish for high-quality protein, rich in essential amino acids, can be met by sources other than fishmeal. However...

We study the electronic structure of the junctions between a single graphene layer and carbon nanotubes, using a tight-binding model and the continuum theory based on Dirac fermion fields. The latter provides a unified description of different lattice structures with curvature, which is always localized at six heptagonal carbon rings around each junction. When these are evenly spaced, we find t...

Adaptive immunity is a type of immune response mediated by T and B cells, and is important response for immune response amplification and memory. In this study, the adaptive immunologic properties of C57BL/6NKorl substrain were compared with those of two other C57BL/6N substrains. There were no significant differences between the C57BL/6NKorl and the two other C57BL/6N substrains in the histolo...

BACKGROUND Uremic cardiomyopathy contributes substantially to mortality in chronic kidney disease (CKD) patients. Glucagon-like peptide-1 (GLP-1) may improve cardiac function, but is mainly degraded by dipeptidyl peptidase-4 (DPP-4). METHODOLOGY/PRINCIPAL FINDINGS In a rat model of chronic renal failure, 5/6-nephrectomized [5/6N] rats were treated orally with DPP-4 inhibitors (linagliptin, si...

A new inbred strain, MSKR, originated from Japanese wild mice was established in April, 1998. The MSKR mice were 60% of the C57BL/6N inbred mice in the 60-day body weight. Tail length/head-body length and hind-foot length/head-body length of the MSKR mice were significantly smaller than those of the C57BL/6N mice (0.896 vs 1.061, 0.189 vs 0.204), but ear length/head-body length of the MSKR mice...

The susceptibilities of C3H/HeN, BALB/c, and C57BL/6N mouse strains to group B streptococci (GBS) infection were evaluated. C3H/HeN mice developed severe polyarthitis; mild lesions and no lesions were observed in BALB/c and C57BL/6N mice, respectively. A correlation between the severity of arthritis, the number of GBS in the joints, and local interleukin-6 and interleukin-1beta production was e...

Previously, using phylogenetic analysis of NS5b sequences, we found that three type 6 variant subgroups (M6-1, M6-2 and M6-3) exist in Myanmar. According to the new nomenclature of hepatitis C, M6-1 and M6-2 belong to subtypes 6m and 6n, respectively, but M6-3 is unassigned. In this study, we sequenced and phylogenetically analyzed the core region of these type 6 variant subgroups. Serum sample...

Tensegrity robots, which are composed of compressive elements (rods) and flexible tensile (e.g., cables), have a variety advantages, including flexibility, low weight, resistance to mechanical impact. Nevertheless, the hybrid soft-rigid nature these robots also complicates ability localize track their state. This work aims address what has been recognized as grand challenge in this domain, i.e....