Sentence examples for denotes that when from inspiring English sources

In timed CTL it can be expressed as begin{aligned} mathrm{AG}(psi Rightarrow mathrm{AF}_{< 5s}varphi ) end{aligned}where <5 s denotes that when (psi) occurs, (varphi) should be observed in less that 5 s.

LEADSTO is a hybrid modelling language in which a dynamic property or temporal causal relation a → b denotes that when a state property a (or conjunction thereof) occurs, then after a certain time delay, state property b will occur (see [57] for the relevance and benefits of LEADSTO in dynamic models).

For example, in the LEADSTO language (Bosse et al. 2007), which has previously been used to model a number of criminological processes (Gerritsen 2010), the temporal relation A ↠ B denotes that when a state property A occurs, then after a certain time delay (which for each relation instance can be specified as any positive real number), state property B will occur.

Rule N2 denotes that when protein has no secretory signal peptide feature SIGNALP is 15), more N-glycosylation sites(GLYC is 13), no plasma membrane signal PLMNEW1 is 70) and no C-terminal peroxisome import signal feature POX1 is 89), it has a higher probability of being localized to the nucleus(N location).

The paths AE → DC and AE → EV denoted that when students advanced or explained solutions, others detected errors or evaluated the solutions.

Equation (3) and the two figures denote that when input signal vector V 0 is close to V 1, where cos θ ≈ 1 2 and θ ≈ π 4, the switching condition (4) will be satisfied.

When which denotes that 802.11b APs are saturated, STAs in LLF mechanism are likely to select 802.11b APs since the loaded traffic on the 802.11b APs ( 11 Mbps) is less than that on the 802.11a APs ( 54 Mbps) so that the utilization remains in about 60%.

A 1977 episode from the show's fifth season, in which the Fonz water-skis over a shark while wearing swimming trunks alongside his trademark leather jacket, gave rise to the phrase "jump the shark" to denote that clinching moment when quality takes a nosedive.

We will denote that dependency as, or more tersely when we do not need to remember the crystallographic parameter vector y, as.

This result denotes a function that, when applied to property A, yields true just in case all man have property A. The example given with the last rule helps us to understand the formula for every : that denotes a relation between properties A and B which holds in case every A has property B. The next step is now easy.

For example, in the cut-free proof of Solution 2, the existentially quantified variable for the time when the object reaches height zero is instantiated by a ground term that denotes exactly when this happens.