Abstract: A post-processed GNSS solution from raw GNSS data acquired from a vehicle and optionally other sources is dynamically calculated at the epoch level without using a Kalman filter. Instead, a plurality of GNSS processing methods is applied to each epoch in either the forward or backward direction and the most accurate solution for each epoch of the forward generated solution and backward generated solution is combined. The combined post-processed GNSS solution is determined based on which of the GNSS processing methods were used to generate an epoch of the forward solution and a corresponding epoch of the backward solution.

Abstract: A head-mounted display device for interface with a medical device includes a frame configured to be mounted on a user's head, a display, a wireless transceiver configured to communicate with a network, and a processing circuit. The medical device is configured to perform an invasive procedure on the person. The processing circuit receives a notification message from the medical device. The processing circuit records medical device information in response to receiving the notification message from the medical device.

Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for audio augmentation of physical robot sounds. A robot can determine that a first physically moveable component of the robot is to be actuated and in response, obtain a conditional state of the robot. The robot can obtain an audio object that generates an audio enhancement for the first physically moveable component being actuated, the audio enhancement having one or more characteristics that match the obtained conditional state of the robot. The robot can output the audio enhancement while actuating the first physically moveable component.

Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for audio augmentation of physical robot sounds. A robot can determine that a first physically moveable component of the robot is to be actuated and in response, obtain a conditional state of the robot. The robot can obtain an audio object that generates an audio enhancement for the first physically moveable component being actuated, the audio enhancement having one or more characteristics that match the obtained conditional state of the robot. The robot can output the audio enhancement while actuating the first physically moveable component.

Abstract: The present invention provides carbapenem compounds and pharmaceutical compositions useful in the treatment of bacterial infections, including drug resistant or multiple-drug resistant bacterial infections, and methods for treating such infections using such compounds and/or compositions. The invention includes administering an effective amount of a carbapenem compound or salt and/or prodrug thereof to a host in need of such a treatment.

Abstract: The present invention provides carbapenem compounds and pharmaceutical compositions useful in the treatment of bacterial infections, including drug resistant or multiple-drug resistant bacterial infections, and methods for treating such infections using such compounds and/or compositions. The invention includes administering an effective amount of a carbapenem compound or salt and/or prodrug thereof to a host in need of such a treatment.

Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for audio augmentation of physical robot sounds. A robot can determine that a first physically moveable component of the robot is to be actuated and in response, obtain a conditional state of the robot. The robot can obtain an audio object that generates an audio enhancement for the first physically moveable component being actuated, the audio enhancement having one or more characteristics that match the obtained conditional state of the robot. The robot can output the audio enhancement while actuating the first physically moveable component.