Abstract: Systems, methods, and computer-readable media are disclosed for systems and methods for voice-based device operation mode management. Example methods may include determining that a device is coupled to an accessory device, and determining that being coupled to the accessory device triggers activation of a first operation mode at the device. The first operation mode presents digital content at the display in a user interface having a first content density that is less than a second content density of a second operation mode. Example methods may include causing the device to activate the first operation mode, receiving first voice data indicative of a request to change the device operation mode to the second operation mode, and causing the device to activate the second operation mode.

Abstract: Systems, methods, and computer-readable media are disclosed for systems and methods for voice-based device operation mode management. Example methods may include determining that a device is coupled to an accessory device, and determining that being coupled to the accessory device triggers activation of a first operation mode at the device. The first operation mode presents digital content at the display in a user interface having a first content density that is less than a second content density of a second operation mode. Example methods may include causing the device to activate the first operation mode, receiving first voice data indicative of a request to change the device operation mode to the second operation mode, and causing the device to activate the second operation mode.

Abstract: Systems, methods, and computer-readable media are disclosed for systems and methods for selective requests for authentication for voice-based launching of applications. Example methods may include receiving first audio data representing an utterance, determining that the device is in a first operating mode when the audio data was received, determining that the device is in a locked state when the audio data is received, and receiving, from a remote system, a command to display information based at least on part on the audio data. Certain methods may include receiving an indication that the utterance was spoken by a user authorized to access the information while in the first operating mode and the locked state, and causing presentation of the information by the device.

Abstract: Systems, methods, and computer-readable media are disclosed for systems and methods for selective requests for authentication for voice-based launching of applications. Example methods may include receiving first audio data representing an utterance, determining that the device is in a first operating mode when the audio data was received, determining that the device is in a locked state when the audio data is received, and receiving, from a remote system, a command to display information based at least on part on the audio data. Certain methods may include receiving an indication that the utterance was spoken by a user authorized to access the information while in the first operating mode and the locked state, and causing presentation of the information by the device.

Abstract: Systems, methods, and computer-readable media are disclosed for systems and methods for voice-forward graphical user interface mode management. Example methods include determining that a device is coupled to an accessory device, determining that being coupled to the accessory device causes the device to deactivate a first operating mode and activate a second operating mode, where the second operating mode has a lower content density than the first operating mode, and determining that an application setting of an application executing on the device is causing the device to remain in the first operating mode. Example methods may include determining that a new value is associated with the application setting, and causing the device to activate the second operating mode.

Abstract: Systems, methods, and computer-readable media are disclosed for systems and methods for voice-based device operation mode management. Example methods may include determining that a device is coupled to an accessory device, and determining that being coupled to the accessory device triggers activation of a first operation mode at the device. The first operation mode presents digital content at the display in a user interface having a first content density that is less than a second content density of a second operation mode. Example methods may include causing the device to activate the first operation mode, receiving first voice data indicative of a request to change the device operation mode to the second operation mode, and causing the device to activate the second operation mode.

Abstract: An approach to detection and repair of application level semantic errors in deployed software includes inferring aspects of correct operation of a program. For instance, a suite of examples of operations that are known or assumed to be correct are used to infer correct operation. Further operation of the program can be compared to results found during correct operation and the logic of the program can be augmented to ensure that aspects of further examples of operation of the program are sufficiently similar to the examples in the correct suite. In some examples, the similarity is based on identifying invariants that are satisfied at certain points in the program execution, and augmenting (e.g., “patching”) the logic includes adding tests to confirm that the invariants are satisfied in the new examples. In some examples, the logic invokes an automatic or semi-automatic error handling procedure if the test is not satisfied.

Abstract: An arrangement for adjusting and securing a load to the roof of a vehicle is described, the arrangement being operable by a single person and comprising an elongate load adjusting and securing means having a first end and a second end mountable on a vehicle, one end of the elongate load adjusting and securing means comprising a first load stop end, the elongate load adjusting and securing means comprising a load carrying member extending between the two ends, a movable clamp movably mounted on the load carrying member, the movable clamp having connecting means for connecting towing means to the movable clamp, the load adjusting and securing means having means for moving the clamp along the load carrying member via the towing means.

Abstract: An approach to detection and repair of application level semantic errors in deployed software includes inferring aspects of correct operation of a program. For instance, a suite of examples of operations that are known or assumed to be correct are used to infer correct operation. Further operation of the program can be compared to results found during correct operation and the logic of the program can be augmented to ensure that aspects of further examples of operation of the program are sufficiently similar to the examples in the correct suite. In some examples, the similarity is based on identifying invariants that are satisfied at certain points in the program execution, and augmenting (e.g., “patching”) the logic includes adding tests to confirm that the invariants are satisfied in the new examples. In some examples, the logic invokes an automatic or semi-automatic error handling procedure if the test is not satisfied.