Automatic verification of concurrent stochastic systems

Formal Methods in System Design - Automated verification techniques for stochastic games allow formal reasoning about systems that feature competitive or collaborative behaviour among rational...     

Loss of entanglement density during crazing

The formation of fibril surface area during craze growth requires a loss of entangled strand density in the fibrils themselves. To demonstrate the decrease in entangled chain density, thin films of polystyrene are bonded to soft copper grids and strained in tension. This procedure produces crazed specimens in which the craze fibrils can be characterized by a well-defined draw ratio, ₀. The films are then exposed to electron irradiation. This produces chemical crosslinks between the molecules, thus forming a crosslinked network. Subsequent heating of the film aboveT _g results in the entanglement network trying to retract to=1. The crosslink network, however, tries to maintain the. of the craze fibrils at ₀. The craze fibrils thus retract to Ferry's state of ease, _S, where the tension of the entanglement network is balanced by the compression of the crosslink network. Measurements of _s in crazes crosslinked and then healed confirm that a 25 to 50% loss of entanglement density in craze fibrils occurs, in agreement with theoretical predictions.     

Microdeformation in partially compatible blends of poly(styrene-acrylonitrile) and polycarbonate

Dilute 3-component 1-phase solutions in methylene chloride of poly(styrene-acrylonitrile) PSAN and polycarbonate PC are used to cast phase separated thin films. Films of pure PSAN, pure PC and five intermediate compositions are examined. The films are bonded to copper grids and strained at a constant rate of 4.1 × 10^–6sec^–1. The median tensile strain _v for void formation is determined using an optical microscope and the regions surrounding the voids are examined by TEM. At room temperature and slow strain rates both PSAN and PC plastically deform by shear yielding. For pure PSAN _v was found to be 0.13 whereas for PC _v exceeds 0.23. The addition of the more ductile polymer PC to PSAN at weight fractionsx forx 0.4 decreases _v. In this case voids form in crazes at the boundaries between the PC-rich inclusion and the PSAN-rich matrix. When the PC content is increased tox = 0.8, _v approaches 0.23. The effect of physical ageing (annealing belowT _g the glass transition temperature) on the mode of plastic deformation was also examined over the same compositional range. Physical ageing was found to suppress shear deformation and favour crazing in PSAN and PSAN-rich phases. Because crazes are more susceptible to breakdown than DZ's (shear deformation zones), physical ageing results in a marked decrease in _v. The breakdown statistics of these phase separated partially compatible blends was found to follow a Weibull distribution in strain from which two parameters may be extracted: the Weibull modulus and _w the Weibull scale parameter. is a measure of the breadth of distribution of void initiation and _w is a measure of the median strain to void formation in the films. The behaviour of _w was found to approximately mirror _v. The Weibull modulus appears to be primarily controlled by the matrix phase.     

The Chick Chorioallantoic Membrane Model: A New In Vivo Tool to Evaluate Breast Cancer Stem Cell Activity

The high plasticity of cancer stem-like cells (CSCs) allows them to differentiate and proliferate, specifically when xenotransplanted subcutaneously into immunocompromised mice. CSCs are highly tumorigenic, even when inoculated in small numbers. Thus, in vivo limiting dilution assays (LDA) in mice are the current gold standard method to evaluate CSC enrichment and activity. The chick embryo chorioallantoic membrane (CAM) is a low cost, naturally immune-incompetent and reproducible model widely used to evaluate the spontaneous growth of human tumor cells. Here, we established a CAM-LDA assay able to rapidly reproduce tumor specificities—in particular, the ability of the small population of CSCs to form tumors. We used a panel of organotropic metastatic breast cancer cells, which show an enrichment in a stem cell gene signature, enhanced CD44⁺/CD24^−/low cell surface expression and increased mammosphere-forming efficiency (MFE). The size of CAM-xenografted tumors correlate with the number of inoculated cancer cells, following mice xenograft growth pattern. CAM and mice tumors are histologically comparable, displaying both breast CSC markers CD44 and CD49f. Therefore, we propose a new tool for studying CSC prevalence and function—the chick CAM-LDA—a model with easy handling, accessibility, rapid growth and the absence of ethical and regulatory constraints.     

Microstructured Lipid Carriers (MLC) Based on N-Acetylcysteine and Chitosan Preventing Pseudomonas aeruginosa Biofilm

The aim of this work was the development of microstructured lipid carriers (MLC) based on chitosan (CH) and containing N-acetylcysteine (NAC), a mucolytic and antioxidant agent, to inhibit the formation of Pseudomonas aeruginosa biofilm. MLC were prepared using the high shear homogenization technique. The MLC were characterized for morphology, particle size, Z potential, encapsulation efficiency and drug release. The antioxidant properties of NAC-loaded microstructured carriers were evaluated through an in vitro spectrophotometer assay. Finally, the activity of NAC-CH-MLC on biofilm production by Pseudomonas aeruginosa was also evaluated. Results obtained from this study highlighted that the use of chitosan into the inner aqueous phase permitted to obtain microstructured particles with a narrow size range and with good encapsulation efficiency. NAC-loaded MLC showed higher antioxidant activity than the free molecule, demonstrating how encapsulation increases the antioxidant effect of the molecule. Furthermore, the reduction of biofilm growth resulted extremely high with MLC being 64.74% ± 6.2% and 83.74% ± 9.95%, respectively, at 0.5 mg/mL and 2 mg/mL. In conclusion, this work represents a favorable technological strategy against diseases in which bacterial biofilm is relevant, such as cystic fibrosis.     

Target Score—A Proteomics Data Selection Tool Applied to Esophageal Cancer Identifies GLUT1-Sialyl Tn Glycoforms as Biomarkers of Cancer Aggressiveness

Esophageal cancer (EC) is a life-threatening disease, demanding the discovery of new biomarkers and molecular targets for precision oncology. Aberrantly glycosylated proteins hold tremendous potential towards this objective. In the current study, a series of esophageal squamous cell carcinomas (ESCC) and EC-derived circulating tumor cells (CTCs) were screened by immunoassays for the sialyl-Tn (STn) antigen, a glycan rarely expressed in healthy tissues and widely observed in aggressive gastrointestinal cancers. An ESCC cell model was glycoengineered to express STn and characterized in relation to cell proliferation and invasion in vitro. STn was found to be widely present in ESCC (70% of tumors) and in CTCs in 20% of patients, being associated with general recurrence and reduced survival. Furthermore, STn expression in ESCC cells increased invasion in vitro, while reducing cancer cells proliferation. In parallel, an ESCC mass spectrometry-based proteomics dataset, obtained from the PRIDE database, was comprehensively interrogated for abnormally glycosylated proteins. Data integration with the Target Score, an algorithm developed in-house, pinpointed the glucose transporter type 1 (GLUT1) as a biomarker of poor prognosis. GLUT1-STn glycoproteoforms were latter identified in tumor tissues in patients facing worst prognosis. Furthermore, healthy human tissues analysis suggested that STn glycosylation provided cancer specificity to GLUT1. In conclusion, STn is a biomarker of worst prognosis in EC and GLUT1-STn glycoforms may be used to increase its specificity on the stratification and targeting of aggressive ESCC forms.     

Effect of Aminated Chitosan-Coated Fe3O4 Nanoparticles with Applicational Potential in Nanomedicine on DPPG,DSPC, and POPC Langmuir Monolayers as Cell Membrane Models

An adsorption process of magnetite nanoparticles functionalized with aminated chitosan (Fe₃O₄-AChit) showing application potential in nanomedicine into cell membrane models was studied. The cell membrane models were formed using a Langmuir technique from three selected phospholipids with different polar head-groups as well as length and carbon saturation of alkyl chains. The research presented in this work reveals the existence of membrane model composition-dependent regulation of phospholipid-nanoparticle interactions. The influence of the positively charged Fe₃O₄-AChit nanoparticles on a Langmuir film stability, phase state, and textures is much greater in the case of these formed by negatively charged 1,2-dipalmitoyl-sn-glycero-3-phospho-rac-(1-glycerol) (DPPG) than those created by zwitterionic 1,2-distearoyl-sn-glycero-3-phosphocholine (DSPC) and 2-oleoyl-1-palmitoyl-sn-glycero-3-phosphocholine (POPC). The adsorption kinetics recorded during penetration experiments show that this effect is caused by the strongest adsorption of the investigated nanoparticles into the DPPG monolayer driven very likely by the electrostatic attraction. The differences in the adsorption strength of the Fe₃O₄-AChit nanoparticles into the Langmuir films formed by the phosphatidylcholines were also observed. The nanoparticles adsorbed more easily into more loosely packed POPC monolayer.     

P16 and HPV Genotype Significance in HPV-Associated Cervical Cancer—A Large Cohort of Two Tertiary Referral Centers

The expression of p16 is a good surrogate of human papillomavirus (HPV) infection in HPV-associated cancers. The significance of p16 expression, HPV genotype and genera in the outcome of patients with HPV-associated cervical cancer (CC) is unclear. Our aim is to ascertain the prognostic significance of these factors. Data from 348 patients (median age: 47.5 years old) with CC, diagnosed in two referral centers, were retrospectively collected. Advanced disease (FIGO2018 IB2-IV) was present in 68% of patients. A single HPV genotype was identified in 82.8% of patients. The most common HPVs were HPV16 (69%) and HPV18 (14%). HPV genera reflected this distribution. HPV16 tumors presented at an earlier stage. P16 was negative in 18 cases (5.2%), 83.3% of which were squamous cell carcinomas. These cases occurred in older patients who tended to have advanced disease. In the univariate analysis, HPV16 (HR: 0.58; p = 0.0198), α-9 genera (HR: 0.37; p = 0.0106) and p16 overexpression (HR: 0.54; p = 0.032) were associated with better survival. HPV16 (HR: 0.63; p = 0.0174) and α-9 genera (HR: 0.57; p = 0.0286) were associated with less relapse. In the multivariate analysis, only the International Federation of Gynecology and Obstetrics (FIGO) stage retained an independent prognostic value. HPV16, α-9 genera and p16 overexpression were associated with better survival, although not as independent prognostic factors. Patients with p16-negative HPV-associated CC were older, presented with advanced disease and had worse prognosis.     

Oxytocin Signaling as a Target to Block Social Defeat-Induced Increases in Drug Abuse Reward

There is huge scientific interest in the neuropeptide oxytocin (OXT) due to its putative capacity to modulate a wide spectrum of physiological and cognitive processes including motivation, learning, emotion, and the stress response. The present review seeks to increase the understanding of the role of OXT in an individual’s vulnerability or resilience with regard to developing a substance use disorder. It places specific attention on the role of social stress as a risk factor of addiction, and explores the hypothesis that OXT constitutes a homeostatic response to stress that buffers against its negative impact. For this purpose, the review summarizes preclinical and clinical literature regarding the effects of OXT in different stages of the addiction cycle. The current literature affirms that a well-functioning oxytocinergic system has protective effects such as the modulation of the initial response to drugs of abuse, the attenuation of the development of dependence, the blunting of drug reinstatement and a general anti-stress effect. However, this system is dysregulated if there is continuous drug use or chronic exposure to stress. In this context, OXT is emerging as a promising pharmacotherapy to restore its natural beneficial effects in the organism and to help rebalance the functions of the addicted brain.     

Interplay between Humoral and CLA+ T Cell Response against Candida albicans in Psoriasis

Candida albicans (CA) infections have been associated with psoriasis onset or disease flares. However, the integrated immune response against this fungus is still poorly characterized in psoriasis. We studied specific immunoglobulins in plasma and the CA response in cocultures of circulating memory CD45RA⁻ cutaneous lymphocyte antigen (CLA)^+/− T cell with autologous epidermal cells from plaque and guttate psoriasis patients (cohort 1, n = 52), and also healthy individuals (n = 17). A complete proteomic profile was also evaluated in plaque psoriasis patients (cohort 2, n = 114) regarding their anti-CA IgA levels. Increased anti-CA IgA and IgG levels are present in the plasma from plaque but not guttate psoriasis compared to healthy controls. CA cellular response is confined to CLA⁺ T cells and is primarily Th17. The levels of anti-CA IgA are directly associated with CLA⁺ Th17 response in plaque psoriasis. Proteomic analysis revealed distinct profiles in psoriasis patients with high anti-CA IgA. C-C motif chemokine ligand 18, chitinase-3-like protein 1 and azurocidin were significantly elevated in the plasma from plaque psoriasis patients with high anti-CA levels and severe disease. Our results indicate a mechanism by which Candida albicans exposure can trigger a clinically relevant IL-17 response in psoriasis. Assessing anti-CA IgA levels may be useful in order to evaluate chronic psoriasis patients.