Sentence examples for commands to different from inspiring English sources

KR: There is a human in the loop in the sense that we have an air traffic controller that is in communication with the vehicles at all times and can issue high level commands to different vehicles in the fleet if necessary.

This is equivalent to listening to a cell phone from Mars". Scientists may no longer know the exact configuration of the lander, since NASA has sent many commands to exercise different aspects after losing contact with the spacecraft.

In the case of the latter, we may use ChIPS commands to assign a different color to each order to separate them visually.

In February 2014, we installed the 'module' command to manage different software environments.

In this way, they have introduced the Palm Menu, which directly maps commands or operations to different combinations of fingers and they have found that using finger chords has significant performance advantage.

Document formatting systems like roff [23] use pipelines with different commands to process and filter document streams.

I've been pretty pumped about this, home assistants are at their worst when you get home and have to rattle off two or three different commands to get your stuff turned on.

The usage cases addressed by this work are those where users combine different commands to administrate and/or use distributed resources, i.e., when the toolbox approach would be used but is not used because of high network latencies.

My biggest gripe so far: if you 'check' a message, then use keyboard commands to advance to a different message, the preview page won't display the message you've now highlighted (it'll just say 'One conversation selected').

But at the same time, divine command as delivered to different faith communities can impose a highly differentiated notion of dignity that undermines its universal character.

Edward was suffering ill health by this time, and instead of leading an expedition himself, he gave different military commands to Aymer de Valence and Henry Percy, while the main royal army was led by the Prince of Wales.