Sentence examples for In timed 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.

In timed CTL it can be expressed as begin{aligned} mathrm{AG} _{le 5s}varphi end{aligned}where (varphi) is the critical condition for at least five 5 s.

In timed mating, the noon of the day of a vaginal plug was considered as E0.5.

In timed tests, we show that BitPAl runs 7 25 times faster than a standard iterative algorithm.

In timed pregnancy studies, age-matched Sirh7/Ldoc1, Sirh7/Ldoc1 and Sirh7/Ldoc1 mice were monitored for the presence of a vaginal plug on 0.5 day postcoitum.

In timed pregnancy experiments, each of the maternal liver-specific UGT1A genes was induced in hUGT1 mice, with UGT1A1, UGT1A6, and UGT1A9 gene expression being the most prominent.

Children who have previously arranged for sponsors will compete individually in timed races.

Players click and drag pieces over a two-dimensional chessboard in timed games.

Small groups can enter the walk-in installations in timed sessions every 15 minutes.

Films, meanwhile, will be shown in timed screenings in a gallery on the second floor.

Ticketholders are led through in timed groups so that VR stations and this immersive exhibition can be experienced in sync.