Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs

Enumerating consistent global states of a computation is a fundamental problem in parallel computing with applications to debug- ging, testing and runtime verification of parallel programs. Breadth-first search (BFS) enumeration is especially useful for these applications as it finds an erroneous consistent global state with the least number of events possible. The total number of executed events in a global state is called its rank. BFS also allows enumeration of all global states of a given rank or within a range of ranks. If a computation on n processes has m events per process on average, then the traditional BFS (Cooper-Marzullo and its variants) requires $\mathcal{O}(\frac{m^{n-1}}{n})$ space in the worst case, whereas ou r algorithm performs the BFS requires $\mathcal{O}(m^2n^2)$ space. Thus, we reduce the space complexity for BFS enumeration of consistent global states exponentially. and give the first polynomial space algorithm for this task. In our experimental evaluation of seven benchmarks, traditional BFS fails in many cases by exhausting the 2 GB heap space allowed to the JVM. In contrast, our implementation uses less than 60 MB memory and is also faster in many cases

Oestradiol and prostaglandin F2 alpha regulate sexual displays in females of a sex-role reversed fish

The mechanisms regulating sexual behaviours in female vertebrates are still poorly understood, mainly because in most species sexual displays in females are more subtle and less frequent than displays in males. In a sex-role reversed population of a teleost fish, the peacock blenny Salaria pavo, an external fertilizer, females are the courting sex and their sexual displays are conspicuous and unambiguous. We took advantage of this to investigate the role of ovarian-synthesized hormones in the induction of sexual displays in females. In particular, the effects of the sex steroids oestradiol (E2) and testosterone (T) and of the prostaglandin F2 alpha (PGF2 alpha) were tested. Females were ovariectomized and their sexual behaviour tested 7 days (sex steroids and PGF2 alpha) and 14 days (sex steroids) after ovariectomy by presenting females to an established nesting male. Ovariectomy reduced the expression of sexual behaviours, although a significant proportion of females still courted the male 14 days after the ovary removal. Administration of PGF2 alpha to ovariectomized females recovered the frequency of approaches to the male's nest and of courtship displays towards the nesting male. However, E2 also had a positive effect on sexual behaviour, particularly on the frequency of approaches to the male's nest. T administration failed to recover sexual behaviours in ovariectomized females. These results suggest that the increase in E2 levels postulated to occur during the breeding season facilitates female mate-searching and assessment behaviours, whereas PGF2 alpha acts as a short-latency endogenous signal informing the brain that oocytes are mature and ready to be spawned. In the light of these results, the classical view for female fishes, that sex steroids maintain sexual behaviour in internal fertilizers and that prostaglandins activate spawning behaviours in external fertilizers, needs to be reviewed.Portuguese Foundation for Science and Technology (FCT) [POCTI/BSE/38395/2001, PTDC/MAR/69749/2006, 331/2001]; Macao Science and Technology Development Fund (FDCT) [012/2012/A1]; FCT [SFRH/BPD/30367/2006

Neural Network Parameterizations of Electromagnetic Nucleon Form Factors

The electromagnetic nucleon form-factors data are studied with artificial feed forward neural networks. As a result the unbiased model-independent form-factor parametrizations are evaluated together with uncertainties. The Bayesian approach for the neural networks is adapted for chi2 error-like function and applied to the data analysis. The sequence of the feed forward neural networks with one hidden layer of units is considered. The given neural network represents a particular form-factor parametrization. The so-called evidence (the measure of how much the data favor given statistical model) is computed with the Bayesian framework and it is used to determine the best form factor parametrization.Comment: The revised version is divided into 4 sections. The discussion of the prior assumptions is added. The manuscript contains 4 new figures and 2 new tables (32 pages, 15 figures, 2 tables

Four patients with a history of acute exacerbations of COPD: implementing the CHEST/Canadian Thoracic Society guidelines for preventing exacerbations

This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/ by/4.0

Astrobiological Complexity with Probabilistic Cellular Automata

Search for extraterrestrial life and intelligence constitutes one of the major endeavors in science, but has yet been quantitatively modeled only rarely and in a cursory and superficial fashion. We argue that probabilistic cellular automata (PCA) represent the best quantitative framework for modeling astrobiological history of the Milky Way and its Galactic Habitable Zone. The relevant astrobiological parameters are to be modeled as the elements of the input probability matrix for the PCA kernel. With the underlying simplicity of the cellular automata constructs, this approach enables a quick analysis of large and ambiguous input parameters' space. We perform a simple clustering analysis of typical astrobiological histories and discuss the relevant boundary conditions of practical importance for planning and guiding actual empirical astrobiological and SETI projects. In addition to showing how the present framework is adaptable to more complex situations and updated observational databases from current and near-future space missions, we demonstrate how numerical results could offer a cautious rationale for continuation of practical SETI searches.Comment: 37 pages, 11 figures, 2 tables; added journal reference belo

Lewis X antigen mediates adhesion of human breast carcinoma cells to activated endothelium. Possible involvement of the endothelial scavenger receptor C-Type lectin

Lewis x (Lex, CD15), also known as SSEA-1 (stage specific embryonic antigen-1), is a trisaccharide with the structure Galβ(1–4)Fucα(1–3)GlcNAc, which is expressed on glycoconjugates in human polymorphonuclear granulocytes and various tumors such as colon and breast carcinoma. We have investigated the role of Lex in the adhesion of MCF-7 human breast cancer cells and PMN to human umbilical endothelial cells (HUVEC) and the effects of two different anti-Lex mAbs (FC-2.15 and MCS-1) on this adhesion. We also analyzed the cytolysis of Lex+-cells induced by anti-Lex mAbs and complement when cells were adhered to the endothelium, and the effect of these antibodies on HUVEC. The results indicate that MCF-7 cells can bind to HUVEC, and that MCS-1 but not FC-2.15 mAb inhibit this interaction. Both mAbs can efficiently lyse MCF-7 cells bound to HUVEC in the presence of complement without damaging endothelial cells. We also found a Lex-dependent PMN interaction with HUVEC. Although both anti-Lex mAbs lysed PMN in suspension and adhered to HUVEC, PMN aggregation was only induced by mAb FC-2.15. Blotting studies revealed that the endothelial scavenger receptor C-type lectin (SRCL), which binds Lex-trisaccharide, interacts with specific glycoproteins of Mr␣∼␣28 kD and 10 kD from MCF-7 cells. The interaction between Lex+-cancer cells and vascular endothelium is a potential target for cancer treatment.Fil: Elola, Maria Teresa. Fundación Instituto Leloir; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Capurro, Mariana Isabel. University of Toronto; CanadáFil: Barrio, Maria Marcela. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Fundación para la Investigación, Docencia y Prevención del Cáncer; ArgentinaFil: Coombs, Peter J.. Imperial College London; Reino UnidoFil: Taylor, Maureen E.. Imperial College London; Reino UnidoFil: Drickamer, Kurt. Imperial College London; Reino UnidoFil: Mordoh, Jose. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Fundación para la Investigación, Docencia y Prevención del Cáncer; Argentin

Measurement of Λ (1520) production in pp collisions at √s=7TeV and p–Pb collisions at √sNN=5.02TeV

The production of the Λ (1520) baryonic resonance has been measured at midrapidity in inelastic pp collisions at s=7TeV and in p–Pb collisions at sNN=5.02TeV for non-single diffractive events and in multiplicity classes. The resonance is reconstructed through its hadronic decay channel Λ (1520) → pK - and the charge conjugate with the ALICE detector. The integrated yields and mean transverse momenta are calculated from the measured transverse momentum distributions in pp and p–Pb collisions. The mean transverse momenta follow mass ordering as previously observed for other hyperons in the same collision systems. A Blast-Wave function constrained by other light hadrons (π, K, KS0, p, Λ) describes the shape of the Λ (1520) transverse momentum distribution up to 3.5GeV/c in p–Pb collisions. In the framework of this model, this observation suggests that the Λ (1520) resonance participates in the same collective radial flow as other light hadrons. The ratio of the yield of Λ (1520) to the yield of the ground state particle Λ remains constant as a function of charged-particle multiplicity, suggesting that there is no net effect of the hadronic phase in p–Pb collisions on the Λ (1520) yield

Why are we not flooded by involuntary thoughts about the past and future? Testing the cognitive inhibition dependency hypothesis

© The Author(s) 2018In everyday life, involuntary thoughts about future plans and events occur as often as involuntary thoughts about the past. However, compared to involuntary autobiographical memories (IAMs), such episodic involuntary future thoughts (IFTs) have become a focus of study only recently. The aim of the present investigation was to examine why we are not constantly flooded by IFTs and IAMs given that they are often triggered by incidental cues while performing undemanding activities. One possibility is that activated thoughts are suppressed by the inhibitory control mechanism, and therefore depleting inhibitory control should enhance the frequency of both IFTs and IAMs. We report an experiment with a between-subjects design, in which participants in the depleted inhibition condition performed a 60-min high-conflict Stroop task before completing a laboratory vigilance task measuring the frequency of IFTs and IAMs. Participants in the intact inhibition condition performed a version of the Stroop task that did not deplete inhibitory control. To control for physical and mental fatigue resulting from performing the 60-min Stroop tasks in experimental conditions, participants in the control condition completed only the vigilance task. Contrary to predictions, the number of IFTs and IAMs reported during the vigilance task, using the probe-caught method, did not differ across conditions. However, manipulation checks showed that participants’ inhibitory resources were reduced in the depleted inhibition condition, and participants were more tired in the experimental than in the control conditions. These initial findings suggest that neither inhibitory control nor physical and mental fatigue affect the frequency of IFTs and IAMs.Peer reviewedFinal Published versio

Age-related changes in global motion coherence: conflicting haemodynamic and perceptual responses

Our aim was to use both behavioural and neuroimaging data to identify indicators of perceptual decline in motion processing. We employed a global motion coherence task and functional Near Infrared Spectroscopy (fNIRS). Healthy adults (n = 72, 18-85) were recruited into the following groups: young (n = 28, mean age = 28), middle-aged (n = 22, mean age = 50), and older adults (n = 23, mean age = 70). Participants were assessed on their motion coherence thresholds at 3 different speeds using a psychophysical design. As expected, we report age group differences in motion processing as demonstrated by higher motion coherence thresholds in older adults. Crucially, we add correlational data showing that global motion perception declines linearly as a function of age. The associated fNIRS recordings provide a clear physiological correlate of global motion perception. The crux of this study lies in the robust linear correlation between age and haemodynamic response for both measures of oxygenation. We hypothesise that there is an increase in neural recruitment, necessitating an increase in metabolic need and blood flow, which presents as a higher oxygenated haemoglobin response. We report age-related changes in motion perception with poorer behavioural performance (high motion coherence thresholds) associated with an increased haemodynamic response