Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence

We examine the representation of judgements of stochastic independence in probabilistic logics. We focus on a relational logic where (i) judgements of stochastic independence are encoded by directed acyclic graphs, and (ii) probabilistic assessments are flexible in the sense that they are not required to specify a single probability measure. We discuss issues of knowledge representation and inference that arise from our particular combination of graphs, stochastic independence, logical formulas and probabilistic assessments.

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.

A comparison of merging operators in possibilistic logic.

In this paper, we compare merging operators in possibilistic logic. We rst propose an approach to evaluating the discriminating power of a merging operator. After that, we analyze the computational complexity of existing possibilistic merging operators. Finally, we consider the compatibility of possibilistic merging operators with propositional merging operators.

A Coordination and Ligand Replacement Based Three-Input Colorimetric Logic Gate Sensing Platform for Melamine, Mercury Ions, and Cysteine

Discrimination of different species in various target scopes within a single sensing platform can provide many advantages such as simplicity, rapidness, and cost effectiveness. Here we design a three-input colorimetric logic gate based on the aggregation and anti-aggregation of gold nanoparticles (Au NPs) for the sensing of melamine, cysteine, and Hg2+. The concept takes advantages of the highly specific coordination and ligand replacement reactions between melamine, cysteine, Hg2+, and Au NPs. Different outputs are obtained with the combinational inputs in the logic gates, which can serve as a reference to discriminate different analytes within a single sensing platform. Furthermore, besides the intrinsic sensitivity and selectivity of Au NPs to melamine-like compounds, the “INH” gates of melamine/cysteine and melamine/Hg2+ in this logic system can be employed for sensitive and selective detections of cysteine and Hg2+, respectively.

A systematic review investigating the effectiveness of Complementary and Alternative Medicine (CAM) for the management of low back and/or pelvic pain (LBPP) in pregnancy

Aim: To evaluate and summarize the current evidence on the effectiveness of complementary and alternative medicine for the management of low back pain and/or pelvic pain in pregnancy.

Background: International research demonstrates that 25-30% of women use complementary and alternative medicine to manage low back and pelvic pain in pregnancy without robust evidence demonstrating its effectiveness.

Design: A systematic review of randomized controlled trials to determine the effectiveness of complementary and alternative medicine for low back and/or pelvic pain in pregnancy.

Data Sources: Cochrane library (1898-2013), PubMed (1996-2013), MEDLINE (1946-2013), AMED (1985-2013), Embase (1974-2013), Cinahl (1937-2013), Index to Thesis (1716-2013) and Ethos (1914-2013).

Review Methods: Selected studies were written in English, randomized controlled trials, a group 1 or 2 therapy and reported pain reduction as an outcome measure. Study quality was reviewed using Risk of Bias and evidence strength the Cochrane Grading of Recommendations and Development Evaluation Tool.

Results: Eight studies were selected for full review. Two acupuncture studies with low risk of bias showed both clinically important changes and statistically significant results. There was evidence of effectiveness for osteopathy and chiropractic. However, osteopathy and chiropractic studies scored high for risk of bias. Strength of the evidence across studies was very low.

Conclusion: There is limited evidence supporting the use of general CAM for managing pregnancy-related low back and/or pelvic pain. However, the restricted availability of high-quality studies, combined with the very low evidence strength, makes it impossible to make evidence-based recommendations for practice.

Small molecular logic systems can draw the outlines of objects via edge visualization

The recently-discovered ability of small logical molecules to recognize edges is exploited to achieve outline drawing from binary templates. Outlines of arbitrary curvature, several colours and thicknesses down to 1 mm are drawn in around 30 min or less by employing a common laboratory two-colour ultraviolet lamp. The outlines and the light dose-driven XOR logic with fluorescence output or ‘off-on-off’ action which is observed in the irradiated regions are modelled by combining foundational principles of photochemistry, acid-base neutralization and diffusion.

'Off-On' Fluorescent Sensors for Physiological levels of Magnesium Ions based on Photoinduced Electron Transfer (PET) which also behave as OR Logic Gates

The fluorescence of molecules 1-3 is enhanced by factors of up to 67 in the presence of magnesium and calcium ions in neutral water which allows the selective monitoring of magnesium ions under simulated physiological conditions and permits the construction of truth tables with OR logic when these molecules are viewed as ion input-photon output molecuIar devices.