Google Inc.

International Business Machines Corporation

Mellanox Technologies, Ltd.

Ishai Rabinovitz

Evgeny A Cherepanov

Emanuel Taropa

Vikram Sridar

Omer Tabach

Jakob Nicolaus Foerster

Ziv Glazberg

Ohad Shacham

Sharon Keidar-Barner

Rachel Tzoref

Daniel Geist

Satish Chandra Gupta

Mark Ginzburg

Yoad Lustig

Shmuel Ur

Noam Bloch

Eitan D Farchi

Gil Bloch

Hillel Chapman

Ariel Shachar

Michael Buchanan

Cynthia Rae Eisner

Sandeep Kohli

Nathan David Howard

Gilad Shainer

Christopher Bo Tandiono

Kumar Rangarajan

Pavel Shamis

Janees Elamkulam

Methods, systems, and apparatus, including computer programs encoded on computer storage media, for ranking query completions based on activity session data. One of the methods includes receiving a query prefix from a user. A reference parameter for the user is obtained. One or more likely queries that are likely to co-occur with the reference parameter in user activity sessions are identified, wherein each likely query has an associated prediction score. A ranking of the one or more likely queries is provided in response to receiving the query prefix.

Query completions

Methods, systems, and apparatus, including computer programs encoded on computer storage media, for natural language processing. One of the method includes receiving a voice input from a user device; generating a recognition output; receiving a user selection of one or more terms in the recognition output; receiving a user input of one or more letters replacing the user selected one or more terms; determining suggested correction candidates based in part on the user input and the voice input; and providing one or more suggested correction candidates to the user device as suggested corrected recognition outputs.

Biasing voice correction suggestions

Methods, systems, and apparatus, including computer programs encoded on a computer storage medium, for receiving audio data encoding an utterance; obtaining an intermediate transcription of the utterance; before a final transcription of the utterance is obtained: i) determining that the intermediate transcription of the utterance is associated with a previously received search query, ii) obtaining one or more results that are identified as responsive to the previously received search query, and iii) storing one or more of the results; obtaining the final transcription of the utterance; determining that the final transcription of the utterance is also associated with the previously received search query; and in response to determining that the final transcription of the utterance is also associated with the previously received search query, providing the stored one or more results for output.

Search result prefetching of voice queries

A Network Interface (NI) includes a host interface, which is configured to receive from a host processor of a node one or more cross-channel work requests that are derived from an operation to be executed by the node. The NI includes a plurality of work queues for carrying out transport channels to one or more peer nodes over a network. The NI further includes control circuitry, which is configured to accept the cross-channel work requests via the host interface, and to execute the cross-channel work requests using the work queues by controlling an advance of at least a given work queue according to an advancing condition, which depends on a completion status of one or more other work queues, so as to carry out the operation.

Cross-channel network operation offloading for collective operations

A computer-implemented method for verifying a target system includes defining a specification including properties applicable to the target system. Execution sequences of the target system are identified. A set of the execution sequences is grouped into an equivalence class characterized by a common control flow. A symbolic representation of the equivalence class is evaluated so as to verify a compliance of the set of the execution sequences with one or more of the properties.

Software verification using hybrid explicit and symbolic model checking

Growing community of inventors

Haifa, Israel

Ishai Rabinovitz