Solving Functional Constraints by Variable Substitution

Functional constraints and bi-functional constraints are an important constraint class in Constraint Programming (CP) systems, in particular for Constraint Logic Programming (CLP) systems. CP systems with finite domain constraints usually employ CSP-based solvers which use local consistency, for example, arc consistency. We introduce a new approach which is based instead on variable substitution. We obtain efficient algorithms for reducing systems involving functional and bi-functional constraints together with other non-functional constraints. It also solves globally any CSP where there exists a variable such that any other variable is reachable from it through a sequence of functional constraints. Our experiments on random problems show that variable elimination can significantly improve the efficiency of solving problems with functional constraints

Measuring quality of care with routine data: avoiding confusion between performance indicators and health outcomes

Objective To investigate the impact of factors outside the control of primary care on performance indicators proposed as measures of the quality of primary care. Design Multiple regression analysis relating admission rates standardised for age and sex for asthma, diabetes, and epilepsy to socioeconomic population characteristics and to the supply of secondary care resources. Setting 90 family health services authorities in England, 1989-90 to 1994-5. Results At health authority level socioeconomic characteristics, health status, and secondary care supply factors explained 45% of the variation in admission rates for asthma, 33% for diabetes, and 55% for epilepsy. When health authorities were ranked, only four of the 10 with the highest age-sex standardised admission rates for asthma in 1994-5 remained in the top 10 when allowance was made for socioeconomic characteristics, health status, and secondary care supply factors. There was also substantial year to year variation in the rates. Conclusion Health outcomes should relate to crude rates of adverse events in the population. These give the best indication of the size of a health problem. Performance indicators, however, should relate to those aspects of care which can be altered by the staff whose performance is being measured

Improvements and future challenges for the research infrastructure in the field “Measuring cognitive ability”

The assessment of cognitive abilities is critical in large-scale survey studies that aim at elucidating the longitudinal interplay between the individual’s cognitive potential and socio-economic variables. The format of such studies calls for assessment methods which can not only be administered economically but also display a high (psychometric) measurement quality. In consideration of recent theoretical and empirical advances in intelligence research, we recommend the implementation of tests drawing on working memory in large-scale survey studies. Working memory is a limited-capacity system for temporary storage and processing of information and currently discussed to be the cognitive key system underlying intellectual abilities. Four types of working memory tests are exemplarily described and critically evaluated with regard to their psychometric quality and the need for further evaluation.cognitive abilities, intelligence, knowledge, information processing, mental speed, working memory

Constraints on positron annihilation kinematics in the inner Galaxy

Context. The annihilation of cosmic positrons with electrons in the interstellar medium results in the strongest persistent γ-ray line signal in the sky. For the past 50 yr, this 511 keV emission - predominantly from the galactic bulge region and from a low surface-brightness disk - has puzzled observers and theoreticians. A key issue for understanding positron astrophysics is found in cosmic-ray propagation, especially at low kinetic energies (≲ 10 MeV). Aims. We want to shed light on how positrons propagate and the resulting morphology of the annihilation emission. We approach this "positron puzzle" by inferring kinematic information of the 511 keV line in the inner radian of the Galaxy. This constrains propagation scenarios and positron source populations in the Milky Way. Methods. By dissecting the positron annihilation emission as measured with INTEGRAL/SPI, we derived spectra for individual and independent regions in the sky. The centroid energies of these spectra around the 511 keV line are converted into Doppler shifts, representing the line-of-sight velocity along different galactic longitudes. This results in a longitude-velocity diagram of positron annihilation. From high-resolution spectra, we also determined Doppler-broadening from γ-ray line shape parameters to study annihilation conditions as they vary with galactic longitude. Results. We found line-of-sight velocities in the 511 keV line that are consistent with zero, as well as with galactic rotation from CO measurements (2-3 km s -1 deg -1), and measurements of radioactive 26Al (7.5-9.5 km s -1 deg -1). The velocity gradient in the inner ±30° is determined to be 4 ± 6 km s -1 deg -1. The width of the 511 keV line is constant as a function of longitude at 2.43 ± 0.14 keV, with possibly different values towards the disk. The positronium fraction is found to be 1.0 along the galactic plane. Conclusions. The weak signals in the disk leave the question open of whether positron annihilation is associated with the high velocities seen in 26Al or rather with ordinarily rotating components of the Milky Way's interstellar medium. We confirm previous results that positrons are slowed down to the 10 eV energy scale before annihilation and constrain bulk Doppler-broadening contributions to ≲ 1.25 keV in the inner radian. Consequently, the true annihilation conditions remain unclear.Peer reviewedFinal Accepted Versio

Failure of classical elasticity in auxetic foams

A recent derivation [P.H. Mott and C.M. Roland, Phys. Rev. B 80, 132104 (2009).] of the bounds on Poisson's ratio, v, for linearly elastic materials showed that the conventional lower limit, -1, is wrong, and that v cannot be less than 0.2 for classical elasticity to be valid. This is a significant result, since it is precisely for materials having small values of v that direct measurements are not feasible, so that v must be calculated from other elastic constants. Herein we measure directly Poisson's ratio for four materials, two for which the more restrictive bounds on v apply, and two having values below this limit of 0.2. We find that while the measured v for the former are equivalent to values calculated from the shear and tensile moduli, for two auxetic materials (v < 0), the equations of classical elasticity give inaccurate values of v. This is experimental corroboration that the correct lower limit on Poisson's ratio is 0.2 in order for classical elasticity to apply.Comment: 9 pages, 2 figure

A reiterative method for calculating the early bactericidal activity of antituberculosis drugs.

Studies of early bactericidal activity (EBA) are important in the rapid evaluation of new antituberculosis drugs. Historically, these have concentrated on the log fall in the viable count in sputum during the first 48 hours of therapy. In this paper, we provide a mathematical model that suggests that the viable count in sputum follows an exponential decay curve with the equation V = S + Me(-kt) (where V is the viable count, M the population of bacteria susceptible to the test drug, S the population susceptible only to sterilizing agents, t the day of sputum collection as related to start of therapy, k the rate constant for the bacteria killed each day, and e the Napierian constant). We demonstrate that data from clinical trials fits the exponential decay model. We propose that future EBA studies should be performed by measuring daily quantitative counts for at least 5 days. We also propose that the comparison of the early bactericidal activity of antituberculosis drugs should be evaluated using the time taken to reduce the viable count by 50% (vt(50)). A further reiterative refinement following a rule set based on statistically the best fit to the exponential decay model is described that will allow investigators to identify anomalous results and thus enhance the accuracy in measuring early bactericidal activity