Replication-Aware Linearizability

Geo-distributed systems often replicate data at multiple locations to achieve availability and performance despite network partitions. These systems must accept updates at any replica and propagate these updates asynchronously to every other replica. Conflict-Free Replicated Data Types (CRDTs) provide a principled approach to the problem of ensuring that replicas are eventually consistent despite the asynchronous delivery of updates. We address the problem of specifying and verifying CRDTs, introducing a new correctness criterion called Replication-Aware Linearizability. This criterion is inspired by linearizability, the de-facto correctness criterion for (shared-memory) concurrent data structures. We argue that this criterion is both simple to understand, and it fits most known implementations of CRDTs. We provide a proof methodology to show that a CRDT satisfies replication-aware linearizability which we apply on a wide range of implementations. Finally, we show that our criterion can be leveraged to reason modularly about the composition of CRDTs

Spectroscopy of Brown Dwarf Candidates in the rho Ophiuchi Molecular Core

We present an analysis of low resolution infrared spectra for 20 brown dwarf candidates in the core of the $\rho$ Ophiuchi molecular cloud. Fifteen of the sources display absorption-line spectra characteristic of late-type stars. By comparing the depths of water vapor absorption bands in our candidate objects with a grid of M dwarf standards, we derive spectral types which are independent of reddening. Optical spectroscopy of one brown dwarf candidate confirms the spectral type derived from the water bands. Combining their spectral types with published near-infrared photometry, effective temperatures and bolometric stellar luminosities are derived enabling us to place our sample on the Hertzsprung-Russell diagram. We compare the positions of the brown dwarf candidates in this diagram with two sets of theoretical models in order to estimate their masses and ages. Considering uncertainties in placing the candidates in the H-R diagram, six objects consistently lie in the brown dwarf regime and another five objects lie in the transition region between stellar and substellar objects. The ages inferred for the sample are consistent with those derived for higher mass association members. Three of the newly identified brown dwarfs display infrared excesses at $\lambda$=2.2 $\mu$m suggesting that young brown dwarfs can have active accretion disks. Comparing our mass estimates of the brown dwarf candidates with those derived from photometric data alone suggests that spectroscopy is an essential component of investigations of the mass functions of young clusters.Comment: Astronomical Journal, in press: 25 pages, latex, 5 tables and 6 figures (separate

The Actinomyosin Motor Drives Malaria Parasite Red Blood Cell Invasion but Not Egress.

Apicomplexa are obligate intracellular parasites that actively invade, replicate within, and egress from host cells. The parasite actinomyosin-based molecular motor complex (often referred to as the glideosome) is considered an important mediator of parasite motility and virulence. Mature intracellular parasites often become motile just prior to egress from their host cells, and in some genera, this motility is important for successful egress as well as for subsequent invasion of new host cells. To determine whether actinomyosin-based motility is important in the red blood cell egress and invasion activities of the malaria parasite, we have used a conditional genetic approach to delete GAP45, a primary component of the glideosome, in asexual blood stages of Plasmodium falciparum Our results confirm the essential nature of GAP45 for invasion but show that P. falciparum does not require a functional motor complex to undergo egress from the red blood cell. Malarial egress therefore differs fundamentally from induced egress in the related apicomplexan Toxoplasma gondiiIMPORTANCE Clinical malaria results from cycles of replication of single-celled parasites of the genus Plasmodium in red blood cells. Intracellular parasite replication is followed by a highly regulated, protease-dependent process called egress, in which rupture of the bounding membranes allows explosive release of daughter merozoites which rapidly invade fresh red cells. A parasite actinomyosin-based molecular motor (the glideosome) has been proposed to provide the mechanical force to drive invasion. Studies of the related parasite Toxoplasma gondii have shown that induced egress requires parasite motility, mediated by a functional glideosome. However, whether the glideosome has a similar essential role in egress of malaria merozoites from red blood cells is unknown. Here, we show that although a functional glideosome is required for red blood cell invasion by Plasmodium falciparum merozoites, it is not required for egress. These findings place further emphasis on the key role of the protease cascade in malarial egress

Abundances of Baade's Window Giants from Keck/HIRES Spectra: I. Stellar Parameters and [Fe/H] Values

We present the first results of a new abundance survey of the Milky Way bulge based on Keck/HIRES spectra of 27 K-giants in the Baade's Window ($l = 1$, $b = -4$) field. The spectral data used in this study are of much higher resolution and signal-to-noise than previous optical studies of Galactic bulge stars. The [Fe/H] values of our stars, which range between -1.29 and $+0.51$, were used to recalibrate large low resolution surveys of bulge stars. Our best value for the mean [Fe/H] of the bulge is $-0.10 \pm 0.04$. This mean value is similar to the mean metallicity of the local disk and indicates that there cannot be a strong metallicity gradient inside the solar circle. The metallicity distribution of stars confirms that the bulge does not suffer from the so-called ``G-dwarf'' problem. This paper also details the new abundance techniques necessary to analyze very metal-rich K-giants, including a new Fe line list and regions of low blanketing for continuum identification.Comment: Accepted for publication in January 2006 Astrophysical Journal. Long tables 3--6 withheld to save space (electronic tables in journal paper). 53 pages, 10 figures, 9 table

Recurrent adult-onset hypophyseal Langerhans cell histiocytosis after radiotherapy: A case report

INTRODUCTION: Langerhans cell histiocytosis is a rare disease within the adult population, with very few cases reported as solitary hypophyseal lesions in adults. Of the reported cases, most have been treated successfully with surgery, radiotherapy, and/or chemotherapy. Radiotherapy has been thought to be curative at the relatively low dose of 20Gy. Here we report a case of recurrent hypophyseal Langerhans cell histiocytosis 9 months after radiotherapy with an interval period of symptomatic and radiographic response to therapy. CASE PRESENTATION: A 50-year-old Caucasian woman who had headaches, memory difficulties, and diabetes insipidus was found to have a 2.5cm suprasellar mass. Langerhans cell histiocytosis was diagnosed following stereotactic brain biopsy. Further workup revealed no other lesions. Initial radiation treatment succeeded in shrinking the tumor and relieving clinical symptoms temporarily; however, growth and recurrence of clinical symptoms was noted at 9 months. Re-irradiation was well tolerated and the patient had no acute side effects. CONCLUSION: Isolated hypophyseal involvement by Langerhans cell histiocytosis in adults is a unique presentation of a rare disease. Although radiotherapy doses as low as 20Gy have been reported to offer control, this case demonstrates that higher doses may be warranted to ensure tumor control. With modern imaging and radiotherapy techniques higher doses should offer little increased more durable risk to surrounding critical structures

Ten-Micron Observations of Nearby Young Stars

(abridged) We present new 10-micron photometry of 21 nearby young stars obtained at the Palomar 5-meter and at the Keck I 10-meter telescopes as part of a program to search for dust in the habitable zone of young stars. Thirteen of the stars are in the F-K spectral type range ("solar analogs"), 4 have B or A spectral types, and 4 have spectral type M. We confirm existing IRAS 12-micron and ground-based 10-micron photometry for 10 of the stars, and present new insight into this spectral regime for the rest. Excess emission at 10 micron is not found in any of the young solar analogs, except for a possible 2.4-sigma detection in the G5V star HD 88638. The G2V star HD 107146, which does not display a 10-micron excess, is identified as a new Vega-like candidate, based on our 10-micron photospheric detection, combined with previously unidentified 60-micron and 100-micron IRAS excesses. Among the early-type stars, a 10-micron excess is detected only in HD 109573A (HR 4796A), confirming prior observations; among the M dwarfs, excesses are confirmed in AA Tau, CD -40 8434, and Hen 3-600A. A previously suggested N band excess in the M3 dwarf CD -33 7795 is shown to be consistent with photospheric emission.Comment: 40 pages, 4 figures, 5 tables. To appear in the January 1, 2004 issue of Ap

Bringing "The Moth" to Light: A Planet-Sculpting Scenario for the HD 61005 Debris Disk

The HD 61005 debris disk ("The Moth") stands out from the growing collection of spatially resolved circumstellar disks by virtue of its unusual swept-back morphology, brightness asymmetries, and dust ring offset. Despite several suggestions for the physical mechanisms creating these features, no definitive answer has been found. In this work, we demonstrate the plausibility of a scenario in which the disk material is shaped dynamically by an eccentric, inclined planet. We present new Keck NIRC2 scattered-light angular differential imaging of the disk at 1.2-2.3 microns that further constrains its outer morphology (projected separations of 27-135 AU). We also present complementary Gemini Planet Imager 1.6 micron total intensity and polarized light detections that probe down to projected separations less than 10 AU. To test our planet-sculpting hypothesis, we employed secular perturbation theory to construct parent body and dust distributions that informed scattered-light models. We found that this method produced models with morphological and photometric features similar to those seen in the data, supporting the premise of a planet-perturbed disk. Briefly, our results indicate a disk parent body population with a semimajor axis of 40-52 AU and an interior planet with an eccentricity of at least 0.2. Many permutations of planet mass and semimajor axis are allowed, ranging from an Earth mass at 35 AU to a Jupiter mass at 5 AU.Comment: Accepted to AJ; added Figure 5 and minor text edit

Understanding Breastfeeding Initiation and Continuation in Rural Communities: A Combined Qualitative/Quantitative Approach

To determine factors associated with breastfeeding in rural communities