A technique for recursive invariance detection and selective program specialization

This paper presents a technique for achieving a class of optimizations related to the reduction of checks within cycles. The technique uses both Program Transformation and Abstract Interpretation. After a ñrst pass of an abstract interpreter which detects simple invariants, program transformation is used to build a hypothetical situation that simpliñes some predicates that should be executed within the cycle. This transformation implements the heuristic hypothesis that once conditional tests hold they may continué doing so recursively. Specialized versions of predicates are generated to detect and exploit those cases in which the invariance may hold. Abstract interpretation is then used again to verify the truth of such hypotheses and conñrm the proposed simpliñcation. This allows optimizations that go beyond those possible with only one pass of the abstract interpreter over the original program, as is normally the case. It also allows selective program specialization using a standard abstract interpreter not speciñcally designed for this purpose, thus simplifying the design of this already complex module of the compiler. In the paper, a class of programs amenable to such optimization is presented, along with some examples and an evaluation of the proposed techniques in some application áreas such as floundering detection and reducing run-time tests in automatic logic program parallelization. The analysis of the examples presented has been performed automatically by an implementation of the technique using existing abstract interpretation and program transformation tools

Understanding peace through the world news

Peace is a principal dimension of well-being and is the way out of inequity and violence. Thus, its measurement has drawn the attention of researchers, policymakers, and peacekeepers. During the last years, novel digital data streams have drastically changed the research in this field. The current study exploits information extracted from a new digital database called Global Data on Events, Location, and Tone (GDELT) to capture peace through the Global Peace Index (GPI). Applying predictive machine learning models, we demonstrate that news media attention from GDELT can be used as a proxy for measuring GPI at a monthly level. Additionally, we use explainable AI techniques to obtain the most important variables that drive the predictions. This analysis highlights each country’s profile and provides explanations for the predictions, and particularly for the errors and the events that drive these errors. We believe that digital data exploited by researchers, policymakers, and peacekeepers, with data science tools as powerful as machine learning, could contribute to maximizing the societal benefits and minimizing the risks to peace.Peace is a principal dimension of well-being and is the way out of inequity and violence. Thus, its measurement has drawn the attention of researchers, policymakers, and peacekeepers. During the last years, novel digital data streams have drastically changed the research in this field. The current study exploits information extracted from a new digital database called Global Data on Events, Location, and Tone (GDELT) to capture peace through the Global Peace Index (GPI). Applying predictive machine learning models, we demonstrate that news media attention from GDELT can be used as a proxy for measuring GPI at a monthly level. Additionally, we use explainable AI techniques to obtain the most important variables that drive the predictions. This analysis highlights each country’s profile and provides explanations for the predictions, and particularly for the errors and the events that drive these errors. We believe that digital data exploited by researchers, policymakers, and peacekeepers, with data science tools as powerful as machine learning, could contribute to maximizing the societal benefits and minimizing the risks to peace

A Note on the Cosmic Evolution of the Axion in a Strong Magnetic Field

It has been pointed out in the literature that in the presence of an external magnetic field the axion mass receives an electromagnetic contribution. We show that if a magnetic field with energy density larger than ~10^{-8} times the energy density of the Universe existed at temperatures of a few GeV, that contribution would be dominant and consequently the cosmic evolution of the axion field would change substantially. In particular, the expected axion relic abundance would be lowered, allowing a small relaxation of the present cosmological bound on the Peccei-Quinn constant.Comment: 2 pages, no figures. Minor changes. References added. Accepted for publication in JCA

Quercetin Reduces Lipid Accumulation in a Cell Model of NAFLD by Inhibiting De Novo Fatty Acid Synthesis through the Acetyl‐CoA Carboxylase 1/AMPK/PP2A Axis

none6noDysregulation of de novo lipogenesis (DNL) has recently gained strong attention as being one of the critical factors that contribute to the assessment of non‐alcoholic fatty liver disease (NAFLD). NAFLD is often diagnosed in patients with dyslipidemias and type 2 diabetes; thus, an interesting correlation can be deduced between high hematic free fatty acids and glucose excess in the DNL dysregulation. In the present study, we report that, in a cellular model of NAFLD, the coexistence of elevated glucose and FFA conditions caused the highest cellular lipid accumulation. Deepening the molecular mechanisms of the DNL dysregulation—RT‐qPCR and immunoblot analysis demonstrated increased expression of mitochondrial citrate carrier (CiC), cytosolic acetyl‐ CoA carboxylase 1 (ACACA), and diacylglycerol acyltransferase 2 (DGAT2) involved in fatty acids and triglycerides synthesis, respectively. XBP‐1, an endoplasmic reticulum stress marker, and SREBP‐1 were the transcription factors connected to the DNL activation. Quercetin (Que), a flavonoid with strong antioxidant properties, and noticeably reduced the lipid accumulation and the expression of SREBP‐1 and XBP‐1, as well as of their lipogenic gene targets in steatotic cells. The anti‐lipogenic action of Que mainly occurs through a strong phosphorylation of ACACA, which catalyzes the committing step in the DNL pathway. The high level of ACACA phosphorylation in Que‐treated cells was explained by the intervention of AMPK together with the reduction of enzymatic activity of PP2A phosphatase. Overall, our findings highlight a direct anti‐lipogenic effect of Que exerted through inhibition of the DNL pathway by acting on ACACA/AMPK/PP2A axis; thus, suggesting this flavonoid as a promising molecule for the NAFLD treatment.openGnoni A.; Di Chiara Stanca B.; Giannotti L.; Gnoni G.V.; Siculella L.; Damiano F.Gnoni, A.; Di Chiara Stanca, B.; Giannotti, L.; Gnoni, G. V.; Siculella, L.; Damiano, F

Underdiagnosis of osteoporotic vertebral fractures in patients with fragility fractures: retrospective analysis of over 300 patients

Osteoporosis (OP) is a silent disease unless a fracture occurs; it is a major health problem, mainly due to fragility fractures, that occur at vertebral and peripheral sites. Vertebral fractures (VF) are probably the most common fragility fractures, but they go often unrecognized. The main clinical symptoms of VF are acute and chronic back pain, spinal deformity, reduced mobility and impaired quality of life. They are frequently associated with other fragility fractures. We examined 478 patients at our outpatient clinic, who were referred for fragility fracture occurrence. The most common fragility fractures was hip fractures. However, after execution of spine X-rays in patients who had sustained hip fracture, we found that a large proportion of them had VF, which had not been reported in their medical history

Neural Stimulation Hardware for the Selective Intrafascicular Modulation of the Vagus Nerve

The neural stimulation of the vagus nerve is able to modulate various functions of the parasympathetic response in different organs. The stimulation of the vagus nerve is a promising approach to treating inflammatory diseases, obesity, diabetes, heart failure, and hypertension. The complexity of the vagus nerve requires highly selective stimulation, allowing the modulation of target-specific organs without side effects. Here, we address this issue by adapting a neural stimulator and developing an intraneural electrode for the particular modulation of the vagus nerve. The neurostimulator parameters such as amplitude, pulse width, and pulse shape were modulated. Single-, and multi-channel stimulation was performed at different amplitudes. For the first time, a polyimide thin-film neural electrode was designed for the specific stimulation of the vagus nerve. In vivo experiments were performed in the adult minipig to validate to elicit electrically evoked action potentials and to modulate physiological functions, validating the spatial selectivity of intraneural stimulation. Electrochemical tests of the electrode and the neurostimulator showed that the stimulation hardware was working correctly. Stimulating the porcine vagus nerve resulted in spatially selective modulation of the vagus nerve. ECAP belonging to alpha and beta fibers could be distinguished during single- and multi-channel stimulation. We have shown that the here presented system is able to activate the vagus nerve and can therefore modulate the heart rate, diastolic pressure, and systolic pressure. The here presented system may be used to restore the cardiac loop after denervation by implementing biomimetic stimulation patterns. Presented methods may be used to develop intraneural electrodes adapted for various applications

Tumor suppressor Nf2/merlin drives Schwann cell changes following electromagnetic field exposure through Hippo-dependent mechanisms

Previous evidence showed mutations of the neurofibromin type 2 gene (Nf2), encoding the tumor suppressor protein merlin, in sporadic and vestibular schwannomas affecting Schwann cells (SC). Accordingly, efforts have been addressed to identify possible factors, even environmental, that may regulate neurofibromas growth. In this context, we investigated the exposure of SC to an electromagnetic field (EMF), which is an environmental issue modulating biological processes. Here we show that SC exposed to 50 Hz EMFs change their morphology, proliferation, migration and myelinating capability. In these cells merlin is downregulated, leading to activation of two intracellular signaling pathways, ERK/AKT and Hippo. Interestingly, SC change their phenotype toward a proliferative/migrating state, which in principle may be pathologically relevant for schwannoma development

Vector Bosons in the Randall-Sundrum 2 and Lykken-Randall models and unparticles

Unparticle behavior is shown to be realized in the Randall-Sundrum 2 (RS 2) and the Lykken-Randall (LR) brane scenarios when brane-localized Standard Model currents are coupled to a massive vector field living in the five-dimensional warped background of the RS 2 model. By the AdS/CFT dictionary these backgrounds exhibit certain properties of the unparticle CFT at large N_c and strong 't Hooft coupling. Within the RS 2 model we also examine and contrast in detail the scalar and vector position-space correlators at intermediate and large distances. Unitarity of brane-to-brane scattering amplitudes is seen to imply a necessary and sufficient condition on the positivity of the bulk mass, which leads to the well-known unitarity bound on vector operators in a CFT.Comment: 60 pages, 8 figure