The interaction of representation and reasoning

Automated reasoning is an enabling technology for many applications of informatics. These applications include verifying that a computer program meets its specification; enabling a robot to form a plan to achieve a task and answering questions by combining information from diverse sources, e.g. on the Internet, etc. How is automated reasoning possible? Firstly, knowledge of a domain must be stored in a computer, usually in the form of logical formulae. This knowledge might, for instance, have been entered manually, retrieved from the Internet or perceived in the environment via sensors, such as cameras. Secondly, rules of inference are applied to old knowledge to derive new knowledge. Automated reasoning techniques have been adapted from logic, a branch of mathematics that was originally designed to formalize the reasoning of humans, especially mathematicians. My special interest is in the way that representation and reasoning interact. Successful reasoning is dependent on appropriate representation of both knowledge and successful methods of reasoning. Failures of reasoning can suggest changes of representation. This process of representational change can also be automated. We will illustrate the automation of representational change by drawing on recent work in my research group

Profiles of physical, emotional and psychosocial wellbeing in the Lothian birth cohort 1936

<p>Abstract</p> <p>Background</p> <p>Physical, emotional, and psychosocial wellbeing are important domains of function. The aims of this study were to explore the existence of separable groups among 70-year olds with scores representing physical function, perceived quality of life, and emotional wellbeing, and to characterise any resulting groups using demographic, personality, cognition, health and lifestyle variables.</p> <p>Methods</p> <p>We used latent class analysis (LCA) to identify possible groups.</p> <p>Results</p> <p>Results suggested there were 5 groups. These included High (n = 515, 47.2% of the sample), Average (n = 417, 38.3%), and Poor Wellbeing (n = 37, 3.4%) groups. The two other groups had contrasting patterns of wellbeing: one group scored relatively well on physical function, but low on emotional wellbeing (Good Fitness/ Low Spirits,n = 60, 5.5%), whereas the other group showed low physical function but relatively well emotional wellbeing (Low Fitness/Good Spirits, n = 62, 5.7%). Salient characteristics that distinguished all the groups included smoking and drinking behaviours, personality, and illness.</p> <p>Conclusions</p> <p>Despite there being some evidence of these groups, the results also support a largely one-dimensional construct of wellbeing in old age—for the domains assessed here—though with some evidence that some individuals have uneven profiles.</p

Accuracy of five algorithms to diagnose gambiense human African trypanosomiasis.

Algorithms to diagnose gambiense human African trypanosomiasis (HAT, sleeping sickness) are often complex due to the unsatisfactory sensitivity and/or specificity of available tests, and typically include a screening (serological), confirmation (parasitological) and staging component. There is insufficient evidence on the relative accuracy of these algorithms. This paper presents estimates of the accuracy of five algorithms used by past Médecins Sans Frontières programmes in the Republic of Congo, Southern Sudan and Uganda

Localisation of RNAs into the germ plasm of vitellogenic xenopus oocytes

We have studied the localisation of mRNAs in full-grown Xenopus laevis oocytes by injecting fluorescent RNAs, followed by confocal microscopy of the oocyte cortex. Concentrating on RNA encoding the Xenopus Nanos homologue, nanos1 (formerly Xcat2), we find that it consistently localised into aggregated germ plasm ribonucleoprotein (RNP) particles, independently of cytoskeletal integrity. This implies that a diffusion/entrapment-mediated mechanism is active, as previously reported for previtellogenic oocytes. Sometimes this was accompanied by localisation into scattered particles of the “late”, Vg1/VegT pathway; occasionally only late pathway localisation was seen. The Xpat RNA behaved in an identical fashion and for neither RNA was the localisation changed by any culture conditions tested. The identity of the labelled RNP aggregates as definitive germ plasm was confirmed by their inclusion of abundant mitochondria and co-localisation with the germ plasm protein Hermes. Further, the nanos1/Hermes RNP particles are interspersed with those containing the germ plasm protein Xpat. These aggregates may be followed into the germ plasm of unfertilized eggs, but with a notable reduction in its quantity, both in terms of injected molecules and endogenous structures. Our results conflict with previous reports that there is no RNA localisation in large oocytes, and that during mid-oogenesis even germ plasm RNAs localise exclusively by the late pathway. We find that in mid oogenesis nanos1 RNA also localises to germ plasm but also by the late pathway. Late pathway RNAs, Vg1 and VegT, also may localise into germ plasm. Our results support the view that mechanistically the two modes of localisation are extremely similar, and that in an injection experiment RNAs might utilise either pathway, the distinction in fates being very subtle and subject to variation. We discuss these results in relation to their biological significance and the results of others

Indigenous microbial surrogates in wastewater used to understand public health risk expressed in the Disability-Adjusted Life Year (DALY) metric

In any wastewater recycling scheme, the protection of public health is of primary importance. In Australia, the public health requirements applying to the treatment of recycled water are stringent. They use the Disability-Adjusted Life Year (DALY) metric to set a level of negligible public health risk. The target maximum risk of 10-6 DALY per person per year has been adopted in Australian water recycling guidelines since 2006. A key benefit of the DALY approach is its ability to standardise the understanding of risk across disparate areas of public health. To address the key challenge of translating the results of monitoring of microorganisms in the recycled water into this quantitative public health metric, we have developed a novel method. This paper summarises an approach where microbial surrogate organisms indigenous to wastewater are used to measure the efficiency of water recycling treatment processes and estimate public health risk. An example of recent implementation in the Greater Sydney region of Australia is provided

The SPEDE spectrometer

The electron spectrometer, SPEDE, has been developed and will be employed in conjunction with the Miniball spectrometer at the HIE-ISOLDE facility, CERN. SPEDE allows for direct measurement of internal conversion electrons emitted in-flight, without employing magnetic fields to transport or momentum filter the electrons. Together with the Miniball spectrometer, it enables simultaneous observation of {\gamma} rays and conversion electrons in Coulomb-excitation experiments using radioactive ion beams

Performance of the CMS Cathode Strip Chambers with Cosmic Rays

The Cathode Strip Chambers (CSCs) constitute the primary muon tracking device in the CMS endcaps. Their performance has been evaluated using data taken during a cosmic ray run in fall 2008. Measured noise levels are low, with the number of noisy channels well below 1%. Coordinate resolution was measured for all types of chambers, and fall in the range 47 microns to 243 microns. The efficiencies for local charged track triggers, for hit and for segments reconstruction were measured, and are above 99%. The timing resolution per layer is approximately 5 ns

Observation of associated near-side and away-side long-range correlations in √sNN=5.02 TeV proton-lead collisions with the ATLAS detector

Two-particle correlations in relative azimuthal angle (Δϕ) and pseudorapidity (Δη) are measured in √sNN=5.02  TeV p+Pb collisions using the ATLAS detector at the LHC. The measurements are performed using approximately 1  μb-1 of data as a function of transverse momentum (pT) and the transverse energy (ΣETPb) summed over 3.1<η<4.9 in the direction of the Pb beam. The correlation function, constructed from charged particles, exhibits a long-range (2<|Δη|<5) “near-side” (Δϕ∼0) correlation that grows rapidly with increasing ΣETPb. A long-range “away-side” (Δϕ∼π) correlation, obtained by subtracting the expected contributions from recoiling dijets and other sources estimated using events with small ΣETPb, is found to match the near-side correlation in magnitude, shape (in Δη and Δϕ) and ΣETPb dependence. The resultant Δϕ correlation is approximately symmetric about π/2, and is consistent with a dominant cos⁡2Δϕ modulation for all ΣETPb ranges and particle pT

Obesity Indexes and Total Mortality among Elderly Subjects at High Cardiovascular Risk: The PREDIMED Study

BackgroundDifferent indexes of regional adiposity have been proposed for identifying persons at higher risk of death. Studies specifically assessing these indexes in large cohorts are scarce. It would also be interesting to know whether a dietary intervention may counterbalance the adverse effects of adiposity on mortality.MethodsWe assessed the association of four different anthropometric indexes (waist-to-height ratio (WHtR), waist circumference (WC), body mass index (BMI) and height) with all-cause mortality in 7447 participants at high cardiovascular risk from the PREDIMED trial. Forty three percent of them were men (55 to 80 years) and 57% were women (60 to 80 years). All of them were initially free of cardiovascular disease. The recruitment took place in 11 recruiting centers between 2003 and 2009.ResultsAfter adjusting for age, sex, smoking, diabetes, hypertension, intervention group, family history of coronary heart disease, and leisure-time physical activity, WC and WHtR were found to be directly associated with a higher mortality after 4.8 years median follow-up. The multivariable-adjusted HRs for mortality of WHtR (cut-off points: 0.60, 0.65, 0.70) were 1.02 (0.78–1.34), 1.30 (0.97–1.75) and 1.55 (1.06–2.26). When we used WC (cut-off points: 100, 105 and 110 cm), the multivariable adjusted Hazard Ratios (HRs) for mortality were 1.18 (0.88–1.59), 1.02 (0.74–1.41) and 1.57 (1.19–2.08). In all analyses, BMI exhibited weaker associations with mortality than WC or WHtR. The direct association between WHtR and overall mortality was consistent within each of the three intervention arms of the trial.ConclusionsOur study adds further support to a stronger association of abdominal obesity than BMI with total mortality among elderly subjects at high risk of cardiovascular disease. We did not find evidence to support that the PREDIMED intervention was able to counterbalance the harmful effects of increased adiposity on total mortality.Trial RegistrationControlled-Trials.com ISRCTN3573963

Geographic variation in the aetiology, epidemiology and microbiology of bronchiectasis

Bronchiectasis is a disease associated with chronic progressive and irreversible dilatation of the bronchi and is characterised by chronic infection and associated inflammation. The prevalence of bronchiectasis is age-related and there is some geographical variation in incidence, prevalence and clinical features. Most bronchiectasis is reported to be idiopathic however post-infectious aetiologies dominate across Asia especially secondary to tuberculosis. Most focus to date has been on the study of airway bacteria, both as colonisers and causes of exacerbations. Modern molecular technologies including next generation sequencing (NGS) have become invaluable tools to identify microorganisms directly from sputum and which are difficult to culture using traditional agar based methods. These have provided important insight into our understanding of emerging pathogens in the airways of people with bronchiectasis and the geographical differences that occur. The contribution of the lung microbiome, its ethnic variation, and subsequent roles in disease progression and response to therapy across geographic regions warrant further investigation. This review summarises the known geographical differences in the aetiology, epidemiology and microbiology of bronchiectasis. Further, we highlight the opportunities offered by emerging molecular technologies such as -omics to further dissect out important ethnic differences in the prognosis and management of bronchiectasis.NMRC (Natl Medical Research Council, S’pore)MOH (Min. of Health, S’pore)Published versio