Compressing computer programs

This paper describes a scheme for compressing programs written in a particular programming language—which can be any language that has a formal lexical and syntactic description—in such a way that they can be reproduced exactly. Only syntactically correct programs can be compressed. The scheme is illustrated on the Pascal language, and compression results are given for a corpus of Pascal programs; but it is by no means restricted to Pascal. In fact, we discuss how a "compressor-generator" program can be constructed that creates a compressor automatically from a formal specification of a programming language, in much the same way as a parser generator creates a syntactic parser from a formal language description

A VSA search for the extended Sunyaev-Zel'dovich Effect in the Corona Borealis Supercluster

We present interferometric imaging at 33 GHz of the Corona Borealis supercluster, using the extended configuration of the Very Small Array. A total area of 24 deg^2 has been imaged, with an angular resolution of 11 arcmin and a sensitivity of 12 mJy/beam. The aim of these observations is to search for Sunyaev-Zel'dovich (SZ) detections from known clusters of galaxies in this supercluster and for a possible extended SZ decrement due to diffuse warm/hot gas in the intercluster medium. We measure negative flux values in the positions of the ten richest clusters in the region. Collectively, this implies a 3.0-sigma detection of the SZ effect. In the clusters A2061 and A2065 we find decrements of approximately 2-sigma. Our main result is the detection of two strong and resolved negative features at -70+-12 mJy/beam (-157+-27 microK) and -103+-10 mJy/beam (-230+-23 microK), respectively, located in a region with no known clusters, near the centre of the supercluster. We discuss their possible origins in terms of primordial CMB anisotropies and/or SZ signals related to either unknown clusters or to a diffuse extended warm/hot gas distribution. Our analyses have revealed that a primordial CMB fluctuation is a plausible explanation for the weaker feature (probability of 37.82%). For the stronger one, neither primordial CMB (probability of 0.33%) nor SZ can account alone for its size and total intensity. The most reasonable explanation, then, is a combination of both primordial CMB and SZ signal. Finally, we explore what characteristics would be required for a filamentary structure consisting of warm/hot diffuse gas in order to produce a significant contribution to such a spot taking into account the constraints set by X-ray data.Comment: 16 pages, 10 figures. Accepted in MNRA

First results from the Very Small Array -- I. Observational methods

The Very Small Array (VSA) is a synthesis telescope designed to image faint structures in the cosmic microwave background on degree and sub-degree angular scales. The VSA has key differences from other CMB interferometers with the result that different systematic errors are expected. We have tested the operation of the VSA with a variety of blank-field and calibrator observations and cross-checked its calibration scale against independent measurements. We find that systematic effects can be suppressed below the thermal noise level in long observations; the overall calibration accuracy of the flux density scale is 3.5 percent and is limited by the external absolute calibration scale.Comment: 9 pages, 10 figures, MNRAS in press (Minor revisions

Follow-up observations at 16 and 33 GHz of extragalactic sources from WMAP 3-year data: I - Spectral properties

We present follow-up observations of 97 point sources from the Wilkinson Microwave Anisotropy Probe (WMAP) 3-year data, contained within the New Extragalactic WMAP Point Source (NEWPS) catalogue between declinations of -4 and +60 degrees; the sources form a flux-density-limited sample complete to 1.1 Jy (approximately 5 sigma) at 33 GHz. Our observations were made at 16 GHz using the Arcminute Microkelvin Imager (AMI) and at 33 GHz with the Very Small Array (VSA). 94 of the sources have reliable, simultaneous -- typically a few minutes apart -- observations with both telescopes. The spectra between 13.9 and 33.75 GHz are very different from those of bright sources at low frequency: 44 per cent have rising spectra (alpha < 0.0), where flux density is proportional to frequency^-alpha, and 93 per cent have spectra with alpha < 0.5; the median spectral index is 0.04. For the brighter sources, the agreement between VSA and WMAP 33-GHz flux densities averaged over sources is very good. However, for the fainter sources, the VSA tends to measure lower values for the flux densities than WMAP. We suggest that the main cause of this effect is Eddington bias arising from variability.Comment: 12 pages, 13 figures, submitted to MNRA

Mechanisms of Myocardial Ischemia in Hypertrophic Cardiomyopathy : Insights From Wave Intensity Analysis and Magnetic Resonance

Background: Angina is common in hypertrophic cardiomyopathy (HCM) and is associated with abnormal myocardial perfusion. Wave intensity analysis improves the understanding of the mechanics of myocardial ischemia. Objectives: Wave intensity analysis was used to describe the mechanisms underlying perfusion abnormalities in patients with HCM. Methods: Simultaneous pressure and flow were measured in the proximal left anterior descending artery in 33 patients with HCM and 20 control patients at rest and during hyperemia, allowing calculation of wave intensity. Patients also underwent quantitative first-pass perfusion cardiac magnetic resonance to measure myocardial perfusion reserve. Results: Patients with HCM had a lower coronary flow reserve than control subjects (1.9 ± 0.8 vs. 2.7 ± 0.9; p = 0.01). Coronary hemodynamics in HCM were characterized by a very large backward compression wave during systole (38 ± 11% vs. 21 ± 6%; p < 0.001) and a proportionately smaller backward expansion wave (27% ± 8% vs. 33 ± 6%; p = 0.006) compared with control subjects. Patients with severe left ventricular outflow tract obstruction had a bisferiens pressure waveform resulting in an additional proximally originating deceleration wave during systole. The proportion of waves acting to accelerate coronary flow increased with hyperemia, and the magnitude of change was proportional to the myocardial perfusion reserve (rho = 0.53; p < 0.01). Conclusions: Coronary flow in patients with HCM is deranged. Distally, compressive deformation of intramyocardial blood vessels during systole results in an abnormally large backward compression wave, whereas proximally, severe left ventricular outflow tract obstruction is associated with an additional deceleration wave. Perfusion abnormalities in HCM are not simply a consequence of supply/demand mismatch or remodeling of the intramyocardial blood vessels; they represent a dynamic interaction with the mechanics of myocardial ischemia that may be amenable to treatment

Advanced EFL learners' beliefs about language learning and teaching: a comparison between grammar, pronunciation, and vocabulary

This paper reports on the results of a study exploring learners’ beliefs on the learning and teaching of English grammar, pronunciation and vocabulary at tertiary level. While the importance of learners’ beliefs on the acquisition process is generally recognized, few studies have focussed on and compared learners’ views on different components of the language system. A questionnaire containing semantic scale and Likert scale items probing learners’ views on grammar, pronunciation and vocabulary was designed and completed by 117 native speakers of Dutch in Flanders, who were studying English at university. The analysis of the responses revealed that (i) vocabulary was considered to be different from grammar and pronunciation, both in the extent to which an incorrect use could lead to communication breakdown and with respect to the learners’ language learning strategies, (ii) learners believed in the feasibility of achieving a native-like proficiency in all three components, and (iii) in-class grammar, pronunciation and vocabulary exercises were considered to be useful, even at tertiary level. The results are discussed in light of pedagogical approaches to language teaching

Neonatal hearing screening: modelling cost and effectiveness of hospital- and community-based screening

BACKGROUND: Children with congenital hearing impairment benefit from early detection and management of their hearing loss. These and related considerations led to the recommendation of universal newborn hearing screening. In 2001 the first phase of a national Newborn Hearing Screening Programme (NHSP) was implemented in England. Objective of this study was to assess costs and effectiveness for hospital and community-based newborn hearing screening systems in England based on data from this first phase with regard to the effects of alterations to parameter values. METHODS: Design: Clinical effectiveness analysis using a Markov Model. Outcome measure: quality weighted detected child months (QCM). RESULTS: Both hospital and community programmes yielded 794 QCM at the age of 6 months with total costs of £3,690,000 per 100,000 screened children in hospital and £3,340,000 in community. Simulated costs would be lower in hospital in 48% of the trials. Any statistically significant difference between hospital and community in prevalence, test sensitivity, test specificity and costs would result in significant differences in cost-effectiveness between hospital and community. CONCLUSION: This modelling exercise informs decision makers by a quantitative projection of available data and the explicit and transparent statements about assumptions and the degree of uncertainty. Further evaluation of the cost-effectiveness should focus on the potential differences in test parameters and prevalence in these two settings

Searching for non-Gaussianity in the VSA data

We have tested Very Small Array (VSA) observations of three regions of sky for the presence of non-Gaussianity, using high-order cumulants, Minkowski functionals, a wavelet-based test and a Bayesian joint power spectrum/non-Gaussianity analysis. We find the data from two regions to be consistent with Gaussianity. In the third region, we obtain a 96.7% detection of non-Gaussianity using the wavelet test. We perform simulations to characterise the tests, and conclude that this is consistent with expected residual point source contamination. There is therefore no evidence that this detection is of cosmological origin. Our simulations show that the tests would be sensitive to any residual point sources above the data's source subtraction level of 20 mJy. The tests are also sensitive to cosmic string networks at an rms fluctuation level of $105 \mu K$ (i.e. equivalent to the best-fit observed value). They are not sensitive to string-induced fluctuations if an equal rms of Gaussian CDM fluctuations is added, thereby reducing the fluctuations due to the strings network to $74 \mu K$ rms . We especially highlight the usefulness of non-Gaussianity testing in eliminating systematic effects from our data.Comment: Minor corrections; accepted for publication to MNRA

Estimating the bispectrum of the Very Small Array data

We estimate the bispectrum of the Very Small Array data from the compact and extended configuration observations released in December 2002, and compare our results to those obtained from Gaussian simulations. There is a slight excess of large bispectrum values for two individual fields, but this does not appear when the fields are combined. Given our expected level of residual point sources, we do not expect these to be the source of the discrepancy. Using the compact configuration data, we put an upper limit of 5400 on the value of f_NL, the non-linear coupling parameter, at 95 per cent confidence. We test our bispectrum estimator using non-Gaussian simulations with a known bispectrum, and recover the input values.Comment: 17 pages, 16 figures, replaced with version accepted by MNRAS. Primordial bispectrum recalculated and figure 11 change