A Logic of Blockchain Updates

Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there is no logic-based model for blockchains available. We introduce BCL, a dynamic logic to reason about blockchain updates, and show that BCL is sound and complete with respect to a simple blockchain model

Accreting Black Holes

This chapter provides a general overview of the theory and observations of black holes in the Universe and on their interpretation. We briefly review the black hole classes, accretion disk models, spectral state classification, the AGN classification, and the leading techniques for measuring black hole spins. We also introduce quasi-periodic oscillations, the shadow of black holes, and the observations and the theoretical models of jets.Comment: 41 pages, 18 figures. To appear in "Tutorial Guide to X-ray and Gamma-ray Astronomy: Data Reduction and Analysis" (Ed. C. Bambi, Springer Singapore, 2020). v3: fixed some typos and updated some parts. arXiv admin note: substantial text overlap with arXiv:1711.1025

Single and two-particle energy gaps across the disorder-driven superconductor-insulator transition

The competition between superconductivity and localization raises profound questions in condensed matter physics. In spite of decades of research, the mechanism of the superconductor-insulator transition (SIT) and the nature of the insulator are not understood. We use quantum Monte Carlo simulations that treat, on an equal footing, inhomogeneous amplitude variations and phase fluctuations, a major advance over previous theories. We gain new microscopic insights and make testable predictions for local spectroscopic probes. The energy gap in the density of states survives across the transition, but coherence peaks exist only in the superconductor. A characteristic pseudogap persists above the critical disorder and critical temperature, in contrast to conventional theories. Surprisingly, the insulator has a two-particle gap scale that vanishes at the SIT, despite a robust single-particle gap.Comment: 7 pages, 5 figures (plus supplement with 4 pages, 5 figures

Transient peak-strain matching partially recovers the age-impaired mechanoadaptive cortical bone response

Mechanoadaptation maintains bone mass and architecture; its failure underlies age-related decline in bone strength. It is unclear whether this is due to failure of osteocytes to sense strain, osteoblasts to form bone or insufficient mechanical stimulus. Mechanoadaptation can be restored to aged bone by surgical neurectomy, suggesting that changes in loading history can rescue mechanoadaptation. We use non-biased, whole-bone tibial analyses, along with characterisation of surface strains and ensuing mechanoadaptive responses in mice at a range of ages, to explore whether sufficient load magnitude can activate mechanoadaptation in aged bone. We find that younger mice adapt when imposed strains are lower than in mature and aged bone. Intriguingly, imposition of short-term, high magnitude loading effectively primes cortical but not trabecular bone of aged mice to respond. This response was regionally-matched to highest strains measured by digital image correlation and to osteocytic mechanoactivation. These data indicate that aged bone’s loading response can be partially recovered, non-invasively by transient, focal high strain regions. Our results indicate that old murine bone does respond to load when the loading is of sufficient magnitude, and bones’ age-related adaptation failure may be due to insufficient mechanical stimulus to trigger mechanoadaptation

A prospective study of decline in fat free mass and skeletal muscle strength in chronic obstructive pulmonary disease

BACKGROUND: Skeletal muscle depletion is an important complication of chronic obstructive pulmonary disease (COPD) but little prospective data exists about the rate at which it occurs and the factors that promote its development. We therefore prospectively investigated the impact of disease severity, exacerbation frequency and treatment with corticosteroids on change in body composition and maximum isometric quadriceps strength (QMVC) over one year. METHODS: 64 patients with stable COPD (FEV(1 )mean (SD) 35.8(18.4) %predicted) were recruited from clinic and studied on two occasions one year apart. Fat free mass was determined using bioelectrical impedance analysis and a disease specific regression equation. RESULTS: QMVC fell from 34.8(1.5) kg to 33.3(1.5) kg (p = 0.04). The decline in quadriceps strength was greatest in those with the highest strength at baseline (R -0.28 p = 0.02) and was not correlated with lung function, exacerbation frequency or steroid treatment. Decline in fat free mass was similarly higher in those with largest FFM at baseline (R = -0.31 p = 0.01) but was more strongly correlated with greater gas trapping (R = -0.4 p = 0.001). Patients with frequent exacerbations (>1 per year) (n = 36) experienced a greater decline in fat free mass compared to infrequent exacerbators (n = 28) -1.3(3.7)kg vs. +1.2(3.1)kg (p = 0.005), as did patients on maintenance oral steroids (n = 8) -2.8(3.3) kg vs. +0.2(3.5) kg (p = 0.024) whereas in those who stopped smoking (n = 7) fat free mass increased; +2.7(3.1) kg vs. -0.51(3.5) kg (p = 0.026). CONCLUSION: Decline in fat free mass in COPD is associated with worse lung function, continued cigarette consumption and frequent exacerbations. Factors predicting progression of quadriceps weakness could not be identified from the present cohort

Anti-müllerian hormone is not associated with cardiometabolic risk factors in adolescent females

<p>Objectives: Epidemiological evidence for associations of Anti-Müllerian hormone (AMH) with cardiometabolic risk factors is lacking. Existing evidence comes from small studies in select adult populations, and findings are conflicting. We aimed to assess whether AMH is associated with cardiometabolic risk factors in a general population of adolescent females.</p> <p>Methods: AMH, fasting insulin, glucose, HDLc, LDLc, triglycerides and C-reactive protein (CRP) were measured at a mean age 15.5 years in 1,308 female participants in the Avon Longitudinal Study of Parents and Children (ALSPAC). Multivariable linear regression was used to examine associations of AMH with these cardiometabolic outcomes.</p> <p>Results: AMH values ranged from 0.16–35.84 ng/ml and median AMH was 3.57 ng/ml (IQR: 2.41, 5.49). For females classified as post-pubertal (n = 848) at the time of assessment median (IQR) AMH was 3.81 ng/ml (2.55, 5.82) compared with 3.25 ng/ml (2.23, 5.05) in those classed as early pubertal (n = 460, P≤0.001). After adjusting for birth weight, gestational age, pubertal stage, age, ethnicity, socioeconomic position, adiposity and use of hormonal contraceptives, there were no associations with any of the cardiometabolic outcomes. For example fasting insulin changed by 0% per doubling of AMH (95%CI: −3%,+2%) p = 0.70, with identical results if HOMA-IR was used. Results were similar after additional adjustment for smoking, physical activity and age at menarche, after exclusion of 3% of females with the highest AMH values, after excluding those that had not started menarche and after excluding those using hormonal contraceptives.</p> <p>Conclusion: Our results suggest that in healthy adolescent females, AMH is not associated with cardiometabolic risk factors.</p&gt

Localization of preformed Cooper pairs in disordered superconductors

International audienceThe most profound effect of disorder on electronic systems is the localization of the electrons transforming an otherwise metallic system into an insulator. If the metal is also a superconductor then, at low temperatures, disorder can induce a pronounced transition from a superconducting into an insulating state. An outstanding question is whether the route to insulating behaviour proceeds through the direct localization of Cooper pairs or, alternatively, by a two-step process in which the Cooper pairing is first destroyed followed by the standard localization of single electrons. Here we address this question by studying the local superconducting gap of a highly disordered amorphous superconductor by means of scanning tunnelling spectroscopy. Our measurements reveal that, in the vicinity of the superconductor-insulator transition, the coherence peaks in the one-particle density of states disappear whereas the superconducting gap remains intact, indicating the presence of localized Cooper pairs. Our results provide the first direct evidence that the superconductor-insulator transition in some homogeneously disordered materials is driven by Cooper-pair localization

The inpatient burden of abdominal and gynecological adhesiolysis in the US

<p>Abstract</p> <p>Background</p> <p>Adhesions are fibrous bands of scar tissue, often a result of surgery, that form between internal organs and tissues, joining them together abnormally. Postoperative adhesions frequently occur following abdominal surgery, and are associated with a large economic burden. This study examines the inpatient burden of adhesiolysis in the United States (i.e., number and rate of events, cost, length of stay [LOS]).</p> <p>Methods</p> <p>Hospital discharge data for patients with primary and secondary adhesiolysis were analyzed using the 2005 Healthcare Cost and Utilization Project's Nationwide Inpatient Sample. Procedures were aggregated by body system.</p> <p>Results</p> <p>We identified 351,777 adhesiolysis-related hospitalizations: 23.2% for primary and 76.8% for secondary adhesiolysis. The average LOS was 7.8 days for primary adhesiolysis. We found that 967,332 days of care were attributed to adhesiolysis-related procedures, with inpatient expenditures totaling $2.3 billion ($1.4 billion for primary adhesiolysis; $926 million for secondary adhesiolysis). Hospitalizations for adhesiolysis increased steadily by age and were higher for women. Of secondary adhesiolysis procedures, 46.3$220 million in attributable costs.</p> <p>Conclusions</p> <p>Adhesiolysis remain an important surgical problem in the United States. Hospitalization for this condition leads to high direct surgical costs, which should be of interest to providers and payers.</p