Exploring Graphs with Time Constraints by Unreliable Collections of Mobile Robots

A graph environment must be explored by a collection of mobile robots. Some of the robots, a priori unknown, may turn out to be unreliable. The graph is weighted and each node is assigned a deadline. The exploration is successful if each node of the graph is visited before its deadline by a reliable robot. The edge weight corresponds to the time needed by a robot to traverse the edge. Given the number of robots which may crash, is it possible to design an algorithm, which will always guarantee the exploration, independently of the choice of the subset of unreliable robots by the adversary? We find the optimal time, during which the graph may be explored. Our approach permits to find the maximal number of robots, which may turn out to be unreliable, and the graph is still guaranteed to be explored. We concentrate on line graphs and rings, for which we give positive results. We start with the case of the collections involving only reliable robots. We give algorithms finding optimal times needed for exploration when the robots are assigned to fixed initial positions as well as when such starting positions may be determined by the algorithm. We extend our consideration to the case when some number of robots may be unreliable. Our most surprising result is that solving the line exploration problem with robots at given positions, which may involve crash-faulty ones, is NP-hard. The same problem has polynomial solutions for a ring and for the case when the initial robots' positions on the line are arbitrary. The exploration problem is shown to be NP-hard for star graphs, even when the team consists of only two reliable robots

Spatial heterogeneity and peptide availability determine CTL killing efficiency in vivo

The rate at which a cytotoxic T lymphocyte (CTL) can survey for infected cells is a key ingredient of models of vertebrate immune responses to intracellular pathogens. Estimates have been obtained using in vivo cytotoxicity assays in which peptide-pulsed splenocytes are killed by CTL in the spleens of immunised mice. However the spleen is a heterogeneous environment and splenocytes comprise multiple cell types. Are some cell types intrinsically more susceptible to lysis than others? Quantitatively, what impacts are made by the spatial distribution of targets and effectors, and the level of peptide-MHC on the target cell surface? To address these questions we revisited the splenocyte killing assay, using CTL specific for an epitope of influenza virus. We found that at the cell population level T cell targets were killed more rapidly than B cells. Using modeling, quantitative imaging and in vitro killing assays we conclude that this difference in vivo likely reflects different migratory patterns of targets within the spleen and a heterogeneous distribution of CTL, with no detectable difference in the intrinsic susceptibilities of the two populations to lysis. Modeling of the stages involved in the detection and killing of peptide-pulsed targets in vitro revealed that peptide dose influenced the ability of CTL to form conjugates with targets but had no detectable effect on the probability that conjugation resulted in lysis, and that T cell targets took longer to lyse than B cells. We also infer that incomplete killing in vivo of cells pulsed with low doses of peptide may be due to a combination of heterogeneity in peptide uptake and the dissociation, but not internalisation, of peptide-MHC complexes. Our analyses demonstrate how population-averaged parameters in models of immune responses can be dissected to account for both spatial and cellular heterogeneity

Heparin prevents Zika virus induced-cytopathic effects in human neural progenitor cells

The recent Zika virus (ZIKV) outbreak, which mainly affected Brazil and neighbouring states, demonstrated the paucity of information concerning the epidemiology of several flaviruses, but also highlighted the lack of available agents with which to treat such emerging diseases. Here, we show that heparin, a widely used anticoagulant, while exerting a modest inhibitory effect on Zika Virus replication, fully prevents virus-induced cell death of human neural progenitor cells (NPCs)

The JCMT Legacy Survey of the Gould Belt: Mapping 13CO and C 18O in Orion A

The Gould Belt Legacy Survey will map star-forming regions within 500 pc, using Heterodyne Array Receiver Programme (HARP), Submillimetre Common-User Bolometer Array 2 (SCUBA-2) and Polarimeter 2 (POL-2) on the James Clerk Maxwell Telescope (JCMT). This paper describes HARP observations of the J= 3 → 2 transitions of 13CO and C18O towards Orion A. The 15 arcsec resolution observations cover 5 pc of the Orion filament, including OMC 1 (including BN–KL and Orion bar), OMC 2/3 and OMC 4, and allow a comparative study of the molecular gas properties throughout the star-forming cloud. The filament shows a velocity gradient of ∼1 km s−1 pc−1 between OMC 1, 2 and 3, and high-velocity emission is detected in both isotopologues. The Orion Nebula and Bar have the largest masses and linewidths, and dominate the mass and energetics of the high-velocity material. Compact, spatially resolved emission from CH3CN, 13CH3OH, SO, HCOOCH3, CH3CHO and CH3OCHO is detected towards the Orion Hot Core. The cloud is warm, with a median excitation temperature of ∼24 K; the Orion Bar has the highest excitation temperature gas, at >80 K. The C18O excitation temperature correlates well with the dust temperature (to within 40 per cent). The C18O emission is optically thin, and the 13CO emission is marginally optically thick; despite its high mass, OMC 1 shows the lowest opacities. A virial analysis indicates that Orion A is too massive for thermal or turbulent support, but is consistent with a model of a filamentary cloud that is threaded by helical magnetic fields. The variation of physical conditions across the cloud is reflected in the physical characteristics of the dust cores. We find similar core properties between starless and protostellar cores, but variations in core properties with position in the filament. The OMC 1 cores have the highest velocity dispersions and masses, followed by OMC 2/3 and OMC 4. The differing fragmentation of these cores may explain why OMC 1 has formed clusters of high-mass stars, whereas OMC 4 produces fewer, predominantly low-mass stars

Strategically Equivalent Contests

Using a two-player Tullock-type contest, we show that intuitively and structurally different contests can be strategically equivalent. Strategically equivalent contests generate the same best response functions and, as a result, the same equilibrium efforts. However, strategically equivalent contests may yield different equilibrium payoffs. We propose a simple two-step procedure to identify strategically equivalent contests. Using this procedure, we identify contests that are strategically equivalent to the original Tullock contest, and provide new examples of strategically equivalent contests. Finally, we discuss possible contest design applications and avenues for future theoretical and empirical research

Spina bifida-predisposing heterozygous mutations in Planar Cell Polarity genes and Zic2 reduce bone mass in young mice

Fractures are a common comorbidity in children with the neural tube defect (NTD) spina bifida. Mutations in the Wnt/planar cell polarity (PCP) pathway contribute to NTDs in humans and mice, but whether this pathway independently determines bone mass is poorly understood. Here, we first confirmed that core Wnt/PCP components are expressed in osteoblasts and osteoclasts in vitro. In vivo, we performed detailed µCT comparisons of bone structure in tibiae from young male mice heterozygous for NTD-associated mutations versus WT littermates. PCP signalling disruption caused by Vangl2 (Vangl2Lp/+) or Celsr1 (Celsr1Crsh/+) mutations significantly reduced trabecular bone mass and distal tibial cortical thickness. NTD-associated mutations in non-PCP transcription factors were also investigated. Pax3 mutation (Pax3Sp2H/+) had minimal effects on bone mass. Zic2 mutation (Zic2Ku/+) significantly altered the position of the tibia/fibula junction and diminished cortical bone in the proximal tibia. Beyond these genes, we bioinformatically documented the known extent of shared genetic networks between NTDs and bone properties. 46 genes involved in neural tube closure are annotated with bone-related ontologies. These findings document shared genetic networks between spina bifida risk and bone structure, including PCP components and Zic2. Genetic variants which predispose to spina bifida may therefore independently diminish bone mass

Deciphering neuronal deficit and protein profile changes in human brain organoids from patients with creatine transporter deficiency

Creatine transporter deficiency (CTD) is an X-linked disease caused by mutations in the SLC6A8 gene. The impaired creatine uptake in the brain results in intellectual disability, behavioral disorders, language delay, and seizures. In this work, we generated human brain organoids from induced pluripotent stem cells of healthy subjects and CTD patients. Brain organoids from CTD donors had reduced creatine uptake compared with those from healthy donors. The expression of neural progenitor cell markers SOX2 and PAX6 was reduced in CTD-derived organoids, while GSK3β, a key regulator of neurogenesis, was up-regulated. Shotgun proteomics combined with integrative bioinformatic and statistical analysis identified changes in the abundance of proteins associated with intellectual disability, epilepsy, and autism. Re-establishment of the expression of a functional SLC6A8 in CTD-derived organoids restored creatine uptake and normalized the expression of SOX2, GSK3β, and other key proteins associated with clinical features of CTD patients. Our brain organoid model opens new avenues for further characterizing the CTD pathophysiology and supports the concept that reinstating creatine levels in patients with CTD could result in therapeutic efficacy

On the Importance of Countergradients for the Development of Retinotopy: Insights from a Generalised Gierer Model

During the development of the topographic map from vertebrate retina to superior colliculus (SC), EphA receptors are expressed in a gradient along the nasotemporal retinal axis. Their ligands, ephrin-As, are expressed in a gradient along the rostrocaudal axis of the SC. Countergradients of ephrin-As in the retina and EphAs in the SC are also expressed. Disruption of any of these gradients leads to mapping errors. Gierer's (1981) model, which uses well-matched pairs of gradients and countergradients to establish the mapping, can account for the formation of wild type maps, but not the double maps found in EphA knock-in experiments. I show that these maps can be explained by models, such as Gierer's (1983), which have gradients and no countergradients, together with a powerful compensatory mechanism that helps to distribute connections evenly over the target region. However, this type of model cannot explain mapping errors found when the countergradients are knocked out partially. I examine the relative importance of countergradients as against compensatory mechanisms by generalising Gierer's (1983) model so that the strength of compensation is adjustable. Either matching gradients and countergradients alone or poorly matching gradients and countergradients together with a strong compensatory mechanism are sufficient to establish an ordered mapping. With a weaker compensatory mechanism, gradients without countergradients lead to a poorer map, but the addition of countergradients improves the mapping. This model produces the double maps in simulated EphA knock-in experiments and a map consistent with the Math5 knock-out phenotype. Simulations of a set of phenotypes from the literature substantiate the finding that countergradients and compensation can be traded off against each other to give similar maps. I conclude that a successful model of retinotopy should contain countergradients and some form of compensation mechanism, but not in the strong form put forward by Gierer

"Now he walks and walks, as if he didn't have a home where he could eat": food, healing, and hunger in Quechua narratives of madness

In the Quechua-speaking peasant communities of southern Peru, mental disorder is understood less as individualized pathology and more as a disturbance in family and social relationships. For many Andeans, food and feeding are ontologically fundamental to such relationships. This paper uses data from interviews and participant observation in a rural province of Cuzco to explore the significance of food and hunger in local discussions of madness. Carers’ narratives, explanatory models, and theories of healing all draw heavily from idioms of food sharing and consumption in making sense of affliction, and these concepts structure understandings of madness that differ significantly from those assumed by formal mental health services. Greater awareness of the salience of these themes could strengthen the input of psychiatric and psychological care with this population and enhance knowledge of the alternative treatments that they use. Moreover, this case provides lessons for the global mental health movement on the importance of openness to the ways in which indigenous cultures may construct health, madness, and sociality. Such local meanings should be considered by mental health workers delivering services in order to provide care that can adjust to the alternative ontologies of sufferers and carers