1,135 research outputs found
P14-04. HIV-SELECTEST EIA and rapid test: a novel assay for differential diagnosis of HIV infections in the face of vaccine-generated antibodies
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 -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
The Challenge of Evaluating Students’ Scientific Literacy in a Writing-to-Learn Context
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
- …