نتایج جستجو برای: inclusion relation

تعداد نتایج: 416880  

2004
Chi-Kwong Li

Denote by W (A) the numerical range of a bounded linear operator A. For two operators A and B (which may act on different Hilbert spaces), we study the relation between the inclusion relation W (A) ⊆W (B) and the condition that A can be dilated to an operator of the form B ⊗ I. We also investigate the possibilities of dilating an operator A to operators with simple structure under the assumptio...

2010
Galina Tremper

Presupposition relations between verbs are not very well covered in existing lexical semantic resources. We propose a weakly supervised algorithm for learning presupposition relations between verbs that distinguishes five semantic relations: presupposition, entailment, temporal inclusion, antonymy and other/no relation. We start with a number of seed verb pairs selected manually for each semant...

Journal: :CoRR 2007
Alexandr A. Savinov

In this paper we describe a new approach to data modelling called the concept-oriented model (CoM). This model is based on the formalism of nested ordered sets which uses inclusion relation to produce hierarchical structure of sets and ordering relation to produce multi-dimensional structure among its elements. Nested ordered set is defined as an ordered set where an each element can be itself ...

Journal: :Int. J. Semantic Web Inf. Syst. 2015
Michael Compton

The syntax of both SROIQ and OWL 2 allow complex role inclusion axioms where the role composition occurs on the left of the subsumption relation, but not where the role composition occurs on the right. This paper proves that, despite the lack of syntax, SROIQ, and consequently OWL 2, can already express such complex role inclusions. This is shown by proving that complex role inclusion axioms wh...

1993
Jordi Levy Jaume Agustí-Cullell

We propose an extension of rewriting techniques to derive inclusion relations a ⊆ b between terms built from monotonic operators. Instead of using only a rewriting relation ⊆ −→ and rewriting a to b, we use another rewriting relation ⊇ −→ as well and seek a common expression c such that a ⊆ −→ ∗ c and b ⊇ −→ ∗ c. Each component of the bi-rewriting system 〈 ⊆ −→, ⊇ −→〉 is allowed to be a subset ...

2012
TINE BUFFEL CHRIS PHILLIPSON THOMAS SCHARF

This article explores conceptual and empirical aspects of the social exclusion/ inclusion debate in later life, with a particular focus on issues of place and space in urban settings. Exploratory findings are reported from two empirical studies in Belgium and England, which sought to examine experiences of social exclusion and inclusion among people aged  and over living in deprived inner-cit...

In this paper, we analyze the effect of stress-fiber inclusion on the stiffness of an actin random network. To do this, use a discrete random network model to analyze the elastic response of this system in terms of apparent Young’s modulus. First, we showed that for a flat-ended cylindrical AFM indenter the total indentation force has a linear relation with the indentation depth and the indente...

2006
M. Bak

Institute of Physics, A. Mickiewicz University Umultowska 85, 61-614 Poznań, Poland Recently a new universal relation between superfluid density ρs and σdcTc, where σdc is direct current conductivity and Tc — superconducting critical temperature, was found by Homes et al. (Nature 430, 539 (2004)). The theoretical derivation of the relation based on BCS theory is correct only qualitatively. In t...

2009
V. C. WORTHINGTON A. R. HIPKISS

to the P-axis and exposed to solvent in the dimer, while 248 is on a helix at the Q-axis and will become exposed to solvent as the Q-axis dimer forms monomers. All measurements are of solutions at equilibrium attained after at least 2 h incubation in the guanidinium HCl. The figure reports the intensity of the fluorescence of both tryptophans decreases at 0.3 M-guanidinium HCI and in the same r...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید