A Compositional Framework for Hardware/Software Co-Design

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derivefrom a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.     

Determination of tablet coating distribution by deconvolution of uncoated and coated tablet weight distributions

PURPOSE: The purpose of this research is to obtain the tablet coating distribution from weight distributions of uncoated and coated tablets. METHODS: The method of deconvolution with digital smoothing was used to calculate the distribution of coating applied to a tablet population from separate random measurements of individual uncoated and coated tablets. RESULTS: It was demonstrated that the calculated coating weight distribution agrees well with the measured distribution. The effect of the smoothing factor on the solution is illustrated. CONCLUSIONS: This method can be used during development to facilitate process scale-up/optimization. In routine production, the method can assess the reproducibility and consistency of a coating process.     

The preferential mobilisation of C20 and C22 polyunsaturated fatty acids from the adipose tissue of the chick embryo: potential implications regarding the provision of essential fatty acids for neural development

The effects of 10 day clenbuterol administration on cardiac and skeletal muscle capillarities were studied, particularly in terms of the distribution of arteriolar and venular capillaries and their capillary density, in young (10-week-old) and middle-aged (37-week-old) male Wistar rats. Rats of the treated groups were fed a diet containing 2 mg kg-1 clenbuterol hydrochloride. In both young and middle aged rats, clenbuterol treatment increased the body wt and the weights of the heart and hindlimb muscles. The mean fibre cross-sectional area was significantly increased after the treatment in the left ventricle, soleus, plantaris and both deep and superficial portions of gastrocnemius (P < 0.01). In the left ventricle, the total capillary density and the density of venular capillaries were decreased after the treatment in both young (9 and 13%, respectively) and middle-aged rats (10 and 11%, respectively). A decrease in total capillary density was also observed in all skeletal muscles examined. In both young and middle-aged rats, the capillary-to-fibre (C:F) ratio and the proportion of each capillary did not change after the treatment in both the left ventricle and skeletal muscles. Clenbuterol significantly decreased the activity of succinate dehydrogenase in all skeletal muscles examined (P < 0.01). These results suggest that clenbuterol increased the diffusion distance for oxygen in the left ventricle and skeletal muscles. These changes may reduce the oxygen supply to tissues and increase muscle fatigability.     

Comparison of ribosomal DNA length and restriction site polymorphisms in Gremmeniella and Ascocalyx isolates

The small subunit (SSU) and the internal transcribed spacer (ITS) of nuclear ribosomal DNA genes from 27 specimens of the fungal genera Gremmeniella and Ascocalyx were amplified by PCR. Length polymorphisms were observed in the SSU and allowed the differentiation of four groups among the isolates tested: (i) Ascocalyx abietis; (ii) Gremmeniella isolates from Picea spp.; (iii) Gremmeniella isolates from Abies balsamea; and (iv) Gremmeniella isolates from Abies sacchalinensis, Larix spp., and Pinus spp. The amplified ITS was the same length for all Gremmeniella specimens and was 60 bp longer in A. abietis. Phylogenetic analysis of length polymorphisms and of 24 restriction sites in the SSU and ITS showed that Gremmeniella isolates were more related to each other than to the Ascocalyx isolate. Furthermore, seven groups were evident within the genus Gremmeniella. Our results confirm that Gremmeniella and Ascocalyx should be kept as different taxa and suggest that the taxonomy of the former could be revised to consider isolates from Abies balsamea and from Picea spp. to be two different varieties while incorporating Gremmeniella laricina into G. abietina, as a new variety.     

Low-field 3-DFT MRI: conceptual, analytical, and experimental aspects

Three-dimensional Fourier transform (3-DFT) magnetic resonance imaging (MRI) offers advantages in terms of signal-to-noise (S/N) per unit of time for the case where a large number of slices is desired. This advantage is enhanced when the relaxation time, T(1 ), is short. Because time limitations in 3-DFT imaging force the use of short time intervals, TR, between excitations of a slice, lesion contrast is often undesirable at mid-and high-field strength even when the S/N is good. At low fields, where T(1) values are short, high S/N and contrast can both be achieved with 3-DFT MR images. The conceptual and analytical aspects of low-field 3-DFT MRI are presented and demonstrated at 640 G.     

Evaluating medication response in ADHD: cognitive, behavioral, and single-subject methodology

We introduce a novel application for linkage analysis: using bone marrow donor-recipient sib pairs to search for genes influential in graft-versus-host disease (GVHD), a major cause of morbidity and mortality following allogeneic bone marrow transplantation. In particular, we show that transplant sib pairs in which the recipient developed severe GVHD can be used to map genes in the same way as traditional discordant (affected/unaffected) sib pairs (DSPs). For a plausible GVHD model, we demonstrate that the transplant/discordant sib pair analog of the "possible triangle test" [Holmans (1993) Am J Hum Genet 52:362-374] has similar power to that of the simpler "restricted test" proposed by Risch [(1990b) Am J Hum Genet 46:229-241; (1992) Am J Hum Genet 51:673-675]. Moreover, we show that the restricted test has superior power in much of the DSP possible triangle and significantly inferior power in only a small region. Thus, we conclude that the restricted test is preferable for localizing genes with transplant/discordant sib pairs. Finally, we examine the effects of heterogeneity on the power to detect GVHD loci and demonstrate the gain in efficiency by dividing the sample into genetically more homogeneous subgroups.