Sentence examples for model of checks from inspiring English sources

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.

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.

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.

We validate a novel operant model of compulsive checking, relevant to OCD.

In this paper we introduce and examine the problem of model checking of open systems (module checking, for short).

Correct model checking of open systems should check the system with respect to arbitrary environments and should take into account uncertainty regarding the environment.

Thereby, the use of the model check of ProB which stops when all operations are covered proves that this invariant is respected by the abstract machine.