Closures and fairness in the semantics of programming logic

AbstractWe use the notions of closures and fair chaotic iterations to give a semantics to logic programs. The relationships between the semantics of individual rules and the semantics of the whole program are established and an application to parallel processing is mentioned. A chaotic fixed point theorem is given, which carries the non-determinism inherent to resolution. Finally, we introduce a general definition of finite failure and the concept of fair SLD resolution, and show that this procedure is sound and strongly complete with respect to both success and finite failure, thus extending a result of Apt and Van Emden (1982)

MAT-758: CONSTRUCTABILITY BENEFITS OF THE USE OF LIGHTWEIGHT FOAMED CONCRETE FILL (LFCF) IN PAVEMENT APPLICATIONS

Lightweight Foamed Concrete Fill (LFCF), also known as cellular concrete, has been growing in use in transportation infrastructure projects over recent years. LFCF is a versatile construction material that has now been in use for over 30 years. A number of recent road rehabilitation projects have demonstrated some of the benefits of use. With a greater emphasis on sustainability on all provincial and municipal road projects, new solutions are being sought to minimize the generation of waste and deliver better performing pavements that require less maintenance interventions. Roads over peat and organic deposits pose challenges for road agencies. They are subject to continual and long term settlements that necessitate frequent patch repairs. The downside of such repairs is that the additional weight of the new asphalt, triggers further settlement. Traditionally, permanent solutions have necessitated the total reconstruction of the road section and removal of the underlying organic layers. This is expensive, creates huge traffic disruptions, generates waste and consumes large volumes of aggregate for the reinstatement. The use of lightweight fill offers an alternative as it allows the pavement to be ‘floated’ above the organic layer. However, the traditional lightweight materials, such as polystyrene, have been prohibitively expensive for such applications. In recent years, LFCF has been successfully used as a cost effective solution in road works. LFCF is a foamed, pumpable, cementitious fill with a density of only 475 kg/m3, about a quarter of that of conventional granular fill. With a compressive strength of at least 0.5 MPa, it has sufficient strength to support pavement loads. However, the real advantages relate to constructability, since the material can be installed very quickly, minimizes excavation time, can be placed in winter and does not require conventional compaction or associated testing. This paper will provide an overview of the use of LFCF for road works, including typical specifications, quality control/assurance requirements, and performance based on a number of case study applications

Processes controlling metal transport and retention as metal-contaminated groundwaters efflux through estuarine sediments

Factors affecting the transport and retention of Cd, Cr, Cu, Ni, Pb and Zn in acidic groundwaters as they pass through estuarine sediments were investigated using column experiments. Acidic groundwaters caused the rapid dissolution of iron sulfide (AVS) and other iron and manganese phases from sediments that are important for metal binding and buffering. Metal breakthrough to overlying water occurred in the order of Ni\u3eZn\u3eCd\u3e\u3eCu\u3e\u3eCr/Pb. Metal transport increased as the sediment permeability increased, reflecting the low resistance to flow caused by larger sand-sized particles and the decreased abundance of metal adsorption sites on these materials. Metal mobility increased as the groundwater pH decreased, as flow rate or metal concentrations increased, and as the exposure duration increased. Groundwater Cr and Pb were promptly attenuated by the sediments, the mobility of Cu was low and decreased rapidly as sediment pH increased above 4.5, while Cd, Ni and Zn were the most easily transported to the surface sediments and released to the overlying waters. For groundwaters of pH 3, metal migration velocities through sandy sediments were generally 0.5-2% (Cr, Pb), 1-6% (Cu) and 4-13% (Cd, Ni, Zn) of the total groundwater velocity (9-700 m/year). The oxidative precipitation of Fe(II) and Mn(II) in the groundwaters did not affect metal mobility through the sediments. The results indicated that the efflux of acidic and metal-contaminated groundwater through estuarine sediments would affect organisms resident in sandy sediments more greatly than organisms resident in fine-grained, silty, sediments

The contribution of phosphate–phosphate repulsions to the free energy of DNA bending

DNA bending is important for the packaging of genetic material, regulation of gene expression and interaction of nucleic acids with proteins. Consequently, it is of considerable interest to quantify the energetic factors that must be overcome to induce bending of DNA, such as base stacking and phosphate–phosphate repulsions. In the present work, the electrostatic contribution of phosphate–phosphate repulsions to the free energy of bending DNA is examined for 71 bp linear and bent-form model structures. The bent DNA model was based on the crystallographic structure of a full turn of DNA in a nucleosome core particle. A Green's function approach based on a linear-scaling smooth conductor-like screening model was applied to ascertain the contribution of individual phosphate–phosphate repulsions and overall electrostatic stabilization in aqueous solution. The effect of charge neutralization by site-bound ions was considered using Monte Carlo simulation to characterize the distribution of ion occupations and contribution of phosphate repulsions to the free energy of bending as a function of counterion load. The calculations predict that the phosphate–phosphate repulsions account for ∼30% of the total free energy required to bend DNA from canonical linear B-form into the conformation found in the nucleosome core particle

Self-efficacy enhanced in a cross-cultural context through an initiative in under-resourced schools in KwaZulu-Natal, South Africa

This paper discusses the Khanyisa Programme, an initiative in KwaZulu-Natal, South Africa, where learners from under-resourced schools are supported by teachers and high achievers in Grade 11 and 12 from a previously advantaged state school under apartheid. A qualitative, evaluative study was undertaken to identify key elements in the ongoing success of the programme and collect participant suggestions for improvement. The findings, discussed within the framework of self-efficacy theory, identified enormous gains by Khanyisa learners, leading to vastly improved career prospects

In Vitro Selection of a Single-Stranded DNA Molecular Recognition Element against Clostridium difficile Toxin B and Sensitive Detection in Human Fecal Matter

Toxin B is one of the major virulence factors of Clostridium difficile, a bacterium that is responsible for a significant number of diarrhea cases in acute care settings. Due to the prevalence of C. difficile induced diarrhea, rapid and correct diagnosis is crucial in the disease management. In this study, we have employed a stringent in vitro selection method to identify single-stranded DNA molecular recognition elements (MRE) specific for toxin B. At the end of the 12-round selection, one MRE with high affinity  nM) for toxin B was identified. The selected MRE demonstrated low cross binding activities on negative targets: bovine serum albumin, Staphylococcus aureus alpha toxin, Pseudomonas aeruginosaexotoxin A, and cholera toxin of Vibrio cholera. A modified sandwich ELISA assay was developed utilizing the selected ssDNA MRE as the antigen capturing element and achieved a sensitive detection of 50 nM of toxin B in human fecal preparations

Injection into the jugular vein among people who inject drugs in the United Kingdom: Prevalence, associated factors and harms

Background: While people who inject drugs (PWID) typically use peripheral veins, some inject into their central veins, including the femoral and jugular veins. Injection into the jugular vein can have serious adverse health consequences, including jugular vein thrombosis, deep neck infections, pneumothorax, endocarditis and sepsis. This study examined the prevalence of, and factors associated with, jugular vein injection among a large sample of PWID in the United Kingdom. Method: Unlinked anonymous surveys (2011–14) recruited PWID from agencies providing services to this population. Self-reported demographic and injection-related data were collected from consenting respondents using a brief questionnaire and dried blood spot samples were tested for exposure to HIV, hepatitis C virus (HCV) and hepatitis B virus (HBV). Univariate and multivariable logistic regression were used to examine factors associated with jugular vein injection. Results: Among 5261 PWID, one third had injected into a central vein in the previous 28 days, including 6% (n = 339) who had injected into their jugular vein and 1% (n = 52) who had used this site exclusively for recent injections. Factors independently associated with recent jugular vein injection in multivariable analysis included female gender, a lifetime history of imprisonment, sharing needles and syringes, poly-drug injection and injection into multiple body sites. Jugular vein injection was also associated with experiencing injection-related injuries, although no associations were identified with respect to exposure to blood borne viral infections. Conclusion: A significant minority of PWID inject into the jugular vein in the United Kingdom. Public health responses should investigate ways to support and promote good injection site management in order to minimise vascular damage and reduce problems with peripheral venous access. Women who inject drugs, PWID with a history of imprisonment and those people who are experiencing early signs of injection-related skin and soft tissue injuries are priority sub-populations for interventions