Deductive verification techniques for C11 programs have advanced significantly in recent years with the development of operational semantics and associated logics increasingly large fragments C11. However, these been developed a restricted setting to avoid thin-air-read problem. In this paper, we propose an that leverages intra-thread partial order (called semantic dependencies) induced by rece...

Abstract Weak memory presents a new challenge for program verification and has resulted in the development of variety specialised logics. For C11-style models, our previous work shown that it is possible to extend Hoare logic Owicki–Gries reasoning verify correctness weak programs. The technique introduces set high-level assertions over C11 states together with basic Hoare-style axioms atomic s...

In this study we evaluated the biting deterrent effects of a series of saturated and unsaturated fatty acids against Aedes aegypti (L), yellow fever mosquito (Diptera: Culicidae) using the K & Dbioassay module system. Saturated (C6:0 to C16:0 and C18:0) and unsaturated fatty acids (C11:1 to C14:1, C16:1, C18:1, and C18:2) showed biting deterrence index (BDI) values significantly greater than et...

Self-assembled bolaamphiphilic perylene bisimide (PBI) containing an amino acid appended fluorescent semiconducting soft material (hydrogel) has been discovered at physiological pH. This new organic material based on self-assembled perylene bisimide appended amino acid-based bolaamphiphile (PBI-C11-Y) has been well characterized using various techniques including UV-Vis, fluorescence, X-ray dif...

A two-phase near-? titanium alloy (Ti–10V–2Fe–3Al, or Ti-1023) in its as-forged state is employed to illustrate the feasibility of a Bayesian framework identify single-crystal elastic constants (SEC). High Energy X-ray diffraction (HE-XRD) obtained at Diamond synchrotron source are used characterize evolution lattice strains for various grain orientations during situ specimen loading regime. On...

In order to investigate ordered phases revealed at low temperatures in clathrate compound Pr3Pd20Si6, we have performed ultrasonic measurements using a single crystal in magnetic fields at low temperatures. Temperature dependence of elastic constant C11 and CL[11̄0] = (C11 + C12 + 2C44)/2 shows the anomalies at about 150 mK in zero field. Magnetic phase diagrams are determined by measuring C11 i...

Figure S1. Caspase-11-/-mice show increased morbidity to colitis induced with 4% DSS (a) The percentage of body weight and (b) the clinical score of C57BL/6J, C11-/-and C1-/-/11-/-mice induced with 4% DSS (n = 10 per group). Data depict the mean ± SEM. Statistical significance between DSS-treated C57BL/6J and C11-/-mice is indicated.

Purinergic inhibition of Na-K-Cl cotransport has been noted in various renal epithelial cells derived from the collecting tubule, including Madin-Darby canine kidney (MDCK) cells. In recent studies, we have observed purinergic inhibition of Na-K-Cl cotransport in C11-MDCK subclones (alpha-intercalated-like cells). Interestingly, Na-K-Cl cotransport activity was also detected in C7-MDCK subclone...

JEL classification: C11 G13

The zebrafish (Danio rerio) is a useful vertebrate model for use in cardiovascular drug discovery. The present study aimed to construct optimized methods for the study of intravascular lipid metabolism of zebrafish. The lipophilic dye, Oil Red O, was used to stain fasting zebrafish one to eight days post-fertilization (dpf) and to stain 7-dpf zebrafish incubated in a breeding system containing ...