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.

Remediation of oily wastewater from an interceptor tank using a novel photocatalytic drum reactor

A novel photocatalytic reactor has been developed to remediate oily wastewaters. In the first instance degradation rates of model organic compounds, methylene blue (MB) and 4-c hlorophenol (4-CP) were determined. The experimental set-up investigated a 1:10 w/v catalyst to organic solution volume, 30 g catalyst, 300 mls MB (10 μM) or 4-CP (100 μM). The catalyst investigated was a pellet catalyst to improve separation of the remediated volume from the catalyst following treatment. MB concentration decreased by 93% after 15 mins irradiation whilst 4-CP concentration decreased by 94% following 90 mins irradiation. Oily waste water (OWW) from an interceptor tank typically containing diesel oils was obtained from Sureclean, an environmental clean-up company. The OWW was treated using the same conditions as MB and 4-CP, the model organic compounds. Levels of total organic carbon (TOC) and total petroleum hydrocarbon (TPH) were used to monitor the efficacy of the photocatalytic reactor. TOC reduced by 45% following two 90 mins treatment cycles. TPH reduced by 45% following 90 mins irradiation and by a further 25% during a second stage of treatment. This reactor can be used as a polishing technique assembled within a wastewater treatment plant. Allowing for more than one pass through the reactor improves its efficiency. 

Collating the knowledge base for core outcome set development: developing and appraising the search strategy for a systematic review

Background: The COMET (Core Outcome Measures in Effectiveness Trials) Initiative is developing a publicly accessible online resource to collate the knowledge base for core outcome set development (COS) and the applied work from different health conditions. Ensuring that the database is as comprehensive as possible and keeping it up to date are key to its value for users. This requires the development and application of an optimal, multi-faceted search strategy to identify relevant material. This paper describes the challenges of designing and implementing such a search, outlining the development of the search strategy for studies of COS development, and, in turn, the process for establishing a database of COS.

Methods: We investigated the performance characteristics of this strategy including sensitivity, precision and numbers needed to read. We compared the contribution of databases towards identifying included studies to identify the best combination of methods to retrieve all included studies.

Results: Recall of the search strategies ranged from 4% to 87%, and precision from 0.77% to 1.13%. MEDLINE performed best in terms of recall, retrieving 216 (87%) of the 250 included records, followed by Scopus (44%). The Cochrane Methodology Register found just 4% of the included records. MEDLINE was also the database with the highest precision. The number needed to read varied between 89 (MEDLINE) and 130 (SCOPUS).

Conclusions: We found that two databases and hand searching were required to locate all of the studies in this review. MEDLINE alone retrieved 87% of the included studies, but actually 97% of the included studies were indexed on MEDLINE. The Cochrane Methodology Register did not contribute any records that were not found in the other databases, and will not be included in our future searches to identify studies developing COS. SCOPUS had the lowest precision rate (0.77) and highest number needed to read (130). In future COMET searches for COS a balance needs to be struck between the work involved in screening large numbers of records, the frequency of the searching and the likelihood that eligible studies will be identified by means other than the database searches.

Core Outcomes in Ventilation Trials (COVenT): protocol for a core outcome set using a Delphi survey with a nested randomised trial and observational cohort study

Background
Among clinical trials of interventions that aim to modify time spent on mechanical ventilation for critically ill patients there is considerable inconsistency in chosen outcomes and how they are measured. The Core Outcomes in Ventilation Trials (COVenT) study aims to develop a set of core outcomes for use in future ventilation trials in mechanically ventilated adults and children.

Methods/design
We will use a mixed methods approach that incorporates a randomised trial nested within a Delphi study and a consensus meeting. Additionally, we will conduct an observational cohort study to evaluate uptake of the core outcome set in published studies at 5 and 10 years following core outcome set publication. The three-round online Delphi study will use a list of outcomes that have been reported previously in a review of ventilation trials. The Delphi panel will include a range of stakeholder groups including patient support groups. The panel will be randomised to one of three feedback methods to assess the impact of the feedback mechanism on subsequent ranking of outcomes. A final consensus meeting will be held with stakeholder representatives to review outcomes.

Discussion
The COVenT study aims to develop a core outcome set for ventilation trials in critical care, explore the best Delphi feedback mechanism for achieving consensus and determine if participation increases use of the core outcome set in the long term.

The Nuclear Oncogene SET Controls DNA Repair by KAP1 and HP1 Retention to Chromatin

Cells experience damage from exogenous and endogenous sources that endanger genome stability. Several cellular pathways have evolved to detect DNA damage and mediate its repair. Although many proteins have been implicated in these processes, only recent studies have revealed how they operate in the context of high-ordered chromatin structure. Here, we identify the nuclear oncogene SET (I2PP2A) as a modulator of DNA damage response (DDR) and repair in chromatin surrounding double-strand breaks (DSBs). We demonstrate that depletion of SET increases DDR and survival in the presence of radiomimetic drugs, while overexpression of SET impairs DDR and homologous recombination (HR)-mediated DNA repair. SET interacts with the Kruppel-associated box (KRAB)-associated co-repressor KAP1, and its overexpression results in the sustained retention of KAP1 and Heterochromatin protein 1 (HP1) on chromatin. Our results are consistent with a model in which SET-mediated chromatin compaction triggers an inhibition of DNA end resection and HR.

A Parametric Study Of A Turbogenerator On A Diesel-Electric Hybrid Bus

The fuel consumption of automotive vehicles has become a prime consideration to manufacturers and operators as fuel prices continue to rise steadily, and legislation governing toxic emissions becomes ever more strict. This is particularly true for bus operators as government fuel subsidies are cut or removed.

In an effort to reduce the fuel consumption of a diesel-electric hybrid bus, an exhaust recovery turbogenerator has been selected from a wide ranging literature review as the most appropriate method of recovering some of the wasted heat in the exhaust line. This paper examines the effect on fuel consumption of a turbogenerator applied to a 2.4-litre diesel engine.

A validated one-dimensional engine model created using Ricardo WAVE was used as a baseline, and was modified in subsequent models to include a turbogenerator downstream, and in series with, the turbocharger turbine. A fuel consumption map of the modified engine was produced, and an in-house simulation tool was then used to examine the fuel economy benefit delivered by the turbogenerator on a bus operating on various drive-cycles.

A parametric study is presented which examined the performance of turbogenerators of various size and power output. The operating strategy of the turbogenerator was also discussed with a view to maximising turbine efficiency at each operating point.

The performance of the existing turbocharger on the hybrid bus was also investigated; both the compressor and turbine were optimised and the subsequent benefits to the fuel consumption of the vehicle were shown.

The final configuration is then presented and the overall improvement in fuel economy of the hybrid bus was determined over various drive-cycles.

Towards core outcome set (COS) development: a follow-up descriptive survey of outcomes in Cochrane reviews

BACKGROUND: A core outcome set (COS) can address problems of outcome heterogeneity and outcome reporting bias in trials and systematic reviews, including Cochrane reviews, helping to reduce waste. One of the aims of the international Core Outcome Measures in Effectiveness Trials (COMET) Initiative is to link the development and use of COS with the outcomes specified and reported in Cochrane reviews, including the outcomes listed in the summary of findings (SoF) tables. As part of this work, an earlier exploratory survey of the outcomes of newly published 2007 and 2011 Cochrane reviews was performed. This survey examined the use of COS, the variety of specified outcomes, and outcome reporting in Cochrane reviews by Cochrane Review Group (CRG). To examine changes over time and to explore outcomes that were repeatedly specified over time in Cochrane reviews by CRG, we conducted a follow-up survey of outcomes in 2013 Cochrane reviews.

METHODS: A descriptive survey of outcomes in Cochrane reviews that were first published in 2013. Outcomes specified in the methods sections and reported in the results section of the Cochrane reviews were examined by CRG. We also explored the uptake of SoF tables, the number of outcomes included in these, and the quality of the evidence for the outcomes.

RESULTS: Across the 50 CRGs, 375 Cochrane reviews that included at least one study specified a total of 3142 outcomes. Of these outcomes, 32 % (1008) were not reported in the results section of these reviews. For 23 % (233) of these non-reported outcomes, we did not find any reason in the text of the review for this non-report. Fifty-seven percent (216/375) of reviews included a SoF table.

CONCLUSIONS: The proportion of specified outcomes that were reported in Cochrane reviews had increased in 2013 (68 %) compared to 2007 (61 %) and 2011 (65 %). Importantly, 2013 Cochrane reviews that did not report specified outcomes were twice as likely to provide an explanation for why the outcome was not reported. There has been an increased uptake of SoF tables in Cochrane reviews. Outcomes that were repeatedly specified in Cochrane reviews by CRG in 2007, 2011, and 2013 may assist COS development.

Ultra-Compact and Robust FPGA-Based PUF Identification Generator

Physically Unclonable Functions (PUFs), exploit inherent manufacturing variations and present a promising solution for hardware security. They can be used for key storage, authentication and ID generations. Low power cryptographic design is also very important for security applications. However, research to date on digital PUF designs, such as Arbiter PUFs and RO PUFs, is not very efficient. These PUF designs are difficult to implement on Field Programmable Gate Arrays (FPGAs) or consume many FPGA hardware resources. In previous work, a new and efficient PUF identification generator was presented for FPGA. The PUF identification generator is designed to fit in a single slice per response bit by using a 1-bit PUF identification generator cell formed as a hard-macro. In this work, we propose an ultra-compact PUF identification generator design. It is implemented on ten low-cost Xilinx Spartan-6 FPGA LX9 microboards. The resource utilization is only 2.23%, which, to the best of the authors' knowledge, is the most compact and robust FPGA-based PUF identification generator design reported to date. This PUF identification generator delivers a stable range of uniqueness of around 50% and good reliability between 85% and 100%.

On Variable Selection of a Nonlinear Non-parametric System with a Limited Data Set: A Stepwise Algorithm

his paper considers a problem of identification for a high dimensional nonlinear non-parametric system when only a limited data set is available. The algorithms are proposed for this purpose which exploit the relationship between the input variables and the output and further the inter-dependence of input variables so that the importance of the input variables can be established. A key to these algorithms is the non-parametric two stage input selection algorithm.

Biomass-derived oxymethylene ethers as diesel additives: A techno-economic assessment

Conversion of agricultural biomass such as wood chips, wheat straw and forest residue for the production of fuels can help in reducing GHG emissions since they are considered as nearly carbon neutral. Around the world there is a significant amount of forest and agricultural-biomass available which could be used for the production of liquid fuels that can be blended with the petroleum-based diesel. Oxymethylene ethers (OMEs) can be derived from biomass via gasification, water-gas shift reaction and methanol production. The addition of OMEs to conventional diesel fuel has great potential to reduce soot formation during the combustion in diesel engines. Unlike methanol and dimethyl ether (DMM) which can also reduce soot formation, the physical properties of OMEs allow the use in modern diesel engines without significant change of the engines infrastructure. In this study, a detailed and data intensive process simulation model was developed to simulate all the unit operations involved in the production of OMEs from biomass. The unit operation considered include biomass drying, gasification, gas cleaning, water gas shift reaction, methanol production and OMEs synthesis. The simulation results were then utilized to conduct a detailed techno-economic assessment study of the whole biomass conversion chain to determine the most attractive pathways for OMEs production. Our recent study shows that the key parameters affecting the OMEs production are equivalence ratio, H2/CO ratio and optimal air flow. Overall, the cost of production ($/liter) of OMEs from different biomass feedstock in Alberta will be determined

Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions

Although Answer Set Programming (ASP) is a powerful framework for declarative problem solving, it cannot in an intuitive way handle situations in which some rules are uncertain, or in which it is more important to satisfy some constraints than others. Possibilistic ASP (PASP) is a natural extension of ASP in which certainty weights are associated with each rule. In this paper we contrast two different views on interpreting the weights attached to rules. Under the first view, weights reflect the certainty with which we can conclude the head of a rule when its body is satisfied. Under the second view, weights reflect the certainty that a given rule restricts the considered epistemic states of an agent in a valid way, i.e. it is the certainty that the rule itself is correct. The first view gives rise to a set of weighted answer sets, whereas the second view gives rise to a weighted set of classical answer sets.