A true concurrent model of smart contracts executions

The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrency) between users. In a decentralized blockchain, the state of smart contracts is collaboratively maintained by a peer-to-peer network of mutually untrusted nodes, which collect from users a set of transactions (representing the required actions on contracts), and execute them in some order. Once this sequence of transactions is appended to the blockchain, the other nodes validate it, re-executing the transactions in the same order. The serial execution of transactions does not take advantage of the multi-core architecture of modern processors, so contributing to limit the throughput. In this paper we propose a true concurrent model of smart contract execution. Based on this, we show how static analysis of smart contracts can be exploited to parallelize the execution of transactions.Comment: Full version of the paper presented at COORDINATION 202

Survival Analysis of Complete Veneer Crowns vs. Multisurface Restorations: A Dental School Patient Population

The purpose of this study was to compare the longevity of crowns versus large multisurface restorations in posterior teeth. The investigation used the treatment database at Virginia Commonwealth University School of Dentistry. The inclusion criteria for the final data set used for analysis were: only one restored tooth per patient, premolars with three or more restored surfaces, molars with four or more restored surfaces, molars and premolars restored with complete veneer metal crowns, or crowns veneered with metal and porcelain. The Kaplan-Meier approach was used to visualize the survival curves, and the Cox proportional hazards model was used for analysis of predictor variables. The investigation indicates crowns survive longer than large restorations and premolar restorations survive longer than molar restorations. The median survival for crowns exceeded 16.6 years, with the median survival of premolar restorations being 4.4 years and molar restorations 1.3 years. An interaction between age and treatment was discovered, with overall survival decreasing as patient age increases. The doctor supervising the treatment also affected survival with treatment supervised by specialists lasting longer than treatment supervised by nonspecialists

The Active Nucleus of IC4970: A Nearby Example of Merger-Induced Cold-Gas Accretion

We present results from Chandra X-ray and Spitzer mid-infrared observations of the interacting galaxy pair NGC6872/IC4970 in the Pavo galaxy group and show that the smaller companion galaxy IC4970 hosts a highly obscured active galactic nucleus (AGN). The 0.5-10 keV X-ray luminosity of the nucleus is variable, increasing by a factor 2.9 to 1.7 x 10^{42} erg/s (bright state) on ~100 ks timescales. The X-ray spectrum of the is heavily absorbed (N_H = 3 x 10^{23} cm^{-2}) for power law models with Gamma = 1.5-2.0 and shows a clear 6.4 keV Fe Kalpha line with equivalent width of 144-195 eV. Limits on the diffuse emission in IC4970 from Chandra X-ray data suggest that the available power from Bondi accretion of hot interstellar gas may be an order of magnitude too small to power the AGN. Spitzer images show that 8 micron nonstellar emission is concentrated in the central 1 kpc of IC4970, consistent with high obscuration in this region. The mid-infrared colors of the nucleus are consistent with those expected for a highly obscured AGN. Taken together these data suggest that the nucleus of IC4970 is a Seyfert 2, triggered and fueled by cold material supplied to the central supermassive black hole as a result of the off-axis collision of IC4970 with the cold-gas rich spiral galaxy NGC6872.Comment: 10 pages, 9 figures, submitted to ApJ, MIR flux conversion error corrected in Table 4, MIR colors and paper text unchange

Deep LOFAR 150 MHz imaging of the Bo\"otes field: Unveiling the faint low-frequency sky

We have conducted a deep survey (with a central rms of $55\mu\textrm{Jy}$) with the LOw Frequency ARray (LOFAR) at 120-168 MHz of the Bo\"otes field, with an angular resolution of $3.98^{''}\times6.45^{''}$, and obtained a sample of 10091 radio sources ($5\sigma$ limit) over an area of $20\:\textrm{deg}^{2}$. The astrometry and flux scale accuracy of our source catalog is investigated. The resolution bias, incompleteness and other systematic effects that could affect our source counts are discussed and accounted for. The derived 150 MHz source counts present a flattening below sub-mJy flux densities, that is in agreement with previous results from high- and low- frequency surveys. This flattening has been argued to be due to an increasing contribution of star-forming galaxies and faint active galactic nuclei. Additionally, we use our observations to evaluate the contribution of cosmic variance to the scatter in source counts measurements. The latter is achieved by dividing our Bo\"otes mosaic into 10 non-overlapping circular sectors, each one with an approximate area of $2\:\textrm{deg}^{2}.$ The counts in each sector are computed in the same way as done for the entire mosaic. By comparing the induced scatter with that of counts obtained from depth observations scaled to 150MHz, we find that the $1\sigma$ scatter due to cosmic variance is larger than the Poissonian errors of the source counts, and it may explain the dispersion from previously reported depth source counts at flux densities $S<1\,\textrm{mJy}$. This work demonstrates the feasibility of achieving deep radio imaging at low-frequencies with LOFAR.Comment: A\&A in press. 15 pages, 16 figure

The Role of Words in Cognitive Tasks: What, When, and How?

The current review focuses on how exposure to linguistic input, and count nouns in particular, affect performance on various cognitive tasks, including individuation, categorization and category learning, and inductive inference. We review two theoretical accounts of effects of words. Proponents of one account argue that words have top-down effects on cognitive tasks, and, as such, function as supervisory signals. Proponents of the other account suggest that early in development, words, just like any other perceptual feature, are first and foremost part of the stimulus input and influence cognitive tasks in a bottom-up, non-supervisory fashion. We then review evidence supporting each account. We conclude that, although much research is needed, there is a large body of evidence indicating that words start out like other perceptual features and become supervisory signals in the course of development

Energy transfer in nonlinear network models of proteins

We investigate how nonlinearity and topological disorder affect the energy relaxation of local kicks in coarse-grained network models of proteins. We find that nonlinearity promotes long-range, coherent transfer of substantial energy to specific, functional sites, while depressing transfer to generic locations. Remarkably, transfer can be mediated by the self-localization of discrete breathers at distant locations from the kick, acting as efficient energy-accumulating centers.Comment: 4 pages, 3 figure

Real-world Comparative Effectiveness of Tocilizumab Monotherapy vs. Tumor Necrosis Factor Inhibitors with Methotrexate in Patients with Rheumatoid Arthritis

INTRODUCTION: Controlled clinical studies have shown that the efficacy of tocilizumab (TCZ) monotherapy is superior to that of tumor necrosis factor inhibitor (TNFi) monotherapy and comparable to that of TCZ plus methotrexate (MTX) for the treatment of rheumatoid arthritis (RA). This study compared the real-world effectiveness of TCZ monotherapy vs. TNFis plus MTX in US patients with RA. METHODS: TCZ-naive patients from the Corrona RA registry with prior exposure to \u3e /= 1 TNFi who initiated TCZ monotherapy or TNFi + MTX were included. Outcomes included mean change in Clinical Disease Activity Index (CDAI), achievement of low disease activity (LDA; CDAI \u3c /= 10), achievement of modified American College of Rheumatology (mACR) 20/50 responses, and mean change in modified Health Assessment Questionnaire (mHAQ) at 6 months. Patients initiating TNFi + MTX were grouped by MTX dose ( \u3c /= 10 mg; \u3e 10 to \u3c /= 15 mg; \u3e 15 to \u3c /= 20 mg; \u3e 20 mg); outcomes in each group were compared with TCZ monotherapy using trimmed populations (excluding patients outside the propensity score distribution overlap). RESULTS: Patients in all groups experienced improvement in CDAI at 6 months (mean change, - 6.9 to - 9.7), with no significant differences between the TCZ monotherapy and TNFi + MTX groups. Achievement of LDA and mACR responses at 6 months were comparable between the TCZ monotherapy and TNFi + MTX groups; overall, 26.8-38.0% of patients achieved LDA, 24.3-37.6% achieved mACR20 response and 13.2-20.8% achieved mACR50 response. The mean change in mHAQ at 6 months was - 0.1 in all groups. CONCLUSIONS: In this real-world population of US patients with RA who had prior TNFi exposure, there was no evidence of a difference in the effectiveness of TCZ monotherapy compared with that of TNFi + MTX, regardless of MTX dose, at 6 months for improving RA disease activity. FUNDING: Corrona, LLC. Plain language summary available for this article

Impact of UV- and carbodiimide-based crosslinking on the integrin-binding properties of collagen-based materials.

Collagen constructs are widely used for tissue engineering. These are frequently chemically crosslinked, using EDC, to improve their stability and tailor their physical properties. Although generally biocompatible, chemical crosslinking can modify crucial amino acid side chains, such as glutamic acid, that are involved in integrin-mediated cell adhesion. Instead UV crosslinking modifies aromatic side chains. Here we elucidate the impact that EDC, in combination with UV, exerts on the activity of integrin-binding motifs. By employing a model cell line that exclusively utilises integrin α2β1, we found that whilst EDC crosslinking modulated cell binding, from cation-dependent to cation-independent, UV-mediated crosslinking preserved native-like cell binding, proliferation and surface colonisation. Similar results were observed using a purified recombinant I-domain from integrin α1. Conversely, binding of the I-domain from integrin α2 was sensitive to UV, particularly at low EDC concentrations. Therefore, from this in vitro study, it appears that UV can be used to augment EDC whist retaining a specific subset of integrin-binding motifs in the native collagen molecule. These findings, delineating the EDC- and UV-susceptibility of cell-binding motifs, permit controlled cell adhesion to collagen-based materials through specific integrin ligation in vitro. However, in vivo, further consideration of the potential response to UV wavelength and dose is required in the light of literature reports that UV initiated collagen scission may lead to an adverse inflammatory response. STATEMENT OF SIGNIFICANCE: Recently, there has been rapid growth in the use of extracellular matrix-derived molecules, and in particular collagen, to fabricate biomaterials that replicate the cellular micro-environment. Often chemical or physical crosslinkers are required to enhance the biophysical properties of these materials. Despite extensive use of these crosslinkers, the cell-biological consequences have not been ascertained. To address this, we have investigated the integrin-binding properties of collagen after chemically crosslinking with EDC and physically crosslinking with UV-irradiation. We have established that whilst EDC crosslinking abates all of the integrin binding sites in collagen, UV selectively inhibits interaction with integrin-α2 but not -α1. By providing a mechanistic model for this behaviour, we have, for the first time, defined a series of crosslinking parameters to systematically control the interaction of collagen-based materials with defined cellular receptors.The authors would like to thank the EPSRC [Fellowship EP/N019938/1] the ERC [Advanced Grant 320598 3D-E] and the British Heart Foundation [Special Project SP/15/7/31561] for providing financial support for this project. DVB was funded by the People's Programme of the EU 7th Framework Programme [RAE no: PIIF-GA-2013-624904]