Automated Synthesis of Tableau Calculi

This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau inference rules that can then be used to reason within the logic. The method guarantees that the generated rules form a calculus which is sound and constructively complete. If the logic can be shown to admit finite filtration with respect to a well-defined first-order semantics then adding a general blocking mechanism provides a terminating tableau calculus. The process of generating tableau rules can be completely automated and produces, together with the blocking mechanism, an automated procedure for generating tableau decision procedures. For illustration we show the workability of the approach for a description logic with transitive roles and propositional intuitionistic logic.Comment: 32 page

Challenges and opportunities for ex-offender support through community nursing

This study was a qualitative case study underpinned by “The Silences Framework” aimed at mapping the ex-offender health pathway towards identifying “touch points” in the community for the delivery of a nurse-led intervention. Participants meeting the study inclusion criteria were quantitatively ranked based on poor health. Participants scoring the lowest and endorsing their ranking through a confirmation of a health condition were selected as cases and interviewed over 6 months. Individuals in the professional networks of offenders contextualized emergent themes. The study indicated that pre-release, offenders were not prepared in prison for the continuity in access to healthcare in the community. On release, reintegration preparation did not routinely enquire whether offenders were still registered with a general practitioner or had the agency to register self in the community. Participants identified the site of post-release supervision as the “touch point” where a nurse-led intervention could be delivere

EMMIE and engineering: What works as evidence to improve decisions?

While written by a proponent of realism, this article argues in favour of a pragmatic approach to evaluation. It argues that multiple sources of evidence collected using diverse research methods can be useful in conducting informative evaluations of programmes, practices and policies. It argues in particular that methods, even if their assumptions appear incommensurable with one another, should be chosen to meet the evidence needs of decision-makers. These evidence needs are captured in the acronym, EMMIE, which refers to Effect size, Mechanism, Moderator (or context), Implementation and Economic impact. Finally the article questions evidence hierarchies that are inspired by clinical trials, and suggests instead that, notwithstanding the clear differences in the physical and social worlds, engineering may provide a superior model for evaluators to try to emulate. And engineering is, above all, a pragmatic field

Longitudinal stability of molecular alterations and drug response profiles in tumor spheroid cell lines enables reproducible analyses

The utility of patient-derived tumor cell lines as experimental models for glioblastoma has been challenged by limited representation of the in vivo tumor biology and low clinical translatability. Here, we report on longitudinal epigenetic and transcriptional profiling of seven glioblastoma spheroid cell line models cultured over an extended period. Molecular profiles were associated with drug response data obtained for 231 clinically used drugs. We show that the glioblastoma spheroid models remained molecularly stable and displayed reproducible drug responses over prolonged culture times of 30 in vitro passages. Integration of gene expression and drug response data identified predictive gene signatures linked to sensitivity to specific drugs, indicating the potential of gene expression-based prediction of glioblastoma therapy response. Our data thus empowers glioblastoma spheroid disease modeling as a useful preclinical assay that may uncover novel therapeutic vulnerabilities and associated molecular alterations

Proanthocyanidin to prevent formation of the reexpansion pulmonary edema

<p>Abstract</p> <p>Background</p> <p>We aimed to investigate the preventive effect of Proanthocyanidine (PC) in the prevention of RPE formation.</p> <p>Methods</p> <p>Subjects were divided into four groups each containing 10 rats. In the Control Group (CG): RPE wasn't performed. Then subjects were followed up for three days and they were sacrificed after the follow up period. Samplings were made from tissues for measurement of biochemical and histopathologic parameters. In the Second Group (PCG): The same protocol as CG was applied, except the administration of PC to the subjects. In the third RPE Group (RPEG): Again the same protocol as CG was applied, but as a difference, RPE was performed. In the Treatment Group (TG): The same protocol as RPEG was applied except the administration of PC to the subjects.</p> <p>Results</p> <p>In RPEG group, the most important histopathological finding was severe pulmonary edema with alveolar damage and acute inflammatory cells. These findings were less in the TG group. RPE caused increased MDA levels, and decreased GPx, SOD and CAT activity significantly in lung tissue.</p> <p>Conclusion</p> <p>PC decreased MDA levels. Oxidative stress plays an important role in pathophysiology of RPE and PC treatment was shown to be useful to prevent formation of RPE.</p

Putting victims first? : a critique of Coalition anti-social behaviour policy

Anti-social behaviour (ASB) policy was not pursued by the Conservative–Liberal Democrat Coalition government with the same vigour as their New Labour predecessors. Where developments did take place a clear shift in emphasis was apparent, with the needs of ASB victims elevated to the forefront of policy. This article critically appraises two major developments that showcase the Coalition government’s attempts to overhaul ASB policy to ‘put victims first’, namely: the changes to call handling and case management processes, and the Community Trigger, which forces the authorities to review their responses to complaints of ASB in circumstances where victims feel they have been ignored. These particular policies aim to prioritise victims’ needs; however, it is argued the new victim-focus: is diluted by competing Coalition ASB agendas, demonstrates little connection between rhetoric and reality, provides limited redress for all victims and fails to coalesce with established attempts to tackle perpetrators of ASB

Manganese hexacyanomanganate open framework as a high-capacity positive electrode material for sodium-ion batteries

Potential applications of sodium-ion batteries in grid-scale energy storage, portable electronics and electric vehicles have revitalized research interest in these batteries. However, the performance of sodium-ion electrode materials has not been competitive with that of lithium-ion electrode materials. Here we present sodium manganese hexacyanomanganate (Na2MnII[Mn-II(CN)(6)]), an open-framework crystal structure material, as a viable positive electrode for sodium-ion batteries. We demonstrate a high discharge capacity of 209 mAh g(-1) at C/5 (40 mA g(-1)) and excellent capacity retention at high rates in a propylene carbonate electrolyte. We provide chemical and structural evidence for the unprecedented storage of 50% more sodium cations than previously thought possible during electrochemical cycling. These results represent a step forward in the development of sodium-ion batteries.open212