1,324 research outputs found
Totally ordered commutative monoids
A totally ordered monoid - or tomonoid, for short - is a commutative semigroup with identity S equipped with a total order â€s that is translation invariant, i.e., that satisfies: âx, y, z â, x â€s y â x + z â€s y + z. We call a tomonoid that is a quotient of some totally ordered free commutative monoid formally integral. Our most significant results concern characterizations of this condition by means of constructions in the lattice Zn that are reminiscent of the geometric interpretation of the Buchberger algorithm that occurs in integer programming. In particular, we show that every two-generator tomonoid is formally integral. In addition, we give several (new) examples of tomonoids that are not formally integral, we present results on the structure of nil tomonoids and we show how a valuation-theoretic construction due to Hion reveals relationships between formally integral tomonoids and ordered commutative rings satisfying a condition introduced by Henriksen and Isbell
Phage infection, transfection and transformation of \u3ci\u3eMycobacterium avium\u3c/i\u3e complex and \u3ci\u3eMycobacterium paratuberculosis\u3c/i\u3e
Mycobacterium avium complex strains and Mycobacterium paratuberculosis are closely related intracellular pathogens affecting humans and animals. M. avium complex infections are a leading cause of morbidity and mortality in AIDS patients, and M. paratuberculosis is the agent of Johne\u27s disease in ruminants. Genetic manipulation of these micro-organisms would facilitate the understanding of their pathogenesis, the construction of attenuated vaccine strains and the development of new drugs and treatment methods. This paper describes the replication of mycobacterial shuttle phasmids and plasmids, and the expression of the firefly luciferase reporter gene in M. avium complex and M. paratuberculosis. The mycobacteriophage TM4 propagated on M. smegmatis or M. paratuberculosis plaqued at the same efficiency on these two mycobacterial hosts. Screening of M. avium complex and M. paratuberculosis clinical isolates with TM4-derived luciferase reporter phages demonstrated that the majority of these isolates were susceptible to TM4. Conditions for introduction of DNA were determined by transfection of M. paratuberculosis with TM4 DNA and applied to isolate kanamycin-resistant transformants of M. avium complex and M. paratuberculosis with Escherichia coli-Mycobacterium shuttle plasmids. Recombinant plasmids were recovered from transformants without apparent loss of DNA sequences. These results provide the basis for the genetic manipulation of these pathogenic mycobacterial species
Fcc-bcc transition for Yukawa interactions determined by applied strain deformation
Calculations of the work required to transform between bcc and fcc phases
yield a high-precision bcc-fcc transition line for monodisperse point Yukawa
(screened-Couloumb) systems. Our results agree qualitatively but not
quantitatively with previously published simulations and phenomenological
criteria for the bcc-fcc transition. In particular, the bcc-fcc-fluid triple
point lies at a higher inverse screening length than previously reported.Comment: RevTex4, 9 pages, 6 figures. Discussion of phase coexistence
extended, a few other minor clarifications added, referencing improved.
Accepted for publication by Physical Review
National Geodetic Satellite Program, Part II: Smithsonian Astrophysical Observatory
A sequence of advances in the determination of geodetic parameters presented by the Smithsonian Astrophysical Observatory are described. A Baker-Nunn photographic system was used in addition to a ruby-laser ranging system to obtain data for refinement of geodetic parameters. A summary of the data employed to: (1) derive coordinates for the locations of various tracking stations; and (2) determine the gravitational potential of the earth, is presented
Testing fluvial erosion models using the transient response of bedrock rivers to tectonic forcing in the Apennines, Italy
The transient response of bedrock rivers to a drop in base level can be used to
discriminate between competing fluvial erosion models. However, some recent studies of
bedrock erosion conclude that transient river long profiles can be approximately
characterized by a transportâlimited erosion model, while other authors suggest that a
detachmentâlimited model best explains their field data. The difference is thought to be
due to the relative volume of sediment being fluxed through the fluvial system. Using a
pragmatic approach, we address this debate by testing the ability of endâmember fluvial
erosion models to reproduce the wellâdocumented evolution of three catchments in the
central Apennines (Italy) which have been perturbed to various extents by an
independently constrained increase in relative uplift rate. The transportâlimited model is
unable to account for the catchmentsâresponse to the increase in uplift rate, consistent with
the observed low rates of sediment supply to the channels. Instead, a detachmentâlimited
model with a threshold corresponding to the fieldâderived median grain size of the
sediment plus a slopeâdependent channel width satisfactorily reproduces the overall
convex long profiles along the studied rivers. Importantly, we find that the prefactor in the
hydraulic scaling relationship is uplift dependent, leading to landscapes responding faster
the higher the uplift rate, consistent with field observations. We conclude that a slopeâ
dependent channel width and an entrainment/erosion threshold are necessary ingredients
when modeling landscape evolution or mapping the distribution of fluvial erosion rates in
areas where the rate of sediment supply to channels is low
- âŠ