The effect of visual impairment on quality of life of children aged 3-16 years

Background: It is well known that visual impairment (VI) has a detrimental effect on Quality of Life (QoL) in adults. Little is known about the effects of VI in childhood. Aims: To evaluate the effects of VI on QoL of children. To the authors’ knowledge, this is the first study containing a comparison arm for children with VI. Methods: QoL in children with VI (n¼24, age 10.1362.89, 18 male, 6 female) was compared with an age-matched comparison group (n¼24, age 9.8362.81, 18 male, 6 female) using the Low Vision Quality of Life Questionnaire. Factors (distance and near visual acuity and age) that could be used as predictors of QoL were assessed. These were measured with standard clinical tests. Results: Children with VI had significantly lower QoL scores than the comparison group (p<0.001), resulting in a 35.6% reduction in total QoL score. QoL scores in children with VI were correlated with distance and near visual acuity (p<0.05). 38% of the variance could be predicted by these factors and age. Conclusions: Consideration of the effects of this reduced QoL must be made. Further studies are needed to establish the benefit to QoL of different habilitation strategies

Competition Policy Reform in Agriculture: A Comparison of the BRICs Countries

This paper forms part of a project titled ‘Facilitating Efficient Agricultural Markets in India: An Assessment of Competition and Regulatory Reform Requirements funded by the Australian Centre for International Agricultural Research (ACIAR). The project follows from previous research which found that India’s border reforms need to be complemented by ‘behind-the-border’ domestic reforms if government policy objectives of improved productivity, higher rural employment and incomes and enhanced food security are to be met. The project is being undertaken by Indian and Australian collaborators with expertise in agricultural policy development. Stage 1 of the project is designed to develop a common understanding among those collaborators of contemporary market based policy development principles and the extent to which they have been adopted in other developing countries. The BRICs economies of Brazil, Russia, India and China, as well as South Africa, were chosen for this purpose. A comparative overview of agricultural policy developments in these economies is underway drawing observations about policy reform impacts on agricultural production and the extent to which policy reforms have been consistent with competition policy and microeconomic reform principles applied in developed economies, such as Australia. The extent to which trade practices law has emerged in developing economies as an alternative to direct regulation is also considered. Preliminary findings are reported to facilitate broader discussion and encourage input from interested parties. Stage 2 of the project, commencing later in 2009, will involve the application of competition policy principles to the marketing regulations of a selection of agricultural industries in India. Consideration will be given to clarifying regulatory objectives, assessing their consistency with accepted forms of ‘market failure’ and assessing whether regulatory measures address those policy objectives in a manner least restrictive on competition. As well as facilitating efficient policy reform within India’s agricultural sector, the project aims to enhance the development of market based agricultural policy frameworks and the policy development skills of Indian and Australian policy makers.

A reduced semantics for deciding trace equivalence using constraint systems

Many privacy-type properties of security protocols can be modelled using trace equivalence properties in suitable process algebras. It has been shown that such properties can be decided for interesting classes of finite processes (i.e., without replication) by means of symbolic execution and constraint solving. However, this does not suffice to obtain practical tools. Current prototypes suffer from a classical combinatorial explosion problem caused by the exploration of many interleavings in the behaviour of processes. M\"odersheim et al. have tackled this problem for reachability properties using partial order reduction techniques. We revisit their work, generalize it and adapt it for equivalence checking. We obtain an optimization in the form of a reduced symbolic semantics that eliminates redundant interleavings on the fly.Comment: Accepted for publication at POST'1

Agricultural growth and structural changes in the Punjab economy: an input-output analysis

Agriculture Economic aspects India Punjab., Punjab (India) Economic conditions., Input-output analysis India Punjab.,

Deep bore well water level fluctuations in the Koyna region, India: the presence of a low order dynamical system in a seismically active environment

Water level fluctuations in deep bore wells in the vicinity of seismically active Koyna region in western India provides an opportunity to understand the causative mechanism underlying reservoir-triggered earthquakes. As the crustal porous rocks behave nonlinearly, their characteristics can be obtained by analysing water level fluctuations, which reflect an integrated response of the medium. A Fractal dimension is one such measure of nonlinear characteristics of porous rock as observed in water level data from the Koyna region. It is inferred in our study that a low nonlinear dynamical system with three variables can predict the water level fluctuations in bore wells

Semantics of Input-Consuming Logic Programs

Input-consuming programs are logic programs with an additional restriction on the selectability (actually, on the resolvability) of atoms. this class of programs arguably allows to model logic programs employing a dynamic selection rule and constructs such as delay declarations: as shown also in [5], a large number of them are actually input-consuming. \ud in this paper we show that - under some syntactic restrictions - the tex2html_wrap_inline117-semantics of a program is correct and fully abstract also for input-consuming programs. this allows us to conclude that for a large class of programs employing delay declarations there exists a model-theoretic semantics which is equivalent to the operational one

Formal Analysis of V2X Revocation Protocols

Research on vehicular networking (V2X) security has produced a range of security mechanisms and protocols tailored for this domain, addressing both security and privacy. Typically, the security analysis of these proposals has largely been informal. However, formal analysis can be used to expose flaws and ultimately provide a higher level of assurance in the protocols. This paper focusses on the formal analysis of a particular element of security mechanisms for V2X found in many proposals: the revocation of malicious or misbehaving vehicles from the V2X system by invalidating their credentials. This revocation needs to be performed in an unlinkable way for vehicle privacy even in the context of vehicles regularly changing their pseudonyms. The REWIRE scheme by Forster et al. and its subschemes BASIC and RTOKEN aim to solve this challenge by means of cryptographic solutions and trusted hardware. Formal analysis using the TAMARIN prover identifies two flaws with some of the functional correctness and authentication properties in these schemes. We then propose Obscure Token (OTOKEN), an extension of REWIRE to enable revocation in a privacy preserving manner. Our approach addresses the functional and authentication properties by introducing an additional key-pair, which offers a stronger and verifiable guarantee of successful revocation of vehicles without resolving the long-term identity. Moreover OTOKEN is the first V2X revocation protocol to be co-designed with a formal model.Comment: 16 pages, 4 figure

Natural organic matter in sedimentary basins and its relation to arsenic in anoxic ground water: the example of West Bengal and its worldwide implications

In order to investigate the mechanism of As release to anoxic ground water in alluvial aquifers, the authors sampled ground waters from 3 piezometer nests, 79 shallow (80 m) wells, in an area 750 m by 450 m, just north of Barasat, near Kolkata (Calcutta), in southern West Bengal. High concentrations of As (200-1180 mug L-1) are accompanied by high concentrations of Fe (3-13.7 mgL(-1)) and PO4 (1-6.5 mg L-1). Ground water that is rich in Mn (1-5.3 mg L-1) contains <50 mug L-1 of As. The composition of shallow ground water varies at the 100-m scale laterally and the metre-scale vertically, with vertical gradients in As concentration reaching 200 mug L-1 m(-1). The As is supplied by reductive dissolution of FeOOH and release of the sorbed As to solution. The process is driven by natural organic matter in peaty strata both within the aquifer sands and in the overlying confining unit. In well waters, thermotolerant coliforms, a proxy for faecal contamination, are not present in high numbers (<10 cfu/100 ml in 85% of wells) showing that faecally-derived organic matter does not enter the aquifer, does not drive reduction of FeOOH, and so does not release As to ground water.Arsenic concentrations are high (much greater than50 mug L-1) where reduction of FeOOH is complete and its entire load of sorbed As is released to solution, at which point the aquifer sediments become grey in colour as FeOOH vanishes. Where reduction is incomplete, the sediments are brown in colour and resorption of As to residual FeOOH keeps As concentrations below 10 mug L-1 in the presence of dissolved Fe. Sorbed As released by reduction of Mn oxides does not increase As in ground water because the As resorbs to FeOOH. High concentrations of As are common in alluvial aquifers of the Bengal Basin arise because Himalayan erosion supplies immature sediments, with low surface-loadings of FeOOH on mineral grains, to a depositional environment that is rich in organic mater so that complete reduction of FeOOH is common. (C) 2004 Published by Elsevier Ltd

Measurement of the total cross section for e^+e^-→hadrons at √s=10.52 GeV

Using the CLEO detector at the Cornell Electron Storage Ring, we have made a measurement of R≡σ(e^+e^-→hadrons)/σ(e^+e^-→μ^+μ^-)=3.56±0.01±0.07 at √s=10.52 GeV. This implies a value for the strong coupling constant of α_s(10.52 GeV)=0.20±0.01±0.06, or α_s(MZ)=0.13±0.005±0.03