781 research outputs found
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 in
such that, for every , any homoclinic class of 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
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 be a compact manifold and be a diffeomorphism on
. If is an -invariant probability measure which is absolutely
continuous relative to Lebesgue measure and for
there is a dominated splitting on its orbit ,
then we give an estimation through Lyapunov characteristic exponents from below
in Pesin's entropy formula, i.e., the metric entropy satisfies
where
and
are the Lyapunov
exponents at with respect to 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
- …