A Correct Logic Programming Computation of Default Logic Extensions

We present a method of representing some classes of default theories as normal logic programs. The main point is that the standart semantics (i.e., SLDNF-resolution) computes answer substitutions that correspond exactly to the extensions of the represented default theory. This means that we give a correct implementation of default logic. We explain the steps of constructing a logic program LogProg(P, D) from a given default theory (P, D), give some examples, and derive soundness and completeness results.     

Tool Support for Continuous Quality Control

Over time, software systems suffer gradual quality decay and therefore costs can rise if organizations fail to take proactive countermeasures. Quality control is the first step to avoiding this cost trap. Continuous quality assessments help users identify quality problems early, when their removal is still inexpensive; they also aid decision making by providing an integrated view of a software system's current status. As a side effect, continuous and timely feedback helps developers and maintenance personnel improve their skills and thereby decreases the likelihood of future quality defects. To make regular quality control feasible, it must be highly automated, and assessment results must be presented in an aggregated manner to avoid overwhelming users with data. This article offers an overview of tools that aim to address these issues. The authors also discuss their own flexible, open-source toolkit, which supports the creation of dashboards for quality control.     

Sample Based Visibility for Soft Shadows using Alias‐free Shadow Maps

This paper introduces an accurate real‐time soft shadow algorithm that uses sample based visibility. Initially, we present a GPU‐based alias‐free hard shadow map algorithm that typically requires only a single render pass from the light, in contrast to using depth peeling and one pass per layer. For closed objects, we also suppress the need for a bias. The method is extended to soft shadow sampling for an arbitrarily shaped area‐/volumetric light source using 128‐1024 light samples per screen pixel. The alias‐free shadow map guarantees that the visibility is accurately sampled per screen‐space pixel, even for arbitrarily shaped (e.g. non‐planar) surfaces or solid objects. Another contribution is a smooth coherent shading model to avoid common light leakage near shadow borders due to normal interpolation.     

Shape‐Memory Topographies on Nickel–Titanium Alloys Trained by Embossing and Pulse Electrochemical Machining

The two‐way shape‐memory effect (TWSME) in Nickel–titanium (NiTi) alloys is of interest for applications in aerospace, biomedicine, and microengineering due to its reversible shape recovery. In this study, the authors demonstrate two approaches to obtain switchable surface structures using the TWSME. Samples are structured using two surface geometries by either cold embossing, or pulse electrochemical machining (PECM). After planarization, a change from optically smooth to structured and vice versa is observed. The switch is induced through heating and cooling the sample above and below the phase transformation temperature. The protrusions reflect the pattern applied by the two processes. Both methods are promising for preparation of switchable metallic surfaces on larger areas.     

Piezoelectric properties and conductivity of Pb(Zr,Ti)O<Subscript>3</Subscript> with SrO–WO<Subscript>3</Subscript> additive

The influence of SrO–WO₃ additive on the piezoelectric properties and electric conductivity of lead zirconate–titanate (PZT) near the morphotropic phase boundary was investigated. Starting from the composition 0.995 Pb(Zr_0.525Ti_0.475)O₃ + 0.015 SrO + 0.005 WO₃ (corresponding to 0.5 mol% of Sr₃WO₆) the fraction of WO₃ was increased until Sr:W = 1:1. These samples were compared to a set of samples of PZT with WO₃ addition but without SrO. Sr₃WO₆ has pseudocubic K₂NaAlF₆ structure with part of the strontium being octahedrally coordinated. In a solid solution with PZT this opens the possibility of realizing Sr on a B-site adjacent to a B-site occupied by W. Piezoelectric properties were measured on sintered disc samples under high field conditions. Impedance spectroscopy was used to investigate the conductivity and dielectric properties of the ceramics at various temperatures. The combined addition of SrO and WO₃ increases the piezoelectric strain compared to samples of PZT with WO₃ addition only. The results in polarization and conductivity indicate that the donor effect of WO₃ is counteracted by the addition of SrO.     

Optimizing soil nitrogen balance in a potato cropping system through legume intercropping

Nutrient Cycling in Agroecosystems - Negative nitrogen balance represents a major factor causing low potato yield in potato growing areas of Kenya while its excessive surplus poses a significant...     

Lysine Ethylation by Histone Lysine Methyltransferases

Biomedicinally important histone lysine methyltransferases (KMTs) catalyze the transfer of a methyl group from S-adenosylmethionine (AdoMet) cosubstrate to lysine residues in histones and other proteins. Herein, experimental and computational investigations on human KMT-catalyzed ethylation of histone peptides by using S-adenosylethionine (AdoEth) and Se-adenosylselenoethionine (AdoSeEth) cosubstrates are reported. MALDI-TOF MS experiments reveal that, unlike monomethyltransferases SETD7 and SETD8, methyltransferases G9a and G9a-like protein (GLP) do have the capacity to ethylate lysine residues in histone peptides, and that cosubstrates follow the efficiency trend AdoMet>AdoSeEth>AdoEth. G9a and GLP can also catalyze AdoSeEth-mediated ethylation of ornithine and produce histone peptides bearing lysine residues with different alkyl groups, such as H3K9meet and H3K9me2et. Molecular dynamics and free energy simulations based on quantum mechanics/molecular mechanics potential supported the experimental findings by providing an insight into the geometry and energetics of the enzymatic methyl/ethyl transfer process.     

Suppressing Hydrogen Evolution by Aqueous Silicon Powder Dispersions by Controlled Silicon Surface Oxidation

Aqueous silicon dispersions are used to produce pyrotechnic time delay compositions. The propensity of silicon to react with water and to produce hazardous hydrogen gas must be suppressed. To this end, the effect of air heat treatment temperature on the rate of corrosion of silicon was investigated. It was found that four hour heat treatments at temperatures below 350 °C provided significant passivation. This is attributed to the removal of the hydroxyl groups present on the SiO₂ surface scale layer. It was found that thickening the silica layer, by heat treatment at higher temperatures, causes a further reduction in the amount of hydrogen released. However, differential thermal analysis (DTA) studies showed that excessive silicon surface oxidation increased the ignition temperature and reduced the heat release of a near‐stoichiometric silicon‐lead chromate pyrotechnic composition.     

FACILE SYNTHESIS OF COPPER ANTIMONITE

Copper antimonite, CuSb₂O₄, is a candidate oxidant for use in time delays for mining detonators. A facile process for the synthesis of copper antimonite comprises the reaction of antimony trioxide with copper-ammonia complex with excess ammonia at reflux conditions (ca. 65°C) for about 1 h. Thereafter the reaction is driven to completion by driving off the ammonia by distillation. A well-crystallized product with a cuboid crystal habit approximately 4 µm in size is obtained.