On the construction of Dialectical Databases

Argumentation systems have substantially evolved in the past few years, resulting in adequate tools to model some forms of common sense reasoning. This has sprung a new set of argument-based applications in diverse areas. In previous work, we defined how to use precompiled knowledge to obtain significant speed-ups in the inference process of an argument-based system. This development is based on a logic programming system with an argumentationdriven inference engine, called Observation Based Defeasible Logic Programming (ODeLP). In this setting was first presented the concept of dialectical databases, that is, data structures for storing precompiled knowledge. These structures provide precompiled information about inferences and can be used to speed up the inference process, as TMS do in general problem solvers. In this work, we present detailed algorithms for the creation of dialectical databases in ODeLP and analyze these algorithms in terms of their computational complexity

Mark correlations: relating physical properties to spatial distributions

Mark correlations provide a systematic approach to look at objects both distributed in space and bearing intrinsic information, for instance on physical properties. The interplay of the objects' properties (marks) with the spatial clustering is of vivid interest for many applications; are, e.g., galaxies with high luminosities more strongly clustered than dim ones? Do neighbored pores in a sandstone have similar sizes? How does the shape of impact craters on a planet depend on the geological surface properties? In this article, we give an introduction into the appropriate mathematical framework to deal with such questions, i.e. the theory of marked point processes. After having clarified the notion of segregation effects, we define universal test quantities applicable to realizations of a marked point processes. We show their power using concrete data sets in analyzing the luminosity-dependence of the galaxy clustering, the alignment of dark matter halos in gravitational $N$-body simulations, the morphology- and diameter-dependence of the Martian crater distribution and the size correlations of pores in sandstone. In order to understand our data in more detail, we discuss the Boolean depletion model, the random field model and the Cox random field model. The first model describes depletion effects in the distribution of Martian craters and pores in sandstone, whereas the last one accounts at least qualitatively for the observed luminosity-dependence of the galaxy clustering.Comment: 35 pages, 12 figures. to be published in Lecture Notes of Physics, second Wuppertal conference "Spatial statistics and statistical physics

Circumstellar discs: What will be next?

This prospective chapter gives our view on the evolution of the study of circumstellar discs within the next 20 years from both observational and theoretical sides. We first present the expected improvements in our knowledge of protoplanetary discs as for their masses, sizes, chemistry, the presence of planets as well as the evolutionary processes shaping these discs. We then explore the older debris disc stage and explain what will be learnt concerning their birth, the intrinsic links between these discs and planets, the hot dust and the gas detected around main sequence stars as well as discs around white dwarfs.Comment: invited review; comments welcome (32 pages

A threshold level of NFATc1 activity facilitates thymocyte differentiation and opposes notch-driven leukaemia development.

International audienceNFATc1 plays a critical role in double-negative thymocyte survival and differentiation. However, the signals that regulate Nfatc1 expression are incompletely characterized. Here we show a developmental stage-specific differential expression pattern of Nfatc1 driven by the distal (P1) or proximal (P2) promoters in thymocytes. Whereas, preTCR-negative thymocytes exhibit only P2 promoter-derived Nfatc1beta expression, preTCR-positive thymocytes express both Nfatc1beta and P1 promoter-derived Nfatc1alpha transcripts. Inducing NFATc1alpha activity from P1 promoter in preTCR-negative thymocytes, in addition to the NFATc1beta from P2 promoter impairs thymocyte development resulting in severe T-cell lymphopenia. In addition, we show that NFATc1 activity suppresses the B-lineage potential of immature thymocytes, and consolidates their differentiation to T cells. Further, in the pTCR-positive DN3 cells, a threshold level of NFATc1 activity is vital in facilitating T-cell differentiation and to prevent Notch3-induced T-acute lymphoblastic leukaemia. Altogether, our results show NFATc1 activity is crucial in determining the T-cell fate of thymocytes

Improving the effectiveness of psychological interventions for depression and anxiety in the cardiac rehabilitation pathway using group-based metacognitive therapy (PATHWAY Group MCT) : study protocol for a randomised controlled trial

BACKGROUND: Anxiety and depression are prevalent among cardiac rehabilitation patients but pharmacological and psychological treatments have limited effectiveness in this group. Furthermore, psychological interventions have not been systematically integrated into cardiac rehabilitation services despite being a strategic priority for the UK National Health Service. A promising new treatment, metacognitive therapy, may be well-suited to the needs of cardiac rehabilitation patients and has the potential to improve outcomes. It is based on the metacognitive model, which proposes that a thinking style dominated by rumination, worry and threat monitoring maintains emotional distress. Metacognitive therapy is highly effective at reducing this thinking style and alleviating anxiety and depression in mental health settings. This trial aims to evaluate the effectiveness and cost-effectiveness of group-based metacognitive therapy for cardiac rehabilitation patients with elevated anxiety and/or depressive symptoms. METHODS/DESIGN: The PATHWAY Group-MCT trial is a multicentre, two-arm, single-blind, randomised controlled trial comparing the clinical- and cost-effectiveness of group-based metacognitive therapy plus usual cardiac rehabilitation to usual cardiac rehabilitation alone. Cardiac rehabilitation patients (target sample n = 332) with elevated anxiety and/or depressive symptoms will be recruited across five UK National Health Service Trusts. Participants randomised to the intervention arm will receive six weekly sessions of group-based metacognitive therapy delivered by either cardiac rehabilitation professionals or research nurses. The intervention and control groups will both be offered the usual cardiac rehabilitation programme within their Trust. The primary outcome is severity of anxiety and depressive symptoms at 4-month follow-up measured by the Hospital Anxiety and Depression Scale total score. Secondary outcomes are severity of anxiety/depression at 12-month follow-up, health-related quality of life, severity of post-traumatic stress symptoms and strength of metacognitive beliefs at 4- and 12-month follow-up. Qualitative interviews will help to develop an account of barriers and enablers to the effectiveness of the intervention. DISCUSSION: This trial will evaluate the effectiveness and cost-effectiveness of group-based metacognitive therapy in alleviating anxiety and depression in cardiac rehabilitation patients. The therapy, if effective, offers the potential to improve psychological wellbeing and quality of life in this large group of patients. TRIAL REGISTRATION: UK Clinical Trials Gateway, ISRCTN74643496 , Registered on 8 April 2015

Electron Transport Properties of Single-Molecule-Bearing Multiple Redox Levels Studied by EC-STM/STS

Multielectron systems as possible components of molecular electronics devices are attracting compelling experimental and theoretical interest. Here we studied by electrochemical scanning tunneling techniques (EC-STMicroscopy and EC-STSpectroscopy) the electron transport properties of a redox molecule endowed with two redox levels, namely, the hydroquinone/quinone (H2Q/Q) couple. By forming self-assembled monolayers on Au(111) of oligo-phenylene-vinylene (OPV) derivatized H2Q/Q moieties, we were able to explore the features of the tunneling current/overpotential relation in the EC-STS setup. The behavior of the tunneling current sheds light onto the mechanism of electron transport involving the redox levels of the H2Q/Q redox pair coupled to tip and substrate electrodes

Contrasting anticancer activity of half-sandwich iridium(III) complexes bearing functionally diverse 2-phenylpyridine ligands

We report the synthesis, characterization, and antiproliferative activity of 15 iridium(III) half-sandwich complexes of the type [(η5-Cp*)Ir(2-(R′-phenyl)-R-pyridine)Cl] bearing either an electron-donating (−OH, −CH2OH, −CH3) or electron-withdrawing (−F, −CHO, −NO2) group at various positions on the 2-phenylpyridine (2-PhPy) chelating ligand giving rise to six sets of structural isomers. The X-ray crystal structures of [(η5-Cp*)Ir(2-(2′-fluorophenyl)pyridine)Cl] (1) and [(η5-Cp*)Ir(2-(4′-fluorophenyl)pyridine)Cl] (2) exhibit the expected “piano-stool” configuration. DFT calculations showed that substituents caused only localized effects on the electrostatic potential surface of the chelating 2-PhPy ligand of the complexes. Hydrolysis of all complexes is rapid, but readily reversed by addition of NaCl. The complexes show preferential binding to 9-ethylguanine over 9-methyladenine and are active catalysts for the oxidation of NADH to NAD+. Antiproliferative activity experiments in A2780 ovarian, MCF-7 breast, A549 lung, and HCT116 colon cancer cell lines showed IC50 values ranging from 1 to 89 μM, with the most potent complex, [(η5-Cp*)Ir(2-(2′-methylphenyl)pyridine)Cl] (13) (A2780 IC50 = 1.18 μM), being 10× more active than the parent, [(η5-Cp*)Ir(2-phenylpyridine)Cl], and 2× more active than [(η5-CpxPh)Ir(2-phenylpyridine)Cl]. Intriguingly, contrasting biological activities are observed between structural isomers despite exhibiting similar chemical reactivity. For pairs of structural isomers both the nature and position of the functional group can affect the hydrophobicity of the complex. An increase in hydrophobicity resulted in enhanced cellular-iridium accumulation in A2780 ovarian cells, which generally gave rise to an increase in potency. The structural isomers [(η5-Cp*)Ir(2-(4′-fluorophenyl)pyridine)Cl] (2) and [(η5-Cp*)Ir(2-phenyl-5-fluoropyridine)Cl] (4) preferentially localized in the cytosol > membrane and particulate > nucleus > cytoskeleton. This work highlights the strong dependence of biological behavior on the nature and position of the substituent on the chelating ligand and shows how this class of organometallic anticancer complexes can be fine-tuned to increase their potency without using extended cyclopentadienyl systems

A nonsmooth generalized‐alpha method for mechanical systems with frictional contact

In this article, the existing nonsmooth generalized‐α method for the simulation of mechanical systems with frictionless contacts, modeled as unilateral constraints, is extended to systems with frictional contacts. On that account, we complement the unilateral constraints with set‐valued Coulomb‐type friction laws. Moreover, we devise a set of benchmark systems, which can be used to validate numerical schemes for mechanical systems with frictional contacts. Finally, this set of benchmarks is used to numerically assert the properties striven for during the derivation of the presented scheme. Specifically, we show that the presented scheme can reproduce the dynamics of the frictional contact adequately and no numerical penetration of the contacting bodies arises - a big issue for most popular time‐stepping schemes such as the one of Moreau. Moreover, we demonstrate that the presented scheme performs well for multibody systems containing flexible parts and that it allows general parametrizations such as the use of unit quaternions for the rotation of rigid bodies

Endoscopic Management of Strictures in Crohn’s Disease: An Unsolved Case

Crohn's disease (CD) is a chronic inflammatory disease associated with a significant burden in terms of quality of life and health care costs. It is frequently associated with several complications, including the development of intestinal strictures. Stricturing CD requires a careful multidisciplinary approach involving medical therapy and surgery, still posing a continuous management challenge; in this context, endoscopic treatment represents a valuable, in-between opportunity as a minimally invasive strategy endorsed by extensive yet heterogeneous evidence and evolving research and techniques. This review summarizes current knowledge on the role of therapeutic endoscopy in stricturing CD, focusing on evidence gaps, recent updates, and novel techniques intended for optimizing efficacy, safety, and tailoring of this approach in the view of precision endoscopy