Efficient digital comparison technique for logic circuits

Tolerance compare technique indicates discompare only when numerical difference value exceeds prescribed limit. Algorithm involving binary number properties is defined, in lieu of arithmetic operation which requires relatively complex circuitry. Extension of algorithm may be made to encompass tolerances other than one unit

Clustering of equine grass sickness cases in the United Kingdom: a study considering the effect of position-dependent reporting on the space-time K-function

Equine grass sickness (EGS) is a largely fatal, pasture-associated dysautonomia. Although the aetiology of this disease is unknown, there is increasing evidence that Clostridium botulinum type C plays an important role in this condition. The disease is widespread in the United Kingdom, with the highest incidence believed to occur in Scotland. EGS also shows strong seasonal variation (most cases are reported between April and July). Data from histologically confirmed cases of EGS from England and Wales in 1999 and 2000 were collected from UK veterinary diagnostic centres. The data did not represent a complete census of cases, and the proportion of all cases reported to the centres would have varied in space and, independently, in time. We consider the variable reporting of this condition and the appropriateness of the space–time K-function when exploring the spatial-temporal properties of a ‘thinned’ point process. We conclude that such position-dependent under-reporting of EGS does not invalidate the Monte Carlo test for space–time interaction, and find strong evidence for space–time clustering of EGS cases (P<0.001). This may be attributed to contagious or other spatially and temporally localized processes such as local climate and/or pasture management practices

Techniques for improving reliability of computers

Modular design techniques improve methods of error detection, diagnosis, and recovery. Theoretical computer (MARCS (Modular Architecture for Reliable Computer Systems)) study deals with postulated and modeled technology indigenous to 1975-1980. Study developments are discussed

Cosmology with velocity dispersion counts: an alternative to measuring cluster halo masses

The evolution of galaxy cluster counts is a powerful probe of several fundamental cosmological parameters. A number of recent studies using this probe have claimed tension with the cosmology preferred by the analysis of the Planck primary CMB data, in the sense that there are fewer clusters observed than predicted based on the primary CMB cosmology. One possible resolution to this problem is systematic errors in the absolute halo mass calibration in cluster studies, which is required to convert the standard theoretical prediction (the halo mass function) into counts as a function of the observable (e.g., X-ray luminosity, Sunyaev-Zel'dovich flux, optical richness). Here we propose an alternative strategy, which is to directly compare predicted and observed cluster counts as a function of the one-dimensional velocity dispersion of the cluster galaxies. We argue that the velocity dispersion of groups/clusters can be theoretically predicted as robustly as mass but, unlike mass, it can also be directly observed, thus circumventing the main systematic bias in traditional cluster counts studies. With the aid of the BAHAMAS suite of cosmological hydrodynamical simulations, we demonstrate the potential of the velocity dispersion counts for discriminating even similar $\Lambda$CDM models. These predictions can be compared with the results from existing redshift surveys such as the highly-complete Galaxy And Mass Assembly (GAMA) survey, and upcoming wide-field spectroscopic surveys such as the Wide Area Vista Extragalactic Survey (WAVES) and the Dark Energy Survey Instrument (DESI).Comment: 15 pages, 13 figures. Accepted for publication in MNRAS. New section on cosmological forecasts adde

Investigating Heating and Cooling in the BCS & B55 Cluster Samples

We study clusters in the BCS cluster sample which are observed by Chandra and are more distant than redshift, z>0.1. We select from this subsample the clusters which have both a short central cooling time and a central temperature drop, and also those with a central radio source. Six of the clusters have clear bubbles near the centre. We calculate the heating by these bubbles and express it as the ratio r_heat/r_cool=1.34+/-0.20. This result is used to calculate the average size of bubbles expected in all clusters with central radio sources. In three cases the predicted bubble sizes approximately match the observed radio lobe dimensions. We combine this cluster sample with the B55 sample studied in earlier work to increase the total sample size and redshift range. This extended sample contains 71 clusters in the redshift range 0<z<0.4. The average distance out to which the bubbles offset the X-ray cooling in the combined sample is at least r_heat/r_cool=0.92+/-0.11. The distribution of central cooling times for the combined sample shows no clusters with clear bubbles and t_cool>1.2Gyr. An investigation of the evolution of cluster parameters within the redshift range of the combined samples does not show any clear variation with redshift.Comment: 12 pages, 9 figures, accepted for publication in MNRA

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription

Circumscription is a representative example of a nonmonotonic reasoning inference technique. Circumscription has often been studied for first order theories, but its propositional version has also been the subject of extensive research, having been shown equivalent to extended closed world assumption (ECWA). Moreover, entailment in propositional circumscription is a well-known example of a decision problem in the second level of the polynomial hierarchy. This paper proposes a new Boolean Satisfiability (SAT)-based algorithm for entailment in propositional circumscription that explores the relationship of propositional circumscription to minimal models. The new algorithm is inspired by ideas commonly used in SAT-based model checking, namely counterexample guided abstraction refinement. In addition, the new algorithm is refined to compute the theory closure for generalized close world assumption (GCWA). Experimental results show that the new algorithm can solve problem instances that other solutions are unable to solve

Detection of HC11N in the Cold Dust Cloud TMC-1

Two consecutive rotational transitions of the long cyanopolyyne HC11N, J=39-38, and J=38-37, have been detected in the cold dust cloud TMC-1 at the frequencies expected from recent laboratory measurements by Travers et al. (1996), and at about the expected intensities. The astronomical lines have a mean radial velocity of 5.8(1) km/s, in good agreement with the shorter cyanopolyynes HC7N and HC9N observed in this very sharp-lined source [5.82(5) and 5.83(5) km/s, respectively]. The column density of HC11N is calculated to be 2.8x10^(11) cm^(-2). The abundance of the cyanopolyynes decreases smoothly with length to HC11N, the decrement from one to the next being about 6 for the longer carbon chains.Comment: plain tex 10 pages plus 3 ps fig file

The Serendipitous Discovery of a Group or Cluster of young Galaxies at z=2.40 in Deep Hubble Space Telescope WFPC2 Images

We report the serendipitous discovery of a group or cluster of young galaxies at $z\simeq$2.40 in a 24-orbit HST/WFPC2 exposure of the field around the weak radio galaxy 53W002. Potential cluster members were identified on ground-based narrow-band redshifted Ly$\alpha$ images and confirmed via spectroscopy. In addition to the known weak radio galaxy 53W002 at z=2.390, two other objects were found to have excess narrow-band Ly$\alpha$ emission at $z\simeq$2.40. Both have been spectroscopically confirmed, and one clearly contains a weak AGN. They are located within one arcminute of 53W002, or $\sim0.23h_{100}^{-1}$Mpc ($q_o$=0.5) at $z\simeq$2.40, which is the physical scale of a group or small cluster of galaxies. Profile fitting of the WFPC2 images shows that the objects are very compact, with scale lengths $\simeq$0\farcs 1 ($\simeq0.39h_{100}^{-1}$kpc), and are rather faint (luminosities < L*), implying that they may be sub-galactic sized objects. We discuss these results in the context of galaxy and cluster evolution and the role that weak AGN may play in the formation of young galaxies.Comment: Accepted for publication in The Astrophysical Journal (Letters). 13 pages of gzip compressed and uuencoded PS. Figures are available at http://www.phys.unsw.edu.au/~spd/bib.htm

Barrier and internal wave contributions to the quantum probability density and flux in light heavy-ion elastic scattering

We investigate the properties of the optical model wave function for light heavy-ion systems where absorption is incomplete, such as $\alpha + ^{40}$Ca and $\alpha + ^{16}$O around 30 MeV incident energy. Strong focusing effects are predicted to occur well inside the nucleus, where the probability density can reach values much higher than that of the incident wave. This focusing is shown to be correlated with the presence at back angles of a strong enhancement in the elastic cross section, the so-called ALAS (anomalous large angle scattering) phenomenon; this is substantiated by calculations of the quantum probability flux and of classical trajectories. To clarify this mechanism, we decompose the scattering wave function and the associated probability flux into their barrier and internal wave contributions within a fully quantal calculation. Finally, a calculation of the divergence of the quantum flux shows that when absorption is incomplete, the focal region gives a sizeable contribution to nonelastic processes.Comment: 16 pages, 15 figures. RevTeX file. To appear in Phys. Rev. C. The figures are only available via anonynous FTP on ftp://umhsp02.umh.ac.be/pub/ftp_pnt/figscat

A Systematic Review of the Efficacy of Motivational Interviewing on Occupational Performance

This systematic review aims to review the efficacy of MI to address such performance goals falling within the occupational therapy scope of practice