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.

Study of the spatial distribution of the absorbed dose in blood volumes irradiated using a teletherapy unit

Blood irradiation can be performed using a dedicated blood irradiator or a teletherapy unit. A thermal device providing appropriate storage conditions during blood components irradiation with a teletherapy unit has been recently proposed. However, the most appropriated volume of the thermal device was not indicated. The goal of this study was to indicate the most appropriated blood volume for irradiation using a teletherapy unit in order to minimize both the dose heterogeneity in the volume and the blood irradiation time using these equipments. Theoretical and experimental methods were used to study the dose distribution in the blood volume irradiated using a linear accelerator and a cobalt-60 therapy machine. The calculation of absorbed doses in the middle plane of cylindrical acrylic volumes was accomplished by a treatment planning system. Experimentally, we also used cylindrical acrylic phantoms and thermoluminescent dosimeters to confirm the calculated doses. The data obtained were represented by isodose curves. We observed that an irradiation volume should have a height of 28 cm and a diameter of 28 cm and a height of 35 cm and a diameter of 35 cm, when the irradiation is to be performed by a linear accelerator and a cobalt-60 teletherapy unit, respectively. Calculated values of relative doses varied from 93% to 100% in the smaller volume, and from 66% to 100% in the largest one. A difference of 5.0%, approximately, was observed between calculated and experimental data. The size of these volumes permits the irradiation of blood bags in only one bath without compromising the homogeneity of the absorbed dose over the irradiated volume. Thus, these irradiation volumes can be recommend to minimize the irradiation time when a teletherapy unit is used to irradiate blood. (C) 2010 Elsevier Ltd. All rights reserved.

Dorsal cutaneous branch of the ulnar nerve: a light and electron microscopy histometric study

This study describes the normal morphology and morphometry of the dorsal cutaneous branch of the ulnar nerve (DCBU) in humans. Fourteen nerves of eight donors were prepared by conventional techniques for paraffin and epoxy resin embedding. Semiautomatic morphometric analysis was performed by means of specific computer software. Histograms of the myelinated and unmyelinated fiber population and the G-ratio distribution of fibers were plotted. Myelinated fiber density per nerve varied from 5,910 to 10,166 fibers/mm(2), with an average of 8,170 +/- 393 fibers/mm(2). The distribution was bimodal with peaks at 4.0 and 9.5 mu m. Unmyelinated fiber density per nerve varied from 50,985 to 127,108, with an average of 78,474 +/- 6, 610 fibers/mm(2), with a unimodal distribution displaying a peak at 0.8 mu m. This study thus adds information about the fascicles and myelinated and unmyelinated fibers of DCBU nerves in normal people, which may be useful in further studies concerning ulnar nerve neuropathies, mainly leprosy neuropathy.

Venom-Sweet-Venom: N-Linked Glycosylation in Snake Venom Toxins

Protein glycosylation represents one of the most important post-translational events, and is a mean of diversifying a protein without recourse to the genome. The venoms produced by snakes contain an abundance of glycoproteins with N-linked carbohydrates. N-linked glycosylation can ensure the correct folding of important functional domains. Characterization of carbohydrates structures aids in development of human therapeutics by snake venom toxins.

Ultrastructural Morphology and Morphometry of Phrenic Nerve in Rats

Despite numerous literature reports on the morphometry of the myelinated fibers of phrenic nerves in rats, a systematic study of the longitudinal and lateral symmetry of the unmyelinated fibers morphometry is not available. In this study, we have undertaken ultrastructural and morphometric studies of the phrenic nerve in adult rats, assessing two different levels (proximal and distal) from both right and left sides. Phrenic nerves of adult male Wistar rats were prepared for epoxy resin embedding and transmission electron microscopy. Morphometric analysis was performed with the aid of computer software, which took into consideration the unmyelinated fiber number, density, area, and diameter, as well as ratio between myelinated and unmyelinated fibers, and the percentage of the fascicular area occupied by the myelinated and unmyelinated fibers. Comparison of data from proximal and distal segments on the same side and from the same levels between sides was performed. Differences were considered significant when P < 0.05. The most important finding is that morphometric parameters of the phrenic nerve unmyelinated fibers in adult rats are both longitudinally and laterally symmetric. This study adds important morphometric information about the unmyelinated fibers of the phrenic nerves in adult rats for proximal and distal levels on both sides of the animal. Anat Rec, 292:513-517, 2009. (C) 2008 Wiley-Liss, Inc.