Miracle-dz/UniFAR-FTUs huggingface dataset:
The Next 700 BFT Protocols

We present Abstract (ABortable STate mAChine replicaTion), a new abstraction for designing and reconfiguring generalized replicated state machines that are, unlike traditional state machines, allowed to abort executing a client’s request if “something goes wrong. ” Abstract can be used to considerably simplify the incremental development of efficient Byzantine fault-tolerant state machine replication (BFT) protocols that are notorious for being difficult to develop. In short, we treat a BFT protocol as a composition of Abstract instances. Each instance is developed and analyzed independently and optimized for specific system conditions. We illustrate the power of Abstract through several interesting examples. We first show how Abstract can yield benefits of a state-of-the-art BFT protocol in a less painful and error-prone manner. Namely, we develop AZyzzyva, a new protocol that mimics the celebrated best-case behavior of Zyzzyva using less than 35% of the Zyzzyva code. To cover worst-case situations, our abstraction enables one to use in AZyzzyva any existing BFT protocol. We then present Aliph, a new BFT protocol that outperforms previous BFT protocols in terms of both latency (by up to 360%) and throughput (by up to 30%). Finally, we present R-Aliph, an implementation of Aliph that is robust, that is, whose performance degrades gracefully in the presence of Byzantine replicas and Byzantine clients.
Immunocompetent Cells among Mouse Thymocytes: A Minor Population

Suspensions prepared from thymuses of TL+ mice contain a majority of TL+ cells and a minority of TL- cells. The graft versus host reactivity of the TL- population is much greater than that of the whole population, as judged by the numbers of cells required to give splenic enlargements in Simonsen's assay. It is proposed that the TL- thymocyte represents a stage in the differentiation of TL+ thymocytes into immunocompetent lymphocytes.
Effect of Folic Acid Food Fortification in Canada on Congenital Heart Disease Subtypes

Background: Previous studies have yielded inconsistent results for the effects of periconceptional multivitamins containing folic acid and of folic acid food fortification on congenital heart defects (CHDs). Methods: We carried out a population-based cohort study (N=5 901 701) of all live births and stillbirths (including late-pregnancy terminations) delivered at ≥20 weeks’ gestation in Canada (except Québec and Manitoba) from 1990 to 2011. CHD cases were diagnosed at birth and in infancy (n=72 591). We compared prevalence rates and temporal trends in CHD subtypes before and after 1998 (the year that fortification was mandated). An ecological study based on 22 calendar years, 14 geographic areas, and Poisson regression analysis was used to quantify the effect of folic acid food fortification on nonchromosomal CHD subtypes (n=66 980) after controlling for changes in maternal age, prepregnancy diabetes mellitus, preterm preeclampsia, multiple birth, and termination of pregnancy. Results: The overall birth prevalence rate of CHDs was 12.3 per 1000 total births. Rates of most CHD subtypes decreased between 1990 and 2011 except for atrial septal defects, which increased significantly. Folic acid food fortification was associated with lower rates of conotruncal defects (adjusted rate ratio [aRR], 0.73, 95% confidence interval [CI], 0.62–0.85), coarctation of the aorta (aRR, 0.77; 95% CI, 0.61–0.96), ventricular septal defects (aRR, 0.85; 95% CI, 0.75–0.96), and atrial septal defects (aRR, 0.82; 95% CI, 0.69–0.95) but not severe nonconotruncal heart defects (aRR, 0.81; 95% CI, 0.65–1.03) and other heart or circulatory system abnormalities (aRR, 0.98; 95% CI, 0.89–1.11). ConclusionS: The association between food fortification with folic acid and a reduction in the birth prevalence of specific CHDs provides modest evidence for additional benefit from this intervention.
Excessive levels of nitric oxide in rat model of Parkinson’s disease induced by rotenone

Systemic rotenone models of Parkinson’s disease (PD) are highly reproducible and may provide evidence on the pathogenesis of PD. In the present study, male Sprague-Dawley rats (1-year-old) were subcutaneously administered with rotenone (1.5 mg/kg/day) for six days and observed for the following three weeks. Compared with the control rats, a significant decrease was observed in the body weight and a marked increase was observed in the areas under the behavioral scoring curves in the rotenone-treated rats. Immunohistochemical staining revealed that the abundance of nigral tyrosine hydroxylase (TH)-positive neurons was markedly reduced following rotenone treatment. ELISA and neurochemical assays demonstrated a significant increase in the levels of nitric oxide (NO) and NO synthase, whereas a marked decrease was observed in the thiol levels in the brains of the rotenone-treated rats. Thus, subacute rotenone treatment was found to induce behavioral deficits and the loss of nigral TH-positive neurons which may be associated with the excessive levels of NO in the rat brains.
Topographic Loads Modified by Fluvial Incision Impact Fault Activity in the Longmenshan Thrust Belt, Eastern Margin of the Tibetan Plateau

Whether external or internal forces of the Earth control the behaviors of upper‐crustal faults in a fold‐and‐thrust belt has been debated for decades. The Longmenshan thrust belt (LTB) along the eastern margin of the Tibetan Plateau may provide insights into such a debate, as the central segment of the LTB has relatively uniform shortening strains yet various fluvial incision capability along the strike. This tectonic setting enables a better assessment of the effects of external forces on fault activity. We analyzed the variations of topography, fluvial incision intensity, coseismic slips, and coseismic landslides along the central LTB. The Longmen subsegment in the northern half has higher elevation and lower fluvial incision intensity than the Hongkou subsegment in the south. We calculated the topographic stresses on the faults ruptured during the 2008 Wenchuan earthquake and found topographic introduced normal stress increase may explain the coseismic slip partitioning onto two subfaults along the Longmen subsegment. Our results indicate that fluvial incision may have produced the along‐strike variations of the topography, which may further produce the different rupture behavior. In addition, the mean hillslope angle along the central LTB appeared to be at the critical condition prior to the 2008 Wenchuan earthquake and reduced significantly by the earthquake, indicating that geomorphic indices may vary with different stages in an earthquake cycle. Therefore, scrutinizing the mean hillslope angle and other geomorphic indices may help identify potential seismic hazards in an active fault system.
Interplay of Coronary Artery Calcification and Traditional Risk Factors for the Prediction of All-Cause Mortality in Asymptomatic Individuals

Background— Current guidelines recommend the use of coronary artery calcium (CAC) scoring for intermediate-risk patients; however, the potential role of CAC among individuals who have no risk factors (RFs) is less established. We sought to examine the relationship between the presence and burden of traditional RFs and CAC for the prediction of all-cause mortality. Methods and Results— The study cohort consisted of 44 052 consecutive asymptomatic individuals free of known coronary heart disease referred for computed tomography for the assessment of CAC. The following RFs were considered: (1) current cigarette smoking, (2) dyslipidemia, (3) diabetes mellitus, (4) hypertension, and (5) family history of coronary heart disease. Patients were followed for a mean of 5.6±2.6 years for the primary end point of all-cause mortality. Among individuals who had no RF, Cox proportional model adjusted for age and sex identified that increasing CAC scores were associated with 3.00- to 13.38-fold higher mortality risk. The lowest survival rate was observed in those with no CAC and no RF, whereas those with CAC≥400 and ≥3 RFs had the highest all-cause fatality rate. Notably, individuals with no RF and CAC≥400 had a substantially higher mortality rate compared with individuals with ≥3 RFs in the absence of CAC (16.89 versus 2.72 per 1000 person-years). Conclusions— By highlighting that individuals without RFs but elevated CAC have a substantially higher event rates than those who have multiple RFs but no CAC, these findings challenge the exclusive use of traditional risk assessment algorithms for guiding the intensity of primary prevention therapies.
Does shell shape variation play a role in conservation of the long‐lived freshwater bivalve Diplodon chilensis (Bivalvia, Hyriidae)?

Freshwater bivalves of the order Unionoida display an uncommon phenotypic plasticity with high interpopulation and intrapopulation morphological variability, which could be advantageous for coping with habitat modifications. However, unionoids have suffered a marked population decline in different parts of the world in the last decades. A decline in some populations of the South American long‐lived freshwater mussel Diplodon chilensis as a consequence of habitat deterioration has recently been recorded. Ontogenetic allometry and shape variation in shells of D. chilensis from 2 different sites, Paimun lake and Chimehuin river, North Patagonia, Argentina, have been studied. For these purposes, geometric morphometric methods were used. Shell shape shows differences between sites, which the shells from Chimehuin river show less intrapopulation variability; are more elongated, with the anterior part extended upwards and the posterior part downwards; and show a steeper anterior curvature at the umbo compared to those from Paimún lake. These characteristics make shell shape more streamlined to withstand river current. Furthermore, the extended posterior‐ventral part in river shells coincides with higher foot weight that would improve anchoring to the river rocky–sandy substrate. River shells present a bounded eco‐morphotype whereas the higher variability of lake shells includes the “river eco‐morphotype. ” Growth is allometric throughout life in both sites and is not sex‐dependent. The success of river repopulation programmes using mussels from lake populations may be increased by transplanting selected individuals that show “river eco‐morphotype. ”
Genomic landscape of early ecological speciation initiated by selection on nuptial colour

Ecological speciation is the evolution of reproductive isolation as a consequence of direct divergent natural selection or ecologically mediated divergent sexual selection. While the genomic signature of the former has been extensively studied in recent years, only few examples exist for genomic differentiation where environment‐dependent sexual selection has played an important role. Here, we describe a very young (~90 years old) population of threespine sticklebacks exhibiting phenotypic and genomic differentiation between two habitats within the same pond. We show that differentiation among habitats is limited to male throat colour and nest type, traits known to be subject to sexual selection. Divergence in these traits mirrors divergence in much older benthic and limnetic stickleback species pairs from North American west coast lakes, which also occur in sympatry but are strongly reproductively isolated from each other. We demonstrate that in our population, differences in throat colour and breeding have been stable over a decade, but in contrast to North American benthic and limnetic stickleback species, these mating trait differences are not accompanied by divergence in morphology related to feeding, predator defence or swimming performance. Using genomewide SNP data, we find multiple genomic islands with moderate differentiation spread across several chromosomes, whereas the rest of the genome is undifferentiated. The islands contain potential candidate genes involved in visual perception of colour. Our results suggest that phenotypic and multichromosome genomic divergence of these morphs was driven by environment‐dependent sexual selection, demonstrating incipient speciation after only a few decades of divergence in sympatry.
The impact of complaints procedures on the welfare, health and clinical practise of 7926 doctors in the UK: a cross-sectional survey

Objectives The primary aim was to investigate the impact of complaints on doctors’ psychological welfare and health. The secondary aim was to assess whether doctors report exposure to a complaints process is associated with defensive medical practise. Design This was a cross-sectional anonymous survey study. Participants were stratified into recent/current, past, no complaints. Each group completed tailored versions of the survey. Participants 95 636 doctors were invited to participate. A total of 10 930(11.4%) responded, 7926 (8.3%) completed the full survey and were included in the complete analysis. Main outcome measures Anxiety and depression were assessed using the standardised Generalised Anxiety Disorder scale and Physical Health Questionnaire. Defensive practise was evaluated using a new measure. Single-item questions measured stress-related illnesses, complaints-related experience, attitudes towards complaints and views on improving complaints processes. Results 16.9% of doctors with current/recent complaints reported moderate/severe depression (relative risk (RR) 1.77 (95% CI 1.48 to 2.13) compared to doctors with no complaints (9.5%)). Fifteen per cent reported moderate/severe anxiety (RR=2.08 (95% CI 1.61 to 2.68) compared to doctors with no complaints (7.3%)). Distress increased with complaint severity, with highest levels after General Medical Council (GMC) referral (26.3% depression, 22.3% anxiety). Doctors with current/recent complaints were 2.08 (95% CI 1.61 to 2.68) times more likely to report thoughts of self-harm or suicidal ideation. Most doctors reported defensive practise: 82–89% hedging and 46–50% avoidance. Twenty per cent felt victimised after whistleblowing, 38% felt bullied, 27% spent over 1 month off work. Over 80% felt processes would improve with transparency, managerial competence, capacity to claim lost earnings and action against vexatious complainants. Conclusions Doctors with recent/current complaints have significant risks of moderate/severe depression, anxiety and suicidal ideation. Morbidity was greatest in cases involving the GMC. Most doctors reported practising defensively, including avoidance of procedures and high-risk patients. Many felt victimised as whistleblowers or reported bullying. Suggestions to improve complaints processes included transparency and managerial competence.
Resilience: a concept analysis.

TOPIC Concept analysis of resilience. PURPOSE To analyze the concept of resilience and provide a definition of resilience that is contextually independent of specific age-related groups or populations. SOURCES Published literature. CONCLUSIONS Resilience is being increasingly studied in innovative ways among diverse populations. The broadly accepted definition of the term, however, has evolved through literature related specifically to children and adolescents. This concept analysis can provide a fundamental definition of resilience that is derived from the evolution of the term but broadly supports contemporary applications. Resilience researchers can apply this definition when exploring the possibility of resilience-based interventions.
Identification of the major capsid protein gene of human cytomegalovirus

The coding region for the major capsid protein (MCP) of human cytomegalovirus (HCMV) was identified by comparing the protein sequence with the respective sequences of herpes simplex virus (HSV), Epstein-Barr virus, and varicella-zoster virus. The predicted length of the HCMV MCP was 1,370 amino acids. Comparison of the MCP sequences of the different human herpesviruses showed a homology of 25% to the MCP of HSV type 1, a homology of 29% to the MCP of Epstein-Barr virus, and a homology of 23% to the MCP of varicella-zoster virus. A subfragment of the HSV type 1 KpnI i fragment encoding the MCP VP5 cross-hybridized with the HCMV HindIII U fragment containing part of the MCP gene. Northern (RNA) blot analyses with subclones out of the coding region for the HCMV MCP detected one large transcript of about 8 kilobases. A portion of the open reading frame was expressed in Escherichia coli plasmid pBD2 IC2OH as a beta-galactosidase fusion protein and was used to generate polyclonal antibodies in New Zealand White rabbits. The obtained antisera reacted in Western immunoblots with the MCP of purified HCMV virions. A monoclonal antibody against the human MCP and a monospecific rabbit antiserum against strain Colburn of simian cytomegalovirus detected the fusion protein as well as the MCP of purified virions in immunoblots.
Genetic mapping of xthA, the structural gene for exonuclease III in Escherichia coli K-12

The genes xthA, pncA, and pabB were ordered relative to others by two- and three-factor transductional crosses with bacteriophage P1. The genes studied span 2 min (2%) of the genetic map of Escherichia coli K-12 in the clockwise sequence pheS-pfkB-xthA-pncA-gap-pabB-fadD. Eleven independently derived xth mutations were examined; all were known to affect exonuclease III and its associated endonuclease II activity, and all were mapped in the xthA region. pncA mutations were found to confer resistance to 6-aminonicotinamide, whereas some pheS mutations are known to specify resistance to p-fluorphenylalanine. xth mutations were readily transferred into other strains by selecting for these co-transducible drug resistance markers.
Contrast-Enhanced Ultrasound (CEUS) for Echographic Detection of Hepato Cellular Carcinoma in Cirrhotic Patients Previously Treated with Multiple Techniques: Comparison of Conventional US, Spiral CT and 3-Dimensional CEUS with Navigator Technique (3DNav CEUS)

A commercially available technique named “NAVIGATOR” (Esaote, Italy) easily enables a 3-D reconstruction of a single 2-D acquisition of Contrast Enhanced Ultrasound (CEUS) imaging of the whole liver (with a volumetric correction thanks to the electromagnetic device of NAVIGATOR). Aim of the study was to evaluate this “panoramic” technique in comparison with conventional US and spiral CT in the detection of new hepatic lesions. 144 cirrhotic patients (previously treated for hepato cellular carcinoma (HCC)) in follow-up with detection of 98 new nodules (N), 28 multinodular (Nmulti), 14 loco-regional regrowth (LR) 94 efficaciously treated without new nodules (neg) and four multinodular without new nodules, were submitted to 200 examinations with this new technique from November 2008 to November 2009. 3DNavCEUS was performed using SonoVue (Bracco), as contrast agent, and a machine (Technos MPX, Esaote). Spiral CT and 3DNav CEUS were performed in the same month during follow up. Sens. ,Spec. ,diagn. -Acc. ,PPV and NPV were evaluated; comparison and differences between the techniques were obtained with chi-square (SPSS release-15). Final diagnosis was: 98 new lesions (N) (one to three), 28 multinodular HCC (Nmulti) and 14 loco-regional regrowth (LR); in 94 no more lesions were observed during follow-up; conventional US obtained: 58 N (+18 multinodularN and 8 LR), 40 false negative (+10 Nmulti and 6 LR) (sens:59.2, spec:100%, Diagn Accur:73.6, PPV:100; NPV:70.1); spiral CT obtained: 84N (+26-multinodularN and 14-LR), 14 false-negative (+2-Nmulti), and one false-positive (sens:85.7, spec:97.9%, Diagn Accur:90.9, PPV:97.7; NPV:86.8); 3DNAV obtained: 92N (+28 multinodularN and 14LR), 6 false-negative, and two false-positives (sens:93.9, spec:97.9%, Diagn Accur:95.6, PPV:97.9; NPV:93.9). 3-DNav CEUS is significantly better than US and almost similar to spiral CT for detection of new HCC. This technique, in particular, showed the presence of lesions even in the cases not detected with spiral CT.
Chronic bronchitis incidence in the extended cohort of Mayak workers first employed during 1948–1982

Objectives This paper describes findings from the study of chronic bronchitis (CB) incidence after occupational exposure to ionising radiation among workers employed at Russian Mayak Production Association (PA) during 1948 and 1982 and followed up until 2008 based on ‘Mayak Worker Dosimetry System 2008’. Methods Analyses were based on 2135 verified cases among 21 417 workers. Rate ratios (RR) were estimated by categorical analysis for non-radiation and radiation factors. Excess rate ratios per Gy (ERR/Gy) of external or internal exposures with adjustments via stratification on other factors were calculated. Results The interesting finding in relation to non-radiation factors was a sharp increase in the RR for CB incidence before 1960, which could be caused by a number of factors. Analyses restricted to the follow-up after 1960 revealed statistically significant associations of the CB incidence and external γ-ray radiation, ERR/Gy=0.14 (95% CI 0.02 to 0.28) having adjusted for sex, attained age, calendar period, plant, smoking status and lung α-particle dose, and internal α-particle radiation, ERR/Gy=1.14 (95% CI 0.41 to 2.18) having adjusted for sex, attained age, calendar period, plant, smoking status and lung γ-ray dose and ERR/Gy=1.19 (95% CI 0.32 to 2.53) having additionally adjusted for pre-employment occupational hazards and smoking index instead of smoking status. Conclusions Analyses of CB incidence in the study cohort identified positive significant association with occupational exposure to radiation: however, there are no similar studies of CB incidence in relation to radiation in other cohorts to date with which a meaningful comparison of the results could be made.
Clusters and Maps of Science Journals Based on Bi-connected Graphs in the Journal Citation Reports

The aggregated journal-journal citation matrix derived from the Journal Citation Reports 2001 can be decomposed into a unique subject classification by using the graph-analytical algorithm of bi-connected components. This technique was recently incorporated in software tools for social network analysis. The matrix can be assessed in terms of its decomposability using articulation points which indicate overlap between the components. The articulation points of this set did not exhibit a next-order network of 'general science' journals. However, the clusters differ in size and in terms of the internal density of their relations. A full classification of the journals is provided in an Appendix. The clusters can also be extracted and mapped for the visualization.
Sarcoplasmic reticulum Ca2+ uptake and leak properties, and SERCA isoform expression, in type I and type II fibres of human skeletal muscle

Release and uptake of Ca2+ ions by the sarcoplasmic reticulum (SR) regulates contraction in skeletal muscle. SR Ca2+ uptake and leak properties in human muscle are presently not well defined. The surface membrane of individual human muscle fibres was removed by microdissection, and the rate of SR Ca2+ uptake at different applied [Ca2+] assessed from the amount of Ca2+ accumulated. Ca2+ uptake occurred at lower [Ca2+] in type I fibres than in type II fibres, consistent with the contractile apparatus properties in the respective fibre types. Maximal uptake rate was slightly greater in type II fibres, and approximately two Ca2+ were taken up per ATP hydrolysed. Ca2+ leaking out of the SR ultimately has to be pumped back in again at the cost of ATP usage. SR Ca2+ leakage in human muscle fibres was smaller and regulated differently to that in rat muscle fibres, probably reflecting different contributions to thermogenesis.