Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Transport in bidisperse adsorbents: Significance of the macroscopic adsorbate flux

Transport in bidisperse adsorbents is investigated here, while incorporating a two-dimensional model for adsorbate diffusion in the microparticles. The latter treatment permits consideration of the macropore concentration variation around the microparticle surface, and thereby predicts an adsorbate through-flux on the macroscopic coordinate. Such a through-flux has earlier been postulated in the literature, but with unrealistic mechanistic justification. The new model therefore resolves the existing ambiguity in this regard, and covers the entire spectrum of behaviour between microparticle and macropore diffusion control. Computational results show that if the macroscopic adsorbate flux, ignored in the conventional analysis, has a significant contribution to the total flux under macropore control conditions then it is always important even when the microparticle diffusion resistance is not negligible. The effect of various parameters such as relative microparticle size and isotherm heterogeneity on the uptake is also studied and discussed. (C) 1997 Elsevier Science Ltd.

Aerobic Exercise Improves Reverse Cholesterol Transport in Cholesteryl Ester Transfer Protein Transgenic Mice

We analyzed the effect of a 6-week aerobic exercise training program on the in vivo macrophage reverse cholesterol transport (RCT) in human cholesteryl ester transfer protein (CETP) transgenic (CETP-tg) mice. Male CETP-tg mice were randomly assigned to a sedentary group or a carefully supervised exercise training group (treadmill 15 m/min, 30 min sessions, five sessions per week). The levels of plasma lipids were determined by enzymatic methods, and the lipoprotein profile was determined by fast protein liquid chromatography (FPLC). CETP activity was determined by measuring the transfer rate of (14)C-cholesterol from HDL to apo-B containing lipoproteins, using plasma from CETP-tg mice as a source of CETP. The reverse cholesterol transport was determined in vivo by measuring the [(3)H]-cholesterol recovery in plasma and feces (24 and 48 h) and in the liver (48 h) following a peritoneal injection of [(3)H]-cholesterol labeled J774-macrophages into both sedentary and exercise trained mice. The protein levels of liver receptors were determined by immunoblot, and the mRNA levels for liver enzymes were measured using RT-PCR. Exercise training did not significantly affect the levels of plasma lipids or CETP activity. The HDL fraction assessed by FPLC was higher in exercise-trained compared to sedentary mice. In comparison to the sedentary group, a greater recovery of [(3)H]-cholesterol from the injected macrophages was found in the plasma, liver and feces of exercise-trained animals. The latter occurred even with a reduction in the liver CYP7A1 mRNA level in exercised trained animals. Exercise training increased the liver LDL receptor and ABCA-1 protein levels, although the SR-BI protein content was unchanged. The RCT benefit in CETP-tg mice elicited by exercise training helps to elucidate the role of exercise in the prevention of atherosclerosis in humans.

Mild head injury and speed of information processing: A prospective study of professional rugby league players

The sensitivity of several short tests of speed of information processing to the effects of mild head injury in rugby league football was investigated. The measures used were the Symbol Digit Modalities Test, the Digit Symbol Substitution Test, and the Speed of Comprehension Test. Two studies were conducted, the first to examine the effect of practice, the second to determine sensitivity to cognitive impairment immediately following injury. The first study established alternate form equivalence and demonstrated that performance on the Speed of Comprehension and Digit Symbol Substitution tests improved with practice, whereas the Symbol Digit Modalities test remained stable. A second study of 10 players who subsequently sustained mild head injuries showed that measures of speed of information processing were sensitive to impairment in the postacute phase, whereas an untimed task of word recognition (Spot-the-Word) was not. Speed of Comprehension was more sensitive to postinjury impairment than either the Digit Symbol Substitution or Symbol Digit Modalities tests. A repeated baseline assessment before injury using the higher score to reflect a player's potential, allowed measurement of impaired performance on sensitive tests.

Volume reduction of the corpus callosum and its relationship with deficits in interhemispheric transfer of information in recent-onset psychosis

The present study aimed to investigate the presence of corpus callosum (CC) volume deficits in a population-based recent-onset psychosis (ROP) sample, and whether CC volume relates to interhemispheric communication deficits. For this purpose, we used voxel-based morphometry comparisons of magnetic resonance imaging data between ROP (n = 122) and healthy control (n = 94) subjects. Subgroups (38 ROP and 39 controls) were investigated for correlations between CC volumes and performance on the Crossed Finger Localization Test (CFLT). Significant CC volume reductions in ROP subjects versus controls emerged after excluding substance misuse and non-right-handedness. CC reductions retained significance in the schizophrenia subgroup but not in affective psychoses subjects. There were significant positive correlations between CC volumes and CFLT scores in ROP subjects, specifically in subtasks involving interhemispheric communication. From these results, we can conclude that CC volume reductions are present in association with ROP. The relationship between such deficits and CFLT performance suggests that interhemispheric communication impairments are directly linked to CC abnormalities in ROP. (C) 2010 Elsevier Ireland Ltd. All rights reserved.

Proton transport model in the ionosphere .1. Multistream approach of the transport equations

The suprathermal particles, electrons and protons, coming from the magnetosphere and precipitating into the high-latitude atmosphere are an energy source of the Earth's ionosphere. They interact with ambient thermal gas through inelastic and elastic collisions. The physical quantities perturbed by these precipitations, such as the heating rate, the electron production rate, or the emission intensities, can be provided in solving the kinetic stationary Boltzmann equation. This equation yields particle fluxes as a function of altitude, energy, and pitch angle. While this equation has been solved through different ways for the electron transport and fully tested, the proton transport is more complicated. Because of charge-changing reactions, the latter is a set of two-coupled transport equations that must be solved: one for protons and the other for H atoms. We present here a new approach that solves the multistream proton/hydrogen transport equations encompassing the collision angular redistributions and the magnetic mirroring effect. In order to validate our model we discuss the energy conservation and we compare with another model under the same inputs and with rocket observations. The influence of the angular redistributions is discussed in a forthcoming paper.

Efficacy of the tubercidin antileishmania action associated with an inhibitor of the nucleoside transport

Tubercidin (TUB) is an adenosine analog with potent antiparasite action, unfortunately associated with severe host toxicity. Prevention of TUB toxicity can be reached associating nitrobenzylthioinosine (NBMPR), an inhibitor of the purine nucleoside transport, specifically target to the mammal cells. It was demonstrated that this nucleoside transport inhibitor has no significant effect in the in vitro uptake of TUB by Schistosoma mansoni and Trypanosoma gambiense. Seeking to evaluate if the association of these compounds is also effective against leishmania, we analyzed the TUB-NBMPR combined treatment in in vitro cultures of promastigote forms of Leishmania (L.) amazonensis, Leishmania (L.) chagasi, Leishmania (L.) major, and Leishmania (V.) braziliensis as well as in cultures of amastigote forms of L. (L.) amazonensis, mice macrophages infected with L. (L.) amazonensis, and in vivo tests in BALB/c mice infected with L. (L.) amazonensis. We demonstrated that TUB-NBMPR combined treatment can be effective against leishmania cells protecting mammalian cells from TUB toxicity.

Model for Differential Nursing Diagnosis of Alterations in Urinary Elimination Based on Fuzzy Logic

Nursing diagnoses associated with alterations of urinary elimination require different interventions, Nurses, who are not specialists, require support to diagnose and manage patients with disturbances of urine elimination. The aim of this study was to present a model based on fuzzy logic for differential diagnosis of alterations in urinary elimination, considering nursing diagnosis approved by the North American Nursing Diagnosis Association, 2001-2002. Fuzzy relations and the maximum-minimum composition approach were used to develop the system. The model performance was evaluated with 195 cases from the database of a previous study, resulting in 79.0% of total concordance and 19.5% of partial concordance, when compared with the panel of experts. Total discordance was observed in only three cases (1.5%). The agreement between model and experts was excellent (kappa = 0.98, P < .0001) or substantial (kappa = 0.69, P < .0001) when considering the overestimative accordance (accordance was considered when at least one diagnosis was equal) and the underestimative discordance (discordance was considered when at least one diagnosis was different), respectively. The model herein presented showed good performance and a simple theoretical structure, therefore demanding few computational resources.

Geometric and electronic information from the spectroscopy of six-coordinate copper(II) compounds

The ground and excited state geometry of the six-coordinate copper(II) ion is examined in detail using the CuF64- and Cu(H2O)(6)(2+) complexes as examples. A variety of spectroscopic techniques are used to illustrate the relations between the geometric and electronic properties of these complexes through the characterization of their potential energy surfaces.