SIFT: Building an Internet of safe Things

As the number of connected devices explodes, the use scenarios of these devices and data have multiplied. Many of these scenarios, e.g., home automation, require tools beyond data visualizations, to express user intents and to ensure interactions do not cause undesired effects in the physical world. We present SIFT, a safety-centric programming platform for connected devices in IoT environments. First, to simplify programming, users express high-level intents in declarative IoT apps. The system then decides which sensor data and operations should be combined to satisfy the user requirements. Second, to ensure safety and compliance, the system verifies whether conflicts or policy violations can occur within or between apps. Through an office deployment, user studies, and trace analysis using a large-scale dataset from a commercial IoT app authoring platform, we demonstrate the power of SIFT and highlight how it leads to more robust and reliable IoT apps

Risk, Unexpected Uncertainty, and Estimation Uncertainty: Bayesian Learning in Unstable Settings

Recently, evidence has emerged that humans approach learning using Bayesian updating rather than (model-free) reinforcement algorithms in a six-arm restless bandit problem. Here, we investigate what this implies for human appreciation of uncertainty. In our task, a Bayesian learner distinguishes three equally salient levels of uncertainty. First, the Bayesian perceives irreducible uncertainty or risk: even knowing the payoff probabilities of a given arm, the outcome remains uncertain. Second, there is (parameter) estimation uncertainty or ambiguity: payoff probabilities are unknown and need to be estimated. Third, the outcome probabilities of the arms change: the sudden jumps are referred to as unexpected uncertainty. We document how the three levels of uncertainty evolved during the course of our experiment and how it affected the learning rate. We then zoom in on estimation uncertainty, which has been suggested to be a driving force in exploration, in spite of evidence of widespread aversion to ambiguity. Our data corroborate the latter. We discuss neural evidence that foreshadowed the ability of humans to distinguish between the three levels of uncertainty. Finally, we investigate the boundaries of human capacity to implement Bayesian learning. We repeat the experiment with different instructions, reflecting varying levels of structural uncertainty. Under this fourth notion of uncertainty, choices were no better explained by Bayesian updating than by (model-free) reinforcement learning. Exit questionnaires revealed that participants remained unaware of the presence of unexpected uncertainty and failed to acquire the right model with which to implement Bayesian updating

Elliptic logarithms, diophantine approximation and the Birch and Swinnerton-Dyer conjecture

Most, if not all, unconditional results towards the abc-conjecture rely ultimately on classical Baker's method. In this article, we turn our attention to its elliptic analogue. Using the elliptic Baker's method, we have recently obtained a new upper bound for the height of the S-integral points on an elliptic curve. This bound depends on some parameters related to the Mordell-Weil group of the curve. We deduce here a bound relying on the conjecture of Birch and Swinnerton-Dyer, involving classical, more manageable quantities. We then study which abc-type inequality over number fields could be derived from this elliptic approach.Comment: 20 pages. Some changes, the most important being on Conjecture 3.2, three references added ([Mas75], [MB90] and [Yu94]) and one reference updated [BS12]. Accepted in Bull. Brazil. Mat. So

Risk factors for race-day fatality in flat racing Thoroughbreds in Great Britain (2000 to 2013)

A key focus of the racing industry is to reduce the number of race-day events where horses die suddenly or are euthanased due to catastrophic injury. The objective of this study was therefore to determine risk factors for race-day fatalities in Thoroughbred racehorses, using a cohort of all horses participating in flat racing in Great Britain between 2000 and 2013. Horse-, race- and course-level data were collected and combined with all race-day fatalities, recorded by racecourse veterinarians in a central database. Associations between exposure variables and fatality were assessed using logistic regression analyses for (1) all starts in the dataset and (2) starts made on turf surfaces only. There were 806,764 starts in total, of which 548,571 were on turf surfaces. A total of 610 fatalities were recorded; 377 (61.8%) on turf. In both regression models, increased firmness of the going, increasing racing distance, increasing average horse performance, first year of racing and wearing eye cover for the first time all increased the odds of fatality. Generally, the odds of fatality also increased with increasing horse age whereas increasing number of previous starts reduced fatality odds. In the ‘all starts’ model, horses racing in an auction race were at 1.46 (95% confidence interval (CI) 1.06–2.01) times the odds of fatality compared with horses not racing in this race type. In the turf starts model, horses racing in Group 1 races were at 3.19 (95% CI 1.71–5.93) times the odds of fatality compared with horses not racing in this race type. Identification of novel risk factors including wearing eye cover and race type will help to inform strategies to further reduce the rate of fatality in flat racing horses, enhancing horse and jockey welfare and safety

Influence of a Dy overlayer on the precessional dynamics of a ferromagnetic thin film

This is the final version of the article. Available from the American Institute of Physics via the DOI in this record.Precessional dynamics of a Co50Fe50(0.7)/Ni 90Fe10(5)/Dy(1)/Ru(3) (thicknesses in nm) thin film have been explored by low temperature time-resolved magneto-optical Kerr effect and phase-resolved x-ray ferromagnetic resonance measurements. As the temperature was decreased from 300 to 140 K, the magnetic damping was found to increase rapidly while the resonance field was strongly reduced. Static x-ray magnetic circular dichroism measurements revealed increasing ferromagnetic order of the Dy moment antiparallel to that of Co50Fe50/Ni 90Fe10. Increased coupling of the Dy orbital moment to the precessing spin magnetization leads to significantly increased damping and gyromagnetic ratio of the film while leaving its magnetic anisotropy effectively unchanged.The authors gratefully acknowledge the financial support of EPSRC Grant EP/F021755/1. The ALS is supported by the U.S. Department of Energy under Contract No. DE-AC02-05CH11231. Parts of this work were carried out on beamline 4.0.2 at the ALS and beamline I06-1 at Diamond Light Source

Similarities between structural distortions under pressure and chemical doping in superconducting BaFe2As2

The discovery of a new family of high Tc materials, the iron arsenides (FeAs), has led to a resurgence of interest in superconductivity. Several important traits of these materials are now apparent, for example, layers of iron tetrahedrally coordinated by arsenic are crucial structural ingredients. It is also now well established that the parent non-superconducting phases are itinerant magnets, and that superconductivity can be induced by either chemical substitution or application of pressure, in sharp contrast to the cuprate family of materials. The structure and properties of chemically substituted samples are known to be intimately linked, however, remarkably little is known about this relationship when high pressure is used to induce superconductivity in undoped compounds. Here we show that the key structural features in BaFe2As2, namely suppression of the tetragonal to orthorhombic phase transition and reduction in the As-Fe-As bond angle and Fe-Fe distance, show the same behavior under pressure as found in chemically substituted samples. Using experimentally derived structural data, we show that the electronic structure evolves similarly in both cases. These results suggest that modification of the Fermi surface by structural distortions is more important than charge doping for inducing superconductivity in BaFe2As2

Combined exome and transcriptome sequencing of non-muscle-invasive bladder cancer: associations between genomic changes, expression subtypes, and clinical outcomes.

BACKGROUND: Three-quarters of bladder cancer patients present with early-stage disease (non-muscle-invasive bladder cancer, NMIBC, UICC TNM stages Ta, T1 and Tis); however, most next-generation sequencing studies to date have concentrated on later-stage disease (muscle-invasive BC, stages T2+). We used exome and transcriptome sequencing to comprehensively characterise NMIBCs of all grades and stages to identify prognostic genes and pathways that could facilitate treatment decisions. Tumour grading is based upon microscopy and cellular appearances (grade 1 BCs are less aggressive, and grade 3 BCs are most aggressive), and we chose to also focus on the most clinically complex NMIBC subgroup, those patients with grade 3 pathological stage T1 (G3 pT1) disease. METHODS: Whole-exome and RNA sequencing were performed in total on 96 primary NMIBCs including 22 G1 pTa, 14 G3 pTa and 53 G3 pT1s, with both exome and RNA sequencing data generated from 75 of these individual samples. Associations between genomic alterations, expression profiles and progression-free survival (PFS) were investigated. RESULTS: NMIBCs clustered into 3 expression subtypes with different somatic alteration characteristics. Amplifications of ARNT and ERBB2 were significant indicators of worse PFS across all NMIBCs. High APOBEC mutagenesis and high tumour mutation burden were both potential indicators of better PFS in G3pT1 NMIBCs. The expression of individual genes was not prognostic in BCG-treated G3pT1 NMIBCs; however, downregulated interferon-alpha and gamma response pathways were significantly associated with worse PFS (adjusted p-value < 0.005). CONCLUSIONS: Multi-omic data may facilitate better prognostication and selection of therapeutic interventions in patients with G3pT1 NMIBC. These findings demonstrate the potential for improving the management of high-risk NMIBC patients and warrant further prospective validation

Insights from Amphioxus into the Evolution of Vertebrate Cartilage

Central to the story of vertebrate evolution is the origin of the vertebrate head, a problem difficult to approach using paleontology and comparative morphology due to a lack of unambiguous intermediate forms. Embryologically, much of the vertebrate head is derived from two ectodermal tissues, the neural crest and cranial placodes. Recent work in protochordates suggests the first chordates possessed migratory neural tube cells with some features of neural crest cells. However, it is unclear how and when these cells acquired the ability to form cellular cartilage, a cell type unique to vertebrates. It has been variously proposed that the neural crest acquired chondrogenic ability by recruiting proto-chondrogenic gene programs deployed in the neural tube, pharynx, and notochord. To test these hypotheses we examined the expression of 11 amphioxus orthologs of genes involved in neural crest chondrogenesis. Consistent with cellular cartilage as a vertebrate novelty, we find that no single amphioxus tissue co-expresses all or most of these genes. However, most are variously co-expressed in mesodermal derivatives. Our results suggest that neural crest-derived cartilage evolved by serial cooption of genes which functioned primitively in mesoderm

Predicting cell types and genetic variations contributing to disease by combining GWAS and epigenetic data

Genome-wide association studies (GWASs) identify single nucleotide polymorphisms (SNPs) that are enriched in individuals suffering from a given disease. Most disease-associated SNPs fall into non-coding regions, so that it is not straightforward to infer phenotype or function; moreover, many SNPs are in tight genetic linkage, so that a SNP identified as associated with a particular disease may not itself be causal, but rather signify the presence of a linked SNP that is functionally relevant to disease pathogenesis. Here, we present an analysis method that takes advantage of the recent rapid accumulation of epigenomics data to address these problems for some SNPs. Using asthma as a prototypic example; we show that non-coding disease-associated SNPs are enriched in genomic regions that function as regulators of transcription, such as enhancers and promoters. Identifying enhancers based on the presence of the histone modification marks such as H3K4me1 in different cell types, we show that the location of enhancers is highly cell-type specific. We use these findings to predict which SNPs are likely to be directly contributing to disease based on their presence in regulatory regions, and in which cell types their effect is expected to be detectable. Moreover, we can also predict which cell types contribute to a disease based on overlap of the disease-associated SNPs with the locations of enhancers present in a given cell type. Finally, we suggest that it will be possible to re-analyze GWAS studies with much higher power by limiting the SNPs considered to those in coding or regulatory regions of cell types relevant to a given disease