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

Creation of blenders in the conservative setting

In this work we prove that each C^r conservative diffeomorphism with a pair of hyperbolic periodic points of co-index one can be C^1-approximated by C^r conservative diffeomorphisms having a blender.Comment: 4 figures, 16 figure

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

Infinitely Many Stochastically Stable Attractors

Let f be a diffeomorphism of a compact finite dimensional boundaryless manifold M exhibiting infinitely many coexisting attractors. Assume that each attractor supports a stochastically stable probability measure and that the union of the basins of attraction of each attractor covers Lebesgue almost all points of M. We prove that the time averages of almost all orbits under random perturbations are given by a finite number of probability measures. Moreover these probability measures are close to the probability measures supported by the attractors when the perturbations are close to the original map f.Comment: 14 pages, 2 figure

Non-hyperbolic ergodic measures with large support

We prove that there is a residual subset $\mathcal{S}$ in $\text{Diff}^1(M)$ such that, for every $f\in \mathcal{S}$, any homoclinic class of $f$ with invariant one dimensional central bundle containing saddles of different indices (i.e. with different dimensions of the stable invariant manifold) coincides with the support of some invariant ergodic non-hyperbolic (one of the Lyapunov exponents is equal to zero) measure of $f$

Computing Compliant Anonymisations of Quantified ABoxes w.r.t. EL Policies

We adapt existing approaches for privacy-preserving publishing of linked data to a setting where the data are given as Description Logic (DL) ABoxes with possibly anonymised (formally: existentially quantified) individuals and the privacy policies are expressed using sets of concepts of the DL EL. We provide a chacterization of compliance of such ABoxes w.r.t. EL policies, and show how optimal compliant anonymisations of ABoxes that are non-compliant can be computed. This work extends previous work on privacy-preserving ontology publishing, in which a very restricted form of ABoxes, called instance stores, had been considered, but restricts the attention to compliance. The approach developed here can easily be adapted to the problem of computing optimal repairs of quantified ABoxes

Dominated Splitting and Pesin's Entropy Formula

Let $M$ be a compact manifold and $f:\,M\to M$ be a $C^1$ diffeomorphism on $M$. If $\mu$ is an $f$-invariant probability measure which is absolutely continuous relative to Lebesgue measure and for $\mu$ $a.\,\,e.\,\,x\in M,$ there is a dominated splitting $T_{orb(x)}M=E\oplus F$ on its orbit $orb(x)$, then we give an estimation through Lyapunov characteristic exponents from below in Pesin's entropy formula, i.e., the metric entropy $h_\mu(f)$ satisfies $$h_{\mu}(f)\geq\int \chi(x)d\mu,$$ where $\chi(x)=\sum_{i=1}^{dim\,F(x)}\lambda_i(x)$ and $\lambda_1(x)\geq\lambda_2(x)\geq...\geq\lambda_{dim\,M}(x)$ are the Lyapunov exponents at $x$ with respect to $\mu.$ Consequently, by using a dichotomy for generic volume-preserving diffeomorphism we show that Pesin's entropy formula holds for generic volume-preserving diffeomorphisms, which generalizes a result of Tahzibi in dimension 2

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

Large deviations for non-uniformly expanding maps

We obtain large deviation results for non-uniformly expanding maps with non-flat singularities or criticalities and for partially hyperbolic non-uniformly expanding attracting sets. That is, given a continuous function we consider its space average with respect to a physical measure and compare this with the time averages along orbits of the map, showing that the Lebesgue measure of the set of points whose time averages stay away from the space average decays to zero exponentially fast with the number of iterates involved. As easy by-products we deduce escape rates from subsets of the basins of physical measures for these types of maps. The rates of decay are naturally related to the metric entropy and pressure function of the system with respect to a family of equilibrium states. The corrections added to the published version of this text appear in bold; see last section for a list of changesComment: 36 pages, 1 figure. After many PhD students and colleagues having pointed several errors in the statements and proofs, this is a correction to published article answering those comments. List of main changes in a new last sectio