1,925 research outputs found
Detecting the Rise and Fall of 21 cm Fluctuations with the Murchison Widefield Array
We forecast the sensitivity with which the Murchison Widefield Array (MWA)
can measure the 21 cm power spectrum of cosmic hydrogen, using radiative
transfer simulations to model reionization and the 21 cm signal. The MWA is
sensitive to roughly a decade in scale (wavenumbers of k ~ 0.1 - 1 h Mpc^{-1}),
with foreground contamination precluding measurements on larger scales, and
thermal detector noise limiting the small scale sensitivity. This amounts
primarily to constraints on two numbers: the amplitude and slope of the 21 cm
power spectrum on the scales probed. We find, however, that the redshift
evolution in these quantities can yield important information about
reionization. Although the power spectrum differs substantially across
plausible models, a generic prediction is that the amplitude of the 21 cm power
spectrum on MWA scales peaks near the epoch when the intergalactic medium (IGM)
is ~ 50% ionized. Moreover, the slope of the 21 cm power spectrum on MWA scales
flattens as the ionization fraction increases and the sizes of the HII regions
grow. Considering detection sensitivity, we show that the optimal MWA antenna
configuration for power spectrum measurements would pack all 500 antenna tiles
as close as possible in a compact core. The MWA is sensitive enough in its
optimal configuration to measure redshift evolution in the slope and amplitude
of the 21 cm power spectrum. Detecting the characteristic redshift evolution of
our models will confirm that observed 21 cm fluctuations originate from the
IGM, and not from foregrounds, and provide an indirect constraint on the
volume-filling factor of HII regions during reionization. After two years of
observations under favorable conditions, the MWA can constrain the filling
factor at an epoch when ~ 0.5 to within roughly +/- 0.1 at 2-sigma.Comment: 14 pages, 9 figures, submitted to Ap
A role for loop G in the β1 strand in GABA<sub>A</sub> receptor activation
The GABAA receptor α subunit β1 strand runs anti-parallel to the β2 strand, which contains loop D, known to participate in receptor activation and agonist binding. However, a role for the β1 strand has yet to be established. We used molecular dynamics simulation to quantify the solvent accessible surface area (SASA) of β1 strand residues in the GABAA β3 homopentamer structure. Residues in the complementary interface equivalent to those between Asp43 and Thr47 in the a1 subunit have an alternating pattern of high and low SASA consistent with a β strand structure. We investigated the functional role of these β1 strand residues in the α1 subunit by individually replacing them with Cys residues. D43C and T47C substitutions reduced the apparent potency of GABA at α1β2γ2 receptors by around 50-fold and 8-fold, respectively, whereas the F45C substitution caused a biphasic GABA concentration-response relationship and increased spontaneous gating. Receptors with D43C or T47C substitutions were sensitive to MTSEA modification. However, GABA-evoked currents mediated by α1(F45C)β2γ2 receptors were unaffected by MTSEA, suggesting that this residue is inaccessible. Both GABA and the allosteric agonist propofol reduced MTSEA modification of α1(D43C)β2γ2 and α1(T47C)β2γ2 receptors indicating movement of the β1 strand even during allosteric activation. This is in contrast to α1(F64C)β2γ2 receptors where only GABA, but not propofol reduced MTSEA modification. These findings provide the first functional evidence for movement of the β1 strand during gating of the receptor and identify residues that are critical for maintaining GABAA receptor function. This article is protected by copyright. All rights reserved.</p
Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs
This extended abstract is about an effort to build a formal description of a
triangulation algorithm starting with a naive description of the algorithm
where triangles, edges, and triangulations are simply given as sets and the
most complex notions are those of boundary and separating edges. When
performing proofs about this algorithm, questions of symmetry appear and this
exposition attempts to give an account of how these symmetries can be handled.
All this work relies on formal developments made with Coq and the mathematical
components library
Phase field approach to optimal packing problems and related Cheeger clusters
In a fixed domain of we study the asymptotic behaviour of optimal
clusters associated to -Cheeger constants and natural energies like the
sum or maximum: we prove that, as the parameter converges to the
"critical" value , optimal Cheeger clusters
converge to solutions of different packing problems for balls, depending on the
energy under consideration. As well, we propose an efficient phase field
approach based on a multiphase Gamma convergence result of Modica-Mortola type,
in order to compute -Cheeger constants, optimal clusters and, as a
consequence of the asymptotic result, optimal packings. Numerical experiments
are carried over in two and three space dimensions
Seasonal patterns of estuarine acidification in seagrass beds of the Snohomish Estuary, WA
Recent studies have begun to explore physical and biogeochemical mechanisms of carbonate chemistry variability in a variety of coastal habitats, including coral reefs, upwelling margins, and inland seas. To our knowledge, there have been limited mechanistic studies of annual carbonate chemistry variability in nearshore estuarine environments. Here, we present autonomous sensor and grab sample data of carbonate chemistry covering a 10 month period from two subtidal seagrass bed sites in Possession Sound, WA. Simple mass balance stoichiometric models are used to evaluate seasonal drivers of carbonate system parameters in the seagrass beds. Simulations of increasing anthropogenic carbon (Canth) burdens in the habitats reveal seasonal differences in the magnitude of carbonate system responses. The addition of Canth alters the thermodynamic buffer factors (e.g. the Revelle factor) of the carbonate system, decreasing the system’s ability to buffer natural variability in the seagrass habitat on high-frequency (e.g. tidal, diel) and seasonal timescales. As a result, the most harmful carbonate system indices for many estuarine organisms (minimum pHT, minimum Ωarag, and maximum pCO2(s.w.)) change most rapidly with increasing Canth. We highlight how the observed seasonal climatology and non-linear response of the carbonate system to increasing Canth drive the timing of the crossing of established physiological stress thresholds for endemic organisms, as well as thresholds relevant for water quality management. In this system, the relative benefits of the seagrass beds in locally mitigating ocean acidification during the growing season increase with the higher atmospheric CO2 levels predicted toward 2100. Presently however, these mitigating effects are mixed due to intense diel cycling of CO2 driven by community metabolism
Radio Frequency Spectra of 388 Bright 74 MHz Sources
As a service to the community, we have compiled radio frequency spectra from
the literature for all sources within the VLA Low Frequency Sky Survey (VLSS)
that are brighter than 15 Jy at 74 MHz. Over 160 references were used to
maximize the amount of spectral data used in the compilation of the spectra,
while also taking care to determine the corrections needed to put the flux
densities from all reference on the same absolute flux density scale. With the
new VLSS data, we are able to vastly improve upon previous efforts to compile
spectra of bright radio sources to frequencies below 100 MHz because (1) the
VLSS flux densities are more reliable than those from some previous low
frequency surveys and (2) the VLSS covers a much larger area of the sky
(declination >-30 deg.) than many other low frequency surveys (e.g., the 8C
survey). In this paper, we discuss how the spectra were constructed and how
parameters quantifying the shapes of the spectra were derived. Both the spectra
and the shape parameters are made available here to assist in the calibration
of observations made with current and future low frequency radio facilities.Comment: Accepted to ApJ
Src Kinase Inhibition Attenuates Morphine Tolerance without Affecting Reinforcement or Psychomotor Stimulation
BACKGROUND: Prolonged opioid administration leads to tolerance characterized by reduced analgesic potency. Pain management is additionally compromised by the hedonic effects of opioids, the cause of their misuse. The multifunctional protein β-arrestin2 regulates the hedonic effects of morphine and participates in tolerance. These actions might reflect µ opioid receptor up-regulation through reduced endocytosis. β-Arrestin2 also recruits kinases to µ receptors. We explored the role of Src kinase in morphine analgesic tolerance, locomotor stimulation, and reinforcement in C57BL/6 mice.METHODS: Analgesic (tail withdrawal latency; percentage of maximum possible effect, n = 8 to 16), locomotor (distance traveled, n = 7 to 8), and reinforcing (conditioned place preference, n = 7 to 8) effects of morphine were compared in wild-type, µ, µ, and β-arrestin2 mice. The influence of c-Src inhibitors dasatinib (n = 8) and PP2 (n = 12) was examined.RESULTS: Analgesia in morphine-treated wild-type mice exhibited tolerance, declining by day 10 to a median of 62% maximum possible effect (interquartile range, 29 to 92%). Tolerance was absent from mice receiving dasatinib. Tolerance was enhanced in µ mice (34% maximum possible effect; interquartile range, 5 to 52% on day 5); dasatinib attenuated tolerance (100% maximum possible effect; interquartile range, 68 to 100%), as did PP2 (91% maximum possible effect; interquartile range, 78 to 100%). By contrast, c-Src inhibition affected neither morphine-evoked locomotor stimulation nor reinforcement. Remarkably, dasatinib not only attenuated tolerance but also reversed established tolerance in µ mice.CONCLUSIONS: The ability of c-Src inhibitors to inhibit tolerance, thereby restoring analgesia, without altering the hedonic effect of morphine, makes c-Src inhibitors promising candidates as adjuncts to opioid analgesics.</p
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
This paper presents a combination of several automated reasoning and proof
presentation tools with the Mizar system for formalization of mathematics. The
combination forms an online service called MizAR, similar to the SystemOnTPTP
service for first-order automated reasoning. The main differences to
SystemOnTPTP are the use of the Mizar language that is oriented towards human
mathematicians (rather than the pure first-order logic used in SystemOnTPTP),
and setting the service in the context of the large Mizar Mathematical Library
of previous theorems,definitions, and proofs (rather than the isolated problems
that are solved in SystemOnTPTP). These differences poses new challenges and
new opportunities for automated reasoning and for proof presentation tools.
This paper describes the overall structure of MizAR, and presents the automated
reasoning systems and proof presentation tools that are combined to make MizAR
a useful mathematical service.Comment: To appear in 10th International Conference on. Artificial
Intelligence and Symbolic Computation AISC 201
- …