Sentence examples for model of checking from inspiring English sources

MA: You don't think we're there yet because of the hardware, the phones aren't there yet, or that they haven't quite gotten the model of checking in?

The Foursquare model of checking into a location, earning badges and tapping into your social network to share that location has become one that has been able to be applied to other platforms.

This confirms the observing response task as a potential model of checking that has relevance to OCD studies.

We validated and evaluated the novel observing response task as a potential model of checking behaviour, by testing the hypothesis that chronic quinpirole treatment would selectively increase observing/checking behaviour, as it does in the open-field checking model.

We aimed to test the hypothesis that a pharmacological model of checking behaviour in rats, defined as ten treatments with a specified dose of quinpirole (commonly 0.5 mg/kg [16 18]), would selectively increase checking-like behaviour in the observing response task.

A well-established rodent model of checking behaviour showed that striatal dopamine function is important for the control of checking: following chronic treatment with dopamine D2/3-receptor agonist quinpirole, rats increased open-field locomotor behaviour in a manner that displayed many features of human compulsive checking [16,17].

In an established rodent model of OCD checking behaviour, quinpirole (dopamine D2/3-receptor agonist) increased checking in open-field tests, indicating dopaminergic modulation of checking-like behaviours.

The Ergenekon trial and the legal reforms around it have brought to an end the Kemalist model of checks and balances between different pillars of authority within Turkey.

Based on the formal model, the method of model checking can be applied to determine algorithmically whether the system fulfils a set of given safety requirements.

Probabilistic Model Checking, or PMC, is a variant of model checking for modeling and analyzing systems that exhibit stochastic behavior as is the case for several biological systems.

Our key motivation of this paper is to establish a quantitative methodology to model and analyze in silico models incorporating the use of model checking approach.