834 research outputs found
Recommended from our members
Curie: Constraining Solar System Bombardment Using In Situ Radiometric Dating
The Curie mission would constrain the existence of the putative cataclysm by determining the age of samples directly sourced from the impact melt sheet of a major pre-Imbrium lunar basin. The measurements would also enable further understanding of lunar evolution by characterizing new lunar lithologies far from the Apollo and Luna landing sites, including the very low-Ti basalts in Mare Crisium and potential olivine rich lithologies in the margins of both Mare Nectaris and Mars Crisium. Equipped with a mass spectrometer and a LIBS, Curie would also be well-placed to survey volatile components of the lunar regolith, including surface-bound hydrogen
The Virtual Solar Observatory: What Are We Up To Now?
In the nearly ten years of a functional Virtual Solar Observatory (VSO), http://virtualsolar.org/ we have made it possible to query and access sixty-seven distinct solar data products and several event lists from nine spacecraft and fifteen observatories or observing networks. We have used existing VSO technology, and developed new software, for a distributed network of sites caching and serving SDO HMI and/ or AlA data. We have also developed an application programming interface (API) that has enabled VSO search and data access capabilities in IDL, Python, and Java. We also have quite a bit of work yet to do, including completion of the implementation of access to SDO EVE data, and access to some nineteen other data sets from space- and ground-based observatories. In addition, we have been developing a new graphic user interface that will enable the saving of user interface and search preferences. We solicit advice from the community input prioritizing our task list, and adding to i
Formalization of Transform Methods using HOL Light
Transform methods, like Laplace and Fourier, are frequently used for
analyzing the dynamical behaviour of engineering and physical systems, based on
their transfer function, and frequency response or the solutions of their
corresponding differential equations. In this paper, we present an ongoing
project, which focuses on the higher-order logic formalization of transform
methods using HOL Light theorem prover. In particular, we present the
motivation of the formalization, which is followed by the related work. Next,
we present the task completed so far while highlighting some of the challenges
faced during the formalization. Finally, we present a roadmap to achieve our
objectives, the current status and the future goals for this project.Comment: 15 Pages, CICM 201
The importance of quantitative MĂssbauer spectroscopy of MoFe-protein from Azotobacter vinelandii
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/65965/1/j.1432-1033.1985.tb08679.x.pd
Few smooth d-polytopes with n lattice points
We prove that, for fixed n there exist only finitely many embeddings of
Q-factorial toric varieties X into P^n that are induced by a complete linear
system. The proof is based on a combinatorial result that for fixed nonnegative
integers d and n, there are only finitely many smooth d-polytopes with n
lattice points. We also enumerate all smooth 3-polytopes with at most 12
lattice points. In fact, it is sufficient to bound the singularities and the
number of lattice points on edges to prove finiteness.Comment: 20+2 pages; major revision: new author, new structure, new result
First application of a liquid argon time projection chamber for the search for intranuclear neutron-antineutron transitions and annihilation in 40 Ar using the MicroBooNE detector
We present a novel methodology to search for intranuclear neutron-antineutron transition (nâ¶nÌ
) followed by nÌ
-nucleon annihilation within an 40Ar nucleus, using the MicroBooNE liquid argon time projection chamber (LArTPC) detector. A discovery of nâ¶nÌ
transition or a new best limit on the lifetime of this process would either constitute physics beyond the Standard Model or greatly constrain theories of baryogenesis, respectively. The approach presented in this paper makes use of deep learning methods to select nâ¶nÌ
events based on their unique features and differentiate them from cosmogenic backgrounds. The achieved signal and background efficiencies are (70.22 ± 6.04)% and (0.0020 ± 0.0003)%, respectively. A demonstration of a search is performed with a data set corresponding to an exposure of 3.32 Ă1026 neutron-years, and where the background rate is constrained through direct measurement, assuming the presence of a negligible signal. With this approach, no excess of events over the background prediction is observed, setting a demonstrative lower bound on the nâ¶nÌ
lifetime in 40Ar of Ïm âł 1.1Ă1026 years, and on the free nâ¶nÌ
transition time of Ïnâ¶nÌ
âł 2.6Ă105 s, each at the 90% confidence level. This analysis represents a first-ever proof-of-principle demonstration of the ability to search for this rare process in LArTPCs with high efficiency and low background
Fermi LAT observations of cosmic-ray electrons from 7 GeV to 1 TeV
We present the results of our analysis of cosmic-ray electrons using about 8
million electron candidates detected in the first 12 months on-orbit by the
Fermi Large Area Telescope. This work extends our previously-published
cosmic-ray electron spectrum down to 7 GeV, giving a spectral range of
approximately 2.5 decades up to 1 TeV. We describe in detail the analysis and
its validation using beam-test and on-orbit data. In addition, we describe the
spectrum measured via a subset of events selected for the best energy
resolution as a cross-check on the measurement using the full event sample. Our
electron spectrum can be described with a power law with no prominent spectral features within systematic uncertainties.
Within the limits of our uncertainties, we can accommodate a slight spectral
hardening at around 100 GeV and a slight softening above 500 GeV.Comment: 20 pages, 23 figures, 2 tables, published in Physical Review D 82,
092004 (2010) - contact authors: C. Sgro', A. Moisee
Altered plasticity of the parasympathetic innervation in the recovering rat submandibular gland following extensive atrophy
Adult rat submandibular glands have a rich autonomic innervation, with parasympathetic and sympathetic nerves working in synergy rather than antagonistically. Ligation of the secretory duct rapidly causes atrophy and the loss of most acini, which are the main target cell for parasympathetic nerves. Following deligation, there is a recovery of gland structure and function, as assessed by autonomimetic stimulation. This study examines whether the parasympathetic nerves reattach to new target cells to form functional neuro-effector junctions. Under recovery anaesthesia, the submandibular duct of adult male rats was ligated via an intra-oral approach to avoid damaging the chorda-lingual nerve. Four weeks later, rats were either killed or anaesthetized and the ligation clip removed. Following a further 8 weeks, both submandibular ducts were cannulated under terminal anaesthesia. Salivary flows were then stimulated electrically (chorda-lingual nerve at 2, 5 and 10 Hz) and subsequently by methacholine (whole-body infusion at two doses). Glands were excised, weighed and divided for further in vitro studies or fixed for histological examination. Ligation of ducts caused 75% loss of gland weight, with the loss of most acinar cells. Of the remaining acini, only 50% were innervated despite unchanged choline acetyltransferase activity, suggesting few parasympathetic nerves had died. Following deligation, submandibular glands recovered half their weight and had normal morphology. Salivary flows from both glands (per unit of gland tissue) were similar when evoked by methacholine but greater from the deligated glands when evoked by nerve stimulation. This suggests that parasympathetic nerves had reattached to new target cells in the recovered glands at a greater ratio than normal, confirming reinnervation of the regenerating gland
A Search for Jet Handedness in Hadronic Decays
We have searched for signatures of polarization in hadronic jets from decays using the ``jet handedness'' method. The polar angle
asymmetry induced by the high SLC electron-beam polarization was used to
separate quark jets from antiquark jets, expected to be left- and
right-polarized, respectively. We find no evidence for jet handedness in our
global sample or in a sample of light quark jets and we set upper limits at the
95% C.L. of 0.063 and 0.099 respectively on the magnitude of the analyzing
power of the method proposed by Efremov {\it et al.}Comment: Revtex, 8 pages, 2 figure
- âŠ