The Qu-Prolog unification algorithm: Formalisation and correctness

Qu-Prolog is an extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifier or binding symbols creating local scopes for those variables. As in Prolog, the instantiable (meta-level) variables of Qu-Prolog range over object-level terms, and in addition other Qu-Prolog syntax denotes the various components of the object-level syntax, including object-level variables. Further, the meta-level operation of substitution into object-level terms is directly represented by appropriate Qu-Prolog syntax. Again as in Prolog, the driving mechanism in Qu-Prolog computation is a form of unification, but this is substantially more complex than for Prolog because of Qu-Prolog's greater generality, and especially because substitution operations are evaluated during unification. In this paper, the Qu-Prolog unification algorithm is specified, formalised and proved correct. Further, the analysis of the algorithm is carried out in a frame-work which straightforwardly allows the 'completeness' of the algorithm to be proved: though fully explicit answers to unification problems are not always provided, no information is lost in the unification process.

Mathematical constraints on a theory of human memory - Response

Colonius suggests that, in using standard set theory as the language in which to express our computational-level theory of human memory, we would need to violate the axiom of foundation in order to express meaningful memory bindings in which a context is identical to an item in the list. We circumvent Colonius's objection by allowing that a list item may serve as a label for a context without being identical to that context. This debate serves to highlight the value of specifying memory operations in set theoretic notation, as it would have been difficult if not impossible to formulate such an objection at the algorithmic level.

Surgical Correction of Aesthetically Deformed Eyebrows Using Local Transposition Flaps

Eyebrow positions differ in many ways. They vary in shape, thickness, length, and distance between the eyebrows, making the face more or less harmonious. When a large distance exists between the eyebrows and the medial brow is slanting downward, the glabellar area is larger, giving the face an awkward appearance. To correct this deformity, the authors propose using two Z-plasties to allow transposition of flaps in the region of the medial brow. The Z-shaped flap is outlined at the medial third of the brow, in the glabellar region, with the eyebrow centered in the lower portion of the ""Z"" and the hairless skin in the upper portion. The flaps then are transposed and sutured. Transposition of the flaps, lifting the brow flap to the glabellar region, results in horizontal positioning of the medial and central third of the eyebrow. The proposed transpositioning of ""Z"" flaps in this region corrects this type of deformity of the medial and central portions of the eyebrows, with an aesthetically satisfactory result.

Aesthetic Quality of the Nipple-Areola Complex in Breast Reconstruction with a New Local Graft Technique

Reconstruction of the nipple-areola complex (NAC) is the last stage of breast reconstruction and represents the search for symmetry in regard to the contralateral breast. The objective of this study was to present an areola reconstruction technique with local skin graft to improve the texture and aspect of the reconstructed areola, searching for a natural look. This technique was performed on 122 patients who in the period from January 2000 to December 2005 were submitted to nipple and areola reconstruction. Once the position of the new nipple was determined, markings were made for the reconstruction of the areola. Then the external limit of the new areola was incised and the skin was centripetally deepidermized up to 85% of its diameter. After this procedure the detached skin was repositioned in its bed as a graft and sutured with 4.0 mononylon thread. Incisions with an 11-blade scalpel were then made in V and C forms associated with the detachment of this skin of the receptor area along the local graft so that at the end of the healing process they would determine alterations in the areolar texture mimicking the texture of a normal areola. All patients underwent tattooing 3 months after reconstruction of the NAC taking into account the different shades of the contralateral areola and nipple colors. The use of a local skin graft associated with C and V incisions allowed alteration in the texture of the reconstructed areola. The use of different ink shades for tattooing helped to give a tridimensional aspect to this areola. These factors determined a good aesthetic result in these patients. This areola reconstruction using a local skin graft allows change in the areola texture and a tridimensional aspect similar to that of a normal areola without the inconvenience of grafting from a distance.

Odorant-induced currents in intact patches from rat olfactory receptor neurons: Theory and experiment

Odorant-induced currents in mammalian olfactory receptor neurons have proved difficult to obtain reliably using conventional whole-cell recording. By using a mathematical model of the electrical circuit of the patch and rest-of-cell, we demonstrate how cell-attached patch measurements can be used to quantitatively analyze responses to odorants or a high (100 mM) K+ solution. High K+ induced an immediate current flux from cell to pipette, which was modeled as a depolarization of similar to 52 mV, close to that expected from the Nernst equation (56 mV), and no change in the patch conductance. By contrast, a cocktail of cAMP-stimulating odorants induced a current flux from pipette into cell following a significant (4-10 s) delay. This was modeled as an average patch conductance increase of 36 pS and a depolarization of 13 mV, Odorant-induced single channels had a conductance of 16 pS. In cells bathed with no Mg2+ and 0.25 mM Ca2+, odorants induced a current flow from cell to pipette, which was modeled as a patch conductance increase of similar to 115 pS and depolarization of similar to 32 mV, All these results are consistent with cAMP-gated cation channels dominating the odorant response, This approach, which provides useful estimates of odorant-induced voltage and conductance changes, is applicable to similar measurements in any small cells.

Effect of phototherapy with low intensity laser on local and systemic immunomodulation following focal brain damage in rat

Brain injury is responsible for significant morbidity and mortality in trauma patients, but controversy still exists over therapeutic management for these patients. The objective of this study was to analyze the effect of phototherapy with low intensity lasers on local and systemic immunomodulation following cryogenic brain injury. Laser phototherapy was applied (or not-controls) immediately after cryogenic brain injury performed in 51 adult male Wistar rats. The animals were irradiated twice (3 h interval), with continuous diode laser (gallium-aluminum-arsenide (GaAlAs), 780 nm, or indium-gallium-aluminum-phosphide (InGaAlP), 660 nm) in two points and contact mode, 40 mW, spot size 0.042 cm(2), 3 J/cm(2) and 5 J/cm(2) (3 s and 5 s, respectively). The experimental groups were: Control (non-irradiated), RL3 (visible red laser/ 3 J/cm(2)), RL5 (visible red laser/5 J/cm(2)), IRL3 (infrared laser/ 3 J/cm(2)), IRL5 (infrared laser/5 J/cm(2)). The production of interleukin-1IL-1 beta (IL-1 beta), interleukin6 (IL-6), interleukin-10 (IL-10), and tumor necrosis factor-alpha (TNF-alpha) was analyzed by enzyme immunoassay technique (ELISA) test in brain and blood samples. The IL-1 beta concentration in brain of the control group ;was significantly reduced in 24 h (p < 0.01). This reduction was also observed in the RL5 and IRL3 groups. The TNF-alpha and IL-6 concentrations increased significantly (p < 0.01 and p < 0.05, respectively) in the blood of all groups, except by the IRL3 group. The IL-6 levels in RL3 group were significantly smaller than in control group in both experimental times. IL-10 concentration was maintained stable in all groups in brain and blood. Under the conditions of this study, it is possible to conclude that the laser phototherapy can affect TNF-alpha, IL-1 beta and IL-6 levels in the brain and in circulation in the first 24 h following cryogenic brain injury. (C) 2009 Elsevier B.V. All rights reserved.

Local dispersion of the Eucalyptus leaf beetle Chrysophtharta bimaculata (Coleoptera: Chrysomelidae), and implications for forest protection

1. Chrysophtharta bimaculata is a native chrysomelid species that can cause chronic defoliation of plantation and regrowth Eucalyptus forests in Tasmania, Australia. Knowledge of the dispersion pattern of C. bimaculata was needed in order to assess the efficiency of an integrated pest management (IPM) programme currently used for its control. 2. Using data from yellow flight traps, local populations of C. bimaculata adults were monitored over a season at spatial scales relevant to commercial forestry: within a 50-ha operational management unit (a forestry 'coupe') and between coupes. In addition, oviposition was monitored over a season at a subset of the between-coupe sites. 3. Dispersion indices (Taylor's Power Law and Iwao's Mean Crowding regression method) demonstrated that C. bimaculata adults were spatially aggregated within and between coupes, although the number of egg-batches laid at the between-coupe scale was uniform. Spatial autocorrelation analysis showed that trap-catches at the within-coupe level were similar (positively autocorrelated) to a radius distance of approximately 110 m, and then dissimilar (negatively autocorrelated) at approximately 250 m. At the between-coupe scale, no repeatable spatial autocorrelation patterns were observed. 4. For any individual site, rapid changes in beetle density were observed to be associated with loosely aggregated flights of beetles into and out of that site. Peak adult catches (> the weekly mean plus standard deviation trap-catch) for a site occurred for a period of 2.0 +/- 0.22 weeks at a time (n = 37), with normally only one or two peaks per site per season. Peak oviposition events for a site occurred on average 1.4 +/- 0.11 times per season and lasted 1.5 +/- 0.12 weeks. 5. Analysis of an extensive data set (n = 417) demonstrated that adult abundance at a site was positively correlated with egg density, but negatively correlated with tree damage (caused by conspecifics) and the presence of conspecific larvae. There was no relationship between adult abundance and a visual estimate of the amount of young foliage on trees. 6. Adults of C. bimaculata are show n to occur in relatively small, mobile aggregations. This means that pest surveys must be both regular (less than 2 weeks apart) and intensive (with sampling points no more than 150 m apart) if beetle populations are to be monitored with confidence. Further refinement of the current IPM strategy must recognize the problems posed by this temporal and spatial patchiness, particularly with regard to the use of biological insecticides, such as Bacillus thuringiensis, for which only a very short operational window exists.

A mathematical model for Escherichia coli debris size reduction during high pressure homogenisation based on grinding theory

Experimental data for E. coli debris size reduction during high-pressure homogenisation at 55 MPa are presented. A mathematical model based on grinding theory is developed to describe the data. The model is based on first-order breakage and compensation conditions. It does not require any assumption of a specified distribution for debris size and can be used given information on the initial size distribution of whole cells and the disruption efficiency during homogenisation. The number of homogeniser passes is incorporated into the model and used to describe the size reduction of non-induced stationary and induced E. coil cells during homogenisation. Regressing the results to the model equations gave an excellent fit to experimental data ( > 98.7% of variance explained for both fermentations), confirming the model's potential for predicting size reduction during high-pressure homogenisation. This study provides a means to optimise both homogenisation and disc-stack centrifugation conditions for recombinant product recovery. (C) 1997 Elsevier Science Ltd.

Microcirculatory effects of local and remote ischemic preconditioning in supraceliac aortic clamping

Introduction: Supraceliac aortic clamping in major vascular procedures promotes splanchnic ischemia and reperfusion (I/R) injury that may induce endothelial dysfunction, widespread inflammation, multiorgan dysfunction, and death. We tested the hypothesis that local or remote ischemic preconditioning (IPC) may be protective against injury after supraceliac aortic clamping through the modulation of mesenteric leukocyte-endothelial interactions, as evaluated with intravital microscopy and expression of adhesion molecules. Methods: Fifty-six male Wistar rats (weight, 190 to 250 g), were divided into four groups of 14 rats each: control sham surgery without aortic occlusion; I/R through supraceliac aortic occlusion for 20 minutes, followed by 120 minutes of reperfusion; local IPC through supraceliac aortic occlusion for two cycles of 5 minutes of ischemia and 5 minutes of reperfusion, followed by the same protocol of the IR group; remote IPC through infrarenal aortic occlusion for two cycles of 10 minutes of ischemia and 10 minutes of reperfusion, followed by the same protocol of the IR group. Seven animals per group were used to evaluate in vivo leukocyte-endothelial interactions in postcapillary venules with intravital microscopy and another seven animals per group were used to collect mesentery samples for inmmnohistochemistry demonstration of adhesion molecules expression. Results: Supraceliac aortic occlusion increased the number of rolling leukocytes with slower velocities and increased the number of adherent leukocytes to the venular surface and leukocyte migration to the interstitium. The expression of P-selectin, E-selectin, and intercellular adhesion molecule-1 was also increased significantly after I/R. Local or remote IPC reduced the leukocyte recruitment in vivo and normalized the expression of adhesion molecules. Conclusions: Local or remote IPC reduces endothelial dysfunction on mesenteric microcirculation caused by I/R injury after supraceliac aortic clamping. (J Vase Surg 2010;52:1321-9.) Clinical Relevance: The present study demonstrates that ischemia and reperfusion injury induced by supraceliac aortic occlusion promotes endothelial dysfunction and leukocyte recruitment on mesenteric microcirculation. Local and remote preconditioning reduced leukocyte-endothelial interactions and normalized the expression of endothelial adhesion molecules involved in this process. Although we recognize the limitation of an experimental model, our findings suggest that local and remote ischemic preconditioning minimize the endothelial dysfunction and leukocyte recruitment events that play a central role in systemic inflammation and multiorgan dysfunction after major aortic reconstructions.

Predictive factors for local recurrence and incomplete resection of early gastric cancer treated by endoscopic resection: A Western experience

BACKGROUND: Early gastric cancer (EGC) is defined as adenocarcinoma limited to the mucosa or submucosa regardless of lymph node involvement. Local EGC recurrence rates have been described ill Lip to 6% of cases. OBJECTIVES: To evaluate predictive factors for incomplete resection and local recurrence of EGC treated by endoscopic mucosal resection (EMR) that was followed up for at least one year. METHODS: From June 1994 to December 2005, 46 patients with EGC underwent EMR. Possible predictive factors for incomplete endoscopic resection and local recurrence were identified by medical chart analysis. Demographic, endoscopic and histopathological data were retrospectively evaluated. EMR was considered complete or incomplete. Patients from the complete resection group were divided into subgroups (with and without local EGC recurrence). RESULTS: Complete resection was possible in 36 cases (76.6%). Predictive factors for incomplete resection were turnout location (P=0.035), histological type (P=0.021), lesion size (P=0.022) and number of resected fragments (P=0.013). On multivariate analysis, undifferentiated histological type (OR 0.8; 95% Cl 0.036 to 0.897) and number of resected fragments (OR 7.34; 95% Cl 1.266 to 42.629) were independent predictive factors for incomplete resection. In the complete resection group, a larger lesion size was associated with a higher the number of resected fragments (P=0.018). Local recurrence occurred in nine cases (25%). Use of the cap technique was the only predictive factor for local recurrence in five of seven cases (71.4%) (P=0.006). CONCLUSIONS: A larger lesion size was associated with a higher number of resected fragments. Undifferentiated adenocarcinoma and piecemeal resection were predictive factors for incomplete resection. Technique type was a predictive factor for local EGC recurrence.

Glial cell line-derived neurotrophic factor added to a sciatic nerve fragment grafted in a spinal cord gap ameliorates motor impairments in rats and increases local axonal growth

Purpose: The aversive nature of regenerative milieu is the main problem related to the failure of neuronal restoration in the injured spinal cord which however might be addressed with an adequate repair intervention. We evaluated whether glial cell line-derived neurotrophic factor (GDNF) may increase the ability of sciatic nerve graft, placed in a gap promoted by complete transections of the spinal cord, to enhance motor recovery and local fiber growth. Methods: Rats received a 4 mm-long gap at low thoracic level and were repaired with a fragment of the sciatic nerve. GDNF was added (NERVE+GDNF) or not to the grafts (NERVE-GDNF). Motor behavior score (BBB) and sensorimotor tests-linked to the combined behavior score (CBS), which indicate the degree of the motor improvement and the percentage of functional deficit, respectively, and also the spontaneous motor behavior in an open field by means of an infrared motion sensor activity monitor were analyzed. At the end of the third month post surgery, the tissue composed by the graft and the adjacent regions of the spinal cord was removed and submitted to the immunohistochemistry of the neurofilament-200 (NF-200), growth associated protein-43 (GAP-43), microtubule associated protein-2 (MAP-2), 5-hidroxytryptamine (serotonin, 5-HT) and calcitonin gene related peptide (CGRP). The immunoreactive fibers were quantified at the epicenter of the graft by means of stereological procedures. Results: Higher BBB and lower CBS levels (p < 0.001) were found in NERVE+GDNF rats. GDNF added to the graft increased the levels of individual sensorimotor tests mainly at the third month. Analysis of the spontaneous motor behavior showed decreases in the time and number of small movement events by the third month without changes in time and number of large movement events in the NERVE+GDNF rats. Immunoreactive fibers were encountered inside the grafts and higher amounts of NF-200, GAP-43 and MAP-2 fibers were found in the epicenter of the graft when GDNF was added. A small amount of descending 5-HT fibers was seen reentering in the adjacent caudal levels of the spinal cords which were grafted in the presence of GDNF, event that has not occurred without the neurotrophic factor. GDNF in the graft also led to a large amount of MAP-2 perikarya and fibers in the caudal levels of the cord gray matter, as determined by the microdensitometric image analysis. Conclusions: GDNF added to the nerve graft favored the motor recovery, local neuronal fiber growth and neuroplasticity in the adjacent spinal cord.