Surface Defects on Semicoherent and Incoherent NaCl-Type Carbides Dispersed in Hot-Rolled Ferritic Steel

Metallurgical and Materials Transactions A - The interface structure of semicoherent titanium carbide (TiC) nanoparticles and incoherent micron-sized TiC precipitates in Fe–C–Ti alloy...     

Relationships of tensile strength with crosslink density for the high-carbon black-filled EPDM compounds with various softeners

Equilibrium swelling and rheological tests were adopted to systematically investigate the effects of softener type and dosage on the crosslink densities. The results turned out that the chemical crosslink density could be distinguished from the physical crosslink density by comparing the results of equilibrium swelling and rheological tests. The liquid butadiene (LB) as a softener leads to the greatest reduction in crosslink density, followed by polyethylene wax (PW) and paraffinic oil (PO). The tensile strength decreases with increasing PO content while shows peak values with increase of LB and PW contents. The dependencies of chemical crosslink density on the aging time under 150°C are quite different for the three softeners, which can be expected from the double crosslinking networks consisting of small softener and large main crosslinking networks. Further investigation has been performed to correlate the tensile strength with chemical crosslink density of ethylene propylene diene monomer elastomer vulcanizates. Three different linear relationships can be obtained for the softeners independent of the aging time. It can now be expected from this study that the role of some new softeners in rubber compounds is not only confined to plasticization but also forms crosslinking networks in the peroxide-cured rubbers.     

Quantification of Dendritic Spines Remodeling under Physiological Stimuli and in Pathological Conditions

Numerous brain diseases are associated with abnormalities in morphology and density of dendritic spines, small membranous protrusions whose structural geometry correlates with the strength of synaptic connections. Thus, the quantitative analysis of dendritic spines remodeling in microscopic images is one of the key elements towards understanding mechanisms of structural neuronal plasticity and bases of brain pathology. In the following article, we review experimental approaches designed to assess quantitative features of dendritic spines under physiological stimuli and in pathological conditions. We compare various methodological pipelines of biological models, sample preparation, data analysis, image acquisition, sample size, and statistical analysis. The methodology and results of relevant experiments are systematically summarized in a tabular form. In particular, we focus on quantitative data regarding the number of animals, cells, dendritic spines, types of studied parameters, size of observed changes, and their statistical significance.     

Omics Analysis of Blood-Responsive Regulon in Bordetella pertussis Identifies a Novel Essential T3SS Substrate

Bacterial pathogens sense specific cues associated with different host niches and integrate these signals to appropriately adjust the global gene expression. Bordetella pertussis is a Gram-negative, strictly human pathogen of the respiratory tract and the etiological agent of whooping cough (pertussis). Though B. pertussis does not cause invasive infections, previous results indicated that this reemerging pathogen responds to blood exposure. Here, omics RNA-seq and LC–MS/MS techniques were applied to determine the blood-responsive regulon of B. pertussis. These analyses revealed that direct contact with blood rewired global gene expression profiles in B. pertussis as the expression of almost 20% of all genes was significantly modulated. However, upon loss of contact with blood, the majority of blood-specific effects vanished, with the exception of several genes encoding the T3SS-secreted substrates. For the first time, the T3SS regulator BtrA was identified in culture supernatants of B. pertussis. Furthermore, proteomic analysis identified BP2259 protein as a novel secreted T3SS substrate, which is required for T3SS functionality. Collectively, presented data indicate that contact with blood represents an important cue for B. pertussis cells.     

Mechanism of Anticancer Action of Novel Imidazole Platinum(II) Complex Conjugated with G2 PAMAM-OH Dendrimer in Breast Cancer Cells

Transition metal coordination compounds play an important role in the treatment of neoplastic diseases. However, due to their low selectivity and bioavailability, as well as the frequently occurring phenomenon of drug resistance, new chemical compounds that could overcome these phenomena are still being sought. The solution seems to be the synthesis of new metal complexes conjugated with drug carriers, e.g., dendrimers. Numerous literature data have shown that dendrimers improve the bioavailability of the obtained metal complexes, solving the problem of their poor solubility and stability in an aqueous environment and also breaking down inborn and acquired drug resistance. Therefore, the aim of this study was to synthesize a novel imidazole platinum(II) complex conjugated with and without the second-generation PAMAM dendrimer (PtMet2–PAMAM and PtMet2, respectively) and to evaluate its antitumor activity. Cell viability studies indicated that PtMet2–PAMAM exhibited higher cytotoxic activity than PtMet2 in MCF-7 and MDA-MB-231 breast cancer cells at relatively low concentrations. Moreover, our results indicated that PtMet2–PAMAM exerted antiproliferative effects in a zebrafish embryo model. Treatment with PtMet2–PAMAM substantially increased apoptosis in a dose-dependent manner via caspase-9 (intrinsic pathway) and caspase-8 (extrinsic pathway) activation along with pro-apoptotic protein expression modulation. Additionally, we showed that apoptosis can be induced by activating POX, which induces ROS production. Furthermore, our results also clearly showed that the tested compounds trigger autophagy through p38 pathway activation and increase Beclin-1, LC3, AMPK, and mTOR inhibition. The high pro-apoptotic activity and the ability to activate autophagy by the imidazole platinum(II) complex conjugated with a dendrimer may be due to its demonstrated ability to reverse multidrug resistance (MDR) and thereby increase cellular accumulation in breast cancer cells.     

The Role of CTLA4 and Its Polymorphisms in Solid Organ and Haematopoietic Stem Cell Transplantation

HLA matching, transplantation technique, or underlying disease greatly influences the probability of long-term transplantation success. It has been hypothesised that genetic variation affecting antigen presentation also contributes to the outcomes of both solid organ transplantation and allogeneic haematopoietic stem cell transplantation (AHSCT). Those genes, along with those responsible for innate and adaptive immunity, have become targets of investigation. In this review, we focus on the role of CTLA4 in the process of acute graft rejection and summarise the progress in our understanding of its role in predicting the outcome. We present the results of the latest studies investigating the link between CTLA4 gene variability and AHSCT, as well as organ transplantation outcomes. While some studies found a link between +49 A/G and −318 C/T and transplantation outcomes, comprehensive meta-analyses have failed to present any association. The most recent field reviews suggest that the −1772 T/C (rs733618) CC genotype is weakly associated with a lower risk of acute graft rejection, while +49 A/G might be clinically meaningful when investigated in the context of combinations with other polymorphisms. Studies verifying associations between 12 CTLA4 gene SNPs and AHSCT outcomes present inexplicit results. Some of the most commonly studied polymorphisms in this context include +49 A/G (rs231775) and CT60 A/G (rs3087243). The results signify that, in order to understand the role of CTLA4 and its gene polymorphisms in transplantology, further studies must be conducted.     

RETRPROV A system that looks for axioms

 In this paper we shall describe a formal system which enables us to prove theorems within propositional calculus, logic of quantifiers and first order theories, including theorems containing programs. Its main feature relies on generating an additional set of assumptions needed to prove a considered formula. Thus we are able to consider expressions which can become theorems by looking for a special set of assumptions (axioms) and then adding it to the standard set of axioms. Using this system the correctness and equivalence of programs can be determined. In the end we present some experimental results. Received 25 February 1993/11 September 1995