Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

Continuous-time Markov chains with alarms (ACTMCs) allow for alarm events that can be non-exponentially distributed. Within parametric ACTMCs, the parameters of alarm-event distributions are not given explicitly and can be subject of parameter synthesis. An algorithm solving the $\varepsilon$-optimal parameter synthesis problem for parametric ACTMCs with long-run average optimization objectives is presented. Our approach is based on reduction of the problem to finding long-run average optimal strategies in semi-Markov decision processes (semi-MDPs) and sufficient discretization of parameter (i.e., action) space. Since the set of actions in the discretized semi-MDP can be very large, a straightforward approach based on explicit action-space construction fails to solve even simple instances of the problem. The presented algorithm uses an enhanced policy iteration on symbolic representations of the action space. The soundness of the algorithm is established for parametric ACTMCs with alarm-event distributions satisfying four mild assumptions that are shown to hold for uniform, Dirac and Weibull distributions in particular, but are satisfied for many other distributions as well. An experimental implementation shows that the symbolic technique substantially improves the efficiency of the synthesis algorithm and allows to solve instances of realistic size.Comment: This article is a full version of a paper accepted to the Conference on Quantitative Evaluation of SysTems (QEST) 201

Cerebrospinal fluid and plasma lipopolysaccharide (LPS) levels in HIV-1 infection and associations with inflammation, blood-brain barrier permeability and neuronal injury

HIV infection is associated with increased systemic microbial translocation, neuro-inflammation and occasionally neuronal injury. Whether systemic LPS penetrates into the brain and contributes to neuro-inflammation remain unknown in HIV. Here, we measured plasma and cerebrospinal fluid (CSF) LPS levels along with biomarkers of neuro-inflammation (white blood cell counts and 40 soluble markers) and neurofilament light chain (NfL). Notably, CSF LPS was undetectable in all samples, including three HIV-infected individuals with dementia. Increased plasma LPS, neuro-inflammation, and blood-brain barrier (BBB) dysfunction were found in untreated HIV-infected individuals, but not in healthy or treated HIV-infected individuals. Plasma LPS levels were directly correlated with various markers of inflammation in both plasma and CSF, as well as with degree of BBB permeability but not with CSF NfL in HIV-infected subjects. These results suggest that the magnitude of microbial translocation associates with neuro-inflammation and BBB permeability in HIV without direct penetration into the central nervous system (CNS)

Diffusion microscopic MRI of the mouse embryo: Protocol and practical implementation in the splotch mouse model

Advanced methodologies for visualizing novel tissue contrast are essential for phenotyping the ever-increasing number of mutant mouse embryos being generated. Although diffusion microscopic MRI (μMRI) has been used to phenotype embryos, widespread routine use is limited by extended scanning times, and there is no established experimental procedure ensuring optimal data acquisition

Novel exomphalos genetic mouse model: The importance of accurate phenotypic classification.

Rodent models of abdominal wall defects (AWD) may provide insight into the pathophysiology of these conditions including gut dysfunction in gastroschisis, or pulmonary hypoplasia in exomphalos. Previously, a Scribble mutant mouse model (circletail) was reported to exhibit gastroschisis. We further characterise this AWD in Scribble knockout mice

Two Stellar Components in the Halo of the Milky Way

The halo of the Milky Way provides unique elemental abundance and kinematic information on the first objects to form in the Universe, which can be used to tightly constrain models of galaxy formation and evolution. Although the halo was once considered a single component, evidence for its dichotomy has slowly emerged in recent years from inspection of small samples of halo objects. Here we show that the halo is indeed clearly divisible into two broadly overlapping structural components -- an inner and an outer halo -- that exhibit different spatial density profiles, stellar orbits and stellar metallicities (abundances of elements heavier than helium). The inner halo has a modest net prograde rotation, whereas the outer halo exhibits a net retrograde rotation and a peak metallicity one-third that of the inner halo. These properties indicate that the individual halo components probably formed in fundamentally different ways, through successive dissipational (inner) and dissipationless (outer) mergers and tidal disruption of proto-Galactic clumps.Comment: Two stand-alone files in manuscript, concatenated together. The first is for the main paper, the second for supplementary information. The version is consistent with the version published in Natur

A New Acoustic Portal into the Odontocete Ear and Vibrational Analysis of the Tympanoperiotic Complex

Global concern over the possible deleterious effects of noise on marine organisms was catalyzed when toothed whales stranded and died in the presence of high intensity sound. The lack of knowledge about mechanisms of hearing in toothed whales prompted our group to study the anatomy and build a finite element model to simulate sound reception in odontocetes. The primary auditory pathway in toothed whales is an evolutionary novelty, compensating for the impedance mismatch experienced by whale ancestors as they moved from hearing in air to hearing in water. The mechanism by which high-frequency vibrations pass from the low density fats of the lower jaw into the dense bones of the auditory apparatus is a key to understanding odontocete hearing. Here we identify a new acoustic portal into the ear complex, the tympanoperiotic complex (TPC) and a plausible mechanism by which sound is transduced into the bony components. We reveal the intact anatomic geometry using CT scanning, and test functional preconceptions using finite element modeling and vibrational analysis. We show that the mandibular fat bodies bifurcate posteriorly, attaching to the TPC in two distinct locations. The smaller branch is an inconspicuous, previously undescribed channel, a cone-shaped fat body that fits into a thin-walled bony funnel just anterior to the sigmoid process of the TPC. The TPC also contains regions of thin translucent bone that define zones of differential flexibility, enabling the TPC to bend in response to sound pressure, thus providing a mechanism for vibrations to pass through the ossicular chain. The techniques used to discover the new acoustic portal in toothed whales, provide a means to decipher auditory filtering, beam formation, impedance matching, and transduction. These tools can also be used to address concerns about the potential deleterious effects of high-intensity sound in a broad spectrum of marine organisms, from whales to fish

Extragalactic Radio Continuum Surveys and the Transformation of Radio Astronomy

Next-generation radio surveys are about to transform radio astronomy by discovering and studying tens of millions of previously unknown radio sources. These surveys will provide new insights to understand the evolution of galaxies, measuring the evolution of the cosmic star formation rate, and rivalling traditional techniques in the measurement of fundamental cosmological parameters. By observing a new volume of observational parameter space, they are also likely to discover unexpected new phenomena. This review traces the evolution of extragalactic radio continuum surveys from the earliest days of radio astronomy to the present, and identifies the challenges that must be overcome to achieve this transformational change.Comment: To be published in Nature Astronomy 18 Sept 201

Experimental and theoretical investigation of ligand effects on the synthesis of ZnO nanoparticles

ZnO nanoparticles with highly controllable particle sizes(less than 10 nm) were synthesized using organic capping ligands in Zn(Ac)2 ethanolic solution. The molecular structure of the ligands was found to have significant influence on the particle size. The multi-functional molecule tris(hydroxymethyl)-aminomethane (THMA) favoured smaller particle distributions compared with ligands possessing long hydrocarbon chains that are more frequently employed. The adsorption of capping ligands on ZnnOn crystal nuclei (where n = 4 or 18 molecular clusters of(0001) ZnO surfaces) was modelled by ab initio methods at the density functional theory (DFT) level. For the molecules examined, chemisorption proceeded via the formation of Zn...O, Zn...N, or Zn...S chemical bonds between the ligands and active Zn2+ sites on ZnO surfaces. The DFT results indicated that THMA binds more strongly to the ZnO surface than other ligands, suggesting that this molecule is very effective at stabilizing ZnO nanoparticle surfaces. This study, therefore, provides new insight into the correlation between the molecular structure of capping ligands and the morphology of metal oxide nanostructures formed in their presence