Detecting component changes at run time with behavior models

Modern software systems are composed of several services which may be developed and maintained by third parties and thus they can change independently and without notice during the system’s runtime execution. In such systems, changes may possibly be a threat to system functional correctness, and thus to its reliability. Hence, it is important to detect them as soon as they happen to enable proper reaction. Change detection can be done by monitoring system execution and comparing the observed execution traces against models of the services composing the application. Unfortunately, formal specifications for services are not usually provided and developers have to infer them. In this paper we propose a methodology which exactly addresses these issues by using software behavior models to monitor component execution and detect changes. In particular, we describe a technique to infer behavior model specifications with a dynamic black box approach, keep them up-to-date with run time observations and detect behavior changes. Finally, we present a case study to validate the effectiveness of the approach in component change detection for a component that implements a complex, real communication protocol.     

Ionic liquids for CO2 electrochemical reduction

Electrochemical reduction of CO₂ is a novel research field towards a CO₂-neutral global economy and combating fast accelerating and disastrous climate changes while finding new solutions to store renewable energy in value-added chemicals and fuels. Ionic liquids (ILs), as medium and catalysts (or supporting part of catalysts) have been given wide attention in the electrochemical CO₂ reduction reaction (CO₂RR) due to their unique advantages in lowering overpotential and improving the product selectivity, as well as their designable and tunable properties. In this review, we have summarized the recent progress of CO₂ electro-reduction in IL-based electrolytes to produce higher-value chemicals. We then have highlighted the unique enhancing effect of ILs on CO₂RR as templates, precursors, and surface functional moieties of electrocatalytic materials. Finally, computational chemistry tools utilized to understand how the ILs facilitate the CO₂RR or to propose the reaction mechanisms, generated intermediates and products have been discussed.     

B-ISDN economical evaluation in metropolitan areas

The economical estimation of B-ISDN development in metropolitan areas, with particular reference to the application of the asynchronous transfer mode (ATM) techniques is addressed. The results achieved by applying models and methods developed in the framework of RACE 1044-EPF Case Study E (Evolution Prospects for Metropolitan Public Networks) to an urban area of 2 million inhabitants. Equipment volumes are estimated as a function of different demand scenarios, equipment evolution, and network performances. Economical figures that verify the cost-effectiveness of alternative developments and the viability of alternative introduction policies of B-ISDN are derived. The economical impact of fulfilling service integrity requirements of specific demand segments is evaluated. Usable planning guidelines and evolutionary strategies as regards network architecture, system introduction, and growth policies are defined     

Effect of the colony-stimulating factor-1 null mutation, osteopetrotic (csfm(op)), on the distribution of macrophages in the male mouse reproductive tract

Macrophages are found throughout the male reproductive tract and its accessory glands. Mice homozygous for a null mutation (csfm(op)) in the gene for the mononuclear phagocytic growth factor colony-stimulating factor-1 (CSF-1) have a significantly lower density of macrophages, defined by the mononuclear phagocytic antigen F4/80, in the testis, cauda and caput epididymis, prostate, seminal vesicles, and vas deferens. These data indicate that CSF-1 is the major growth factor regulating the occurrence of macrophages in male reproductive tissues. The residual macrophages were correctly located in the tissue except in the caput epididymis, where they failed to take up positions adjacent to the tubular epithelium. Restoration of circulating CSF-1 concentrations in csfm(op)/csfm(op) males totally restored F4/80+ cell density in the testis and caput and cauda epididymis and partially restored their density in the vas deferens and seminal vesicles but failed to affect density in the prostate. This failure to correct all populations with circulating CSF-1 suggests the requirement for local synthesis of CSF-1 at appropriate developmental stages and/or its expression in a cell surface-associated form. The absence of macrophages in the testis and epididymis of csfm(op)/csfm(op) mice correlates with dysfunction in these tissues, suggesting that macrophages play important nonimmunological roles in these tissues.     

The Hedgehog-GLI Pathway Regulates MEK5-ERK5 Expression and Activation in Melanoma Cells

Malignant melanoma is the deadliest skin cancer, with a poor prognosis in advanced stages. We recently showed that the extracellular signal-regulated kinase 5 (ERK5), encoded by the MAPK7 gene, plays a pivotal role in melanoma by regulating cell functions necessary for tumour development, such as proliferation. Hedgehog-GLI signalling is constitutively active in melanoma and is required for proliferation. However, no data are available in literature about a possible interplay between Hedgehog-GLI and ERK5 pathways. Here, we show that hyperactivation of the Hedgehog-GLI pathway by genetic inhibition of the negative regulator Patched 1 increases the amount of ERK5 mRNA and protein. Chromatin immunoprecipitation showed that GLI1, the major downstream effector of Hedgehog-GLI signalling, binds to a functional non-canonical GLI consensus sequence at the MAPK7 promoter. Furthermore, we found that ERK5 is required for Hedgehog-GLI-dependent melanoma cell proliferation, and that the combination of GLI and ERK5 inhibitors is more effective than single treatments in reducing cell viability and colony formation ability in melanoma cells. Together, these findings led to the identification of a novel Hedgehog-GLI-ERK5 axis that regulates melanoma cell growth, and shed light on new functions of ERK5, paving the way for new therapeutic options in melanoma and other neoplasms with active Hedgehog-GLI and ERK5 pathways.     

Spectroscopic and In Silico Studies on the Interaction of Substituted Pyrazolo[1,2-a]benzo[1,2,3,4]tetrazine-3-one Derivatives with c-Myc G4-DNA

Herein we describe a combined experimental and in silico study of the interaction of a series of pyrazolo[1,2-a]benzo[1,2,3,4]tetrazin-3-one derivatives (PBTs) with parallel G-quadruplex (GQ) DNA aimed at correlating their previously reported anticancer activities and the stabilizing effects observed by us on c-myc oncogene promoter GQ structure. Circular dichroism (CD) melting experiments were performed to characterize the effect of the studied PBTs on the GQ thermal stability. CD measurements indicate that two out of the eight compounds under investigation induced a slight stabilizing effect (2–4 °C) on GQ depending on the nature and position of the substituents. Molecular docking results allowed us to verify the modes of interaction of the ligands with the GQ and estimate the binding affinities. The highest binding affinity was observed for ligands with the experimental melting temperatures (T_ms). However, both stabilizing and destabilizing ligands showed similar scores, whilst Molecular Dynamics (MD) simulations, performed across a wide range of temperatures on the GQ in water solution, either unliganded or complexed with two model PBT ligands with the opposite effect on the T_ms, consistently confirmed their stabilizing or destabilizing ability ascertained by CD. Clues about a relation between the reported anticancer activity of some PBTs and their ability to stabilize the GQ structure of c-myc emerged from our study. Furthermore, Molecular Dynamics simulations at high temperatures are herein proposed for the first time as a means to verify the stabilizing or destabilizing effect of ligands on the GQ, also disclosing predictive potential in GQ-targeting drug discovery.     

Measurement of instantaneous losses in switching power devices

A novel technique is proposed for measuring instantaneous power and energy losses in static switching devices during the different operating intervals (turn-on delay, rise time, on-state, turn-off delay, full time, and off-state) of a switching cycle. To this end, a system for measuring voltages and currents is used, based on sampling at 200 Ms/s for data acquisition. The data are then transferred to a personal computer (PC), where they are conditioned and processed to obtain the instantaneous values and the average values of power losses for any desired duty cycle or single impulse. It is concluded that the high-speed digital acquisitions of voltage and current data along with the possibility of automatically processing on a PC allows the calculation of the losses during the fast switching transients with a greater degree of accuracy and detail than that afforded by classical techniques     

Modeling Parkinson’s Disease Neuropathology and Symptoms by Intranigral Inoculation of Preformed Human α-Synuclein Oligomers

The accumulation of aggregated α-synuclein (αSyn) is a hallmark of Parkinson’s disease (PD). Current evidence indicates that small soluble αSyn oligomers (αSynOs) are the most toxic species among the forms of αSyn aggregates, and that size and topological structural properties are crucial factors for αSynOs-mediated toxicity, involving the interaction with either neurons or glial cells. We previously characterized a human αSynO (H-αSynO) with specific structural properties promoting toxicity against neuronal membranes. Here, we tested the neurotoxic potential of these H-αSynOs in vivo, in relation to the neuropathological and symptomatic features of PD. The H-αSynOs were unilaterally infused into the rat substantia nigra pars compacta (SNpc). Phosphorylated αSyn (p129-αSyn), reactive microglia, and cytokine levels were measured at progressive time points. Additionally, a phagocytosis assay in vitro was performed after microglia pre-exposure to αsynOs. Dopaminergic loss, motor, and cognitive performances were assessed. H-αSynOs triggered p129-αSyn deposition in SNpc neurons and microglia and spread to the striatum. Early and persistent neuroinflammatory responses were induced in the SNpc. In vitro, H-αSynOs inhibited the phagocytic function of microglia. H-αsynOs-infused rats displayed early mitochondrial loss and abnormalities in SNpc neurons, followed by a gradual nigrostriatal dopaminergic loss, associated with motor and cognitive impairment. The intracerebral inoculation of structurally characterized H-αSynOs provides a model of progressive PD neuropathology in rats, which will be helpful for testing neuroprotective therapies.     

An Environmentally Sustainable Mechanochemical Route to Hydroxamic Acid Derivatives

An operationally simple, and cost efficient conversion of carboxylic acids into hydroxamic acid derivatives via a high‐energy mechanochemical activation is presented. This ball milling methodology was applied to a wide variety of carboxylic acids dramatically improving purification issues associated with this class of molecules, which still remain one of the main bottlenecks of classical methodologies.