We give an axiomatic system in first-order predicate logic with equality for proving security protocols correct. Our axioms and inference rules derive the basic inference rules, which are explicitly or implicitly used in the literature of protocol logics, hence we call our axiomatic system Basic Protocol Logic (or BPL, for short). We give a formal semantics for BPL, and show the completeness th...

The alkylating potential of beta-propiolactone (BPL), beta-butyrolactone (BBL), gamma-butyrolactone, and delta-valerolactone, which can be formed by the in vivo nitrosation of primary amino acids, was investigated kinetically. The nucleophile NBP, 4-(p-nitrobenzyl)pyridine, a trap for alkylating agents, was used as an alkylation substrate. The alkylation reactions were performed under mimicked ...

OBJECTIVES To evaluate whether inter-arm diastolic blood pressure difference (DBPl-r) induced by one arm ischemia correlates with flow-mediated dilatation (FMD). METHODS Bilateral arm BPs were simultaneously measured with two automatic devices and right brachial artery diameter (D) was measured by ultrasound technique in 108 subjects (56 hypertensives and 52 normotensives). Following baseline...

Benchmarks have been established for the performance of six metal-organic frameworks (MOFs) and isoreticular MOFs (IRMOFs, which have the same underlying topology as MOF-5), MOF-5, IRMOF-3, MOF-74, MOF-177, MOF-199, and IRMOF-62, as selective adsorbents for eight harmful gases: sulfur dioxide, ammonia, chlorine, tetrahydrothiophene, benzene, dichloromethane, ethylene oxide, and carbon monoxide....

The first big breakthrough, by [Kirby-Siebenmann, 1969, 1969a, 1977], was an obstruction theory for the problem of triangulating a given topological manifold as a PL (= Piecewise-Linear) manifold. If BTop and BPL are the stable classifying spaces (as described in the lectures), they showed that the relative homotopy group πj(BTop, BPL) is cyclic of order two for j = 4, and zero otherwise. Given...

INTRODUCTION Socioeconomic status (SES) scales measure poverty, wealth and economic inequality in a population to guide appropriate economic and public health policies. Measurement of poverty and comparison of material deprivation across nations is a challenge. This study compared four SES scales which have been used locally and internationally and evaluated them against childhood stunting, use...

In this paper we describe the effect of depletion of splenic macrophages on the uptake, and immune response against, different formulations of rabies virus antigen. Splenic macrophages were removed by intravenous injection with clodronate liposomes. beta-propiolacton inactivated rabies virus (RV-BPL) and immune-stimulating complexes (iscom) containing these antigens were given to macrophage-dep...

The purpose of the present study was to further evaluate the biologic significance of the CD22ΔE12 molecular lesion and determine if it could serve as a molecular target for RNA interference (RNAi) therapy. We show that both pediatric and adult B-lineage lymphoid malignancies are characterized by a very high incidence of the CD22ΔE12 genetic defect. We provide unprecedented experimental evidenc...

There is an increasing understanding and requirement to take into account the effects of invasive alien species (IAS) in environmental quality assessments. While IAS are listed amongst the most important factors threatening marine biodiversity, information on their impacts remains unquantified, especially for phytoplankton species. This study attempts to assess the impacts of invasive alien phy...