Abstract: A tool interchange for a submersible remote operated vehicle (ROV) arm includes a first interchange body that affixes to an ROV arm. A second interchange body is carried by the first interchange body to rotate on a rotation axis. The second interchange body includes a tool mount actuable between gripping an ROV tool to the second interchange body and releasing the ROV tool from the second interchange body. An inductive power coupling part is provided in the tool mount. The inductive power coupling part is presented outwardly in the tool mount opposite the first interchange body, resides on the rotation axis and is fixed with respect to the first interchange body while the second interchange body rotates. The inductive power coupling part is adapted to inductively communicate power with a corresponding inductor power coupling part of the ROV tool when the ROV tool is docked in the tool mount.

Abstract: A graphical, rich, and interactive mechanism for exploring the forms and usage of a particular word. A word, identified as a lemma, can be displayed with its lexemes which cover multiple usages and tenses of the word. For each lexeme, collocates and synonyms are displayed, in a format that indicates which collocates and synonyms are used with the word most frequently. A word map contains the lemma, lexeme, synonyms, and collocates information for the word, and provides an interactive aspect by providing additional information when particular elements are icons of the word map are selected by the user.

Abstract: Methods for converting non-standard frac sand into sand with fracking properties using at least one jet pump.

Abstract: Aspects of the subject matter described herein relate to software validation. In aspects, code may be instrumented to generate certain records upon execution. The code may be further instrumented to generate start and stop records that correspond to the start and stop events of a scenario of a program. The start and stop event records allow correlation of the scenario with other records written to the log. With the correlation and appropriate instrumentation, a tool may determine performance, memory usage, functional correctness, and other characteristics of program at the granularity of the scenario.

Abstract: Test cases may be dynamically generated for testing interoperability between different execution environments.

Abstract: Test cases dynamically generated for testing interoperability between different execution environments are channeled through a benign target object in a different execution environment.