A compositional semantics for Repairable Fault Trees with general distributions

Fault Tree Analysis (FTA) is a prominent technique in industrial and scientific risk assessment. Repairable Fault Trees (RFT) enhance the classical Fault Tree (FT) model by introducing the possibility to describe complex dependent repairs of system components. Usual frameworks for analyzing FTs such as BDD, SBDD, and Markov chains fail to assess the desired properties over RFT complex models, either because these become too large, or due to cyclic behaviour introduced by dependent repairs. Simulation is another way to carry out this kind of analysis. In this paper we review the RFT model with Repair Boxes as introduced by Daniele Codetta-Raiteri. We present compositional semantics for this model in terms of Input/Output Stochastic Automata, which allows for the modelling of events occurring according to general continuous distribution. Moreover, we prove that the semantics generates (weakly) deterministic models, hence suitable for discrete event simulation, and prominently for Rare Event Simulation using the FIG tool

A Heuristic Approach for the Design of UAV-Based Disaster Relief in Optical Metro Networks

We propose a novel algorithm to dimension the backup elements in an optical metro network, by considering the adoption of Unmanned Aerial Vehicles (UAVs) and wireless interfaces to realize backup wireless links. Our key idea is to efficiently find the set of node pairs that have to be connected by means of multi-hop UAV-based wireless links, which are selected based on the simulation of multiple disaster events. Results, obtained over a set of meaningful scenarios, demonstrate that our solution can greatly reduce the total installation costs compared to a naive approach, which is instead solely tailored to the restoration of the disrupted links in a given disaster scenario

Demonstration of Zero-touch Device and L3-VPN Service Management using the TeraFlow Cloud-native SDN Controller

We demonstrate zero-touch device bootstrapping, monitoring, and L3-VPN service management using the novel TeraFlow OS SDN controller prototype. TeraFlow aims at producing a cloud-native carrier-grade SDN controller offering scalability, extensibility, high-performance, and high-availability features

3’Nucleotidase/nuclease is required for Leishmania infantum clinical isolate susceptibility to miltefosine

Summary Background Miltefosine treatment failure in visceral leishmaniasis in Brazil has been associated with deletion of the miltefosine susceptibility locus (MSL) in Leishmania infantum. The MSL comprises four genes, 3′ -nucleotidase/nucleases (NUC1 and NUC2); helicase-like protein (HLP); and 3,2-trans-enoyl-CoA isomerase (TEI). Methods In this study CRISPR-Cas9 was used to either epitope tag or delete NUC1, NUC2, HLP and TEI, to investigate their role in miltefosine resistance mechanisms. Additionally, miltefosine transporter genes and miltefosine-mediated reactive oxygen species homeostasis were assessed in 26 L. infantum clinical isolates. A comparative lipidomic analysis was also performed to investigate the molecular basis of miltefosine resistance. Findings Deletion of both NUC1, NUC2 from the MSL was associated with a significant decrease in miltefosine susceptibility, which was restored after re-expression. Metabolomic analysis of parasites lacking the MSL or NUC1 and NUC2 identified an increase in the parasite lipid content, including ergosterol; these lipids may contribute to miltefosine resistance by binding the drug in the membrane. Parasites lacking the MSL are more resistant to lipid metabolism perturbation caused by miltefosine and NUC1 and NUC2 are involved in this pathway. Additionally, L. infantum parasites lacking the MSL isolated from patients who relapsed after miltefosine treatment were found to modulate nitric oxide accumulation in host macrophages. Interpretation Altogether, these data indicate that multifactorial mechanisms are involved in natural resistance to miltefosine in L. infantum and that the absence of the 3’nucleotidase/nuclease genes NUC1 and NUC2 contributes to the phenotype.publishersversionpublishe

Resumen de padres Angus 2022

Con mucho orgullo, la Asociación Argentina de Angus presenta la 32ª edición de su Resumen de Padres Angus, fruto del acuerdo firmado en 1989 con el INTA (Instituto Nacional de Tecnología Agropecuaria), que dio origen al programa ERA (Evaluación de Reproductores Angus). Como importante novedad, en este Resumen se incluye, por primera vez, el DEP de docilidad en 140 toros (de los 364 evaluados), cuyas 3728 crías también fueron evaluadas por 44 cabañas, en esta importante característica. Cabe destacar que, por el momento, este es un DEP clásico. El aporte de más información de docilidad, por parte de las demás cabañas adheridas al programa ERA, permitirá formar nuestra propia población de referencia (training population) para esta característica, para así obtener DEP enriquecidos. Por tal motivo, invitamos a las cabañas a evaluar la docilidad de sus crías y a aportar al ERA los datos obtenidos, siguiendo el Protocolo de Toma de Datos de Docilidad (ver Apéndice E) que elaboramos en 2019, así como también ver el video sobre el tema (subido en el canal Angus de YouTube), para codificar correctamente esta característica muy importante y de alta heredabilidad.Instituto de GenéticaFil: Monti, Aldo. Instituto Nacional de Tecnología Agropecuaria (INTA). Instituto de Genética; ArgentinaFil: Salerno, Juan Carlos. Instituto Nacional de Tecnología Agropecuaria (INTA). Instituto de Genética; ArgentinaFil: Baluk, Maria Ines. Instituto Nacional de Tecnología Agropecuaria (INTA). Instituto de Genética; ArgentinaFil: Ellinger, Andres. Instituto Nacional de Tecnología Agropecuaria (INTA). Instituto de Genética; ArgentinaFil: Trazar, Mariela Alejandra. Instituto Nacional de Tecnología Agropecuaria (INTA). Instituto de Genética; ArgentinaFil: Moglie, Juan Jose. Instituto Nacional de Tecnología Agropecuaria (INTA). Instituto de Genética; ArgentinaFil: Guitou, Horacio. Asociación Argentina de Angus; ArgentinaFil: Fernández Alt, Mariano. Asociación Argentina de Angus; ArgentinaFil: Curuchet, Agustín R. Asociación Argentina de Angus; ArgentinaFil: García Guerra, Sol. Asociación Argentina de Angus; ArgentinaFil: Gauna, Diego. Asociación Argentina de Angus; Argentin

Mice Doubly-Deficient in Lysosomal Hexosaminidase A and Neuraminidase 4 Show Epileptic Crises and Rapid Neuronal Loss

Tay-Sachs disease is a severe lysosomal disorder caused by mutations in the HexA gene coding for the α-subunit of lysosomal β-hexosaminidase A, which converts GM2 to GM3 ganglioside. Hexa−/− mice, depleted of β-hexosaminidase A, remain asymptomatic to 1 year of age, because they catabolise GM2 ganglioside via a lysosomal sialidase into glycolipid GA2, which is further processed by β-hexosaminidase B to lactosyl-ceramide, thereby bypassing the β-hexosaminidase A defect. Since this bypass is not effective in humans, infantile Tay-Sachs disease is fatal in the first years of life. Previously, we identified a novel ganglioside metabolizing sialidase, Neu4, abundantly expressed in mouse brain neurons. Now we demonstrate that mice with targeted disruption of both Neu4 and Hexa genes (Neu4−/−;Hexa−/−) show epileptic seizures with 40% penetrance correlating with polyspike discharges on the cortical electrodes of the electroencephalogram. Single knockout Hexa−/− or Neu4−/− siblings do not show such symptoms. Further, double-knockout but not single-knockout mice have multiple degenerating neurons in the cortex and hippocampus and multiple layers of cortical neurons accumulating GM2 ganglioside. Together, our data suggest that the Neu4 block exacerbates the disease in Hexa−/− mice, indicating that Neu4 is a modifier gene in the mouse model of Tay-Sachs disease, reducing the disease severity through the metabolic bypass. However, while disease severity in the double mutant is increased, it is not profound suggesting that Neu4 is not the only sialidase contributing to the metabolic bypass in Hexa−/− mice

Multiword expressions at length and in depth: Extended papers from the MWE 2017 workshop

The annual workshop on multiword expressions takes place since 2001 in conjunction with major computational linguistics conferences and attracts the attention of an ever-growing community working on a variety of languages, linguistic phenomena and related computational processing issues. MWE 2017 took place in Valencia, Spain, and represented a vibrant panorama of the current research landscape on the computational treatment of multiword expressions, featuring many high-quality submissions. Furthermore, MWE 2017 included the first shared task on multilingual identification of verbal multiword expressions. The shared task, with extended communal work, has developed important multilingual resources and mobilised several research groups in computational linguistics worldwide. This book contains extended versions of selected papers from the workshop. Authors worked hard to include detailed explanations, broader and deeper analyses, and new exciting results, which were thoroughly reviewed by an internationally renowned committee. We hope that this distinctly joint effort will provide a meaningful and useful snapshot of the multilingual state of the art in multiword expressions modelling and processing, and will be a point point of reference for future work

Multiword expressions at length and in depth: Extended papers from the MWE 2017 workshop

The annual workshop on multiword expressions takes place since 2001 in conjunction with major computational linguistics conferences and attracts the attention of an ever-growing community working on a variety of languages, linguistic phenomena and related computational processing issues. MWE 2017 took place in Valencia, Spain, and represented a vibrant panorama of the current research landscape on the computational treatment of multiword expressions, featuring many high-quality submissions. Furthermore, MWE 2017 included the first shared task on multilingual identification of verbal multiword expressions. The shared task, with extended communal work, has developed important multilingual resources and mobilised several research groups in computational linguistics worldwide. This book contains extended versions of selected papers from the workshop. Authors worked hard to include detailed explanations, broader and deeper analyses, and new exciting results, which were thoroughly reviewed by an internationally renowned committee. We hope that this distinctly joint effort will provide a meaningful and useful snapshot of the multilingual state of the art in multiword expressions modelling and processing, and will be a point point of reference for future work