To send content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about sending content to .

To send content to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services.
Please confirm that you accept the terms of use.

We investigate a new computational interpretation for an intuitionistic focused sequent calculus which is compatible with a resource aware semantics. For that, we associate to Herbelin's syntax a type system based on non-idempotent intersection types, together with a set of reduction rules – inspired from the substitution at a distance paradigm – that preserves (and decreases the size of) typing derivations. The non-idempotent approach allows us to use very simple combinatorial arguments, only based on this measure decreasingness, to characterize linear-head and strongly normalizing terms by means of typability. For the sake of completeness, we also study typability (and the corresponding strong normalization characterization) in the calculus obtained from the former one by projecting the explicit cuts.

Cleaning interactions between the wrasse Symphodus melanocercus and brown meagre Sciaena umbra are documented from observations whilst free diving on a shallow rocky reef in the central Mediterranean Sea. Cleaning events occurred at cleaning stations mainly during the morning and gradually decreased in the evening. The body parts mostly cleaned were the opercular region and the fins, possibly as gnathiid isopods preferentially attach to these areas.

To identify factors associated with food insecurity and household eating patterns among American-Indian families with young children.

Design

Cross-sectional survey among households with young children that were receiving emergency food services. We collected information on food insecurity levels, household eating patterns, experiences with commercial and community food sources and demographics, and used multivariate regression techniques to examine associations among these variables.

Setting

Four Southwestern American-Indian reservation communities.

Subjects

A total of 425 parents/caregivers of young children completed the survey.

Results

Twenty-nine per cent of children and 45 % of adults from households participating in the survey were classified as ‘food insecure’. Larger household size was associated with increased food insecurity and worse eating patterns. Older respondents were more likely than younger respondents to have children with food insecurity (relative risk = 2·19, P < 0·001) and less likely to have healthy foods available at home (relative risk = 0·45, P < 0·01). Consumption of food from food banks, gas station/convenience stores or fast-food restaurants was not associated with food insecurity levels. Respondents with transportation barriers were 1·46 times more likely to be adult food insecure than respondents without transportation barriers (P < 0·001). High food costs were significantly associated with greater likelihoods of adult (relative risk = 1·47, P < 0·001) and child (relative risk = 1·65, P < 0·001) food insecurity.

Conclusions

Interventions for American-Indian communities must address challenges such as expense and limited transportation to accessing healthy food. Results indicate a need for services targeted to older caregivers and larger households. Implications for innovative approaches to promoting nutrition among American-Indian communities, including mobile groceries and community gardening programmes, are discussed.

Ornithine aminotransferase (OAT) is a reversible enzyme expressed mainly in the liver, kidney and intestine. OAT controls the interconversion of ornithine into glutamate semi-aldehyde, and is therefore involved in the metabolism of arginine and glutamine which play a major role in N homeostasis. We hypothesised that OAT could be a limiting step in glutamine–arginine interconversion. To study the contribution of the OAT enzyme in amino acid metabolism, transgenic mice that specifically overexpress human OAT in the liver, kidneys and intestine were generated. The transgene expression was analysed by in situ hybridisation and real-time PCR. Tissue (liver, jejunum and kidney) OAT activity, and plasma and tissue (liver and jejunum) amino acid concentrations were measured. Transgenic male mice exhibited higher OAT activity in the liver (25 (sem 4) v. 11 (sem 1) nmol/min per μg protein for wild-type (WT) mice; P Km and maximum rate of reaction (Vmax)) between WT and transgenic animals. OAT overexpression decreased plasma and liver ornithine concentrations but did not affect glutamine or arginine homeostasis. There was an inverse relationship between ornithine levels and OAT activity. We conclude that OAT overexpression has only limited metabolic effects, probably due to the reversible nature of the enzyme. Moreover, these metabolic modifications had no effect on phenotype.

Recommend this

Email your librarian or administrator to recommend adding this to your organisation's collection.