Optimizing the computation of overriding

We introduce optimization techniques for reasoning in DLN---a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to model the applicative examples naturally arising in biomedical domains and semantic web access control policies. Such optimizations are validated experimentally on large KBs with more than 30K axioms. Speedups exceed 1 order of magnitude. For the first time, response times compatible with real-time reasoning are obtained with nonmonotonic KBs of this size

Palmitylation of viral membrane glycoproteins takes place after exit from the endoplasmic reticulum

Abstract Palmitylation of vesicular stomatitis virus G and Sindbis virus E1 glycoproteins has been studied in relation to the transport from the endoplasmic reticulum (ER) to the Golgi complex. Incubation of infected cells at 15 degrees C prevents the transport of newly synthesized membrane proteins from the ER to the Golgi (Saraste, J., and Kuismanen, E. (1984) Cell 38, 535-549). In these conditions, also palmitylation of G protein and of E1 glycoprotein is blocked. When the transport is restored by increasing the temperature, palmitylation occurs quickly and is followed by the complete trimming of peripheral mannose residues due to mannosidase I (a putative cis-Golgi function). Immunofluorescence analysis showed that the G glycoprotein accumulated at 15 degrees C in structures distinct from both ER and Golgi. These studies suggest that transport from the ER to the cis-Golgi involves intermediate compartments

THREE ESSAYS IN VAR MODELS WITH STOCHASTIC VOLATILITY APPLICATIONS

The development of empirical macro-econometric tools has allowed researchers in the last decades to study specific phenomena bringing instability to the economic system, like financial instability and economic uncertainty. The role they play in influencing financial markets and the macroeconomy and the effects they produce, are the focus of this research. The results obtained propose to feed the discussion about uncertainty and instability in a period in which these topics have reacquired considerable interest. In particular, the first chapter analyses how financial stress, together with monetary policy and real economy dynamics contribute to determine linkages among financial markets, credit aggregates and monetary authority interventions in the Euro Area. The second chapter disentangles the contribution of each variable in the economic system to the development of aggregate uncertainty in the US. Moreover, it evaluates how the economy responds to oil shocks under different uncertainty levels. The third chapter assesses the evolution of uncertainty shocks in the last two decades using data from the G7 countries, showing that they feature the typical aspects predicted in the literature. It also reports a comparison with the Covid-19 uncertainty-induced shock. The methodologies used rely on the application of Structural Vector Autoregression (SVAR) models featuring time variation in the volatilities, providing relevant contributions: in the first case I implemented a SVAR embedding sign, zero and narrative restrictions for the European context, while in the second and in the third works, I applied specific methodological improvements in order to have a model able to capture the phenomenon under scrutiny and a model able to provide optimal estimates respectively. Overall, the results show that financial stress is a crucial issue for monetary policy, in my specific case, for the European Central Bank, and that economic uncertainty is able not only to significantly affect world economies, but also to alter the effect of energy shocks

Iodine Extravasation Quantification on Dual-Energy CT of the Brain Performed after Mechanical Thrombectomy for Acute Ischemic Stroke Can Predict Hemorrhagic Complications

BACKGROUND AND PURPOSE: Intracerebral hemorrhage represents a potentially severe complication of revascularization of acute ischemic stroke. The aim of our study was to assess the capability of iodine extravasation quantification on dual-energy CT performed immediately after mechanical thrombectomy to predict hemorrhagic complications. MATERIALS AND METHODS: Because this was a retrospective study, the need for informed consent was waived. Eighty-five consecutive patients who underwent brain dual-energy CT immediately after mechanical thrombectomy for acute ischemic stroke between August 2013 and January 2017 were included. Two radiologists independently evaluated dual-energy CT images for the presence of parenchymal hyperdensity, iodine extravasation, and hemorrhage. Maximum iodine concentration was measured. Follow-up CT examinations performed until patient discharge were reviewed for intracerebral hemorrhage development. The correlation between dual-energy CT parameters and intracerebral hemorrhage development was analyzed by the Mann-Whitney U test and Fisher exact test. Receiver operating characteristic curves were generated for continuous variables. RESULTS: Thirteen of 85 patients (15.3%) developed hemorrhage. On postoperative dual-energy CT, parenchymal hyperdensities and iodine extravasation were present in 100% of the patients who developed intracerebral hemorrhage and in 56.3% of the patients who did not ( P = .002 for both). Signs of bleeding were present in 35.7% of the patients who developed intracerebral hemorrhage and in none of the patients who did not ( P P CONCLUSIONS: The presence of parenchymal hyperdensity with a maximum iodine concentration of >1.35 mg/mL may identify patients developing intracerebral hemorrhage with 100% sensitivity and 67.6% specificity

Unconventional secretion of α-Crystallin B requires the Autophagic pathway and is controlled by phosphorylation of its serine 59 residue

α-Crystallin B (CRYAB or HspB5) is a chaperone member of the small heat-shock protein family that prevents aggregation of many cytosolic client proteins by means of its ATP-independent holdase activity. Surprisingly, several reports show that CRYAB exerts a protective role also extracellularly, and it has been recently demonstrated that CRYAB is secreted from human retinal pigment epithelial cells by an unconventional secretion pathway that involves multi-vesicular bodies. Here we show that autophagy is crucial for this unconventional secretion pathway and that phosphorylation at serine 59 residue regulates CRYAB secretion by inhibiting its recruitment to the autophagosomes. In addition, we found that autophagosomes containing CRYAB are not able to fuse with lysosomes. Therefore, CRYAB is capable to highjack and divert autophagosomes toward the exocytic pathway, inhibiting their canonical route leading to the lysosomal compartment. Potential implications of these findings in the context of disease-associated mutant proteins turn-over are discussed

Mechanical ventilation in patients with acute ischaemic stroke: From pathophysiology to clinical practice

Most patients with ischaemic stroke are managed on the ward or in specialty stroke units, but a significant number requires higher-acuity care and, consequently, admission to the intensive care unit. Mechanical ventilation is frequently performed in these patients due to swallowing dysfunction and airway or respiratory system compromise. Experimental studies have focused on stroke-induced immunosuppression and brain-lung crosstalk, leading to increased pulmonary damage and inflammation, as well as reduced alveolar macrophage phagocytic capability, which may increase the risk of infection. Pulmonary complications, such as respiratory failure, pneumonia, pleural effusions, acute respiratory distress syndrome, lung oedema, and pulmonary embolism from venous thromboembolism, are common and found to be among the major causes of death in this group of patients. Furthermore, over the past two decades, tracheostomy use has increased among stroke patients, who can have unique indications for this procedure - depending on the location and type of stroke - when compared to the general population. However, the optimal mechanical ventilator strategy remains unclear in this population. Although a high tidal volume (V T) strategy has been used for many years, the latest evidence suggests that a protective ventilatory strategy (V T = 6-8 mL/kg predicted body weight, positive end-expiratory pressure and rescue recruitment manoeuvres) may also have a role in brain-damaged patients, including those with stroke. The aim of this narrative review is to explore the pathophysiology of brain-lung interactions after acute ischaemic stroke and the management of mechanical ventilation in these patients

The Complexity of Reasoning for Fragments of Default Logic

Default logic was introduced by Reiter in 1980. In 1992, Gottlob classified the complexity of the extension existence problem for propositional default logic as \SigmaPtwo-complete, and the complexity of the credulous and skeptical reasoning problem as SigmaP2-complete, resp. PiP2-complete. Additionally, he investigated restrictions on the default rules, i.e., semi-normal default rules. Selman made in 1992 a similar approach with disjunction-free and unary default rules. In this paper we systematically restrict the set of allowed propositional connectives. We give a complete complexity classification for all sets of Boolean functions in the meaning of Post's lattice for all three common decision problems for propositional default logic. We show that the complexity is a hexachotomy (SigmaP2-, DeltaP2-, NP-, P-, NL-complete, trivial) for the extension existence problem, while for the credulous and skeptical reasoning problem we obtain similar classifications without trivial cases.Comment: Corrected versio

Biosynthesis and oligosaccharide structure of human CD8 glycoprotein expressed in a rat epithelial cell line.

The biosynthesis, post-translational modifications, and oligosaccharide structure of human CD8 glycoprotein have been studied in transfected rat epithelial cells. These cells synthesized and expressed on the plasma membrane high amounts of CD8 in a homodimeric form stabilized by a disulfide bridge. Three different CD8 forms were detected by sodium dodecyl sulfate-polyacrylamide gel electrophoresis analysis after metabolic labeling and immunoprecipitation: a newly synthesized, unglycosylated 27-kDa (CD8u), a palmitylated and initially O-glycosylated 29-kDa (CD8i), and the mature, terminally glycosylated 32-34-kDa doublet (CD8m). CD8i is a transient intermediate form between CD8u and CD8m: characterization of carbohydrate moiety of [3H]glucosamine-labeled CD8i showed that it comprises for the vast majority non-elongated O-linked GalNAc closely spaced on the peptide backbone. Structural analysis of oligosaccharides released by mild alkaline borohydride treatment from the [3H]glucosamine-labeled CD8 34-kDa form showed that the neutral tetrasaccharide Gal beta 1,4GlcNAc beta 1,6(Gal beta 1,3)GalNAcOH, and an homologous monosialylated pentasaccharide, predominate; the disialylated NeuAc2,3Gal beta 1,3(NeuAc alpha 2,6) GalNAcOH tetrasaccharide appeared to be poorly present. In the CD8 32-kDa form the neutral tetrasaccharide was by far the prominent O-linked chain, and no disialyloligosaccharides were identified. These results indicate that the maturation of CD8 glycoprotein in transfected rat epithelial cells results in the formation of branched O-linked oligosaccharides and that a higher degree of sialylation is responsible for the production of the heavier 34-kDa form

ArCo: the Italian Cultural Heritage Knowledge Graph

ArCo is the Italian Cultural Heritage knowledge graph, consisting of a network of seven vocabularies and 169 million triples about 820 thousand cultural entities. It is distributed jointly with a SPARQL endpoint, a software for converting catalogue records to RDF, and a rich suite of documentation material (testing, evaluation, how-to, examples, etc.). ArCo is based on the official General Catalogue of the Italian Ministry of Cultural Heritage and Activities (MiBAC) - and its associated encoding regulations - which collects and validates the catalogue records of (ideally) all Italian Cultural Heritage properties (excluding libraries and archives), contributed by CH administrators from all over Italy. We present its structure, design methods and tools, its growing community, and delineate its importance, quality, and impact

Statistical properties of Lorenz like flows, recent developments and perspectives

We comment on mathematical results about the statistical behavior of Lorenz equations an its attractor, and more generally to the class of singular hyperbolic systems. The mathematical theory of such kind of systems turned out to be surprisingly difficult. It is remarkable that a rigorous proof of the existence of the Lorenz attractor was presented only around the year 2000 with a computer assisted proof together with an extension of the hyperbolic theory developed to encompass attractors robustly containing equilibria. We present some of the main results on the statisitcal behavior of such systems. We show that for attractors of three-dimensional flows, robust chaotic behavior is equivalent to the existence of certain hyperbolic structures, known as singular-hyperbolicity. These structures, in turn, are associated to the existence of physical measures: \emph{in low dimensions, robust chaotic behavior for flows ensures the existence of a physical measure}. We then give more details on recent results on the dynamics of singular-hyperbolic (Lorenz-like) attractors.Comment: 40 pages; 10 figures; Keywords: sensitive dependence on initial conditions, physical measure, singular-hyperbolicity, expansiveness, robust attractor, robust chaotic flow, positive Lyapunov exponent, large deviations, hitting and recurrence times. Minor typos corrected and precise acknowledgments of financial support added. To appear in Int J of Bif and Chaos in App Sciences and Engineerin