Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

Downregulation of Melanocortin-4 Receptor during Refeeding and its Modulation by Adrenalectomy in Rats

Melanocortin system and corticotropin releasing hormone (CRH) are implicated in the control of feeding behavior. Besides its anorexigenic effect on food intake, CRH is one of the most important regulators of hypothalamic-pituitary-adrenal (HPA) axis activity. Therefore, there could be an interplay between HPA axis activity and melanocortin system. We investigated the expression of melanocortin-4 receptor (MC4-R) mRNA in the hypothalamus of rats after 14 days of food restriction or after a fasting-refeeding regimen, in sham or adrenalectomized rats. Male Wistar rats were subjected to free access to food or food ingestion restricted for 2 h a day (8-10 AM) during 14d, when plasma corticosterone, ACTH, insulin, leptin concentrations, and MC4-R mRNA expression were determined before and after refeeding. Another set of rats was fasted for 48 h, followed by refeeding during 2 or 4 h on the seventh day after adrenalectomy (ADX) or sham surgery. On the day of the experiment, rats were anesthetized and perfused and the brain processed for MC4-R mRNA by in situ hybridization. Long-term reduction of food intake, either secondary to food restriction or adrenalectomy, reduced body weight gain and also leptin and insulin plasma concentrations. Food ingestion reduced MC4-R expression in the paraventricular nucleus in naive rats subjected to food restriction and also in sham rats fasted for 48 h. However, after ADX, MC4-R expression was not changed by refeeding. In conclusion, the present data indicate that MC4-R expression is downregulated by food ingestion and this response could be modulated by glucocorticoid withdrawal.

Quantitative three-dimensional power Doppler angiography: a flow-free phantom experiment to evaluate the relationship between color gain, depth and signal artifact

Objectives To evaluate the presence of false flow three-dimensional (3D) power Doppler signals in `flow-free` models. Methods 3D power Doppler datasets were acquired from three different flow-free phantoms (muscle, air and water) with two different transducers and Virtual Organ Computer-aided AnaLysis was used to generate a sphere that was serially applied through the 3D dataset. The vascularization flow index was used to compare artifactual signals at different depths (from 0 to 6 cm) within the different phantoms and at different gain and pulse repetition frequency (PR F) settings. Results Artifactual Doppler signals were seen in all phantoms despite these being flow-free. The pattern was very similar and the degree of artifact appeared to be dependent on the gain and distance from the transducer. False signals were more evident in the far field and increased as the gain was increased, with false signals first appearing with a gain of 1 dB in the air and muscle phantoms. False signals were seen at a lower gain with the water phantom (-15 dB) and these were associated with vertical lines of Doppler artifact that were related to PRF, and disappeared when reflections were attenuated. Conclusions Artifactual Doppler signals are seen in flow-free phantoms and are related to the gain settings and the distance from the transducer. In the in-vivo situation, the lowest gain settings that allow the detection of blood flow and adequate definition of vessel architecture should be used, which invariably means using a setting near or below the middle of the range available. Additionally, observers should be aware of vertical lines when evaluating cystic or liquid-containing structures. Copyright (C) 2010 ISUOC. Published by John Wiley & Sons, Ltd.

Further psychometric study of the Beck Anxiety Inventory including factorial analysis and social anxiety disorder screening

Objective. To analyze the psychometric properties of the Brazilian Portuguese version of the Beck Anxiety Inventory (BAI) in terms of its internal consistency, scores distribution, concurrent and discriminant validity, and factorial analysis in a sample of university students and social anxiety disorder (SAD) cases and non-cases. Methods. A sample of Brazilian university students from the general population (N = 2314) and a sample of university students identified as cases (N = 88) and non-cases (N = 90) of SAD were assessed, using as a parameter the Structured Clinical Interview for the DSM-IV. The different instruments were completed individually in the presence of an experienced rater. Results. The BAI showed adequate internal consistency (0.88-0.92) and discriminant validity, with 0.74 sensitivity and 0.71 specificity for a cut-off score of 10. The factorial analysis suggested a three-factor solution to be the most adequate. Conclusions. The version of the BAI studied is quite adequate to be used in the context of Brazilian university students, identifying the presence of anxiety indicators. However, its usefulness to screen for SAD seems limited.

Evaluation of the psychometric properties of the Social Phobia Inventory in university students

Objective: The aim of the study was to study the psychometric properties of the Social Phobia Inventory (SPIN) in its version for the context of Brazilian adults. Methods: A sample of Brazilian university students from the general population (n = 2314) and a sample of university students identified as cases (n = 88) and noncases (n = 90) of social phobia were assessed, using as a parameter the Structured Clinical Interview for the Diagnostic and Statistical Manual of Mental Disorders, Fourth Edition. The different instruments were applied individually in the presence of a rater. Results: The SPIN showed adequate internal consistency (.63-.90) and concurrent validity with different instruments of auto- and hetero-evaluation of social phobia. Discriminative validity showed 0.84 to 0.86 sensitivity and 0.84 to 0.87 specificity for cutoff notes between 19 and 21. Factorial analysis showed the presence of a variable number of factors as a function of the different samples. Conclusions: The version of the SPIN studied is quite adequate for use in the context of Brazilian university students, favoring the screening of social phobia. However, further studies using more diverse samples are needed. (C) 2010 Elsevier Inc. All rights reserved.

Reduction of ICAM-1 expression by carbon monoxide via soluble guanylate cyclase activation accounts for modulation of neutrophil migration

Previously, it was demonstrated that the heme/heme oxygenase (HO)/carbon monoxide (CO) pathway inhibits neutrophil recruitment during the inflammatory response. Herein, we addressed whether the inhibitory effect of the HO pathway on neutrophil adhesion and migration involves the reduction of intracellular adhesion molecule type (ICAM)-1 and beta(2)-integrin expression. Mice pretreated with a specific inhibitor of inducible HO (HO-1), zinc protoporphyrin (ZnPP) IX, exhibit enhanced neutrophil adhesion and migration induced by intraperitoneal injection of Escherichia coli lipopolysaccharide (LPS). These findings are associated with an increase in ICAM-1 expression on mesentery venular endothelium. In accordance, HO-1 inhibition did not enhance LPS-induced neutrophil migration and adhesion in ICAM-1-deficient mice. Furthermore, the treatment with a CO donor (dimanganese decacarbonyl, DMDC) that inhibits adhesion and migration of the neutrophils, reduced LPS-induced ICAM-1 expression. Moreover, neither DMDC nor ZnPP IX treatments changed LPS-induced beta(2)-integrin expression on neutrophils. The effect of CO on ICAM-1 expression seems to be dependent on soluble guanylate cyclase (sGC) activation, since 1H-(1,2,4)oxadiazolo (4,3-a)quinoxalin-1-one (sGC inhibitor) prevented the observed CO effects. Finally, it was observed that the nitric oxide (NO) anti-inflammatory effects on ICAM-1 expression appear to be indirectly mediated by HO-1 activation, since the inhibition of HO-1 prevented the inhibitory effect of the NO donor (S-nitroso-N-acetylpenicillamine) on LPS-induced ICAM-1 expression. Taken together, these results suggest that CO inhibits ICAM-1 expression on endothelium by a mechanism dependent on sGC activation. Thus, our findings identify the HO-1/CO/guanosine 3`5`-cyclic monophosphate pathway as a potential target for the development of novel pharmacotherapy to control neutrophil migration in inflammatory diseases.

Noradrenaline Involvement in the Negative-Feedback Effects of Ovarian Steroids on Luteinising Hormone Secretion

Noradrenaline has been shown to modulate the ovarian-steroid feedback on luteinising-hormone (LH) release. However, despite the high amount of evidence accumulated over many years, the role of noradrenaline in LH regulation is still not clearly understood. The present study aimed to further investigate the involvement of noradrenaline in the negative-feedback effect of oestradiol and progesterone on basal LH secretion. In experiment 1, ovariectomised (OVX) rats received a single injection of oil, oestradiol, or progesterone at 09.00-10.00 h and were decapitated 30 or 60 min later. Levels of noradrenaline and its metabolite, 3-methoxy-4-hydroxyphenylglycol (MHPG), were determined in microdissections of the preoptic area (POA) and medial basal hypothalamus-median eminence (MBH-ME) and correlated with LH secretion. Basal LH levels were decreased 30 and 60 min after oestradiol or progesterone injection, and this hormonal response was significantly correlated with a reduction in POA MHPG levels, which reflect noradrenaline release. In addition, noradrenaline levels in the POA were increased, whereas noradrenaline turnover (MHPG/noradrenaline ratio) was decreased 60 min after the injection of both hormones. No effect was found in the MBH-ME. In experiment 2, i.c.v. administration of noradrenaline (60 nmol), performed 15 min before oestradiol or progesterone injection in jugular vein-cannulated OVX rats, completely prevented the ovarian steroid-induced inhibition of LH secretion. The data obtained provide direct evidence that LH secretion in OVX rats is positively regulated by basal noradrenergic activity in the POA, and its reduction appears to play a role in the negative-feedback effect of ovarian steroids on LH secretion in vivo.

Role of preoptic opioid receptors in the body temperature reduction during hypoxia

Evidence indicates that endogenous opioids play a role in body temperature (Tb) regulation in mammals but no data exist about the involvement of the specific opioid receptors, mu, kappa and delta, in the reduction of Tb induced by hypoxia. Thus, we investigated the participation of these opioid receptors in the anteroventral preoptic region (AVPO) in hypoxic decrease of Th. To this end, Th of unanesthetized Wistar rats was monitored by temperature data loggers before and after intra-AVPO microinjection of the selective kappa-opioid receptor antagonist nor-binaltorphimine dihydrochloride (nor-BNI; 0.1 and 1.0 mu g/100 nL/animal), the selective mu-opioid receptor antagonist D-Phe-Cys-Tyr-D-Trp-Arg-Thr-Pen-Thr-NH(2) cyclic (CTAP; 0.1 and 1.0 mu g/100 nL/animal), and the selective delta-opioid receptor antagonist Naltrindole (0.06 and 0.6 mu g/100 nL/animal) or saline (vehicle, 100 nu animal), during normoxia and hypoxia (7% inspired O(2)). Under normoxia, no effect of opioid antagonists on Th was observed. Hypoxia induced Th to reduce in vehicle group, a response that was inhibited by the microinjection intra-AVPO of nor-BNI. In contrast, CTAP and Naltrindole did not change Th during hypoxia but caused a longer latency for the return of Th to the normoxic values just after low O(2) exposure. Our results indicate the kappa-opioid receptor in the AVPO is important for the reduction of Th during hypoxia while the mu and delta receptors are involved in the increase of Th during normoxia post-hypoxia. (C) 2009 Elsevier B.V. All rights reserved.