Rasiowa–Sikorski deduction systems in computer science applications

AbstractA Rasiowa-Sikorski system is a sequence-type formalization of logics. The system uses invertible decomposition rules which decompose a formula into sequences of simpler formulae whose validity is equivalent to validity of the original formula. There may also be expansion rules which close indecomposable sequences under certain properties of relations appearing in the formulae, like symmetry or transitivity. Proofs are finite decomposition trees with leaves having “fundamental”, valid labels. The author describes a general method of applying the R-S formalism to develop complete deduction systems for various brands of C.S and A.I. logic, including a logic for reasoning about relative similarity, a three-valued software specification logic with McCarthy's connectives and Kleene quantifiers, a logic for nondeterministic specifications, many-sorted FOL with possibly empty carriers of some sorts, and a three-valued logic for reasoning about concurrency

IsoBED: a tool for automatic calculation of biologically equivalent fractionation schedules in radiotherapy using IMRT with a simultaneous integrated boost (SIB) technique

<p>Abstract</p> <p>Background</p> <p>An advantage of the Intensity Modulated Radiotherapy (IMRT) technique is the feasibility to deliver different therapeutic dose levels to PTVs in a single treatment session using the Simultaneous Integrated Boost (SIB) technique. The paper aims to describe an automated tool to calculate the dose to be delivered with the SIB-IMRT technique in different anatomical regions that have the same Biological Equivalent Dose (BED), i.e. IsoBED, compared to the standard fractionation.</p> <p>Methods</p> <p>Based on the Linear Quadratic Model (LQM), we developed software that allows treatment schedules, biologically equivalent to standard fractionations, to be calculated. The main radiobiological parameters from literature are included in a database inside the software, which can be updated according to the clinical experience of each Institute. In particular, the BED to each target volume will be computed based on the alpha/beta ratio, total dose and the dose per fraction (generally 2 Gy for a standard fractionation). Then, after selecting the reference target, i.e. the PTV that controls the fractionation, a new total dose and dose per fraction providing the same isoBED will be calculated for each target volume.</p> <p>Results</p> <p>The IsoBED Software developed allows: 1) the calculation of new IsoBED treatment schedules derived from standard prescriptions and based on LQM, 2) the conversion of the dose-volume histograms (DVHs) for each Target and OAR to a nominal standard dose at 2Gy per fraction in order to be shown together with the DV-constraints from literature, based on the LQM and radiobiological parameters, and 3) the calculation of Tumor Control Probability (TCP) and Normal Tissue Complication Probability (NTCP) curve versus the prescribed dose to the reference target.</p

Is doctor referral to a low energy total diet replacement programme costeffective for the routine treatment of obesity?

ABTRACT Objective To estimate the cost-effectiveness of a commercially provided low energy total diet replacement (TDR) programme versus nurse-led behavioural support. Methods We used a multi-state lifetable model and the weight reduction observed in a randomised controlled trial to evaluate the quality-adjusted life-years (QALYs) and direct healthcare costs (in UK 2017 prices) over a lifetime with TDR versus nurse-led support in adults who were obese, assuming that: i) weight returns to baseline over 5 years, and ii) a 1 kg weight loss is maintained after 5 years following TDR. Results The per-person costs of the TDR and nurse-led programmes were £796 and £34, respectively. The incremental cost-effectiveness ratio (ICER) of TDR was £12,955 (95% confidence interval: £8,082 to £17,827) assuming all weight lost is regained and £3,203 (£2,580 to £3,825) assuming that a 1 kg weight loss is maintained after 5 years. TDR was estimated to be more cost-effective (i.e. lower ICERs) in older adults and those with higher body mass index, with little difference by gender. Conclusions At current retail prices and with plausible long-term weight regain trajectories, TDR is projected to be cost-effective in obese adults and could be considered as an option to treat obesity in routine healthcare setting

Metabolic Engineering of Cofactor F420 Production in Mycobacterium smegmatis

Cofactor F420 is a unique electron carrier in a number of microorganisms including Archaea and Mycobacteria. It has been shown that F420 has a direct and important role in archaeal energy metabolism whereas the role of F420 in mycobacterial metabolism has only begun to be uncovered in the last few years. It has been suggested that cofactor F420 has a role in the pathogenesis of M. tuberculosis, the causative agent of tuberculosis. In the absence of a commercial source for F420, M. smegmatis has previously been used to provide this cofactor for studies of the F420-dependent proteins from mycobacterial species. Three proteins have been shown to be involved in the F420 biosynthesis in Mycobacteria and three other proteins have been demonstrated to be involved in F420 metabolism. Here we report the over-expression of all of these proteins in M. smegmatis and testing of their importance for F420 production. The results indicate that co–expression of the F420 biosynthetic proteins can give rise to a much higher F420 production level. This was achieved by designing and preparing a new T7 promoter–based co-expression shuttle vector. A combination of co–expression of the F420 biosynthetic proteins and fine-tuning of the culture media has enabled us to achieve F420 production levels of up to 10 times higher compared with the wild type M. smegmatis strain. The high levels of the F420 produced in this study provide a suitable source of this cofactor for studies of F420-dependent proteins from other microorganisms and for possible biotechnological applications

Improving pulse crops as a source of protein, starch and micronutrients

Pulse crops have been known for a long time to have beneficial nutritional profiles for human diets but have been neglected in terms of cultivation, consumption and scientific research in many parts of the world. Broad dietary shifts will be required if anthropogenic climate change is to be mitigated in the future, and pulse crops should be an important component of this change by providing an environmentally sustainable source of protein, resistant starch and micronutrients. Further enhancement of the nutritional composition of pulse crops could benefit human health, helping to alleviate micronutrient deficiencies and reduce risk of chronic diseases such as type 2 diabetes. This paper reviews current knowledge regarding the nutritional content of pea (Pisum sativum L.) and faba bean (Vicia faba L.), two major UK pulse crops, and discusses the potential for their genetic improvement

Antiphospholipid syndrome; its implication in cardiovascular diseases: a review

Antiphospholipid syndrome (APLS) is a rare syndrome mainly characterized by several hyper-coagulable complications and therefore, implicated in the operated cardiac surgery patient. APLS comprises clinical features such as arterial or venous thromboses, valve disease, coronary artery disease, intracardiac thrombus formation, pulmonary hypertension and dilated cardiomyopathy. The most commonly affected valve is the mitral, followed by the aortic and tricuspid valve. For APLS diagnosis essential is the detection of so-called antiphospholipid antibodies (aPL) as anticardiolipin antibodies (aCL) or lupus anticoagulant (LA). Minor alterations in the anticoagulation, infection, and surgical stress may trigger widespread thrombosis. The incidence of thrombosis is highest during the following perioperative periods: preoperatively during the withdrawal of warfarin, postoperatively during the period of hypercoagulability despite warfarin or heparin therapy, or postoperatively before adequate anticoagulation achievement. Cardiac valvular pathology includes irregular thickening of the valve leaflets due to deposition of immune complexes that may lead to vegetations and valve dysfunction; a significant risk factor for stroke. Patients with APLS are at increased risk for thrombosis and adequate anticoagulation is of vital importance during cardiopulmonary bypass (CPB). A successful outcome requires multidisciplinary management in order to prevent thrombotic or bleeding complications and to manage perioperative anticoagulation. More work and reporting on anticoagulation management and adjuvant therapy in patients with APLS during extracorporeal circulation are necessary

Enhancing security behaviour by supporting the user

Although the role of users in maintaining security is regularly emphasized, this is often not matched by an accompanying level of support. Indeed, users are frequently given insufficient guidance to enable effective security choices and decisions, which can lead to perceived bad behaviour as a consequence. This paper discusses the forms of support that are possible, and seeks to investigate the effect of doing so in practice. Specifically, it presents findings from two experimental studies that investigate how variations in password meter usage and feedback can positively affect the resulting password choices. The first experiment examines the difference between passwords selected by unguided users versus those receiving guidance and alternative forms of feedback (ranging from a traditional password meter through to an emoji-based approach). The findings reveal a 30% drop in weak password choices between unguided and guided usage, with the varying meters then delivering up to 10% further improvement. The second experiment then considers variations in the form of feedback message that users may receive in addition to a meter-based rating. It is shown that by providing richer information (e.g. based upon the time required to crack a password, its relative ranking against other choices, or the probability of it being cracked), users are more motivated towards making strong choices and changing initially weak ones. While the specifics of the experimental findings were focused upon passwords, the discussion also considers the benefits that may be gained by applying the same principles of nudging and guidance to other areas of security in which users are often found to have weak behaviours

A systematic review on the accumulation of prophylactic dosages of low-molecular-weight heparins (LMWHs) in patients with renal insufficiency

PURPOSE: Although therapeutic dosages of most low-molecular-weight heparins (LMWHs) are known to accumulate in patients with renal insufficiency, for the lower prophylactic dosages this has not been clearly proven. Nevertheless, dose reduction is often recommended. We conducted a systematic review to investigate whether prophylactic dosages of LMWH accumulate in renal insufficient patients. METHODS: A comprehensive search was conducted on 17 February 2015 using Embase, Medline, Web of Science, Scopus, Cochrane, PubMed publisher, and Google scholar. The syntax emphasized for LMWHs, impaired renal function, and pharmacokinetics. The search yielded 674 publications. After exclusion by reading the titles, abstracts, and if necessary the full paper, 11 publications remained. RESULTS: For dalteparin and tinzaparin, no accumulation was observed. Enoxaparin, on the other hand, did lead to accumulation in patients with renal insufficiency, although not in patients undergoing renal replacement therapy. Bemiparin and certoparin also did show accumulation. No data were available for nadroparin. CONCLUSIONS: In this systematic review, we show that prophylactic dosages of tinzaparin and dalteparin are likely to be safe in patients with renal insufficiency and do not need dose reduction based on the absence of accumulation. However, prophylactic dosages of enoxaparin, bemiparin, and certoparin did show accumulation in patients with a creatinine clearance (CrCl) below 30 ml/min, and therefore, dose reduction is required. The differences in occurrence of accumulation seem to depend on the mean molecular weight of LMWHs. ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1007/s00228-015-1880-5) contains supplementary material, which is available to authorized users