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.

Hydraulic tracer studies in a pilot scale subsurface flow constructed wetland

Current design procedures for Subsurface Flow (SSF) Wetlands are based on the simplifying assumptions of plug flow and first order decay of pollutants. These design procedures do yield functional wetlands but result in over-design and inadequate descriptions of the pollutant removal mechanisms which occur within them. Even though these deficiencies are often noted, few authors have attempted to improve modelling of either flow or pollutant removal in such systems. Consequently the Oxley Creek Wetland, a pilot scale SSF wetland designed to enable rigorous monitoring, has recently been constructed in Brisbane, Australia. Tracer studies have been carried out in order to determine the hydraulics of this wetland prior to commissioning it with sealed sewage. The tracer studies will continue during the wetland's commissioning and operational phases. These studies will improve our understanding of the hydraulics of newly built SSF wetlands and the changes brought on by operational factors such as biological films and wetland plant root structures. Results to date indicate that the flow through the gravel beds is not uniform and cannot be adequately modelled by a single parameter, plug flow with dispersion, model. We have developed a multiparameter model, incorporating four plug flow reactors, which provides a better approximation of our experimental data. With further development this model will allow improvements to current SSF wetland design procedures and operational strategies, and will underpin investigations into the pollutant removal mechanisms at the Oxley Creek Wetland. (C) 1997 IAWQ. Published by Elsevier Science Ltd.

Severe Periodontitis Is Associated With Diastolic Blood Pressure Elevation in Individuals With Heterozygous Familial Hypercholesterolemia: A Pilot Study

Background: This pilot study evaluates the association of severe periodontitis with pulse wave velocity (PWV), carotid artery intima-medial thickness (IMT), and clinical, metabolic, and atherogenic inflammatory markers in 79 subjects with heterozygous familial hypercholesterolemia (hFH). All subjects were free of previous vascular disease manifestations. Methods: The body mass index (in kilograms per square meter), plasma lipids, glucose, C-reactive protein, and white blood cell counts were evaluated. After full-mouth periodontal examinations, patients were categorized into the severe periodontitis group (SPG) or non-severe periodontitis group (NSPG). Results: The SPG showed significantly higher values of cholesterol-year scores, triglycerides, glucose, PWV, IMT, and diastolic blood pressure (DBP) (P <= 0.05) than the NSPG. After adjustment for traditional risk factors for atherosclerosis, only the association between severe periodontitis and DBP (odds ratio: 3.1; 95% CI: 1.1 to 8.5; P = 0.03) was confirmed. Conclusion: In individuals with hFH, severe periodontitis was associated with a higher DBP, which suggests that severe periodontitis, itself, may contribute to the increased cardiovascular risk profile in this population. J Periodontol 2011;82:683-688.

Pressure-Frequency Sensing Subxiphoid Access System for Use in Percutaneous Cardiac Electrophysiology: Prototype Design and Pilot Study Results

We have designed, built, and tested an early prototype of a novel subxiphoid access system intended to facilitate epicardial electrophysiology, but with possible applications elsewhere in the body. The present version of the system consists of a commercially available insertion needle, a miniature pressure sensor and interconnect tubing, read-out electronics to monitor the pressures measured during the access procedure, and a host computer with user-interface software. The nominal resolution of the system is <0.1 mmHg, and it has deviations from linearity of <1%. During a pilot series of human clinical studies with this system, as well as in an auxiliary study done with an independent method, we observed that the pericardial space contained pressure-frequency components related to both the heart rate and respiratory rate, while the thorax contained components related only to the respiratory rate, a previously unobserved finding that could facilitate access to the pericardial space. We present and discuss the design principles, details of construction, and performance characteristics of this system.

Low-Level Laser Therapy in Chronic Autoimmune Thyroiditis: A Pilot Study

Background and Objectives: Chronic autoimmune thyroiditis (CAT) remains the most common cause of acquired hypothyroidism There is currently no therapy that is capable of regenerating CAT-damaged thyroid tissue The objective of this study was to gauge the value of applying low-level laser therapy (LLLT) in CAT patients based on both ultrasound studies (USs) and evaluations of thyroid function and thyroid autoantibodies. Study Design/Materials and Methods: Fifteen patients who had hypothyroidism caused by CAT and were undergoing levothyroxine (LT4) treatment were selected to participate in the study Patients received 10 applications of LLLT (830 nm, output power 50 mW) in continuous mode, twice a week, using either the punctual technique (8 patients) or the sweep technique (7 patients), with fluence in the range of 38-108 J/cm(2) USs were performed prior to and 30 days after LLLT USs included a quantitative analysis of echogenicity through a gray-scale computerized histogram index (El). Following the second ultrasound (30 days after LLLT), LT4 was discontinued in all patients and, if required, reintroduced Truodothyronine, thyroxine (T4), free T4, thyrotropin, thyroid peroxidase (TPOAb) and thyroglobulin (TgAb) antibodies levels were assessed before LLLT and then 1, 2, 3, 6, and 9 months after LT4 withdrawal. Results: We noted all patients` reduced LT4 dosage needs, including 7 (47%) who did not require any LT4 through the 9-month follow-up The LT4 dosage used pre-LLLT (96 +/- 22 mu g/day) decreased in the 9th month of follow-up (38 23 mu g/day; P<0.0001) TPOAb levels also decreased (pre-LLLT = 982 +/- 530 U/ml, post-LLLT = 579 454 U/ml, P = 0 016) TgAb levels were not reduced, though we did observe a post-LLLT increase in the EI (pre-LLLT = 0 99 +/- 0.09, post-LLLT= 1.21 +/- 0.19, P=0.001) Conclusion: The preliminary results indicate that LLLT promotes the improvement of thyroid function, as patients experienced a decreased need for LT4, a reduction in TPOAb levels, and an increase in parenchymal echogenicity Lasers Surg. Med. 42:589-596, 2010. (C) 2010 Wiley-Liss, Inc

Supplementation of Vitamin E, Vitamin C, and Zinc Attenuates Oxidative Stress in Burned Children: A Randomized, Double-Blind, Placebo-Controlled Pilot Study

The aim of this study was to investigate the effect of supplementation of vitamin E, vitamin C, and zinc on the oxidative stress in burned children. In a prospective double-blind placebo-controlled pilot study, 32 patients were randomized as no supplementation (n = 15) or antioxidant supplementation (n = 17) groups. Supplementation consisted of the antioxidant mixture of vitamin C (1.5 times upper intake level), vitamin E (1.35 times upper intake level), and zinc (2.0 times recommended dietary allowance) administered during 7 days starting on the second day of admittance into the hospital. Energy requirement was calculated by the Curreri equation, and protein input was 3.0 g/kg of ideal body mass index (percentile 50 degrees). Total antioxidant capacity of plasma and malondialdehyde were used to monitor oxidative stress. The time of wound healing was evaluated as the main clinical feature. Patients (age 54.2 +/- 48.9 months, 65.6% males), who exhibited 15.5 +/- 6.7% of total burn area, showed no differences in age and sex, when compared with controls. Intake of the administered antioxidants was obviously higher in treated subjects (P = .005), and serum differences were confirmed for vitamin E and C, but not for zinc (P = .180). There was a decrease in lipid peroxidation (malondialdehyde level) (P = .006) and an increase in vitamin E concentrations in the antioxidant supplementation group (P = .016). The time of wound healing was lower in the supplemented group (P < .001). The antioxidant supplementation through vitamin E and C and the mineral zinc apparently enhanced antioxidant protection against oxidative stress and allowed less time for wound healing. (J Burn Care Res 2009;30:859-866)

Applicability of the university of pennsylvania smell identification test (SIT) in brazilians: pilot study

The University of Pennsylvania Smell Identification Test (SIT) is the most cited olfactory test in the literature because it is easy to perform and there is high test-retest reliability. There were no standardized olfaction values in a normal Brazilian population. Aim: To measure the SIT score in a group of Brazilians, and to assess the level of difficulty when implementing the test. Study design: A cross-sectional study. Materials and Methods: The SIT was applied in 25 Brazilian volunteers of various income levels who presented no olfactory complaints. Following the test, subjects answered a questionnaire with a visual analog scale (VAS) for the level of difficulty. Results: The mean in the sample of Brazilians was 32.5 (SD: 3.48) our of 40; this is below what is considered normal for US citizens. The level of difficulty was on average 26 mm (SD: 24.68) in the VAS, but it trended towards easy; 4(16%) participants did not recognize some of the odors under `alternatives`. Conclusion: In this pilot study, there was evidence of good test applicability; the score of the sample of Brazilians was just below normosmia. Further studies are needed to confirm the existence of differences between people of different income levels.

Transdermal estrogen therapy effects on fibrinogen levels in women with a past history of venous thromboembolism: a pilot study

Objective: To evaluate thromboelastographic parameters and fibrinogen levels in women treated with transdermal 17 beta estradiol. Methods: 29 menopausal women with a history of venous thromboembolic disease were included. Nine patients composed the treatment (HT) group and 20 the control group. Coagulation was assessed by thromboelastography in samples of whole blood and platelet-poor plasma (PPP). The following thromboelastographic variables were measured: time for initial coagulation (R), blood clotting speed (K and the a angle), clot tensile strength (MA and G), global index of coagulation (Cl) and fibrinolysis (LY30) and fibrinogen levels. Results: There were no differences in the other parameters comparing both groups. Fibrinogen levels showed a 13.77 +/- 19.94% reduction in the HT group and a 5.51 +/- 8.09% increase in the control group after 6 months. Conclusions: Our data suggested that transdermal estrogen may not increase blood coagulability, but that it reduces fibrinogen levels in FIT women.

Hormone therapy in Brazilian postmenopausal women with chronic hepatitis C: a pilot study

Design Fifty out of 336 postmenopausal patients with chronic infection with the hepatitis C virus were selected. The non-inclusion criteria were other chronic or systemic liver diseases, severe vascular diseases, autoimmune diseases or malignant tumors. The patients were randomized into two groups: the HT group with 25 patients to be given transdermal hormone therapy (50 mu g estradiol plus 170 mu g norethisterone/day) and the control group with the other 25 patients (no medication). Hepatic tests (alanine aminotransferase, aspartate aminotransferase, gamma glutamyltransferase, total alkaline phosphatase, albumin, serum bilirubin) and hemostatic parameters (prothrombin time, factor V, fibrinogen) were evaluated at baseline and at 1, 4, 7 and 9 months of treatment. Results No significant changes in parameters were found in the comparison between the treated group and the controls, except for a decrease in total alkaline phosphatase (p = 0.002), presumably due to changes in bone remodelling. Conclusions There were no changes in liver function after a 9-month treatment with transdermal estradiol plus norethisterone in symptomatic postmenopausal patients with hepatitis C.

Influence of the CYP17 polymorphism on vasomotor symptoms in postmenopausal women: a pilot study

Objective To evaluate the influence of CYP17 polymorphism on menopausal symptoms after estrogen treatment. Methods A total of 130 women were recruited, but only 100 of these were selected according to inclusion and exclusion criteria; they were treated with 0.3 mg/day conjugated equine estrogens. One year later, the study was completed by 71 women. The analysis of the Kupperman menopausal index symptoms was made with information provided by the patients on daily diary cards. Blood samples were analyzed and the women were divided into two groups based on the CYP17, 5`-untranslated region: group A (wild-type homozygote and heterozygote) and group B (mutated homozygote). Results The values for the Kupperman menopausal index were similar in both groups at baseline. The symptoms in both groups decreased after 1 year of treatment when compared to those at baseline. The improvement rate was approximately 27.09% and 32.18%, in groups A and B, respectively. The levels of estrogen after treatment were higher in both groups in comparison with the baseline values. The testosterone level rose in group B with the 1-year treatment (0.48 +/- 0.16 ng/ml), reaching a higher level than the level in group A after treatment. The sex hormone binding globulin (SHBG) level showed a significant increase after the 1-year treatment in group B, surpassing both the baseline and the after-treatment values in group A (p < 0.01). Conclusion Our data suggest that the CYP17 polymorphism did not influence the action of estrogen on menopause symptoms during the 1-year treatment. The extra production of estrogen and androgen may have been countered by the elevation of SHBG levels.

Evaluation of melatonin on the precocious puberty: a pilot study

Objective. To evaluate the effect of 6-sulphatoxymelatonin on the sleep quality of girls with precocious puberty. Study design. Ninety-nine girls were divided into three groups: GI, precocious puberty; GII, normal prepubescent; GIII, normal puberty. Questionnaires containing demographic and clinical data were applied. Blood was collected for hormonal evaluation for 6-sulphatoxymelatonin. The modified Rush Sleep Diary was used. Results. The levels of 6-sulphatoxymelatonin were highest in the group without pubertal development (75.23 +/- 10.84 ng/ml), second highest in the group with normal puberty (45.66 +/- 3.87 ng/ml, p < 0.001) and lowest in the group with true precocious puberty (37.04 +/- 5.47 ng/ml). The amount of day sleep was greater in the group without pubertal development compared to other groups. Conclusion. Despite the sleep data, melatonin may be involved in the precocious puberty process.

Treatment of Resistant Obsessive-Compulsive Disorder With Ventral Capsular/Ventral Striatal Gamma Capsulotomy: A Pilot Prospective Study

A subgroup of obsessive-compulsive disorder (OCD) patients remains refractory to conventional treatments. For them, a new stereotactic radiosurgery has been recently developed: the ventral capsular/ventral striatal (VC/VS) gamma capsulotomy. The authors aim to report efficacy and adverse events of VC/VS gamma capsulotomy. Five refractory OCD patients were selected. The authors assessed OCD, anxiety and depressive symptoms, and side effects pre- and postoperatively. Three patients (60%) met response criteria 48 months after surgery. Adverse effects were episodic and transient. Ventral capsular/ventral striatal gamma capsulotomy holds therapeutic promise, with few adverse effects. (The Journal of Neuropsychiatry and Clinical Neurosciences 2009; 21:381-392)

Gamma ventral capsulotomy for treatment of resistant obsessive-compulsive disorder: A structural MRI pilot prospective study

Objective: The purpose of this study was to investigate regional structural abnormalities in the brains of five patients with refractory obsessive-compulsive disorder (OCD) submitted to gamma ventral capsulotomy. Methods: We acquired morphometric magnetic resonance imaging (MRI) data before and after 1 year of radiosurgery using a 1.5-T MRI scanner. Images were spatially normalized and segmented using optimized voxel-based morphometry (VBM) methods. Voxelwise statistical comparisons between pre- and post-surgery MRI scans were performed using a general linear model. Findings in regions predicted a priori to show volumetric changes (orbitofrontal cortex, anterior cingulate gyrus, basal ganglia and thalamus) were reported as significant if surpassing a statistical threshold of p<0.001 (uncorrected for multiple comparisons). Results: We detected a significant regional postoperative increase in gray matter volume in the right inferior frontal gyri (Brodmann area 47, BA47) when comparing all patients pre and postoperatively. Conclusions: Our results support the current theory of frontal-striatal-thalamic-cortical (FSTC) circuitry involvement in OCD pathogenesis. Gamma ventral capsulotomy is associated with neurobiological changes in the inferior orbitofrontal cortex in refractory OCD patients. (C) 2008 Elsevier Ireland Ltd. All rights reserved.