Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case

Recent coordination languages and models are moving towards the application of techniques coming from the research context of complex systems: adaptivity and self-organization are exploited in order to tackle the openness, dynamism and unpredictability of today's distributed systems. In this area, systems are to be described using stochastic models, and simulation is a valuable tool both for analysis and design. Accordingly, in this work we focused on modelling and simulating emergent properties of coordination techniques.We first develop a framework acting as a general-purpose engine for simulating stochastic transition systems, built as a library for the Maude term rewriting system. We then evaluate this tool to a coordination problem called collective sort, where autonomous agents move tuples across different tuple spaces according to local criteria, and resulting in the emergence of the complete clustering property.     

On‐Chip Magnetic Platform for Single‐Particle Manipulation with Integrated Electrical Feedback

Methods for the manipulation of single magnetic particles have become very interesting, in particular for in vitro biological studies. Most of these studies require an external microscope to provide the operator with feedback for controlling the particle motion, thus preventing the use of magnetic particles in high‐throughput experiments. In this paper, a simple and compact system with integrated electrical feedback is presented, implementing in the very same device both the manipulation and detection of the transit of single particles. The proposed platform is based on zig‐zag shaped magnetic nanostructures, where transverse magnetic domain walls are pinned at the corners and attract magnetic particles in suspension. By applying suitable external magnetic fields, the domain walls move to the nearest corner, thus causing the step by step displacement of the particles along the nanostructure. The very same structure is also employed for detecting the bead transit. Indeed, the presence of the magnetic particle in suspension over the domain wall affects the depinning field required for its displacement. This characteristic field can be monitored through anisotropic magnetoresistance measurements, thus implementing an integrated electrical feedback of the bead transit. In particular, the individual manipulation and detection of single 1‐μm sized beads is demonstrated.     

High-performance flat-panel solar thermoelectric generators with high thermal concentration

The conversion of sunlight into electricity has been dominated by photovoltaic and solar thermal power generation. Photovoltaic cells are deployed widely, mostly as flat panels, whereas solar thermal electricity generation relying on optical concentrators and mechanical heat engines is only seen in large-scale power plants. Here we demonstrate a promising flat-panel solar thermal to electric power conversion technology based on the Seebeck effect and high thermal concentration, thus enabling wider applications. The developed solar thermoelectric generators (STEGs) achieved a peak efficiency of 4.6% under AM1.5G (1 kW m(-2)) conditions. The efficiency is 7-8 times higher than the previously reported best value for a flat-panel STEG, and is enabled by the use of high-performance nanostructured thermoelectric materials and spectrally-selective solar absorbers in an innovative design that exploits high thermal concentration in an evacuated environment. Our work opens up a promising new approach which has the potential to achieve cost-effective conversion of solar energy into electricity.     

Platelet-Derived miR-126-3p Directly Targets AKT2 and Exerts Anti-Tumor Effects in Breast Cancer Cells: Further Insights in Platelet-Cancer Interplay

Among the surrounding cells influencing tumor biology, platelets are recognized as novel players as they release microvesicles (MVs) that, once delivered to cancer cells, modulate signaling pathways related to cell growth and dissemination. We have previously shown that physiological delivery of platelet MVs enriched in miR-126 exerted anti-tumor effects in different breast cancer (BC) cell lines. Here, we seek further insight by identifying AKT2 kinase as a novel miR-126-3p direct target, as assessed by bioinformatic analysis and validated by luciferase assay. Both ectopic expression and platelet MV-mediated delivery of miR-126-3p downregulated AKT2 expression, thus suppressing proliferating and invading properties, in either triple negative (BT549 cells) or less aggressive Luminal A (MCF-7 cells) BC subtypes. Accordingly, as shown by bioinformatic analysis, both high miR-126 and low AKT2 levels were associated with favorable long-term prognosis in BC patients. Our results, together with the literature data, indicate that miR-126-3p exerts suppressor activity by specifically targeting components of the PIK3/AKT signaling cascade. Therefore, management of platelet-derived MV production and selective delivery of miR-126-3p to tumor cells may represent a useful tool in multimodal therapeutic approaches in BC patients.     

Characterisation of Progressive Skeletal Muscle Fibrosis in the Mdx Mouse Model of Duchenne Muscular Dystrophy: An In Vivo and In Vitro Study

Duchenne muscular dystrophy (DMD) is a rare genetic disease leading to progressive muscle wasting, respiratory failure, and cardiomyopathy. Although muscle fibrosis represents a DMD hallmark, the organisation of the extracellular matrix and the molecular changes in its turnover are still not fully understood. To define the architectural changes over time in muscle fibrosis, we used an mdx mouse model of DMD and analysed collagen and glycosaminoglycans/proteoglycans content in skeletal muscle sections at different time points during disease progression and in comparison with age-matched controls. Collagen significantly increased particularly in the diaphragm, quadriceps, and gastrocnemius in adult mdx, with fibrosis significantly correlating with muscle degeneration. We also analysed collagen turnover pathways underlying fibrosis development in cultured primary quadriceps-derived fibroblasts. Collagen secretion and matrix metalloproteinases (MMPs) remained unaffected in both young and adult mdx compared to wt fibroblasts, whereas collagen cross-linking and tissue inhibitors of MMP (TIMP) expression significantly increased. We conclude that, in the DMD model we used, fibrosis mostly affects diaphragm and quadriceps with a higher collagen cross-linking and inhibition of MMPs that contribute differently to progressive collagen accumulation during fibrotic remodelling. This study offers a comprehensive histological and molecular characterisation of DMD-associated muscle fibrosis; it may thus provide new targets for tailored therapeutic interventions.     

Self-Adaptive Fault Tolerance in Multi-/Many-Core Systems

This paper presents a novel approach to the design of multi-/many-core systems with an adaptive level of reliability. The approach defines a layer at the operating system level that achieves fault detection/tolerance/diagnosis properties by means of thread replication and re-execution mechanisms. The layer applies the most convenient hardening mechanism to achieve the desired trade-off between reliability and performance by adapting at run-time to the changes of the working scenario. The proposed strategy has been applied in a set of experimental sessions considering a real-world parallel application, to evaluate its benefits on the final system with respect to various strategies selected at design time.     

Primary Aldosteronism and Resistant Hypertension: A Pathophysiological Insight

Primary aldosteronism (PA) is a pathological condition characterized by an excessive aldosterone secretion; once thought to be rare, PA is now recognized as the most common cause of secondary hypertension. Its prevalence increases with the severity of hypertension, reaching up to 29.1% in patients with resistant hypertension (RH). Both PA and RH are “high-risk phenotypes”, associated with increased cardiovascular morbidity and mortality compared to non-PA and non-RH patients. Aldosterone excess, as occurs in PA, can contribute to the development of a RH phenotype through several mechanisms. First, inappropriate aldosterone levels with respect to the hydro-electrolytic status of the individual can cause salt retention and volume expansion by inducing sodium and water reabsorption in the kidney. Moreover, a growing body of evidence has highlighted the detrimental consequences of “non-classical” effects of aldosterone in several target tissues. Aldosterone-induced vascular remodeling, sympathetic overactivity, insulin resistance, and adipose tissue dysfunction can further contribute to the worsening of arterial hypertension and to the development of drug-resistance. In addition, the pro-oxidative, pro-fibrotic, and pro-inflammatory effects of aldosterone may aggravate end-organ damage, thereby perpetuating a vicious cycle that eventually leads to a more severe hypertensive phenotype. Finally, neither the pathophysiological mechanisms mediating aldosterone-driven blood pressure rise, nor those mediating aldosterone-driven end-organ damage, are specifically blocked by standard first-line anti-hypertensive drugs, which might further account for the drug-resistant phenotype that frequently characterizes PA patients.     

Focused Design of Novel Cyclic Peptides Endowed with GABARAP-Inhibiting Activity

(1) Background: Disfunctions in autophagy machinery have been identified in various conditions, including neurodegenerative diseases, cancer, and inflammation. Among mammalian autophagy proteins, the Atg8 family member GABARAP has been shown to be greatly involved in the autophagy process of prostate cancer cells, supporting the idea that GABARAP inhibitors could be valuable tools to fight the progression of tumors. (2) Methods: In this paper, starting from the X-ray crystal structure of GABARAP in a complex with an AnkirinB-LIR domain, we identify two new peptides by applying in silico drug design techniques. The two ligands are synthesized, biophysically assayed, and biologically evaluated to ascertain their potential anticancer profile. (3) Results: Two cyclic peptides (WC8 and WC10) displayed promising biological activity, high conformational stability (due to the presence of disulfide bridges), and K_d values in the low micromolar range. The anticancer assays, performed on PC-3 cells, proved that both peptides exhibit antiproliferative effects comparable to those of peptide K1, a known GABARAP inhibitor. (4) Conclusions: WC8 and WC10 can be considered new GABARAP inhibitors to be employed as pharmacological tools or even templates for the rational design of new small molecules.