Eliminating Recursion from Monadic Datalog Programs on Trees

We study the problem of eliminating recursion from monadic datalog programs on trees with an infinite set of labels. We show that the boundedness problem, i.e., determining whether a datalog program is equivalent to some nonrecursive one is undecidable but the decidability is regained if the descendant relation is disallowed. Under similar restrictions we obtain decidability of the problem of equivalence to a given nonrecursive program. We investigate the connection between these two problems in more detail

Potentially harmful advantage to athletes: a putative connection between UGT2B17 gene deletion polymorphism and renal disorders with prolonged use of anabolic androgenic steroids

ABSTRACT: BACKGROUND AND OBJECTIVE: With prolonged use of anabolic androgenic steroids (AAS), occasional incidents of renal disorders have been observed. Independently, it has also been established that there are considerable inter-individual and inter-ethnic differences, in particular with reference to the uridine diphosphate-glucuronosyltransferase 2B17 (UGT2B17) gene, in metabolising these compounds. This report postulates the association of deletion polymorphism in the UGT2B17 gene with the occurrence of renal disorders on chronic exposure to AAS. PRESENTATION OF THE HYPOTHESIS: The major deactivation and elimination pathway of AASs is through glucuronide conjugation, chiefly catalyzed by the UGT2B17 enzyme, followed by excretion in urine. Excretion of steroids is affected in individuals with a deletion mutation in the UGT2B17 gene. We hypothesize that UGT2B17 deficient individuals are more vulnerable to developing renal disorders with prolonged use of AAS owing to increases in body mass index and possible direct toxic effects of steroids on the kidneys. Elevated serum levels of biologically active steroids due to inadequate elimination can lead to prolonged muscle build up. An increase in body mass index may cause renal injuries due to sustained elevated glomerular pressure and flow rate. TESTING THE HYPOTHESIS: In the absence of controlled clinical trials in humans, observational studies can be carried out. Real time PCR with allelic discrimination should be employed to examine the prevalence of different UGT2B17 genotypes in patients with impaired renal function and AAS abuse. In individuals with the UGT2B17 deletion polymorphism, blood tests, biofluid analyses, urinalysis, and hair analyses following the administration of an anabolic steroid can be used to determine the fate of the substance once in the body. IMPLICATIONS OF THE HYPOTHESIS: If the hypothesis is upheld, anabolic steroid users with a deletion mutation in the UGT2B17 gene may be exposed to an increased risk of developing renal disorders. In the current detecting - sanctioning anti-doping system, athletes motivated by the potential to evade detection owing to their unique genetic make-up could subject themselves to a serious health consequence. More research on AAS metabolism in the presence of UGT2B17 gene deletion is required. Benefit - harm evaluations in therapeutic use of anabolic steroids should also consider this potential link between UGT2B17 gene deletion polymorphism and renal disorders

The Cost of Blindness in the Republic of Ireland 2010-2020

Aims. To estimate the prevalence of blindness in the Republic of Ireland and the associated financial and total economic cost between 2010 and 2020. Methods. Estimates for the prevalence of blindness in the Republic of Ireland were based on blindness registration data from the National Council for the Blind of Ireland. Estimates for the financial and total economic cost of blindness were based on the sum of direct and indirect healthcare and nonhealthcare costs. Results. We estimate that there were 12,995 blind individuals in Ireland in 2010 and in 2020 there will be 17,997. We estimate that the financial and total economic costs of blindness in the Republic of Ireland in 2010 were €276.6 million and €809 million, respectively, and will increase in 2020 to €367 million and €1.1 billion, respectively. Conclusions. Here, ninety-eight percent of the cost of blindness is borne by the Departments of Social Protection and Finance and not by the Department of Health as might initially be expected. Cost of illness studies should play a role in public policy making as they help to quantify the indirect or “hidden” costs of disability and so help to reveal the true cost of illness

Point-to-point overlay of a 100Gb/s DP-QPSK channel in LR-PONs for urban and rural areas

The continuing growth in information demand from fixed and mobile end-users, coupled with the need to deliver this content in an economically viable manner, is driving new innovations in access networks. In particular, it is becoming increasingly important to find new ways to enable the coexistence of heterogeneous services types which may require different signal modulation formats over the same fiber infrastructure. For example, the same physical layer can potentially be used to deliver shared 10Gb/s services to residential customers, dedicated point-to-point (P2P) 100Gb/s services to business customers, and wireless fronthaul, in a highly cost-effective manner. In this converged scenario, the performance of phase modulated signals can be heavily affected by nonlinear crosstalk from co-propagating on-off-keying (OOK) channels. In this paper, the overlay of a 100G P2P dual-polarization quadrature phase-shift keying (DP-QPSK) channel in a long-reach passive optical network (LR-PON) in the presence of co-propagating 10Gb/s OOK neighboring channels is studied for two different PON topologies. The first LR-PON topology is particularly suited for densely populated areas while the second is aimed at rural, sparsely populated areas. The experimental results indicate that with an emulated load of 40 channels the urban architecture can support up to 100km span and 512 users, while the rural architecture can support up to 120km span and 1024 users. Finally, a system model is developed to predict the system performance and system margins for configurations different from the experimental setups and to carry out design optimization that could in principle lead to even more efficient and robust schemes

Magnetic Determination of Hc2H_{c2} under Accurate Alignment in (TMTSF)2_2ClO4_4

Cantilever magnetometry has been used to measure the upper critical magnetic field $H_{c2}$ of the quasi-one dimensional molecular organic superconductor (TMTSF)$_2$ClO$_4$. From simultaneous resistivity and torque magnetization experiments conducted under precise field alignment, $H_{c2}$ at low temperature is shown to reach 5T, nearly twice the Pauli paramagnetic limit imposed on spin singlet superconductors. These results constitute the first thermodynamic evidence for a large $H_{c2}$ in this system and provide support for spin triplet pairing in this unconventional superconductorComment: Submitted July 1, 2003, Accepted December 9, 2003, Physical Review Letter

Military spending and economic growth in China: a regime-switching analysis

This article has been made available through the Brunel Open Access Publishing Fund.This article investigates the impact of military spending changes on economic growth in China over the period 1953 to 2010. Using two-state Markov-switching specifications, the results suggest that the relationship between military spending changes and economic growth is state dependent. Specifically, the results show that military spending changes affect the economic growth negatively during a slower growth-higher variance state, while positively within a faster growth-lower variance one. It is also demonstrated that military spending changes contain information about the growth transition probabilities. As a policy tool, the results indicate that increases in military spending can be detrimental to growth during slower growth-higher growth volatility periods. © 2014 © 2014 The Author(s). Published by Taylor & Francis

Phase Diagram for Charge Density Waves in a Magnetic Field

The influence of an external magnetic field on a quasi one-dimensional system with a charge density wave (CDW) instability is treated within the random phase approximation which includes both CDW and spin density wave correlations. We show that the CDW is sensitive to both orbital and Pauli effects of the field. In the case of perfect nesting, the critical temperature decreases monotonously with the field, and the wave vector of the instability starts to shift above some critical value of magnetic field. Depending on the ratio between the spin and charge coupling constants and on the direction of the applied magnetic field, the wave vector shift is either parallel ($CDW_x$ order) or perpendicular ($CDW_y$ order) to the most conducting direction. The $CDW_x$ order is a field dependent linear combination of the charge and spin density waves and is sensible only to the Pauli effect. The wave vector shift in $CDW_y$ depends on the interchain coupling, but the critical temperature does not. This order is affected by the confinement of the electronic orbits. By increasing the relative strength of the orbital effect with respect to the Pauli effect, one can destroy the $CDW_y$, establishing either a $CDW_x$, or a $CDW_0$ (corresponding to perfect nesting wave vector). We also show that by increasing the imperfect nesting parameter, one passes from the regime where the critical temperature decreases with the field to the regime where it is initially enhanced by the orbital effect and eventually suppressed by the Pauli effect. For a bad nesting, the quantized phases of the field-induced CDW appear.Comment: 30 pages (LaTeX) + 15 figure