Introductory paper: scalability aspects of validation

This special section is devoted to a selection of papers that appeared originally in the Proceedings of TACAS 2001, the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems [1] which took place in Genova, Italy in April 2001 as a constituent event of the European joint conferences on theory and Practice of Software. All papers present approaches, tools and algorithms that aim at extending the scope of formal techniques (coverage of systems specifications, data structures, size, and their trade-offs) for validation, verification, and testing of software systems. They are by no means a complete account of the numerous ways in which real software and software systems may become subject to rigorous investigation, but they provide an interesting sampling of novel approaches towards scalability of formal methods-based validation.     

Sequestration of Furostanol Saponins by <Emphasis Type="Italic">Monophadnus</Emphasis> Sawfly Larvae

Sawfly larvae of the tribe Phymatocerini (Hymenoptera: Tenthredinidae), which are specialized on toxic plants in the orders Liliales and Ranunculales, exude a droplet of deterrent hemolymph upon attack by a predator. We investigated whether secondary plant metabolites from Ranunculaceae leaves are sequestered by phymatocerine Monophadnus species, i.e., Monophadnus alpicola feeding upon Pulsatilla alpina and Monophadnus monticola feeding upon Ranunculus lanuginosus. Moreover, two undescribed Monophadnus species were studied: species A collected from Helleborus foetidus and species B collected from Helleborus viridis. Comparative high-performance liquid chromatographic–photodiode array detection–electrospray ionization–mass spectrometric analyses of plant leaf and insect hemolymph extracts revealed the presence of furostanol saponins in all samples. Larvae of species A and B actively sequestered (25R)-26-[(α-l-rhamnopyranosyl)oxy]-22α-methoxyfurost-5-en-3β-yl O-β-d-glucopyranosyl-(1→3)-O-[6-acetyl-β-d-glucopyranosyl-(1→3)]-O-β-d-glucopyranoside (compound 1). This compound occurred at a 65- to 200-fold higher concentration in the hemolymph of the two species (1.6 and 17.5 μmol/g FW, respectively) than in their host plant (0.008 and 0.268 μmol/g FW, respectively). In M. monticola, compound 1 was found at a concentration (1.2 μmol/g FW) similar to that in the host plant (1.36 μmol/g FW). The compound could not be detected consistently in M. alpicola larvae where, however, a related saponin may be present. Additional furostanol saponins were found in H. foetidus and H. viridis, but not in the two Monophadnus species feeding on them, indicating that sequestration of compound 1 is a highly specific process. In laboratory bioassays, crude hemolymph of three Monophadnus species showed a significant feeding deterrent activity against a potential predator, Myrmica rubra ant workers. Isolated furostanol saponins were also active against the ants, at a concentration range similar to that found in the hemolymph. Thus, these compounds seem to play a major role for chemical defense of Monophadnus larvae, although other plant secondary metabolites (glycosylated ecdysteroids) were also detected in their hemolymph. Physiological and ecological implications of the sequestered furostanol saponins are discussed. Dedicated to the memory of Professor Ivano Morelli (1940–2005)     

Influence of fines content on liquefaction from a critical state framework: the Christchurch earthquake case study

Bulletin of Engineering Geology and the Environment - In earthquake engineering practice, the liquefaction potential of soils is commonly evaluated through simplified procedures. These approaches...     

A Yeast-Based Repurposing Approach for the Treatment of Mitochondrial DNA Depletion Syndromes Led to the Identification of Molecules Able to Modulate the dNTP Pool

Mitochondrial DNA depletion syndromes (MDS) are clinically heterogenous and often severe diseases, characterized by a reduction of the number of copies of mitochondrial DNA (mtDNA) in affected tissues. In the context of MDS, yeast has proved to be both an excellent model for the study of the mechanisms underlying mitochondrial pathologies and for the discovery of new therapies via high-throughput assays. Among the several genes involved in MDS, it has been shown that recessive mutations in MPV17 cause a hepatocerebral form of MDS and Navajo neurohepatopathy. MPV17 encodes a non selective channel in the inner mitochondrial membrane, but its physiological role and the nature of its cargo remains elusive. In this study we identify ten drugs active against MPV17 disorder, modelled in yeast using the homologous gene SYM1. All ten of the identified molecules cause a concomitant increase of both the mitochondrial deoxyribonucleoside triphosphate (mtdNTP) pool and mtDNA stability, which suggests that the reduced availability of DNA synthesis precursors is the cause for the mtDNA deletion and depletion associated with Sym1 deficiency. We finally evaluated the effect of these molecules on mtDNA stability in two other MDS yeast models, extending the potential use of these drugs to a wider range of MDS patients.     

C9ORF72 Repeat Expansion Affects the Proteome of Primary Skin Fibroblasts in ALS

Amyotrophic lateral sclerosis (ALS) is a neurodegenerative disease characterized by progressive degeneration of the corticospinal motor neurons, which ultimately leads to death. The repeat expansion in chromosome 9 open reading frame 72 (C9ORF72) represents the most common genetic cause of ALS and it is also involved in the pathogenesis of other neurodegenerative disorders. To offer insights into C9ORF72-mediated pathogenesis, we quantitatively analyzed the proteome of patient-derived primary skin fibroblasts from ALS patients carrying the C9ORF72 mutation compared with ALS patients who tested negative for it. Differentially expressed proteins were identified, used to generate a protein-protein interaction network and subjected to a functional enrichment analysis to unveil altered molecular pathways. ALS patients were also compared with patients affected by frontotemporal dementia carrying the C9ORF72 repeat expansion. As a result, we demonstrated that the molecular pathways mainly altered in fibroblasts (e.g., protein homeostasis) mirror the alterations observed in C9ORF72-mutated neurons. Moreover, we highlighted novel molecular pathways (nuclear and mitochondrial transports, vesicle trafficking, mitochondrial bioenergetics, glucose metabolism, ER-phagosome crosstalk and Slit/Robo signaling pathway) which might be further investigated as C9ORF72-specific pathogenetic mechanisms. Data are available via ProteomeXchange with the identifier PXD023866.     

SARS-CoV-2 Morbidity in the CNS and the Aged Brain Specific Vulnerability

The infection by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) can be the cause of a fatal disease known as coronavirus disease 2019 (COVID-19) affecting the lungs and other organs. Particular attention has been given to the effects of the infection on the brain due to recurring neurological symptoms associated with COVID-19, such as ischemic or hemorrhagic stroke, encephalitis and myelitis, which are far more severe in the elderly compared to younger patients. The specific vulnerability of the aged brain could derive from the impaired immune defenses, from any of the altered homeostatic mechanisms that contribute to the aging phenotype, and from particular changes in the aged brain involving neurons and glia. While neuronal modifications could contribute indirectly to the damage induced by SARS-CoV-2, glia alterations could play a more direct role, as they are involved in the immune response to viral infections. In aged patients, changes regarding glia include the accumulation of dystrophic forms, reduction of waste removal, activation of microglia and astrocytes, and immunosenescence. It is plausible to hypothesize that SARS-CoV-2 infection in the elderly may determine severe brain damage because of the frail phenotype concerning glial cells.     

Role of preplaced silicon on a TIG processed SiC incorporated microalloyed steel

ABSTRACT

Research aimed at enhancing the surface properties of carbon steels by incorporating fine silicon carbide particulates has had limited success because the dissolution of the ceramic occurred. This research considers a method of reducing SiC dissolution by generating a high Fe–Si liquid which protects the ceramic. Three particulate groups were investigated, (1) ～ 5?µm SiC, (2) ～45?µm Si +～ 5?µm SiC, and (3) ～45?µm Si, all incorporated into a microalloyed steel using a tungsten inert gas process. Detailed microhardness of the melt zones together with microstructural analysis showed that the addition of Si resulted in a cracked hard layer containing SiC. However, in Specimen 1, a thicker, hardcrack-free layer resulted from the microstructure developed by the dissolution of SiC.     

Identification of Clostridium beijerinckii, Cl. butyricum, Cl. sporogenes, Cl. tyrobutyricum isolated from silage, raw milk and hard cheese by a multiplex PCR assay

Late blowing, caused by the outgrowth of clostridial spores present in raw milk and originating from silage, can create considerable product loss, especially in the production of hard and semi-hard cheeses. The conventional method for the isolation of Clostridium spp. from cheeses with late-blowing symptoms is very complicated and the identification of isolates is problematic. The aim of this work was the development of a multiplex PCR method for the detection of the main dairy-related clostridia such as: Cl. beijerinckii, Cl. butyricum, Cl. sporogenes, Cl. tyrobutyricum. Samples derived from silage, raw milk and hard cheese were analysed by the most probable number (MPN) enumeration. Forty-four bacterial strains isolated from gas positive tubes were used to check the reliability of the multiplex PCR assay. The specificity of the primers was tested by individually analysing each primer pair and the primer pair combined in the multiplex PCR. It was interesting to note that the samples not identified by the multiplex PCR assay were amplified by V2-V3 16S rRNA primer pair and the sequencing revealed the aligned 16S rRNA sequences to be Paenibacillus and Bacillus spp. This new molecular assay provides a simple promising alternative to traditional microbiological methods for a rapid, sensitive detection of clostridia in dairy products.