Probabilistic logic with independence

This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider graph-theoretic representations for propositional probabilistic logic with independence; complexity is analyzed, algorithms are derived, and examples are discussed. Finally, we examine a restricted first-order probabilistic logic that generalizes relational Bayesian networks.

Propositional and Relational Bayesian Networks Associated with Imprecise and Qualitative Probabilistic Assessments

This paper investigates a representation language with flexibility inspired by probabilistic logic and compactness inspired by relational Bayesian networks. The goal is to handle propositional and first-order constructs together with precise, imprecise, indeterminate and qualitative probabilistic assessments. The paper shows how this can be achieved through the theory of credal networks. New exact and approximate inference algorithms based on multilinear programming and iterated/loopy propagation of interval probabilities are presented; their superior performance, compared to existing ones, is shown empirically.

Evaluating Asymmetric Multicore Systems-on-Chip using Iso-Metrics

The end of Dennard scaling has pushed power consumption into a first order concern for current systems, on par with performance. As a result, near-threshold voltage computing (NTVC) has been proposed as a potential means to tackle the limited cooling capacity of CMOS technology. Hardware operating in NTV consumes significantly less power, at the cost of lower frequency, and thus reduced performance, as well as increased error rates. In this paper, we investigate if a low-power systems-on-chip, consisting of ARM's asymmetric big.LITTLE technology, can be an alternative to conventional high performance multicore processors in terms of power/energy in an unreliable scenario. For our study, we use the Conjugate Gradient solver, an algorithm representative of the computations performed by a large range of scientific and engineering codes.

GRADIENT CORRECTIONS IN DENSITY-FUNCTIONAL THEORY CALCULATIONS FOR SURFACES - CO ON PD(110)

Ab initio total energy calculations have been performed for CO chemisorption on Pd(110). Local density approximation (LDA) calculations yield chemisorption energies which are significantly higher than experimental values but inclusion of the generalised gradient approximation (GGA) gives better agreement. In general, sites with higher coordination of the adsorbate to surface atoms lead to a larger degree of overbinding with LDA, and give larger corrections with GGA. The reason is discussed using a first-order perturbation approximation. It is concluded that this may be a general failure of LDA for chemisorption energy calculations. This conclusion may be extended to many surface calculations, such as potential energy surfaces for diffusion.

Energy and energy flux in axisymmetric slow and fast waves

Aims: We aim to calculate the kinetic, magnetic, thermal, and total energy densities and the flux of energy in axisymmetric sausage modes. The resulting equations should contain as few parameters as possible to facilitate applicability for different observations. 

Methods: The background equilibrium is a one-dimensional cylindrical flux tube model with a piecewise constant radial density profile. This enables us to use linearised magnetohydrodynamic equations to calculate the energy densities and the flux of energy for axisymmetric sausage modes. 

Results: The equations used to calculate the energy densities and the flux of energy in axisymmetric sausage modes depend on the radius of the flux tube, the equilibrium sound and Alfvén speeds, the density of the plasma, the period and phase speed of the wave, and the radial or longitudinal components of the Lagrangian displacement at the flux tube boundary. Approximate relations for limiting cases of propagating slow and fast sausage modes are also obtained. We also obtained the dispersive first-order correction term to the phase speed for both the fundamental slow body mode under coronal conditions and the slow surface mode under photospheric conditions.

Assessment of the Activity of Photocatalytic Paint Using a Simple Smart Ink Designed for High Activity Surfaces

The use of an acid violet 7 (AV7) smart ink to assess the activity of photocatalytic paint is demonstrated. A linear correlation is established between the change in oxidized dye concentration, as measured by diffuse reflectance, and the change in the green component of the RGB color values, obtained using a portable hand-held scanner, suggesting that such tests can be monitored easily using an inexpensive piece of hand-held office equipment, as opposed to an expensive lab-based instrument, such as a diffuse reflectance UV/vis spectrophotometer. The bleaching of the AV7 follows first order kinetics, at a rate that is linearly dependent upon the UVA irradiance (0.30–3.26 mW cm–2). A comparison of relative rate of bleaching of the AV7 ink with the relative rate of removal of NOx, as determined using the ISO test (ISO 22197-1:2007), established a linear relationship between the two sets of results and the relevance of this correlation is discussed briefly.

Received Signal Characteristics of the Indoor Off-Body Communications Channel at 5.8 GHz

In this paper we investigate the received signal characteristics of a mobile chest-worn transmitter at 5.8 GHz within a high multipath indoor environment. The off-body channel measurements considered both the co- and cross-polarized received signal for both line-of-sight (LOS) and non-LOS (NLOS) conditions. A straightforward channel model based upon the estimated path loss, a lognormal slow fading component and Ricean small-scale fading contribution is developed and used to perform simulations which allow the generation of first order received signal power characteristics.

Re-inoculation of autoclaved soil as a non-sterile treatment for xenobiotic sorption and biodegradation studies

Autoclaved soil is commonly used for the study of xenobiotic sorption and as an abiotic control in biodegradation experiments. Autoclaving has been reported to alter soil physico-chemical and xenobiotic sorption characteristics such that comparison of autoclaved with non-autoclaved treatments in soil aging and bioavailability studies may yield misleading results. Experiments could be improved by using autoclaved soil re-inoculated with indigenous microorganisms as an additional or alternative non-sterile treatment for comparison with the sterile, autoclaved control. We examined the effect of autoclaving (3 x 1 h, 121°C, 103.5 KPa) on the physico-chemical properties of a silt loam soil (pH 7.2, 2.3% organic carbon) and the establishment of indigenous microorganisms reintroduced after autoclaving. Sterilisation by autoclaving significantly (p ≤ 0.05) decreased pH (0.6 of a unit) and increased concentrations of water-soluble organic carbon (WSOC; nontreated = 75 mg kg^-1; autoclaved = 1526 mg kg^-1). The initial first-order rate of ¹⁴C-2,4-dichloro-UL-phenol (2,4-DCP) adsorption to non-treated, autoclaved and re-inoculated soil was rapid (K₁ = 16.8-24.4 h^-1) followed by a slower linear phase (K₂). In comparison with autoclaved soil (0.038% day^-1), K₂ values were higher for re-inoculated (0.095% day^-1) and nontreated (0.181% day^-1) soil. This was attributed to a biological process. The Freundlich adsorption coefficient (K(f)) for autoclaved soil was significantly (p ≤ 0.05) higher than for re-inoculated or non-treated soil. Increased adsorption was attributed to autoclaving-induced changes to soil pH and solution composition. Glucose-induced respiration of autoclaved soil after re-inoculation was initially twice that in the non-treated control, but it decreased to control levels by day 4. This reduction corresponded to a depletion of WSOC. 2,4-DCP mineralisation experiments revealed that the inoculum of nonsterile soil (0.5 g) contained 2,4-DCP-degrading microorganisms capable of survival in autoclaved soil. The lag phase before detection of significant 2,4-DCP mineralisation was reduced (from 7 days to ≤3 days) by pre-incubation of re-inoculated soils for 7 and 14 days before 2,4-DCP addition. This was attributed to the preferential utilisation of WSOC prior to the onset of 2,4-DCP mineralisation. Cumulative ¹⁴CO₂ evolved after 21 days was significantly lower (p ≤ 0.05) from non-treated soil (25.3%) than re-inoculated soils (ca 45%). Experiments investigating sorption-biodegradation interactions of xenobiotics in soil require the physico-chemical properties of sterile and non-sterile treatments to be as comparable as possible. For fundamental studies, we suggest using re-inoculated autoclaved soil as an additional or alternative non-sterile treatment.

Power Capping: What Works, What Does Not

Peak power consumption is the first order design constraint of data centers. Though peak power consumption is rarely, if ever, observed, the entire data center facility must prepare for it, leading to inefficient usage of its resources. The most prominent way for addressing this issue is to limit the power consumption of the data center IT facility far below its theoretical peak value. Many approaches have been proposed to achieve that, based on the same small set of enforcement mechanisms, but there has been no corresponding work on systematically examining the advantages and disadvantages of each such mechanism. In the absence of such a study,it is unclear what is the optimal mechanism for a given computing environment, which can lead to unnecessarily poor performance if an inappropriate scheme is used. This paper fills this gap by comparing for the first time five widely used power capping mechanisms under the same hardware/software setting. We also explore possible alternative power capping mechanisms beyond what has been previously proposed and evaluate them under the same setup. We systematically analyze the strengths and weaknesses of each mechanism, in terms of energy efficiency, overhead, and predictable behavior. We show how these mechanisms can be combined in order to implement an optimal power capping mechanism which reduces the slow down compared to the most widely used mechanism by up to 88%. Our results provide interesting insights regarding the different trade-offs of power capping techniques, which will be useful for designing and implementing highly efficient power capping in the future. 

Kinetics of methylene blue (MB) photocatalyzed reduction and dark regeneration in a colorimetric oxygen sensor

Performance data for a dye based, regenerable oxygen sensor (Mills and Lawrie [1], Mills et al. [2]) are analyzed to develop useful kinetic models for sensor photoactivation (dye reduction) and dark, oxygen detection (dye oxidation). The titania loaded, thin film sensor exhibits an apparent first order photoactivation of the dye, which we demonstrate (Section 3.2 and Fig. 4) is due to a kinetic disguise of a zero order photoreaction occurring through a non-uniformly illuminated sensor film. The observed zero order, slow recovery due to dye oxidation by dioxygen (O2 detection) appears best rationalized by a model assuming a near O2-impermeable skin developing on the sensor surface as solvent is evaporatively removed following sensor film casting and curing.