Sentence examples for inverse role from inspiring English sources

Intriguingly, phosphorylation at S163 and S184 has been reported to play an inverse role in regulating the proapoptotic function of Bax [25] [26], [28].

PICK1 plays an inverse role in regulating the membrane expression of GluA2-containing and GluA2-lacking Ca2+-permeable AMPARs (CP-AMPARs).

An inverse role for IGFBP-3 in lung tumorigenesis is supported by the observation that constitutive expression of IGFBP-3 inhibits the growth of non-small-cell lung cancer (Lee et al, 2002).

Interestingly, an inverse role of helix α4 in stabilizing GDP- and GTP-conformations of H- and K-ras is implied, which matches to experimental data that we have provided earlier (Abankwa et al., 2010).

The inverse is true of hotel bookings.

When adding complex role inclusions and inverse roles, the logic even becomes undecidable.

We study in-depth the complexity of deciding inseparability for the description logics EL and ALC and their extensions with inverse roles.

We illustrate the usefulness of this approach by proving a new PSpace upper-bound for satisfiability of concepts with respect to acyclic terminologies in the DL SI, which extends the basic DL ALC with transitive and inverse roles.

We will consider DL-features denoted by I (inverse roles), (Q_k) (qualified number restrictions with numbers bounded by a constant k), and (mathsf {Self}) (local reflexivity of a role).

We have proved that any concept in any description logic that extends (mathcal {ALC}) with some features amongst I (inverse roles), (Q_k) (qualified number restrictions with numbers bounded by a constant k), and (mathsf {Self}) (local reflexivity of a role) can be learned if the training information system (specified as a finite interpretation) is good enough.

We prove that any concept in any description logic that extends (mathcal {ALC}) with some features amongst I (inverse roles), (Q_k) (qualified number restrictions with numbers bounded by a constant k), and (mathsf {Self}) (local reflexivity of a role) can be learned correctly if the training information system (specified as a finite interpretation) is good enough.