In previous work we have proposed a distributed security logic for authorizing code. To gain assurance about the correctness of the implementation of our system, we now present a series of security logics of increasing expressive power leading up to our logic. We encode each logic in Coq, develop an algorithm for deciding queries, and prove properties about the algorithm in Coq. By using Coq’s ...

Targeted therapy based on protein-drug conjugates has attracted significant attention owing to its high efficacy and low side effects. However, efficient and stable drug conjugation to a protein binder remains a challenge. Herein, a chemoenzymatic method to generate highly stable and homogenous drug conjugates with high efficiency is presented. The approach comprises the insertion of the CaaX s...

This study reports a preparation method of a new moisture swing sorbent for CO2 capture from air. The new sorbent components include ion exchange resin (IER) and polyvinyl chloride (PVC) as a binder. The IER can absorb CO2 when surrounding is dry and release CO2 when surrounding is wet. The manuscript presents the studies of membrane structure, kinetic model of absorption process, performance o...

Crosstalk is a major problem inmodern DSL systems such as VDSL.Many crosstalk cancellation techniques have been proposed to helpmitigate crosstalk, but whilst they lead to impressive performance gains, their complexity grows with the square of the number of lines within a binder. In binder groups which can carry up to hundreds of lines, this complexity is outside the scope of current implementa...

The objective of this work was to investigate the influence of selected individual variables (binder content, inlet air temperature, and product endpoint temperature) of in situ fluid bed melt granulation on the granule particle size distribution and percentage of dissolved carvedilol using a three-factor, five-level circumscribed central composite design. Increased binder content had the effec...

This paper presents the findings of a study on solidification/stabilization (S/S) of lead-contaminated soil using ordinary Portland cement (OPC) and rice husk ash (RHA). The effects of varying lead concentrations (in the form of nitrates) in soil samples on the physical properties of their stabilized forms, namely unconfined compressive strength (UCS), setting times of early mixtures and change...

It is common for large population-based surveys to select a sample from a population using a complex design. A simulation study was conducted to compare the estimates from the stratified proportional hazards model with the weighted estimates of the Binder method, when a stratified random sample of the population is used. The SAS PHREG procedure performs regression analysis of survival data base...

Although Portland cement is the most widely used binder in the stabilisation/solidification (S/S) processes, slag-based binders have gained significant attention recently due to their economic and environmental merits. In the present study, a novel binder, reactive MgO activated slag, is compared with hydrated lime activated slag in the immobilisation of lead and zinc. A series of lead or zinc-...

BACKGROUND Despite recognized risks associated with hyperphosphataemia in patients with chronic kidney disease (CKD) Stage 5 on dialysis, the achievement of target levels of serum phosphate is poor. It is likely that this is partly due to poor adherence by patients to their phosphate-binder treatment regimens, which often comprise large daily tablet burdens. METHODS In this multicentre, open-...

The discovery of all inclusion dependencies (INDs) in a dataset is an important part of any data profiling effort. Apart from the detection of foreign key relationships, INDs can help to perform data integration, query optimization, integrity checking, or schema (re-)design. However, the detection of INDs gets harder as datasets become larger in terms of number of tuples as well as attributes. ...