A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science

Formal Aspects of Computing are dedicated to Professor Rod Burstall, and, as a collection of papers, memoirs and incidental pieces, form a Festschrift for Rod. The contributions are made by some of the many who know Rod and have been in uenced by him. The research papers included here represent some of the areas in which Rod has been active, and the editors thank their colleagues for agreeing to contribute to this Festschrift.     

Presentation and treatment of spontaneous aortocaval fistula

BACKGROUND: Spontaneous rupture of abdominal aortic aneurysm into the inferior vena cava is rare. The clinical presentation is highly variable, and the diagnosis can be difficult, often being made only at operation. The aortocaval fistula results in a large left-to-right shunt, which can cause cardiac failure. Once the diagnosis is made, treatment is by surgical closure of the fistula and repair of the aneurysm with a graft. METHODS: This is a retrospective review of a single surgeon's experience with aortocaval fistula complicating abdominal aortic aneurysms. RESULTS: Over a 15-year period, we had five patients with spontaneous aortocaval fistula who were treated operatively. Preoperative diagnosis was made in two, suspected in one, and not made in two, one of whom died (the only perioperative death in the series). CONCLUSIONS: Spontaneous aortocaval fistulas are uncommon, and their preoperative recognition is difficult. Hematuria in association with an abdominal aortic aneurysm should raise the suspicion of an aortocaval fistula. Surgical correction is possible, with survival rates comparable to those associated with rupture of aneurysms into the retroperitoneum. Early operative control of the fistula is important to optimize the preload to the heart.     

Disparity field and depth map coding for multiview 3D image generation

In the present paper techniques are examined for the coding of the depth map and disparity fields for stereo or multiview image communication applications. It is assumed that both the left and right channels of the multiview image sequence are coded using block- or object-based methods. A dynamic programming algorithm is used to estimate a disparity field between each stereo image pair. Depth is then estimated and occlusions are optionally detected, based on the estimated disparity fields. Spatial interpolation techniques are examined based on the disparity/depth information and the detection of occluded regions using either stereoscopic or trinocular camera configurations. It is seen that the presence of a third camera at the transmitter site improves the estimation of disparities, the detection of occlusions and the accuracy of the resulting spatial interpolation at the receiver. Various disparity field and depth map coding techniques are then proposed and evaluated, with emphasis given to the quality of the resulting intermediate images at the receiver site. Block-based and wireframe modeling techniques are examined for the coding of isolated depth or disparity map information. Further, 2D and 3D motion compensation techniques are evaluated for the coding of sequences of depth or disparity maps. The motion fields needed may be available as a byproduct of block-based or object-based coding of the intensity images. Experimental results are given for the evaluation of the performance of the proposed coding and spatial interpolation methods.     

Baseband Volterra filters for implementing carrier basednonlinearities

A diagonal coordinate representation for Volterra filters is developed and exploited to derive efficient Volterra filter implementations for processing carrier based input signals. In the diagonal coordinate representation, the output is expressed as a sum of linear filters applied to modified input signals. Hence, linear filtering methods are employed to implement the nonlinear filter on a baseband version of the input. Downsampling is then used to reduce computational complexity. The same approach is employed to develop efficient implementations for processing continuous-time carrier-based signals, pulse amplitude-modulated signals, and frequency division multiplexed input signals     

Itraconazole for treatment of oral candidosis in pediatric cancer patients

The objective of this study was to determine the frequency, degree of curvature, and the configuration of mesiobuccal and mesiolingual root canals of mandibular first molars. The degree of curvature and configuration of root canals creates some technical difficulties to the clinician during biomechanical preparation. Therefore this knowledge is essential for successful endodontic therapy. Six hundred and ninety-seven freshly extracted mandibular first molars were used in this study. After introducing 0.8 to 15 K reamers into the mesial root canals, the teeth were radiographed in buccolingual (clinical) and mesiodistal (proximal) directions. All samples showed curvatures at varying degrees in both views. There was a significant correlation between the degree of primary curvature of mesiobuccal and mesiolingual canals in clinical directions for total samples. When the primary curvature values of the mesial root canals were evaluated in Vertucci classification, the mesiobuccal and mesiolingual canals in Vertucci type VI were found as significantly correlated (r = 0.7173, p < 0.05). A significant correlation was seen between the secondary curvature values of clinical and proximal views of mesiolingual canal in Vertucci type VI (r = 0.9891, p < 0.05). The secondary curvature values in the clinical views of mesiobuccal and mesiolingual canals were found as significantly correlated in Vertucci type II.     

Interdiffusion behavior of Hg in HgTe/CdTe superlattices grown on Cd0.96Zn0.04 Te (211)B substrates by molecular beam epitaxy

Double-crystal x-ray rocking curve (DCRC) and secondary-ion mass-spectroscopy (SIMS) measurements have been performed to investigate the effect of rapid thermal annealing on the interdiffusion behavior of Hg in HgTe/CdTe superlattices grown on Cd_0.96Zn_0.04Te (211)B substrates by molecular beam epitaxy. The sharp satellite peaks of the DCRC measurements on a 100-period HgTe/CdTe (100Å/100Å) superlattice show a periodic arrangement of the superlattice with high-quality interfaces. The negative direction of the entropy change obtained from the diffusion coefficients as a function of the reciprocal of the temperature after RTA indicates that the Hg diffusion for the annealed HgTe/CdTe superlattice is caused by an interstitial mechanism. The Cd and the Hg concentration profiles near the annealed HgTe/CdTe superlattice interfaces, as measured by SIMS, show a nonlinear behavior for Hg, originating from the interstitial diffusion mechanism of the Hg composition. These results indicate that a nonlinear interdiffusion behavior is dominant for HgTe/CdTe superlattices annealed at 190°C and that the rectangular shape of HgTe/CdTe superlattices may change to a parabolic shape because of the intermixing of Hg and Cd due to the thermal treatment.     

Buffering packetised data: an examination of the crossover effect

Buffer analysis has traditionally relied heavily on the use of traffic models with short range (exponentially decaying) autocorrelation, e.g. Poisson and Markov modulated Poisson processes. Recent literature has suggested the presence of traffic with slowly (hyperbolically) decaying autocorrelation functions; these sources collectively and individually seem to be exhibiting the phenomenon of long range dependence (LRD). Furthermore, it has been claimed that this sort of traffic may exhibit behaviour, when buffered, that is advantageous in that a smaller buffer may be required than would be the case with non-LRD traffic. This phenomenon has been named the crossover effect, and the authors quantify its relevance to ATM networking, using simulation studies of a homogenous mix of chaotic sources. These show that there is a crossover effect, but the key finding is that this effect is much nearer to a buffer length of zero than was predicted by previous theoretical studies, actually occurring at a value so low that it has no practical significance     

Modeling of current-voltage characteristics for strained andlattice matched HEMT's on InP substrate using a variational chargecontrol model

A model for the calculation of the current-voltage characteristics of strained In_0.52Al_0.48As/In_xGa_1-xAs on InP substrate High Electron Mobility Transistors (HEMT's), based on a variational charge control model, is presented. A polynomial fit of the two-dimensional electron gas (2DEG) density is used for the calculation of the current-voltage characteristics. The effect of strain is introduced into the 2DEG density versus gate voltage relation. Very good agreement between the calculated and measured I-V characteristics was obtained. In addition, our results show that, for an indium mole fraction of the In_xGa_1-xAs channel in the range 0.53-0.60, increasing the indium mole fraction lowers the threshold voltage and hence increases the drain current at the same gate bias     

Effect of spark discharge parameters on the ignition of gas mixtures

The influence of the duration and spatial extent of a heat-releasing spark discharge on the critical conditions of spark ignition of a reactive gas is considered. A region insensitive to the effect of these parameters and, thus, suitable for work with the instantaneous source model is defined. Tomsk. Translated from Fizika Goreniya i Vzryva, Vol. 29, No. 5, pp. 3–7, September–October, 1993.