Sentence examples for checking in order to from inspiring English sources

This paper propose the use of timed automata and model checking in order to analyze the timing behavior of a network architecture including specific fieldbuses (CAN, FIP, …) interconnected by switched Ethernet.

We applied logical model checking in order to assess the potential of the experimentally derived wild type interaction network (Fig. 1 b) to exhibit bistable dynamics and at the same time to fulfil the stability constraints from the various genetic knockout strains (Fig. 1 a).

We selected the stable D t assumption and the bandwidths of T t and S t through extensive use of visualization and numerical methods of model checking in order to prevent overfitting or a lack of fit of the components of variation, and to keep two components from competing for the same variation in the data.

The TRB is a database of previously used film titles which studios voluntarily check in order to ensure they do not borrow a rival organisation's moniker.

The serviceability limit state and fatigue life of the structure are checked in order to assess the safety.

Finally, channel state is checked in order to determine if offloadable non-urgent tasks have to be offloaded or deferred.

Matrix representations offer constant time adjacency checking but require every vertex to be checked in order to obtain a list of neighbours or degree.

For example, in case a settlement value is unexpectedly high, the corresponding thrust force value can be checked in order to determine if something went wrong.

Food production in four school kitchens was checked in order to improve food safety by establishing a self-regulated control system based on good manufacturing practices (GMPs) and as an introduction to hazard analysis and critical control points (HACCP).

The length of the screw (Fig. 3a) and the positions of the holes, located as far as possible from the posterior wall, must be carefully checked in order to prevent possible leakage into the canal (Fig. 3b).

The seeds were checked in order to see whether they comply with all quality standards necessary for germination and growth of seedlings, after which we treated them with a sterilising agent.