Non-Standard Semantics for Program Slicing

In this paper we generalize the notion of compositional semantics to cope with transfinite reductions of a transition system. Standard denotational and predicate transformer semantics, even though compositional, provide inadequate models for some known program manipulation techniques. We are interested in the systematic design of extended compositional semantics, observing possible transfinite computations, i.e. computations that may occur after a given number of infinite loops. This generalization is necessary to deal with program manipulation techniques modifying the termination status of programs, such as program slicing. We include the transfinite generalization of semantics in the hierarchy developed in 1997 by P. Cousot, where semantics at different levels of abstraction are related with each other by abstract interpretation. We prove that a specular hierarchy of non-standard semantics modeling transfinite computations of programs can be specifiedin such a way that the standard hierarchy can be derived by abstract interpretation. We prove that non-standard transfinite denotational and predicate transformer semantics can be both systematically derived as solutions of simple abstract domain equations involving the basic operation of reduced power of abstract domains. This allows us to prove the optimality of these semantics, i.e. they are the most abstract semantics in the hierarchy which are compositional and observe respectively the terminating and initial states of transfinite computations, providing an adequate mathematical model for program manipulation.     

Proteins as biomarkers of oxidative/nitrosative stress in diseases: the contribution of redox proteomics

Reactive oxygen species (ROS) and reactive nitrogen species (RNS) contribute to the pathogenesis and/or progression of several human diseases. Proteins are important molecular signposts of oxidative/nitrosative damage. However, it is generally unresolved whether the presence of oxidatively/nitrosatively modified proteins has a causal role or simply reflects secondary epiphenomena. Only direct identification and characterization of the modified protein(s) in a given pathophysiological condition can decipher the potential roles played by ROS/RNS-induced protein modifications. During the last few years, mass spectrometry (MS)-based technologies have contributed in a significant way to foster a better understanding of disease processes. The study of oxidative/nitrosative modifications, investigated by redox proteomics, is contributing to establish a relationship between pathological hallmarks of disease and protein structural and functional abnormalities. MS-based technologies promise a contribution in a new era of molecular medicine, especially in the discovery of diagnostic biomarkers of oxidative/nitrosative stress, enabling early detection of diseases. Indeed, identification and characterization of oxidatively/nitrosatively modified proteins in human diseases has just begun.     

Hereditary Prostate Cancer: Genes Related,Target Therapy and Prevention

Prostate cancer (PCa) is globally the second most diagnosed cancer type and the most common cause of cancer-related deaths in men. Family history of PCa, hereditary breast and ovarian cancer (HBOC) and Lynch syndromes (LS), are among the most important risk factors compared to age, race, ethnicity and environmental factors for PCa development. Hereditary prostate cancer (HPCa) has the highest heritability of any major cancer in men. The proportion of PCa attributable to hereditary factors has been estimated in the range of 5–15%. To date, the genes more consistently associated to HPCa susceptibility include mismatch repair (MMR) genes (MLH1, MSH2, MSH6, and PMS2) and homologous recombination genes (BRCA1/2, ATM, PALB2, CHEK2). Additional genes are also recommended to be integrated into specific research, including HOXB13, BRP1 and NSB1. Importantly, BRCA1/BRCA2 and ATM mutated patients potentially benefit from Poly (ADP-ribose) polymerase PARP inhibitors, through a mechanism of synthetic lethality, causing selective tumor cell cytotoxicity in cell lines. Moreover, the detection of germline alterations in MMR genes has therapeutic implications, as it may help to predict immunotherapy benefits. Here, we discuss the current knowledge of the genetic basis for inherited predisposition to PCa, the potential target therapy, and the role of active surveillance as a management strategy for patients with low-risk PCa. Finally, the current PCa guideline recommendations are reviewed.     

Relaxation Pathways in Metallic Glasses

At temperatures below the glass transition temperature, physical properties of metallic glasses, such as density, viscosity, electrical resistivity or enthalpy, slowly evolve with time. This is the process of physical aging that occurs among all types of glasses and leads to structural changes at the microscopic level. Even though the relaxation pathways are ruled by thermodynamics as the glass attempts to re-attain thermodynamic equilibrium, they are steered by sluggish kinetics at the microscopic level. Understanding the structural and dynamic pathways of the relaxing glassy state is still one of the grand challenges in materials physics. We review some of the recent experimental advances made in understanding the nature of the relaxation phenomenon in metallic glasses and its implications to the macroscopic and microscopic properties changes of the relaxing glass.     

The Role of Exosomal Epigenetic Modifiers in Cell Communication and Fertility of Dairy Cows

Abnormal uterine function affects conception rate and embryo development, thereby leading to poor fertility and reproduction failure. Exosomes are a nanosized subclass of extracellular vesicles (EV) that have important functions as intercellular communicators. They contain and carry transferable bioactive substances including micro RNA (miRNA) for target cells. Elements of the cargo can provide epigenetic modifications of the recipient cells and may have crucial roles in mechanisms of reproduction. The dairy industry accounts for a substantial portion of the economy of many agricultural countries. Exosomes can enhance the expression of inflammatory mediators in the endometrium, which contribute to various inflammatory diseases in transition dairy cows. This results in reduced fertility which leads to reduced milk production and increased cow maintenance costs. Thus, gaining a clear knowledge of exosomal epigenetic modifiers is critical to improving the breeding success and profitability of dairy farms. This review provides a brief overview of how exosomal miRNA contributes to inflammatory diseases and hence to poor fertility, particularly in dairy cows.     

Nucleation and Crystallization of New Glasses from Fly Ash Originating from Thermal Power Plants

The nucleation and crystallization kinetics of new glasses obtained by melting mixtures of a Spanish carbon fly ash with glass cullet and dolomite slag at 1500°C has been evaluated by a calculation method. These glasses, whose microstructure was examined by TEM carbon replica, were susceptible to controlled crystallization in the 800°–1100°C range. The resulting glass-ceramics developed acicular and branched wollastonite crystals or a network of dendritic pyroxene mixed with anorthite feldspar (SEM and EDX analysis). The time–temperature–transformation curves (processing of the XRD data) showed the crystallization kinetics and the critical cooling rate to be in the 12°–42°C/min range.     

Self‐welding 1‐butene/ethylene copolymers from metallocene catalysts: Structure,morphology, and mechanical properties

Samples of random copolymers consisting of 1‐butene modified with a low ethylene content (4, 5, 8% by weight) produced with metallocene catalysts were studied to elucidate the polymorphic behavior of this new class of materials and to characterize them from a structural, morphological, and mechanical point of view. The samples cooled down from the melt are in amorphous phase and crystallize in a mixture of form I and I′ or in pure form I′ with aging time, according to the C2 content. Infrared and nuclear magnetic resonance spectroscopy, X‐ray diffraction and microscopic techniques were used to follow the changes of the material with aging time and to correlate the structural and morphological behavior with the peculiar mechanical properties that differentiate the samples with increasing C2 content. The presence, in the aged samples with higher C2 content, of the pure form I′ induces the peculiar ability to self‐welding and these copolymers combine high flexibility with good elasticity and ductility and can be processed directly or used as modifying agents in polymers. © 2013 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2014 , 131, 40119.     

The Somma–Vesuvius complex and the Phlaegrean Fields caldera: New chronological data of several eruptions of the Copper–Middle Bronze Age period

Radiocarbon dating of short-lived sample materials is a useful tool applied to date deposits of volcanic eruptions. Several archaeological sites discovered and excavated in Campania witnessed important volcanic eruptions, which occurred in the Copper and Middle Bronze Ages. These eruptions come from the Somma–Vesuvius complex and the Phlaegrean Fields caldera. At least four Plinian eruptions have been identified in the eruptive history of Somma–Vesuvius, interspersed by interplinian events, called protohistoric, which occurred between Avellino and Pompeii. At S. Paolo Belsito a stratigraphic sequence below Avellino and above the first two protohistoric events after Avellino were highlighted; while Nola (Naples) gives new information on the chronology of Avellino. Sites like Caivano and Gricignano D’Aversa, involved by the Agnano 3, Paleoastroni 2 and Agnano Monte Spina eruptions were highlighted and investigated. In this work, we want to clarify the chronology of some eruptions by comparing our results with previous data. Charcoal, bone and seed samples were collected, treated and measured at the CIRCE laboratory in Caserta.     

Blood Thiol Redox State in Chronic Kidney Disease

Thiols (sulfhydryl groups) are effective antioxidants that can preserve the correct structure of proteins, and can protect cells and tissues from damage induced by oxidative stress. Abnormal levels of thiols have been measured in the blood of patients with moderate-to-severe chronic kidney disease (CKD) compared to healthy subjects, as well as in end-stage renal disease (ESRD) patients on haemodialysis or peritoneal dialysis. The levels of protein thiols (a measure of the endogenous antioxidant capacity inversely related to protein oxidation) and S-thiolated proteins (mixed disulphides of protein thiols and low molecular mass thiols), and the protein thiolation index (the molar ratio of the S-thiolated proteins to free protein thiols in plasma) have been investigated in the plasma or red blood cells of CKD and ESRD patients as possible biomarkers of oxidative stress. This type of minimally invasive analysis provides valuable information on the redox status of the less-easily accessible tissues and organs, and of the whole organism. This review provides an overview of reversible modifications in protein thiols in the setting of CKD and renal replacement therapy. The evidence suggests that protein thiols, S-thiolated proteins, and the protein thiolation index are promising biomarkers of reversible oxidative stress that could be included in the routine monitoring of CKD and ESRD patients.