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.

A Simple and Efficient Device for Demonstrating Cross-sectional Anatomy of the Head

Described in this article is a novel device that facilitates study of the cross-sectional anatomy of the human head. In designing our device, we aimed to protect sections of the head from the destructive action of handling during anatomy laboratory while also ensuring excellent visualization of the anatomic structures. We used an electric saw to create 15-mm sections of three cadaver heads in the three traditional anatomic planes and inserted each section into a thin, perforated display box made of transparent acrylic material. The thin display boxes with head sections are kept in anatomical order in a larger transparent acrylic storage box containing formaldehyde solution, which preserves the specimens but also permits direct observation of the structures and their anatomic relationships to each other. This box-within-box design allows students to easily view sections of a head in its anatomical position as well as to examine internal structures by manipulating individual display boxes without altering the integrity of the preparations. This methodology for demonstrating cross-section anatomy allows efficient use of cadaveric material and technician time while also giving learners the best possible handling and visualization of complex anatomic structures. Our approach to teaching cross-sectional anatomy of the head can be applied to any part of human body, and the value of our device design will only increase as more complicated understandings of cross-sectional anatomy are required by advances and proliferation of imaging technology. Anat Sci Educ 3: 141-143, 2010. (C) 2010 American Association of Anatomists.

Migration of Husbands, Remittances and Agricultural Production: Impacts when Wives Head Households in Rural Kenya

This paper uses data collected from migrants' wives in the Nyeri district of Kenya. The main objective is to determine whether migration and remittances contribute to the development of agriculture. Our results suggest that most migrants are pushed out of rural areas, belong to the group of low-paid workers in urban areas, send little and irregular remittances to their wives back in rural areas and that these remittances are mainly used for consumption purposes and do not contribute to any significant development in agriculture. Our results also indicate that altruism or social obligation might be the main reason for migrants sending remittances back to their rural wives.

Laser Phototherapy as Topical Prophylaxis Against Head and Neck Cancer Radiotherapy-Induced Oral Mucositis: Comparison Between Low and High/Low Power Lasers

Background and Objective: Oral mucositis is a dose-limiting and painful side effect of radiotherapy (RT) and/or chemotherapy in cancer patients. The purpose of the present study was to analyze the effect of different protocols of laser phototherapy (LPT) on the grade of mucositis and degree of pain in patients under RT. Patients and Methods: Thirty-nine patients were divided into three groups: G1, where the irradiations were done three times a week using low power laser; G2, where combined high and low power lasers were used three time a week; and G3, where patients received low power laser irradiation once a week. The low power LPT was done using an InGaAlP laser (660 nm/40 mW/6 J cm(-2)/0.24 J per point). In the combined protocol, the high power LPT was done using a GaAlAs laser (808 nm, 1 W/cm(2)). Oral mucositis was assessed at each LPT session in accordance to the oral-mucositis scale of the National Institute of the Cancer-Common Toxicity criteria (NIC-CTC). The patient self-assessed pain was measured by means of the visual analogue scale. Results: All protocols of LPT led to the maintenance of oral mucositis scores in the same levels until the last RT session. Moreover, LPT three times a week also maintained the pain levels. However, the patients submitted to the once a week LPT had significant pain increase; and the association of low/high LPT led to increased healing time. Conclusions: These findings are desired when dealing with oncologic patients under RT avoiding unplanned radiation treatment breaks and additional hospital costs. Lasers Surg.Med. 41:264-270,2009. (C) 2009Wiley-Liss, Inc.

A role for COX2-derived PGE2 and PGE2-receptor subtypes in head and neck squamous carcinoma cell proliferation

The overexpression of cyclooxygenase (COX)-2 is a frequent event in squamous cell carcinomas of the head and neck (HNSCC), and non-steroidal anti-inflammatory drugs, which are potent inhibitors of COX-1 and COX-2, exert chemopreventive effects on HNSCC cancer development. COX-2 promotes the release of the pro-inflammatory mediator prostaglandin E2 (PGE2), which acts on its cell surface G protein-coupled receptors EP1, EP2, EP3, and EP4. Here, we investigated the role of PGE2 and its receptors in cellular proliferation in HNSCC. The expression of COX-2 and EP1-4 was examined in immortalized oral epithelial cells and in a representative panel of HNSCC cell lines, and based on these data EP1-EP3 and COX-2 expression were evaluated by immunohistochemistry in a large clinical sample collection using HNSCC tissue microarrays. The ability of selective COX-2 inhibition to block PGE2 secretion was measured by ELISA specific assays. The effects of PGE2 on cell proliferation were evaluated using PGE2, its stable analog, and EP2 and EP3-specific synthetic agonists. The results presented here show that HNSCC tumoral lesions and their derived cell lines constitutively express COX-2 and the EP1, EP2 and EP3 receptors for PGE2. HNSCC cells secrete PGE2, which can be suppressed by low concentrations of COX-2 selective inhibitors, without inhibiting cell proliferation. Exogenously added stable PGE2 and EP3-specific agonists induce DNA synthesis in all HNSCC cell lines tested. Overall, our study supports the emerging notion that PGE2 produced in the tumor microenvironment by the overexpression of COX-2 in tumoral and inflammatory cells may promote the growth of HNSCC cells in an autocrine and paracrine fashion by acting on PGE2 receptors that are widely expressed in most HNSCC cancer cells. In particular, our findings suggest that EP3 receptor may play a more prominent role in HNSCC cell growth promotion, thus providing a rationale for the future evaluation of this PGE2 receptor as a target for HNSCC prevention strategies. Published by Elsevier Ltd.

Morphological Study of Myoneural Interaction between the Levator Labii Superioris Muscle and its Motor Nerve in Rats

The progress of science in search of new techniques of the nerve regeneration and the functional repair in reinnervated muscle has been the target of many researchers around the world. Consequently, nerves and muscles in different body segments asked for more enlightenment of their morphology, their interrelation with other anatomic structures and their peculiarities. One of the most significant areas that need deeper studies is the region of the head and neck, since they are often affected by important pathologies. In order to offer the researcher`s community a morphological myoneural interaction model, this study elected the levator labii superioris muscle and its motor nerve, the buccal branch of the facial nerve (VII pair) not only for its special characteristics, but also its value on the facial expression. The rat was chosen for this investigation for being easy to obtain, to keep, to manipulate and to compare this experiment with many others studies previously published. The techniques used were Mesoscopic (dissection), histoenzymologic and morphometric ones. In the results the muscle proved to have a predominance of fast twich fibers (FG and FOG) and superficial location, with a proximal bone and a distal cutaneous insertion. Its motor nerve, the buccal branch of the facial nerve (VII pair), breaks through the muscle belly into its deep face, and comprised a heterogeneous group of myelinic nerve fibers disposed in a regular form in all fascicle. Near the motor point, the nerve showed to be composed of two fascicles with different sizes. Due to the small nerve dimensions, the nerve fibers have a smaller diameter if compared to the motor nerve of pectineus muscle of the cat. Further studies with neural tracers have already had a start in order to provide more information about the distribution and the architecture of these fibers.

Effect of PTK/ZK on the Angiogenic Switch in Head and Neck Tumors

Transformation of small avascular masses of tumor cells into rapidly progressive cancers is triggered by the angiogenic switch, a process that involves vascular endothelial growth factor (VEGF) signaling. We have shown that VEGF enhances the survival and angiogenic potential of endothelial cells by activating the Bcl-2-CXCL8 signaling axis. The purpose of this study was to evaluate the effect of a small-molecule inhibitor of VEGF receptors (PTK/ZK) on the initial stages of head and neck tumor angiogenesis. In vitro, PTK/ZK blocked head and neck tumor cell (OSCC3 or UM-SCC-17B)-induced Bcl-2 and CXCL8 expression in endothelial cells. Oral administration of PTK/ZK decreased xenograft head and neck tumor microvessel density, and inhibited Bcl-2 and CXCL8 expression in tumor-associated endothelial cells. Analysis of these data demonstrates that PTK/ZK blocks downstream targets of VEGF signaling in endothelial cells, and suggests that PTK/ZK may inhibit the angiogenic switch in head and neck tumors. Abbreviations: HDMEC, human dermal microvascular endothelial cells; VEGF, vascular endothelial growth factor; CXCL8, CXC ligand-8; PTK/ZK, PTK787/ZK222584.

Ecological distribution of mosquito larvae of the Anopheles punctulatus group on Niolam (Lihir) Island, Papua New Guinea

We surveyed the larval habitats of member,, of the Anopheles punctulatus group of mosquitoes on Niolam (Lihir) Island. Papua New Guinea. Identification of this group was undertaken by polymerase chain reaction-restriction fragment length polymorphism analysis of the amplified internal transcribed spacer unit 2 of rDNA. because morphologic separation of member species is unreliable. The most widespread malaria vector species and their most common larval habitats identified to aid source-reduction programs for malaria control. The most ubiquitous species was An. punctulatus, followed by An. farauti no. 2. then An. farauti s.s. Anopheles punctulatus has increased relative to An.farauti s.l. since the start of development projects on Lihir Island. The most common larval habitats were shallow temporary pools with clay substrate and with plants or floatage. These habitats. mostly encountered alongside poorly drained roads, may be increased by development projects.

Resting energy expenditure of children attending a rehabilitation programme following head injury

Statement of purpose: Increased resting energy expenditure following head injury is well documented, but whether this increase extends into rehabilitation and whether this is affected by changes in body composition have not been studied. The aim of this study was to determine whether children attending a rehabilitation program following head injury had altered energy expenditure and body composition. Methods: Measurements of resting energy expenditure by indirect calorimetry were performed in 21 head injured children (mean age 10.2±3.8 years). Measurement of body composition was performed using total body potassium. Results: Measured resting energy expenditure values were widely distributed, ranging from 52.3-156.4% of predicted values, yet the mean percentage predicted using Schofield weight, Schofield weight and height and World Health Organization predictive equations were 97.5%, 97.4% and 98.6%, respectively. Mean percentage of expected total body potassium for weight, height and age for head injured children were 85.1 ± 15.5%, 89.1 ± 14.1% and 86.9 ± 15.9%, thus all showed significant depletion. Conclusions: During rehabilitation, using predictive equations to estimate resting energy expenditure in this group revealed a small bias on average but very large bias at the individual level. Head injured children had altered resting energy expenditure and body composition.