Relative numerousness judgment and summation in young, middle-aged, and older adult orangutans (Pongo pygmaeus abelii and Pongo pygmaeus pygmaeus).

The ability to select the larger of two quantities ranging from 1 to 5 (relative numerousness judgment [RNJ[) and the ability to select the larger of two pairs of quantities with each pair ranging from 1 to 8 (summation) were evaluated in young, middle-aged, and older adult orangutans (7 Pongo pygmaeus abelii and 2 Pongo pygmaeus pygmaeus). Summation accuracy and RNJ were similar to those of previous reports in apes; however, the pattern of age-related differences with regard to these tasks was different from that previously reported in gorillas. Older orangutans were less accurate than the young and middle-aged for RNJ, and summation accuracy was equivalent among age groups. Evidence was found to suggest that the young and middle-aged based their selection of the largest quantity pair on both quantities within each pair during the summation task. These results show a relationship between subject age and the quantitative abilities of adult orangutans. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Applications of real number theorem proving in PVS

Real number theorem proving has many uses, particularly for verification of safety critical systems and systems for which design errors may be costly. We discuss a chain of developments building on real number theorem proving in PVS. This leads from the verification of aspects of an air traffic control system, through work on the integration of computer algebra and automated theorem proving to a new tool, NRV, first presented here that builds on the capabilities of Maple and PVS to provide a verified and automatic analysis of Nichols plots. This automates a standard technique used by control engineers and greatly improves assurance compared with the traditional method of visual inspection of the Nichols plots.     

Invariants, Patterns and Weights for Ordering Terms

We prove that any simplification order over arbitrary terms is an extension of an order by weight, by considering a related monadic term algebra called the spine. We show that any total ground-stable simplification order on the spine lifts to an order on the full term algebra. Conversely, under certain restrictions, a simplification ordering on the term algebra defines a weight function on the spine, which in turn can be lifted to a weight order on the original ground terms which contains the original order. We investigate the Knuth–Bendix and polynomial orders in this light. We provide a general framework for ordering terms by counting embedded patterns, which gives rise to many new orderings. We examine the recursive path order in this context.     

Detection of Maillard products of lactose in heated or processed milk by HPLC/DAD

 Two HPLC methods with diode array detection were used to separate Maillard products from milk components. The Maillard products 4-(β-d-galactopyranosyloxy)-2-hydroxy-2-methyl-2H-pyran-3(6H)-one (2), 1-[3-(β-d-galactopyranosyloxy)-2-furanyl]-1-ethanone (4), 4-(β-d-galactopyranosyloxy)-5-(hydroxymethyl)-2-methyl-3(2H)-furanone (5), isomaltol (7), maltol (9), 2,3-dihydro-3,5-dihydroxy-6-methyl-4H-pyran-4-one (6), and 5-hydroxymethyl-2-furfuraldehyde (8) were determined using a water-methanol gradient. Furthermore, 4,5-dihydroxy-2-(β-d-galactopyranosyloxy)-5-methyl-2-cyclopenten-1-one (3) was separated from the milk components by applying the interaction reagent octylamine. Several heated or processed milk samples were analyzed, and formation of the Maillard products was determined and quantified. Thus it was found that 2 and 3 are early products of the Maillard reaction in milk, whereas after prolonged heating 4, 5, and particularly 9 and 6 become more important. Compounds 7 and 8 were not detected, even if the samples were heated under stringent conditions.     

Infrared characterization of the surface intermediates in the oxidation of toluene on vanadyl pyrophosphate catalysts

The adsorption and reaction of toluene on vanadyl pyrophosphate catalysts was studied by in situ infrared spectroscopy. Strongly adsorbed benzaldehyde and physically adsorbed cyclic anhydride species were observed at temperatures above 523 K. Water formed during reaction generates acid hydroxyl groups which cause a stronger adsorption of benzaldehyde and consecutive oxidation reactions. By co-adsorption of pyridine the acid sites are blocked and the deeper oxidation is suppressed. This revised version was published online in August 2006 with corrections to the Cover Date.     

Flax fibers as a raw material: How to bleach efficiently a non-woody plant to obtain high-quality pulp

Fiber crops constitute a good alternative to wood fiber for manufacturing pulp and paper. In fact, fiber plants like flax surpass wood fiber in some technical respects and also in the environmental benignity of their processing. In this work, flax fiber was subjected to environmentally friendly bleaching sequences in order to obtain a high-quality pulp. The totally chlorine-free sequences (TCF) used for this purpose (LE and LRE) included an enzyme treatment with laccase in the presence of HBT as mediator (L stage), an alkaline extraction (E stage) and a reductive treatment with NaBH₄ (R stage). The operating conditions for the L stage (laccase and HBT doses, reaction time and oxygen pressure) were optimised by using a sequential statistical plan to assess their influence on pulp properties after the E stage.Mathematical models accurately predicting brightness and kappa number in terms of the previous four variables were developed based on which the most influential factors were the laccase and HBT rates, and treatment time. By contrast, oxygen pressures of 0.2–0.6 MPa in the reactor had no effect on brightness or kappa number. The flax pulp obtained contained some oxidized cellulose that was partially degraded in the alkaline extraction step and reduced viscosity as a result. The viscosity loss associated with the presence of oxidized cellulose in the control and enzyme-treated pulp samples was efficiently recovered by using a reductive stage with sodium borohydride. Effluent was also analysed in order to assess the environmental impact of the process.     

Reducing the startup time of aerobic granular sludge reactors through seeding floccular sludge with crushed aerobic granules

One of the main challenging issues for the aerobic granular sludge technology is the long startup time when dealing with real wastewaters. This study presents a novel strategy to reduce the time required for granulation while ensuring a high level of nutrient removal. This new approach consists of seeding the reactor with a mixture of crushed aerobic granules and floccular sludge. The effectiveness of the strategy was demonstrated using abattoir wastewater, containing nitrogen and phosphorus at approximately 250 mgN/L and 30 mgP/L, respectively. Seven different mixtures of crushed granules and floccular sludge at granular sludge fractions (w/w in dry mass) of 0%, 5%, 10%, 15%, 25%, 30% and 50% were used to start eight granulation processes. The granulation time (defined as the time when the 10th percentile bacterial aggregate size is larger than 200 μm) displayed a strong dependency on the fraction of granular sludge. The shortest granulation time of 18 days was obtained with 50% crushed granules, in comparison with 133 days with 5% crushed granules. Full granulation was not achieved in the two trials without seeding with crushed granules. In contrast to the 100% floccular sludge cases, where a substantial loss of biomass occurred during granulation, the biomass concentration in all other trails did not decrease during granulation. This allowed that good nitrogen removal was maintained in all the reactors during the granulation process. However, enhanced biological phosphorus removal was achieved in only one of the eight trials. This was likely due to the temporary accumulation of nitrite, a strong inhibitor of polyphosphate accumulating organisms.     

Rapid Development of Fasting-Induced Hepatic Lipidosis in the American Mink (<Emphasis Type=Italic>Neovison vison</Emphasis>): Effects of Food Deprivation and Re-Alimentation on Body Fat Depots,Tissue Fatty Acid Profiles,Hematology and Endocrinology

Hepatic lipidosis is a common pathological finding in the American mink (Neovison vison) and can be caused by nutritional imbalance due to obesity or rapid body weight loss. The objectives of the present study were to investigate the timeline and characterize the development of hepatic lipidosis in mink in response to 0–7 days of food deprivation and liver recovery after 28 days of re-feeding. We report here the effects on hematological and endocrine variables, body fat mobilization, the development of hepatic lipidosis and the alterations in the liver lipid classes and tissue fatty acid (FA) sums. Food deprivation resulted in the rapid mobilization of body fat, most notably visceral, causing elevated hepatosomatic index and increased liver triacylglycerol content. The increased absolute amounts of liver total phospholipids and phosphatidylcholine suggested endoplasmic reticulum stress. The hepatic lipid infiltration and the altered liver lipid profiles were associated with a significantly reduced proportion of n-3 polyunsaturated FA (PUFA) in the livers and the decrease was more evident in the females. Likewise, re-feeding of the female mink resulted in a more pronounced recovery of the liver n-3 PUFA. The rapid decrease in the n-3/n-6 PUFA ratio in response to food deprivation could trigger an inflammatory response in the liver. This could be a key contributor to the pathophysiology of fatty liver disease in mink influencing disease progression.