Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms

We present a straightforward source-to-source transformation that introduces justifications for user-defined constraints into the CHR programming language. Then a scheme of two rules suffices to allow for logical retraction (deletion, removal) of constraints during computation. Without the need to recompute from scratch, these rules remove not only the constraint but also undo all consequences of the rule applications that involved the constraint. We prove a confluence result concerning the rule scheme and show its correctness. When algorithms are written in CHR, constraints represent both data and operations. CHR is already incremental by nature, i.e. constraints can be added at runtime. Logical retraction adds decrementality. Hence any algorithm written in CHR with justifications will become fully dynamic. Operations can be undone and data can be removed at any point in the computation without compromising the correctness of the result. We present two classical examples of dynamic algorithms, written in our prototype implementation of CHR with justifications that is available online: maintaining the minimum of a changing set of numbers and shortest paths in a graph whose edges change.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Blocking TLR7- and TLR9-mediated IFN-α Production by Plasmacytoid Dendritic Cells Does Not Diminish Immune Activation in Early SIV Infection

Persistent production of type I interferon (IFN) by activated plasmacytoid dendritic cells (pDC) is a leading model to explain chronic immune activation in human immunodeficiency virus (HIV) infection but direct evidence for this is lacking. We used a dual antagonist of Toll-like receptor (TLR) 7 and TLR9 to selectively inhibit responses of pDC but not other mononuclear phagocytes to viral RNA prior to and for 8 weeks following pathogenic simian immunodeficiency virus (SIV) infection of rhesus macaques. We show that pDC are major but not exclusive producers of IFN-α that rapidly become unresponsive to virus stimulation following SIV infection, whereas myeloid DC gain the capacity to produce IFN-α, albeit at low levels. pDC mediate a marked but transient IFN-α response in lymph nodes during the acute phase that is blocked by administration of TLR7 and TLR9 antagonist without impacting pDC recruitment. TLR7 and TLR9 blockade did not impact virus load or the acute IFN-α response in plasma and had minimal effect on expression of IFN-stimulated genes in both blood and lymph node. TLR7 and TLR9 blockade did not prevent activation of memory CD4+ and CD8+ T cells in blood or lymph node but led to significant increases in proliferation of both subsets in blood following SIV infection. Our findings reveal that virus-mediated activation of pDC through TLR7 and TLR9 contributes to substantial but transient IFN-α production following pathogenic SIV infection. However, the data indicate that pDC activation and IFN-α production are unlikely to be major factors in driving immune activation in early infection. Based on these findings therapeutic strategies aimed at blocking pDC function and IFN-α production may not reduce HIV-associated immunopathology. © 2013 Kader et al

Behavioural stress responses predict environmental perception in European sea bass (Dicentrarchus labrax)

Individual variation in the response to environmental challenges depends partly on innate reaction norms, partly on experience-based cognitive/emotional evaluations that individuals make of the situation. The goal of this study was to investigate whether pre-existing differences in behaviour predict the outcome of such assessment of environmental cues, using a conditioned place preference/avoidance (CPP/CPA) paradigm. A comparative vertebrate model (European sea bass, Dicentrarchus labrax) was used, and ninety juvenile individuals were initially screened for behavioural reactivity using a net restraining test. Thereafter each individual was tested in a choice tank using net chasing as aversive stimulus or exposure to familiar conspecifics as appetitive stimulus in the preferred or non preferred side respectively (called hereafter stimulation side). Locomotor behaviour (i.e. time spent, distance travelled and swimming speed in each tank side) of each individual was recorded and analysed with video software. The results showed that fish which were previously exposed to appetitive stimulus increased significantly the time spent on the stimulation side, while aversive stimulus led to a strong decrease in time spent on the stimulation side. Moreover, this study showed clearly that proactive fish were characterised by a stronger preference for the social stimulus and when placed in a putative aversive environment showed a lower physiological stress responses than reactive fish. In conclusion, this study showed for the first time in sea bass, that the CPP/CPA paradigm can be used to assess the valence (positive vs. negative) that fish attribute to different stimuli and that individual behavioural traits is predictive of how stimuli are perceived and thus of the magnitude of preference or avoidance behaviour.European Commission [265957]; Portuguese Fundacao para a Ciencia e Tecnologia (FCT) [FRH/BPD/72952/2010]; FCT [SFRH/BD/80029/2011

TweetLID : a benchmark for tweet language identification

Language identification, as the task of determining the language a given text is written in, has progressed substantially in recent decades. However, three main issues remain still unresolved: (1) distinction of similar languages, (2) detection of multilingualism in a single document, and (3) identifying the language of short texts. In this paper, we describe our work on the development of a benchmark to encourage further research in these three directions, set forth an evaluation framework suitable for the task, and make a dataset of annotated tweets publicly available for research purposes. We also describe the shared task we organized to validate and assess the evaluation framework and dataset with systems submitted by seven different participants, and analyze the performance of these systems. The evaluation of the results submitted by the participants of the shared task helped us shed some light on the shortcomings of state-of-the-art language identification systems, and gives insight into the extent to which the brevity, multilingualism, and language similarity found in texts exacerbate the performance of language identifiers. Our dataset with nearly 35,000 tweets and the evaluation framework provide researchers and practitioners with suitable resources to further study the aforementioned issues on language identification within a common setting that enables to compare results with one another

Evolutionary connectionism: algorithmic principles underlying the evolution of biological organisation in evo-devo, evo-eco and evolutionary transitions

The mechanisms of variation, selection and inheritance, on which evolution by natural selection depends, are not fixed over evolutionary time. Current evolutionary biology is increasingly focussed on understanding how the evolution of developmental organisations modifies the distribution of phenotypic variation, the evolution of ecological relationships modifies the selective environment, and the evolution of reproductive relationships modifies the heritability of the evolutionary unit. The major transitions in evolution, in particular, involve radical changes in developmental, ecological and reproductive organisations that instantiate variation, selection and inheritance at a higher level of biological organisation. However, current evolutionary theory is poorly equipped to describe how these organisations change over evolutionary time and especially how that results in adaptive complexes at successive scales of organisation (the key problem is that evolution is self-referential, i.e. the products of evolution change the parameters of the evolutionary process). Here we first reinterpret the central open questions in these domains from a perspective that emphasises the common underlying themes. We then synthesise the findings from a developing body of work that is building a new theoretical approach to these questions by converting well-understood theory and results from models of cognitive learning. Specifically, connectionist models of memory and learning demonstrate how simple incremental mechanisms, adjusting the relationships between individually-simple components, can produce organisations that exhibit complex system-level behaviours and improve the adaptive capabilities of the system. We use the term “evolutionary connectionism” to recognise that, by functionally equivalent processes, natural selection acting on the relationships within and between evolutionary entities can result in organisations that produce complex system-level behaviours in evolutionary systems and modify the adaptive capabilities of natural selection over time. We review the evidence supporting the functional equivalences between the domains of learning and of evolution, and discuss the potential for this to resolve conceptual problems in our understanding of the evolution of developmental, ecological and reproductive organisations and, in particular, the major evolutionary transitions

Factors affecting diet, habitat selection and breeding success of the African Crowned Eagle Stephanoaetus coronatus in a fragmented landscape

This study aimed to identify variables that affect habitat selection and nesting success of the African Crowned Eagle Stephanoaetus coronatus, the largest forest raptor, in north-eastern South Africa. A preference for nesting in the Northern Mistbelt Forest vegetation type was established and 82% of all nests were located in indigenous trees. Nest abandonment was less common when distances to the nearest neighbour were greater. The diet of this species was investigated by examination of prey remains beneath nests and verified by comparison with museum specimens. In total, 156 remains were found, representing a minimum of 75 prey individuals. The diet of African Crowned Eagles constituted almost entirely mammals (99%), which were predominantly antelopes (61%) and monkeys (25%). It was also found that the proportion of primates in the diet correlates with latitude: populations in equatorial latitudes have a higher proportion of primates in their diets, whereas further south antelopes are a much more common diet component

Spatio-temporal Models of Lymphangiogenesis in Wound Healing

Several studies suggest that one possible cause of impaired wound healing is failed or insufficient lymphangiogenesis, that is the formation of new lymphatic capillaries. Although many mathematical models have been developed to describe the formation of blood capillaries (angiogenesis), very few have been proposed for the regeneration of the lymphatic network. Lymphangiogenesis is a markedly different process from angiogenesis, occurring at different times and in response to different chemical stimuli. Two main hypotheses have been proposed: 1) lymphatic capillaries sprout from existing interrupted ones at the edge of the wound in analogy to the blood angiogenesis case; 2) lymphatic endothelial cells first pool in the wound region following the lymph flow and then, once sufficiently populated, start to form a network. Here we present two PDE models describing lymphangiogenesis according to these two different hypotheses. Further, we include the effect of advection due to interstitial flow and lymph flow coming from open capillaries. The variables represent different cell densities and growth factor concentrations, and where possible the parameters are estimated from biological data. The models are then solved numerically and the results are compared with the available biological literature.Comment: 29 pages, 9 Figures, 6 Tables (39 figure files in total

Strongly magnetized pulsars: explosive events and evolution

Well before the radio discovery of pulsars offered the first observational confirmation for their existence (Hewish et al., 1968), it had been suggested that neutron stars might be endowed with very strong magnetic fields of $10^{10}$-$10^{14}$G (Hoyle et al., 1964; Pacini, 1967). It is because of their magnetic fields that these otherwise small ed inert, cooling dead stars emit radio pulses and shine in various part of the electromagnetic spectrum. But the presence of a strong magnetic field has more subtle and sometimes dramatic consequences: In the last decades of observations indeed, evidence mounted that it is likely the magnetic field that makes of an isolated neutron star what it is among the different observational manifestations in which they come. The contribution of the magnetic field to the energy budget of the neutron star can be comparable or even exceed the available kinetic energy. The most magnetised neutron stars in particular, the magnetars, exhibit an amazing assortment of explosive events, underlining the importance of their magnetic field in their lives. In this chapter we review the recent observational and theoretical achievements, which not only confirmed the importance of the magnetic field in the evolution of neutron stars, but also provide a promising unification scheme for the different observational manifestations in which they appear. We focus on the role of their magnetic field as an energy source behind their persistent emission, but also its critical role in explosive events.Comment: Review commissioned for publication in the White Book of "NewCompStar" European COST Action MP1304, 43 pages, 8 figure

Deuteron and antideuteron production in Au+Au collisions at sqrt(s_NN)=200 GeV

The production of deuterons and antideuterons in the transverse momentum range 1.1 < p_T < 4.3 GeV/c at mid-rapidity in Au + Au collisions at sqrt(s_NN)=200 GeV has been studied by the PHENIX experiment at RHIC. A coalescence analysis comparing the deuteron and antideuteron spectra with those of protons and antiprotons, has been performed. The coalescence probability is equal for both deuterons and antideuterons and increases as a function of p_T, which is consistent with an expanding collision zone. Comparing (anti)proton yields p_bar/p = 0.73 +/- 0.01, with (anti)deuteron yields: d_bar/d = 0.47 +/- 0.03, we estimate that n_bar/n = 0.64 +/- 0.04.Comment: 326 authors, 6 pages text, 5 figures, 1 Table. Submitted to PRL. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.htm

Single Electrons from Heavy Flavor Decays in p+p Collisions at sqrt(s) = 200 GeV

The invariant differential cross section for inclusive electron production in p+p collisions at sqrt(s) = 200 GeV has been measured by the PHENIX experiment at the Relativistic Heavy Ion Collider over the transverse momentum range $0.4 <= p_T <= 5.0 GeV/c at midrapidity (eta <= 0.35). The contribution to the inclusive electron spectrum from semileptonic decays of hadrons carrying heavy flavor, i.e. charm quarks or, at high p_T, bottom quarks, is determined via three independent methods. The resulting electron spectrum from heavy flavor decays is compared to recent leading and next-to-leading order perturbative QCD calculations. The total cross section of charm quark-antiquark pair production is determined as sigma_(c c^bar) = 0.92 +/- 0.15 (stat.) +- 0.54 (sys.) mb.Comment: 329 authors, 6 pages text, 3 figures. Submitted to Phys. Rev. Lett. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.htm