238 research outputs found

    Effects of dihydrotanshinone I on proliferation and invasiveness of paclitaxel-resistant anaplastic thyroid cancer cells

    Get PDF
    ATC is a very rare, but extremely aggressive form of thyroid malignancy, responsible for the highest mortality rate registered for thyroid cancer. In patients without known genetic aberrations, the current treatment is still represented by palliative surgery and systemic mono-or combined chemotherapy, which is often not fully effective for the appearance of drug resistance. Comprehension of the mechanisms involved in the development of the resistance is therefore an urgent issue to suggest novel therapeutic approaches for this very aggressive malignancy. In this study, we created a model of anaplastic thyroid cancer (ATC) cells resistant to paclitaxel and investigated the characteristics of these cells by analyzing the profile of gene expression and comparing it with that of paclitaxel-sensitive original ATC cell lines. In addition, we evaluated the effects of Dihydrotanshinone I (DHT) on the viability and invasiveness of paclitaxel-resistant cells. ATC paclitaxel-resistant cells highlighted an overexpression of ABCB1 and a hyper-activation of the NF-\u3baB compared to sensitive cells. DHT treatment resulted in a reduction of viability and clonogenic ability of resistant cells. Moreover, DHT induces a decrement of NF-\u3baB activity in SW1736-PTX and 8505C-PTX cells. In conclusion, to the best of our knowledge, the results of the present study are the first to demonstrate the antitumor effects of DHT on ATC cells resistant to Paclitaxel in vitro

    Phytochemical investigations on Artemisia alba Turra growing in the North-East of Italy

    Get PDF
    Artemisia alba Turra (Asteraceae) is an Euro-Mediterranean plant used in Veneto (North-East of Italy) as traditional medicine for the treatment of various diseases. A. alba is a taxonomically problematic species, characterized by common polymorphism leading to a quite high variability in secondary metabolites content. Nonetheless, the phytochemical knowledge on its phytoconstituents, especially non-volatile components, is limited. In the present paper, the phytochemical composition of a tincture obtained from the aerial parts of A. alba growing in Veneto is presented. Extensive chromatographic separations led to the isolation of three new sesquiterpene derivatives, whose structures were elucidated by 1D and 2D NMR experiments and mass spectrometry. Furthermore, flavonoid composition and volatile constituents of the tincture of A. alba were preliminary studied by HPLC-MSn and GC-MS, respectivel

    Graphical Encoding of a Spatial Logic for the pi-Calculus

    Get PDF
    This paper extends our graph-based approach to the verification of spatial properties of π-calculus specifications. The mechanism is based on an encoding for mobile calculi where each process is mapped into a graph (with interfaces) such that the denotation is fully abstract with respect to the usual structural congruence, i.e., two processes are equivalent exactly when the corresponding encodings yield isomorphic graphs. Behavioral and structural properties of π-calculus processes expressed in a spatial logic can then be verified on the graphical encoding of a process rather than on its textual representation. In this paper we introduce a modal logic for graphs and define a translation of spatial formulae such that a process verifies a spatial formula exactly when its graphical representation verifies the translated modal graph formula

    Biocontrol traits of Bacillus licheniformis GL174, a culturable endophyte of Vitis vinifera cv. Glera

    Get PDF
    Background Bacillus licheniformis GL174 is a culturable endophytic strain isolated from Vitis vinifera cultivar Glera, the grapevine mainly cultivated for the Prosecco wine production. This strain was previously demonstrated to possess some specific plant growth promoting traits but its endophytic attitude and its role in biocontrol was only partially explored. In this study, the potential biocontrol action of the strain was investigated in vitro and in vivo and, by genome sequence analyses, putative functions involved in biocontrol and plant-bacteria interaction were assessed. Results Firstly, to confirm the endophytic behavior of the strain, its ability to colonize grapevine tissues was demonstrated and its biocontrol properties were analyzed. Antagonism test results showed that the strain could reduce and inhibit the mycelium growth of diverse plant pathogens in vitro and in vivo. The strain was demonstrated to produce different molecules of the lipopeptide class; moreover, its genome was sequenced, and analysis of the sequences revealed the presence of many protein-coding genes involved in the biocontrol process, such as transporters, plant-cell lytic enzymes, siderophores and other secondary metabolites. Conclusions This step-by-step analysis shows that Bacillus licheniformis GL174 may be a good biocontrol agent candidate, and describes some distinguished traits and possible key elements involved in this process. The use of this strain could potentially help grapevine plants to cope with pathogen attacks and reduce the amount of chemicals used in the vineyard

    Characterization of Reachable Attractors Using Petri Net Unfoldings

    Get PDF
    International audienceAttractors of network dynamics represent the long-term behaviours of the modelled system. Their characterization is therefore crucial for understanding the response and differentiation capabilities of a dynamical system. In the scope of qualitative models of interaction networks, the computation of attractors reachable from a given state of the network faces combinatorial issues due to the state space explosion. In this paper, we present a new algorithm that exploits the concurrency between transitions of parallel acting components in order to reduce the search space. The algorithm relies on Petri net unfoldings that can be used to compute a compact representation of the dynamics. We illustrate the applicability of the algorithm with Petri net models of cell signalling and regulation networks, Boolean and multi-valued. The proposed approach aims at being complementary to existing methods for deriving the attractors of Boolean models, while being %so far more generic since it applies to any safe Petri net

    Structured Operational Semantics for Graph Rewriting

    Full text link
    Process calculi and graph transformation systems provide models of reactive systems with labelled transition semantics. While the semantics for process calculi is compositional, this is not the case for graph transformation systems, in general. Hence, the goal of this article is to obtain a compositional semantics for graph transformation system in analogy to the structural operational semantics (SOS) for Milner's Calculus of Communicating Systems (CCS). The paper introduces an SOS style axiomatization of the standard labelled transition semantics for graph transformation systems. The first result is its equivalence with the so-called Borrowed Context technique. Unfortunately, the axiomatization is not compositional in the expected manner as no rule captures "internal" communication of sub-systems. The main result states that such a rule is derivable if the given graph transformation system enjoys a certain property, which we call "complementarity of actions". Archetypal examples of such systems are interaction nets. We also discuss problems that arise if "complementarity of actions" is violated.Comment: In Proceedings ICE 2011, arXiv:1108.014
    corecore