Dynamic Modelling of Child Mortality in Developing Countries: Application for Zambia

In this paper, we analyse the causes of under five mortality in Zambia, with a particular emphasis on assessing possible time-variations in the effects of covariates, i.e. whether the effects of certain covariates vary with the age of the child. The analysis is based on micro data from the 1992 Demographic and health Survey. Employing a Bayesian dynamic logit model for discrete time survival data and Markov-Chain Monte Carlo methods, we find that there are several variables, including the age of the mother and the breastfeeding duration whose effects exhibit distinct age-dependencies. In the case of breastfeeding, this age dependency is intimately linked with the reasons for stopping breastfeeding. Incorporating such age dependencies greatly improves the explanatory power of the model and yields new insights on the differential role of covariates on child survival

Computational interpretations of analysis via products of selection functions

We show that the computational interpretation of full comprehension via two wellknown functional interpretations (dialectica and modified realizability) corresponds to two closely related infinite products of selection functions

On the Approximation Performance of Fictitious Play in Finite Games

We study the performance of Fictitious Play, when used as a heuristic for finding an approximate Nash equilibrium of a 2-player game. We exhibit a class of 2-player games having payoffs in the range [0,1] that show that Fictitious Play fails to find a solution having an additive approximation guarantee significantly better than 1/2. Our construction shows that for n times n games, in the worst case both players may perpetually have mixed strategies whose payoffs fall short of the best response by an additive quantity 1/2 - O(1/n^(1-delta)) for arbitrarily small delta. We also show an essentially matching upper bound of 1/2 - O(1/n)

An algorithmic approach to the existence of ideal objects in commutative algebra

The existence of ideal objects, such as maximal ideals in nonzero rings, plays a crucial role in commutative algebra. These are typically justified using Zorn's lemma, and thus pose a challenge from a computational point of view. Giving a constructive meaning to ideal objects is a problem which dates back to Hilbert's program, and today is still a central theme in the area of dynamical algebra, which focuses on the elimination of ideal objects via syntactic methods. In this paper, we take an alternative approach based on Kreisel's no counterexample interpretation and sequential algorithms. We first give a computational interpretation to an abstract maximality principle in the countable setting via an intuitive, state based algorithm. We then carry out a concrete case study, in which we give an algorithmic account of the result that in any commutative ring, the intersection of all prime ideals is contained in its nilradical

A New Constraint on the Escape Fraction in Distant Galaxies Using Gamma-ray Burst Afterglow Spectroscopy

We describe a new method to measure the escape fraction fesc of ionizing radiation from distant star-forming galaxies using the afterglow spectra of long-duration gamma-ray bursts (GRBs). Optical spectra of GRB afterglows allow us to evaluate the optical depth of the host ISM, according to the neutral hydrogen column density N(HI) observed along the sightlines toward the star-forming regions where the GRBs are found. Different from previous effort in searching for faint, transmitted Lyman continuum photons, our method is not subject to background subtraction uncertainties and does not require prior knowledge of either the spectral shape of the host galaxy population or the IGM Lya forest absorption along these GRB sightlines. Because most GRBs occur in sub-L_* galaxies, our study also offers the first constraint on fesc for distant low-mass galaxies that dominate the cosmic luminosity density. We have compiled a sample of 27 GRBs at redshift z>2 for which the underlying N(HI) in the host ISM are known. These GRBs together offer a statistical sampling of the integrated optical depth to ionizing photons along random sightlines from star-forming regions in the host galaxies, and allow us to estimate the mean escape fraction averaged over different viewing angles. We find =0.02\pm 0.02 and place a 95% c.l. upper limit <= 0.075 for these hosts. We discuss possible biases of our approach and implications of the result. Finally, we propose to extend this technique for measuring at z~0.2 using spectra of core-collapse supernovae.Comment: Five journal pages, including one figure; ApJL in pres

Impact of right ventricular size on ECG after percutaneous closure of atrial septal defect with Amplatzer Septal Occluder.

To assess ECG changes after percutaneous atrial septal defect (ASD) closure in children with significant left-to-right shunt. Analysis of data of 36 consecutive children with an ASD who had successful percutaneous ASD closure with an Amplatzer Septal Occluder. Assessment comprised echocardiography and ECG the day before and after the procedure and at 1, 6 and 12 months follow-up. The median age (interquartile range) of children was 7.3 (5.3) years. On the day after the procedure the end diastolic diameter of the right ventricle showed already a diminution (34 (12) mm/m2 before intervention vs. 32 (12) mm/m2). ECG changes were first observed at 1 month follow-up (PR interval before intervention 139 (20) ms vs. 132 (20) ms; QRS duration 88 (18) ms vs. 82 (19) ms) and at 6 months follow-up (QRS axis 77 degrees (33) before intervention vs. 72 degrees (53)). With the exception of the QRS duration, ECG intervals and axis were in a normal range in all patients before the procedure. Median QRS duration normalised at 1 year follow-up (83 (8) ms). After transcatheter ASD closure, decrease in right ventricular size began rapidly and was followed by reduction of the QRS duration and PR interval within weeks. Shifting to the left of the QRS axis was observed within 6 months follow-up. This study showed that ECG changes due to right ventricular volume overload can regress and normalise after percutaneous ASD closure in children

Interactive Learning-Based Realizability for Heyting Arithmetic with EM1

We apply to the semantics of Arithmetic the idea of ``finite approximation'' used to provide computational interpretations of Herbrand's Theorem, and we interpret classical proofs as constructive proofs (with constructive rules for $\vee, \exists$) over a suitable structure \StructureN for the language of natural numbers and maps of G\"odel's system \SystemT. We introduce a new Realizability semantics we call ``Interactive learning-based Realizability'', for Heyting Arithmetic plus \EM_1 (Excluded middle axiom restricted to $\Sigma^0_1$ formulas). Individuals of \StructureN evolve with time, and realizers may ``interact'' with them, by influencing their evolution. We build our semantics over Avigad's fixed point result, but the same semantics may be defined over different constructive interpretations of classical arithmetic (Berardi and de' Liguoro use continuations). Our notion of realizability extends intuitionistic realizability and differs from it only in the atomic case: we interpret atomic realizers as ``learning agents''

Nuclear recoil measurements in Superheated Superconducting Granule detectors

The response of Superheated Superconducting Granule (SSG) devices to nuclear recoils has been explored by irradiating SSG detectors with a 70Me$\!$V neutron beam. In the past we have tested Al SSG and more recently, measurements have been performed with Sn and Zn detectors. The aim of the experiments was to test the sensitivity of SSG detectors to recoil energies down to a few ke$\!$V. In this paper, the preliminary results of the neutron irradiation of a SSG detector made of Sn granules 15-20$\mu$m in diameter will be discussed. For the first time, recoil energy thresholds of $\sim$1ke$\!$V have been measured.Comment: 7pages in Latex format, Preprint Bu-He 93/6 (University of Berne, Switzerland), four figures available upon request via [email protected] or [email protected]

Optimized Program Extraction for Induction and Coinduction

The paper proves soundness of an optimized realizability interpretationfor a logic supporting strictly positive induction and coinduction. Theoptimization concerns the special treatment of Harrop formulas whichyields simpler extracted programs. It is shown that wellfounded inductionis an instance of strictly positive induction and from this a newcomputationally meaningful formulation of the Archimedean property forreal numbers is derived. An example of program extraction in computableanalysis shows that Archimedean induction can be used to eliminatecountable choic

Analytic Calculation of Prompt Photon plus Associated Heavy Flavor at Next-to-Leading Order in QCD

Contributions through second order, $O(\alpha ^2_s)$, in perturbative quantum chromodynamics are calculated analytically for inclusive associated production of a prompt photon and a charm quark at large values of transverse momentum in high energy hadron-hadron collisions. Seven partonic subprocesses contribute at order $\alpha^2_s$. We find important corrections to the lowest order, $O(\alpha_s)$, subprocess $c g \rightarrow \gamma c$. We demonstrate to what extent data from $p +\bar{p}\rightarrow \gamma + c + X$ may serve to measure the charm quark density in the nucleon.Comment: 34 pages RevTex plus 9 figures submitted as uuencoded ps files; figures replaced and text revised to include one additional referenc