Confluence of CHR Revisited:Invariants and Modulo Equivalence

Abstract simulation of one transition system by another is introduced as a means to simulate a potentially infinite class of similar transition sequences within a single transition sequence. This is useful for proving confluence under invariants of a given system, as it may reduce the number of proof cases to consider from infinity to a finite number. The classical confluence results for Constraint Handling Rules (CHR) can be explained in this way, using CHR as a simulation of itself. Using an abstract simulation based on a ground representation, we extend these results to include confluence under invariant and modulo equivalence, which have not been done in a satisfactory way before.Comment: Pre-proceedings paper presented at the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018), Frankfurt am Main, Germany, 4-6 September 2018 (arXiv:1808.03326

Monsters: interdisciplinary explorations in monstrosity

There is a continued fascination with all things monster. This is partly due to the popular reception of Mary Shelley’s Monster, termed a “new species” by its overreaching but admiringly determined maker Victor Frankenstein in the eponymous novel first published in 1818. The enduring impact of Shelley’s novel, which spans a plethora of subjects and genres in imagery and themes, raises questions of origin and identity, death, birth and family relationships as well as the contradictory qualities of the monster. Monsters serve as metaphors for anxieties of aberration and innovation. Stephen Asma (2009) notes that monsters represent evil or moral transgression and each epoch, to speak with Michel Foucault, evidences a “particular type of monster” (2003, 66). Academic debates tend to explore how social and cultural threats come to be embodied in the figure of a monster and their actions literalize our deepest fears. Monsters in contemporary culture, however, have become are more humane than ever before. Monsters are strong, resilient, creative and sly creatures. Through their playful and invigorating energy they can be seen to disrupt and unsettle. They still cater to the appetite for horror, but they also encourage us to feel empathy. The encounter with a monster can enable us to stop, wonder and change our attitudes towards technology and our body and each other. This commentary article considers the use of the concepts of ‘monsters’ or ‘monstrosity’ in literature, contemporary research, culture and teaching contexts at the intersection of the Humanities and the Social Sciences

Structural basis of the filamin A actin-binding domain interaction with F-actin

Cryo-EM reconstructions were deposited in the Electron Microscopy Data Bank with the following accession numbers: F20-F-actin-FLNaABD, EMD-7833; F20-F-actin-FLNaABD-Q170P, EMD-7832; F20-F-actin-FLNaABD-E254K, EMD-8918; Krios-F-actin-FLNaABD-E254K, EMD-7831. The corresponding FLNaABD-E254K filament model was deposited in the PDB with accession number 6D8C. Source data for F-actin-targeting analyses (Figs. 2c,d,g,h, 3b,c,e,f, 4d,e, 5c,d, and 6a,b) and co-sedimentation assays (Figs. 5g and 6d) are available with the paper online. Other data are available from the corresponding author upon reasonable request. We thank Z. Razinia for generating numerous FLNa constructs, S. Wu for expertise in using the Krios microscope, J. Lees for advice on model refinement, and M. Lemmon for helpful comments in preparing the manuscript. We also thank the Yale Center for Research Computing for guidance and use of the Farnam Cluster, as well as the staff at the YMS Center for Molecular Imaging for the use of the EM Core Facility. This work was funded by grants from the National Institutes of Health (R01-GM068600 (D.A.C.), R01-NS093704 (D.A.C.), R37-GM057247 (C.V.S.), R01-GM110530 (C.V.S.), T32-GM007324, T32-GM008283) and an award from American Heart Association (15PRE25700119 (D.V.I.)).Peer reviewedPostprin

Monsters in early modern philosophy

Monsters as a category seem omnipresent in early modern natural philosophy, in what one might call a “long” early modern period stretching from the Renaissance to the late eighteenth century, when the science of teratology emerges. We no longer use this term to refer to developmental anomalies (whether a two-headed calf, an individual suffering from microcephaly or Proteus syndrome) or to “freak occurrences” like Mary Toft’s supposedly giving birth to a litter of rabbits, in Surrey in the early eighteenth-century (Todd 1995). But the term itself has a rich semantic history, coming from the Latin verb monstrare (itself deriving from monere, to remind, warn, advise), “to show,” from which we also get words like “monitor,” “admonish,” “monument” and “premonition”; hence there are proverbs like, in French, le monstre est ce qui montre, difficult to render in English: “the monsters is that which shows.” Scholars have discussed how this “monstrative” dimension of the monster is in fact twofold: on the one hand, and most awkwardly, the monster is an individual who is “pointed at,” who is shown; on the other hand, the monster is a sign, a portent, an omen, and in that sense “shows us” something (on the complex semantic history of the term across Indo-European languages see Ochsner 2005). The latter dimension persists in naturalized form in the early modern period when authors like Bacon, Fontenelle or William Hunter insist that monsters (or anomalies) can show us something of the workings of Nature

Primary biliary cirrhosis

Primary biliary cirrhosis (PBC) is an immune-mediated chronic cholestatic liver disease with a slowly progressive course. Without treatment, most patients eventually develop fibrosis and cirrhosis of the liver and may need liver transplantation in the late stage of disease. PBC primarily affects women (female preponderance 9–10:1) with a prevalence of up to 1 in 1,000 women over 40 years of age. Common symptoms of the disease are fatigue and pruritus, but most patients are asymptomatic at first presentation. The diagnosis is based on sustained elevation of serum markers of cholestasis, i.e., alkaline phosphatase and gamma-glutamyl transferase, and the presence of serum antimitochondrial antibodies directed against the E2 subunit of the pyruvate dehydrogenase complex. Histologically, PBC is characterized by florid bile duct lesions with damage to biliary epithelial cells, an often dense portal inflammatory infiltrate and progressive loss of small intrahepatic bile ducts. Although the insight into pathogenetic aspects of PBC has grown enormously during the recent decade and numerous genetic, environmental, and infectious factors have been disclosed which may contribute to the development of PBC, the precise pathogenesis remains enigmatic. Ursodeoxycholic acid (UDCA) is currently the only FDA-approved medical treatment for PBC. When administered at adequate doses of 13–15 mg/kg/day, up to two out of three patients with PBC may have a normal life expectancy without additional therapeutic measures. The mode of action of UDCA is still under discussion, but stimulation of impaired hepatocellular and cholangiocellular secretion, detoxification of bile, and antiapoptotic effects may represent key mechanisms. One out of three patients does not adequately respond to UDCA therapy and may need additional medical therapy and/or liver transplantation. This review summarizes current knowledge on the clinical, diagnostic, pathogenetic, and therapeutic aspects of PBC

Multi-messenger observations of a binary neutron star merger

On 2017 August 17 a binary neutron star coalescence candidate (later designated GW170817) with merger time 12:41:04 UTC was observed through gravitational waves by the Advanced LIGO and Advanced Virgo detectors. The Fermi Gamma-ray Burst Monitor independently detected a gamma-ray burst (GRB 170817A) with a time delay of ~1.7 s with respect to the merger time. From the gravitational-wave signal, the source was initially localized to a sky region of 31 deg2 at a luminosity distance of 40+8-8 Mpc and with component masses consistent with neutron stars. The component masses were later measured to be in the range 0.86 to 2.26 Mo. An extensive observing campaign was launched across the electromagnetic spectrum leading to the discovery of a bright optical transient (SSS17a, now with the IAU identification of AT 2017gfo) in NGC 4993 (at ~40 Mpc) less than 11 hours after the merger by the One- Meter, Two Hemisphere (1M2H) team using the 1 m Swope Telescope. The optical transient was independently detected by multiple teams within an hour. Subsequent observations targeted the object and its environment. Early ultraviolet observations revealed a blue transient that faded within 48 hours. Optical and infrared observations showed a redward evolution over ~10 days. Following early non-detections, X-ray and radio emission were discovered at the transient’s position ~9 and ~16 days, respectively, after the merger. Both the X-ray and radio emission likely arise from a physical process that is distinct from the one that generates the UV/optical/near-infrared emission. No ultra-high-energy gamma-rays and no neutrino candidates consistent with the source were found in follow-up searches. These observations support the hypothesis that GW170817 was produced by the merger of two neutron stars in NGC4993 followed by a short gamma-ray burst (GRB 170817A) and a kilonova/macronova powered by the radioactive decay of r-process nuclei synthesized in the ejecta

Localization and broadband follow-up of the gravitational-wave transient GW150914

A gravitational-wave (GW) transient was identified in data recorded by the Advanced Laser Interferometer Gravitational-wave Observatory (LIGO) detectors on 2015 September 14. The event, initially designated G184098 and later given the name GW150914, is described in detail elsewhere. By prior arrangement, preliminary estimates of the time, significance, and sky location of the event were shared with 63 teams of observers covering radio, optical, near-infrared, X-ray, and gamma-ray wavelengths with ground- and space-based facilities. In this Letter we describe the low-latency analysis of the GW data and present the sky localization of the first observed compact binary merger. We summarize the follow-up observations reported by 25 teams via private Gamma-ray Coordinates Network circulars, giving an overview of the participating facilities, the GW sky localization coverage, the timeline, and depth of the observations. As this event turned out to be a binary black hole merger, there is little expectation of a detectable electromagnetic (EM) signature. Nevertheless, this first broadband campaign to search for a counterpart of an Advanced LIGO source represents a milestone and highlights the broad capabilities of the transient astronomy community and the observing strategies that have been developed to pursue neutron star binary merger events. Detailed investigations of the EM data and results of the EM follow-up campaign are being disseminated in papers by the individual teams

Gravitational Waves and Gamma-Rays from a Binary Neutron Star Merger: GW170817 and GRB 170817A

On 2017 August 17, the gravitational-wave event GW170817 was observed by the Advanced LIGO and Virgo detectors, and the gamma-ray burst (GRB) GRB 170817A was observed independently by the Fermi Gamma-ray Burst Monitor, and the Anti-Coincidence Shield for the Spectrometer for the International Gamma-Ray Astrophysics Laboratory. The probability of the near-simultaneous temporal and spatial observation of GRB 170817A and GW170817 occurring by chance is $5.0\times {10}^{-8}$. We therefore confirm binary neutron star mergers as a progenitor of short GRBs. The association of GW170817 and GRB 170817A provides new insight into fundamental physics and the origin of short GRBs. We use the observed time delay of $(+1.74\pm 0.05)\,{\rm{s}}$ between GRB 170817A and GW170817 to: (i) constrain the difference between the speed of gravity and the speed of light to be between $-3\times {10}^{-15}$ and $+7\times {10}^{-16}$ times the speed of light, (ii) place new bounds on the violation of Lorentz invariance, (iii) present a new test of the equivalence principle by constraining the Shapiro delay between gravitational and electromagnetic radiation. We also use the time delay to constrain the size and bulk Lorentz factor of the region emitting the gamma-rays. GRB 170817A is the closest short GRB with a known distance, but is between 2 and 6 orders of magnitude less energetic than other bursts with measured redshift. A new generation of gamma-ray detectors, and subthreshold searches in existing detectors, will be essential to detect similar short bursts at greater distances. Finally, we predict a joint detection rate for the Fermi Gamma-ray Burst Monitor and the Advanced LIGO and Virgo detectors of 0.1-1.4 per year during the 2018-2019 observing run and 0.3-1.7 per year at design sensitivity

What can whiskers tell us about mammalian evolution, behaviour, and ecology?

Most mammals have whiskers; however, nearly everything we know about whiskers derives from just a handful of species, including laboratory rats Rattus norvegicus and mice Mus musculus, as well as some species of pinniped and marsupial. We explore the extent to which the knowledge of the whisker system from a handful of species applies to mammals generally. This will help us understand whisker evolution and function, in order to gain more insights into mammalian behaviour and ecology. This review is structured around Tinbergen’s four questions, since this method is an established, comprehensive, and logical approach to studying behaviour. We ask: how do whiskers work, develop, and evolve? And what are they for? While whiskers are all slender, curved, tapered, keratinised hairs that transmit vibrotactile information, we show that there are marked differences between species with respect to whisker arrangement, numbers, length, musculature, development, and growth cycles. The conservation of form and a common muscle architecture in mammals suggests that early mammals had whiskers. Whiskers may have been functional even in therapsids. However, certain extant mammalian species are equipped with especially long and sensitive whiskers, in particular nocturnal, arboreal species, and aquatic species, which live in complex environments and hunt moving prey. Knowledge of whiskers and whisker use can guide us in developing conservation protocols and designing enriched enclosures for captive mammals. We suggest that further comparative studies, embracing a wider variety of mammalian species, are required before one can make large-scale predictions relating to evolution and function of whiskers. More research is needed to develop robust techniques to enhance the welfare and conservation of mammals