For example, the formula A means that whenever program α or β is successfully executed, a state is reached where A holds, whereas the formula <*>A means that there is a sequence of alternating executions of α and β such that a state is reached where A holds.
Preliminary experiments, carried out with the Charlie USV, of an automatic mission controller able to alternate the execution of autonomous and human tele-operated activities are presented.
The functional time series of DTI scans (the fDTI set) were acquired during the execution of an alternating sequence of a neurobehavioral task and a resting condition.
Here is the text of the letter sent to Knight clients: Dear Clients: Due to a building emergency (power issues), Knight Capital Americas is asking you to seek an alternate destination for the order handling and execution of your OTC, Options and Listed orders until further notice.
A service designer must weigh alternate means of execution, for example, by considering the merits of using a buffing machine in the process of shoeshining.
The death penalty has been a hot topic in the US of late, as the Supreme Court considers whether some lethal injections constitute cruel and unusual punishment, and other states weigh alternate methods of execution.
While some states sought to reinstate back-up alternate methods of execution like the electric chair or firing squads, others sought to put shield laws in place to prevent the press and public from knowing details about the drugs being used, including the names of the drug manufacturers and distributors.
An efficient strategy to explore the environment for available resources involves the execution of random walks where straight line locomotion alternates with changes of direction.
Setting the parameter to zero completely blocked execution of the prescribed action and, if specified, dictated an alternate action.
§ 1316.11 Execution of warrants.
