86 research outputs found
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact)
We introduce Teatrino, a toolchain that supports handling multiparty protocols with crash-stop failures and crash-handling behaviours. Teatrino accompanies the novel MPST theory in the related article, and enables users to generate fault-tolerant protocol-conforming Scala code from Scribble protocols. Local types are projected from the global protocol, enabling correctness-by-construction, and are expressed directly as Scala types via the Effpi concurrency library. Teatrino extends both Scribble and Effpi with support for crash-stop behaviour. The generated Scala code is executable and can be further integrated with existing systems. The accompanying theory in the related article guarantees deadlock-freedom and liveness properties for failure handling protocols and their implementation. This artifact includes examples, extended from both session type and distributed systems literature, featured in the related article
Generalised Multiparty Session Types with Crash-Stop Failures
Session types enable the specification and verification of communicating systems. However, their theory often assumes that processes never fail. To address this limitation, we present a generalised multiparty session type (MPST) theory with crash-stop failures, where processes can crash arbitrarily.
Our new theory validates more protocols and processes w.r.t. previous work. We apply minimal syntactic changes to standard session ?-calculus and types: we model crashes and their handling semantically, with a generalised MPST typing system parametric on a behavioural safety property. We cover the spectrum between fully reliable and fully unreliable sessions, via optional reliability assumptions, and prove type safety and protocol conformance in the presence of crash-stop failures.
Introducing crash-stop failures has non-trivial consequences: writing correct processes that handle all crash scenarios can be difficult. Yet, our generalised MPST theory allows us to tame this complexity, via model checking, to validate whether a multiparty session satisfies desired behavioural properties, e.g. deadlock-freedom or liveness, even in presence of crashes. We implement our approach using the mCRL2 model checker, and evaluate it with examples extended from the literature
Sequence Dependent Repair of 1,N6-Ethenoadenine by DNA Repair Enzymes ALKBH2, ALKBH3, and AlkB
Mutation patterns of DNA adducts, such as mutational spectra and signatures, are useful tools for diagnostic and prognostic purposes. Mutational spectra of carcinogens derive from three sources: adduct formation, replication bypass, and repair. Here, we consider the repair aspect of 1,N6-ethenoadenine (εA) by the 2-oxoglutarate/Fe(II)-dependent AlkB family enzymes. Specifically, we investigated εA repair across 16 possible sequence contexts (5′/3′ flanking base to εA varied as G/A/T/C). The results revealed that repair efficiency is altered according to sequence, enzyme, and strand context (ss- versus ds-DNA). The methods can be used to study other aspects of mutational spectra or other pathways of repair
Preparation and characterization of mortar mixes containing organic acid/expanded vermiculite composite PCM
In this paper, capric acid (CA) and palmitic acid (PA) binary PCM/expanded vermiculite (CA-PA/EVM) form stable composite PCM (FS-CPCM) was firstly synthesized by adsorption method. The EVM had the optimal adsorption rate when the mass ratio of CA-PA to EVM was 45:55. The FT-IR results indicated that there was no chemical reaction between binary PCM and EVM. After the thermal cycles for 50 times, the mass loss of the prepared CA-PA/EVM FS-CPCM was 2.8%. However, the latent heat was reduced by 16.10%. Furthermore, thermal energy storage (TES) mortar mixes were prepared by replacing sand aggregates with the fabricated CA-PA/EVM FS-CPCM. The effect of replacing sand aggregates with CA-PA/EVM FS-CPCM on compressive and flexural strength of the mortar mixes was investigated by mechanical experiments. The prepared mortar mixes with CA-PA/EVM FS-CPCMs aggregate exhibited good thermal performance and could be preferentially potential PCM for thermal regulation and energy saving in buildings
Diagnostic and prognostic value of autophagy-related key genes in sepsis and potential correlation with immune cell signatures
Background: Autophagy is involved in the pathophysiological process of sepsis. This study was designed to identify autophagy-related key genes in sepsis, analyze their correlation with immune cell signatures, and search for new diagnostic and prognostic biomarkers.Methods: Whole blood RNA datasets GSE65682, GSE134347, and GSE134358 were downloaded and processed. Differential expression analysis and weighted gene co-expression network analysis (WGCNA) were used to identify autophagy-related key genes in sepsis. Then, key genes were analyzed by functional enrichment, protein-protein interaction (PPI), transcription factor (TF)-gene and competing endogenous RNA (ceRNA) network analysis. Subsequently, key genes with diagnostic efficiency and prognostic value were identified by receiver operating characteristic (ROC) curves and survival analysis respectively. The signatures of immune cells were estimated using CIBERSORT algorithm. The correlation between significantly different immune cell signatures and key genes was assessed by correlation analysis. Finally, key genes with both diagnostic and prognostic value were verified by RT-qPCR.Results: 14 autophagy-related key genes were identified and their TF-gene and ceRNA regulatory networks were constructed. Among the key genes, 11 genes (ATIC, BCL2, EEF2, EIF2AK3, HSPA8, IKBKB, NLRC4, PARP1, PRKCQ, SH3GLB1, and WIPI1) had diagnostic efficiency (AUC > 0.90) and 5 genes (CAPN2, IKBKB, PRKCQ, SH3GLB1 and WIPI1) were associated with survival prognosis (p-value < 0.05). IKBKB, PRKCQ, SH3GLB1 and WIPI1 had both diagnostic and prognostic value, and their expression were verified by RT-qPCR. Analysis of immune cell signatures showed that the abundance of neutrophil, monocyte, M0 macrophage, gamma delta T cell, activated mast cell and M1 macrophage subtypes increased in the sepsis group, while the abundance of resting NK cell, resting memory CD4+ T cell, CD8+ T cell, naive B cell and resting dendritic cell subtypes decreased. Most of the key genes correlated with the predicted frequencies of CD8+ T cells, resting memory CD4+ T cells, M1 macrophages and naive B cells.Conclusion: We identified autophagy-related key genes with diagnostic and prognostic value in sepsis and discovered associations between key genes and immune cell signatures. This work may provide new directions for the discovery of promising biomarkers for sepsis
A HALP score-based prediction model for survival of patients with the upper tract urothelial carcinoma undergoing radical nephroureterectomy
The combination of hemoglobin, albumin, lymphocyte, and platelet (HALP) score has been confirmed as an important risk biomarker in several cancers. Hence, we aimed at evaluating the prognostic value of the HALP score in patients with non-metastatic upper tract urothelial carcinoma (UTUC). We retrospectively enrolled 533 of the 640 patients from two centers (315 and 325 patients, respectively) who underwent radical nephroureterectomy (RNU) for UTUC in this study. The cutoff value of HALP was determined using the Youden index by performing receiver operating characteristic (ROC) curve analysis. The relationship between postoperative survival outcomes and preoperative HALP level was assessed using Kaplan-Meier analysis and Cox regression analysis. As a result, the cutoff value of HALP was 28.67 and patients were then divided into HALP<28.67 group and HALP≥28.67 group. Kaplan-Meier analysis and log-rank test revealed that HALP was significantly associated with overall survival (OS) (P<0.001) and progression-free survival (PFS) (P<0.001). Multivariate analysis demonstrated that lower HALP score was an independent risk factor for OS (HR=1.54, 95%CI, 1.14-2.01, P=0.006) and PFS (HR=1.44, 95%CI, 1.07-1.93, P=0.020). Nomograms of OS and PFS incorporated with HALP score were more accurate in predicting prognosis than without. In the subgroup analysis, the HALP score could also stratify patients with respect to survival under different pathologic T stages. Therefore, pretreatment HALP score was an independent prognostic factor of OS and PFS in UTUC patients undergoing RNU
Precision Higgs physics at the CEPC
The discovery of the Higgs boson with its mass around 125 GeV by the ATLAS
and CMS Collaborations marked the beginning of a new era in high energy
physics. The Higgs boson will be the subject of extensive studies of the
ongoing LHC program. At the same time, lepton collider based Higgs factories
have been proposed as a possible next step beyond the LHC, with its main goal
to precisely measure the properties of the Higgs boson and probe potential new
physics associated with the Higgs boson. The Circular Electron Positron
Collider~(CEPC) is one of such proposed Higgs factories. The CEPC is an
circular collider proposed by and to be hosted in China. Located in a
tunnel of approximately 100~km in circumference, it will operate at a
center-of-mass energy of 240~GeV as the Higgs factory. In this paper, we
present the first estimates on the precision of the Higgs boson property
measurements achievable at the CEPC and discuss implications of these
measurements.Comment: 46 pages, 37 figure
Technical College Students’ Practical Performance Anxiety during Online Learning: Difference in Gender and Average Time of Online Learning
The person-artifact-task model provided us with a method to consider the practical performance anxiety (PPA) of technical college students who were working on a computer-related task via online learning. This study investigated 474 technical college students’ PPA in online courses without hands-on demonstration (PPAOC-without-HD) and with hands-on demonstration (PPAOC-with-HD), and it explored whether their PPA varied according to gender and average time spent on online learning. The results indicated that the students’ two types of PPA (PPAOC-without-HD and PPAOC-with-HD) varied significantly by gender and across the different online learning time groups. The average levels of participants’ two types of PPA were both high, and their PPAOC-without-HD was higher than their PPAOC-with-HD. Both types of PPA for females were significantly higher than those for males. Participants’ PPAOC-with-HD showed a significant difference for the average time of online learning. The findings of this study will be of value to educators who need to design and carry out online learning courses for technical college students
GW29-e1704 Over 1-year efficacy and safety of left atrial appendage occlusion in patients with atrial fibrillation
GW29-e1689 Left Atrial Appendage Closure Combined With Catheter Ablation in Chinese Atrial Fibrillation Patients
- …