Abstract: A method to incorporate lane level road congestion to enhance vehicle navigation includes: collecting vehicle data from a fleet of vehicles; identifying a lane level distribution of multiple vehicles operating on a road having multiple lanes including a host vehicle; comparing the lane level distribution against a non-congested lane of the road; and identifying if a lane level congestion is occurring in at least one of the multiple lanes.

Abstract: A method to identify lane-level road congestion includes: modeling a lane-level congestion evolution process as a 2-dimensional (2D) Markov chain having multiple vehicles moving through a predetermined segment of a road; aggregating a volume of the multiple vehicles over a predetermined unit of time moving through the predetermined segment of a road; populating a lane congestion map identifying individual road lanes having differing levels of congestion; directing an output of the lane congestion map and an output of a lane congestion model to a lane routing engine; and identifying routes and route changes for a host vehicle to apply to improve a host vehicle estimated time of arrival (ETA) at a predetermined finish location.

Abstract: A mechanism to show how code is operating with different sets of input. After accessing the code that is to be evaluated along with the multiple input sets for that code, the computing system generates a multi-dimensional array of values. This is done by, for each of at least some of the multiple input sets, generating a corresponding intermediate value set of one or more intermediate values that are generated as the code operates upon the corresponding input set to generate a corresponding output value set. Then, the computing system causes a multi-dimensional array of values to be visualized using a multi-dimensional representation. In this multi-dimensional visualization, input sets are represented in at least one dimension against at least one intermediate value of the corresponding intermediate value set in at least another dimension.

Abstract: The indirect querying of models to determine capabilities possessed by the model. Such indirect queries take the form of model input that potentially includes a natural language input user data. Such model input is structured such that the output of the model is either not natural language at all, or else is natural language that is not semantically responsive to the natural language input. Nevertheless, the output is evaluated to estimate or determine the capability possessed by the model. Thus, models may be more fully utilized to their better potential.

Abstract: The automated generation of a natural language explanation of what code does. The code is structured to perform tasks because the code itself semantically specifies that those tasks are to be performed. A task-centric representation of the code is automatically generated that includes a task representation of each of some or all of the tasks to be performed as specified by the code. Natural language utterances are then automatically generated by generating a corresponding natural language utterance that semantically describes in natural language the corresponding task represented by the corresponding task representation. Controls are rendered for each natural language utterance that each permit a user to edit the corresponding natural language utterance. After editing, the code itself may be automatically modified or regenerated to reflect the changed natural language utterances.

Abstract: The indirect querying of models to determine capabilities possessed by the model. Such indirect queries take the form of model input that potentially includes a natural language input user data. Such model input is structured such that the output of the model is either not natural language at all, or else is natural language that is not semantically responsive to the natural language input. Nevertheless, the output is evaluated to estimate or determine the capability possessed by the model. Thus, models may be more fully utilized to their better potential.

Abstract: The generation of a response to a task prompt that represents a task to perform on declarative code. The response is generated with the aid of a language model that was trained on imperative code. The declarative code includes declarations about data. A task prompt represents a task to perform on the declarative code. At least a portion of the declarative code and at least a portion of the task prompt are converted into input imperative code. The input imperative code is then caused to be provided as input to the language model, resulting in the language model generating output imperative code. At least a portion of the output imperative code is then converted into a response to the task prompt.

Abstract: Systems, methods, and computer-readable media for porting locally processed media data with low latency to a remote client device via various wireless links are provided. In one example embodiment, a transceiver module may include a local network interface and a controller that may receive a client control signal from a client device over a wireless local area network via the local network interface, transmit a media control signal based on the client control signal to a media device, receive media data based on the media control signal from the media device, and transmit to the client device over the wireless local area network via the local network interface client data based on the media data and a low-latency compression technique. The receipt of the media data and transmission of the client data may be accomplished with substantially no detectable latency. Additional embodiments are also provided.

Abstract: Systems, methods, and computer-readable media for porting locally processed media data with low latency to a remote client device via various wireless links are provided. In one example embodiment, a transceiver module may include a local network interface and a controller that may receive a client control signal from a client device over a wireless local area network via the local network interface, transmit a media control signal based on the client control signal to a media device, receive media data based on the media control signal from the media device, and transmit to the client device over the wireless local area network via the local network interface client data based on the media data and a low-latency compression technique. The receipt of the media data and transmission of the client data may be accomplished with substantially no detectable latency. Additional embodiments are also provided.

Abstract: A system for provenance aware editing for propagating edits back to spreadsheets is provided. The system receives an indication of an operation to be performed at an output location. The operation indicates one or more input locations on a spreadsheet that each provides an input value. The input values are accessed and tagged with their corresponding input location on the spreadsheet. Based on the operation and the input value from each of the one or more input locations, the system derives and displays the result at the output location. A user edit to the result is received at the output location, which causes transmission of a propagation request to change the input value at one or more of the tagged input locations. Using where-provenance associated with the tagged input locations, the system propagates the user edit to one or more of the tagged input locations.

Abstract: Systems, methods, and computer-readable media for porting locally processed media data with low latency to a remote client device via various wireless links are provided. In one example embodiment, a transceiver module may include a local network interface and a controller that may receive a client control signal from a client device over a wireless local area network via the local network interface, transmit a media control signal based on the client control signal to a media device, receive media data based on the media control signal from the media device, and transmit to the client device over the wireless local area network via the local network interface client data based on the media data and a low-latency compression technique. The receipt of the media data and transmission of the client data may be accomplished with substantially no detectable latency. Additional embodiments are also provided.

Abstract: A spreadsheet application displays a spreadsheet of cells in tabular form. User input is received specifying an input range of cells of the spreadsheet, a destination range of cells of the spreadsheet and a local modification. A memory stores a representation of the spreadsheet indicating formatting, values and formulas. An update of the representation is computed by applying the local modifications to the representation. Values of cells of the input range of the spreadsheet are calculated by using the updated representation and the calculated values are displayed at the destination range.

Abstract: A system for provenance aware editing for propagating edits back to spreadsheets is provided. The system receives an indication of an operation to be performed at an output location. The operation indicates one or more input locations on a spreadsheet that each provides an input value. The input values are accessed and tagged with their corresponding input location on the spreadsheet. Based on the operation and the input value from each of the one or more input locations, the system derives and displays the result at the output location. A user edit to the result is received at the output location, which causes transmission of a propagation request to change the input value at one or more of the tagged input locations. Using where-provenance associated with the tagged input locations, the system propagates the user edit to one or more of the tagged input locations.

Abstract: Systems and methods described herein use near field communications to locate a radiating transponder, such as a pill swallowed by a patient. The system can be triggered to turn on and transmit a waveform to a set of antennas attached to, coupled with, or near the patient. The magnetic field emitted by the transponder can be measured by the receiving antennas, for example, using principles of mutual inductance. The differential phase and/or time shifts between the antennas can contain sufficient information to find the location of the transponder and optionally its orientation relative to body coordinates. The system can display the location and/or orientation of the transponder. Further, the pill can include a reservoir to deliver a payload at a particular site of the patient's body based at least in part on the determined location.

Abstract: Systems, methods, and computer-readable media for porting locally processed media data with low latency to a remote client device via various wireless links are provided. In one example embodiment, a transceiver module may include a local network interface and a controller that may receive a client control signal from a client device over a wireless local area network via the local network interface, transmit a media control signal based on the client control signal to a media device, receive media data based on the media control signal from the media device, and transmit to the client device over the wireless local area network via the local network interface client data based on the media data and a low-latency compression technique. The receipt of the media data and transmission of the client data may be accomplished with substantially no detectable latency. Additional embodiments are also provided.

Abstract: A spreadsheet application displays a spreadsheet of cells in tabular form. User input is received specifying an input range of cells of the spreadsheet, a destination range of cells of the spreadsheet and a local modification. A memory stores a representation of the spreadsheet indicating formatting, values and formulas. An update of the representation is computed by applying the local modifications to the representation. Values of cells of the input range of the spreadsheet are calculated by using the updated representation and the calculated values are displayed at the destination range.

Abstract: Checking and/or completing for data grids is described such as for grids having rows and columns of cells at least some of which contain data values such as numbers or categories. In various embodiments predictive probability distributions are obtained from an inference engine for one or more of the cells and the predictive probability distributions are used for various tasks such as to suggest values to complete blank cells, highlight cells having outlying values, identify potential errors, suggest corrections to potential errors, identify similarities between cells, identify differences between cells, cluster rows of the data grid, and other tasks. In various embodiments a graphical user interface displays a data grid and provides facilities for completing, error checking/correcting, and analyzing data in the data grid.

Abstract: Interest rates are applied to an account at a financial institution. A computer program determines whether the account qualifies for application of a first alternate interest rate in response to the account satisfying a first alternate interest rate qualification criteria and whether the account qualifies for application of a base interest rate. The program communicates application of the first alternate interest rate to the account for an accounting period applicable to the first alternate interest rate if the account qualifies for the first alternate interest rate. In an event wherein the account does not qualify for the first alternate interest rate, the program communicates application of the base interest rate to the account for an accounting period applicable to the base interest rate if the account qualifies for the base interest rate.

Abstract: Systems and methods described herein use near field communications to locate a radiating transponder, such as a pill swallowed by a patient. The system can be triggered to turn on and transmit a waveform to a set of antennas attached to, coupled with, or near the patient. The magnetic field emitted by the transponder can be measured by the receiving antennas, for example, using principles of mutual inductance. The differential phase and/or time shifts between the antennas can contain sufficient information to find the location of the transponder and optionally its orientation relative to body coordinates. The system can display the location and/or orientation of the transponder. Further, the pill can include a reservoir to deliver a payload at a particular site of the patient's body based at least in part on the determined location.

Abstract: Systems, methods, and computer-readable media for porting locally processed media data with low latency to a remote client device via various wireless links are provided. In one example embodiment, a transceiver module may include a local network interface and a controller that may receive a client control signal from a client device over a wireless local area network via the local network interface, transmit a media control signal based on the client control signal to a media device, receive media data based on the media control signal from the media device, and transmit to the client device over the wireless local area network via the local network interface client data based on the media data and a low-latency compression technique. The receipt of the media data and transmission of the client data may be accomplished with substantially no detectable latency. Additional embodiments are also provided.