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

PRegnancy Outcomes after a Maternity Intervention for Stressful EmotionS (PROMISES): study protocol for a randomised controlled trial

<p>Abstract</p> <p>Background</p> <p>There is ample evidence from observational prospective studies that maternal depression or anxiety during pregnancy is a risk factor for adverse psychosocial outcomes in the offspring. However, to date no previous study has demonstrated that treatment of depressive or anxious symptoms in pregnancy actually could prevent psychosocial problems in children. Preventing psychosocial problems in children will eventually bring down the huge public health burden of mental disease. The main objective of this study is to assess the effects of cognitive behavioural therapy in pregnant women with symptoms of anxiety or depression on the child's development as well as behavioural and emotional problems. In addition, we aim to study its effects on the child's development, maternal mental health, and neonatal outcomes, as well as the cost-effectiveness of cognitive behavioural therapy relative to usual care.</p> <p>Methods/design</p> <p>We will include 300 women with at least moderate levels of anxiety or depression at the end of the first trimester of pregnancy. By including 300 women we will be able to demonstrate effect sizes of 0.35 or over on the total problems scale of the child behavioural checklist 1.5-5 with alpha 5% and power (1-beta) 80%.</p> <p>Women in the intervention arm are offered 10-14 individual cognitive behavioural therapy sessions, 6-10 sessions during pregnancy and 4-8 sessions after delivery (once a week). Women in the control group receive care as usual.</p> <p>Primary outcome is behavioural/emotional problems at 1.5 years of age as assessed by the total problems scale of the child behaviour checklist 1.5 - 5 years.</p> <p>Secondary outcomes will be mental, psychomotor and behavioural development of the child at age 18 months according to the Bayley scales, maternal anxiety and depression during pregnancy and postpartum, and neonatal outcomes such as birth weight, gestational age and Apgar score, health care consumption and general health status (economic evaluation).</p> <p>Trial Registration</p> <p>Netherlands Trial Register (NTR): <a href="http://www.trialregister.nl/trialreg/admin/rctview.asp?TC=2242">NTR2242</a></p

Fast sampling of the cellular Metabolome

Obtaining meaningful snapshots of the metabolome of microorganisms requires rapid sampling and immediate quenching of all metabolic activity, to prevent any changes in metabolite levels after sampling. Furthermore, a suitable extraction method is required ensuring complete extraction of metabolites from the cells and inactivation of enzymatic activity, with minimal degradation of labile compounds. Finally, a sensitive, high-throughput analysis platform is needed to quantify a large number of metabolites in a small amount of sample. An issue which has often been overlooked in microbial metabolomics is the fact that many intracellular metabolites are also present in significant amounts outside the cells and may interfere with the quantification of the endo metabolome. Attempts to remove the extracellular metabolites with dedicated quenching methods often induce release of intracellular metabolites into the quenching solution. For eukaryotic microorganisms, this release can be minimized by adaptation of the quenching method. For prokaryotic cells, this has not yet been accomplished, so the application of a differential method whereby metabolites are measured in the culture supernatant as well as in total broth samples, to calculate the intracellular levels by subtraction, seems to be the most suitable approach. Here we present an overview of different sampling, quenching, and extraction methods developed for microbial metabolomics, described in the literature. Detailed protocols are provided for rapid sampling, quenching, and extraction, for measurement of metabolites in total broth samples, washed cell samples, and supernatant, to be applied for quantitative metabolomics of both eukaryotic and prokaryotic microorganisms.Green Open Access added to TU Delft Institutional Repository 'You share, we take care!' - Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.BT/Industriele MicrobiologieOLD BT/Cell Systems EngineeringOLD BT/StafbureauDelft Projectmanagemen