Abstract: A wellhead bracing system for a subsea well includes a base plate assembly and a wellhead brace assembly. The base plate assembly comprises a top surface, a bottom surface, a base plate aperture, and a plurality of anchor holes. The wellhead brace assembly comprises a vertical plate assembly having a cylindrical shape, a horizontal plate assembly to which the vertical plate assembly is attached, and a vertical support assembly attached to an outer surface of the vertical plate assembly and attached to the top surface of the horizontal plate assembly. Horizontal plate holes of the horizontal plate assembly are configured to attach to studs on the top surface of the base plate to secure the wellhead brace assembly to the base plate assembly. The wellhead bracing system slides onto a wellhead of the subsea well and braces an exterior of the wellhead.

Abstract: Methods, non-transitory computer readable media, and verifier and/or prover devices or query verification apparatuses are disclosed that generate a first commitment from received data and send the received data to a prover device for insertion into a table of a database. A query result and an overall proof are received from the prover device in response to a received query forwarded to the prover device and associated with the database table. The overall proof is generated from one or more partial proofs comprising one or more commitments generated from one or more intermediate values. The query result and an indication the query result was verified are returned in response to the received query after verifying the query result based on a second commitment to the query result generated using the first commitment and the overall proof.

Abstract: Methods, non-transitory computer-readable media, and query verification apparatuses are disclosed that receive a result vector, an index to the result vector, a range proof, and an inner product proof from a prover device after providing a query vector to the prover device. The prover device hosts a vector database with rows and columns. Second and third commitments to a distance vector and a random linear combination vector, respectively, are generated based on a first commitment to the rows. The range proof is checked using the second commitment and the inner product proof is checked using the third commitment and a generator used to generate the first commitment and identified based on the index. The result vector is returned after confirming that it is one of the rows and each of the rows is as far from the query vector as the result vector based on the check of the proofs.

Abstract: Pharmaceutical compositions of the invention include substituted riluzole prodrugs useful for the treatment of cancers including melanoma, breast cancer, brain cancer, and prostate cancer through the release of riluzole. Prodrugs of riluzole have enhanced stability to hepatic metabolism and are delivered into systemic circulation by oral administration, and then cleaved to release riluzole in the plasma via either an enzymatic or general biophysical release process.

Abstract: Pharmaceutical compositions of the invention include substituted riluzole prodrugs useful for the treatment of cancers including melanoma, breast cancer, brain cancer, and prostate cancer through the release of riluzole. Prodrugs of riluzole have enhanced stability to hepatic metabolism and are delivered into systemic circulation by oral administration, and then cleaved to release riluzole in the plasma via either an enzymatic or general biophysical release process.

Abstract: Pharmaceutical compositions of the invention include substituted riluzole prodrugs useful for the treatment of cancers including melanoma, breast cancer, brain cancer, and prostate cancer through the release of riluzole. Prodrugs of riluzole have enhanced stability to hepatic metabolism and are delivered into systemic circulation by oral administration, and then cleaved to release riluzole in the plasma via either an enzymatic or general biophysical release process.

Abstract: Pharmaceutical compositions of the invention include substituted riluzole prodrugs useful for the treatment of cancers including melanoma, breast cancer, brain cancer, and prostate cancer through the release of riluzole. Prodrugs of riluzole have enhanced stability to hepatic metabolism and are delivered into systemic circulation by oral administration, and then cleaved to release riluzole in the plasma via either an enzymatic or general biophysical release process.

Abstract: Pharmaceutical compositions of the invention include substituted riluzole prodrugs useful for the treatment of cancers including melanoma, breast cancer, brain cancer, and prostate cancer through the release of riluzole. Prodrugs of riluzole have enhanced stability to hepatic metabolism and are delivered into systemic circulation by oral administration, and then cleaved to release riluzole in the plasma via either an enzymatic or general biophysical release process.

Abstract: Pharmaceutical compositions of the invention include substituted riluzole prodrugs useful for the treatment of cancers including melanoma, breast cancer, brain cancer, and prostate cancer through the release of riluzole. Prodrugs of riluzole have enhanced stability to hepatic metabolism and are delivered into systemic circulation by oral administration, and then cleaved to release riluzole in the plasma via either an enzymatic or general biophysical release process.

Abstract: Pharmaceutical compositions of the invention include substituted riluzole prodrugs useful for the treatment of cancers including melanoma, breast cancer, brain cancer, and prostate cancer through the release of riluzole. Prodrugs of riluzole have enhanced stability to hepatic metabolism and are delivered into systemic circulation by oral administration, and then cleaved to release riluzole in the plasma via either an enzymatic or general biophysical release process.

Abstract: In an embodiment, an in-vehicle apparatus includes a transmitter operable to transmit radio frequency control signals and communication circuitry configured to communicate with a remote computer via a network. The communication circuitry is configured to receive information from the remote computer via the network, the information pertaining to one or more controllable devices of a user account. The apparatus includes a processor configured to: communicate, via the communication circuitry, a transmitter identifier representative of a transmitter code of the transmitter with the remote computer; effect the movable barrier operator to change a state of a movable barrier by causing the transmitter to transmit a first radio frequency control signal to the movable barrier operator system; and effect the movable barrier operator to learn the transmitter by causing the transmitter to transmit a second radio frequency control signal to the movable barrier operator system.

Abstract: Pharmaceutical compositions of the invention include substituted riluzole prodrugs useful for the treatment of cancers including melanoma, breast cancer, brain cancer, and prostate cancer through the release of riluzole. Prodrugs of riluzole have enhanced stability to hepatic metabolism and are delivered into systemic circulation by oral administration, and then cleaved to release riluzole in the plasma via either an enzymatic or general biophysical release process.

Abstract: A heavy-duty jamb latch for securing sliding doors to a rough opening of a building or structure includes a base plate, a handle, side plates adjacent and pivotably connected to the base plate, a carrier pin passing through recesses in the base plate and apertures in the side plates, and rigid members fastened to the carrier pin via bores drilled into the carrier pin. The rigid members extend away from the handle and secure sliding doors to a rough opening of a building or structure. The heavy-duty jamb latch may be mounted to the rough opening of the building or structure and may transition from an open position to a closed position by pulling the handle, thereby securing the sliding doors to the rough opening of the building or structure. Additionally, a locking pin or a padlock may lock the heavy-duty jamb latch.

Abstract: In an embodiment, an in-vehicle apparatus includes a transmitter operable to transmit radio frequency control signals and communication circuitry configured to communicate with a remote computer via a network. The communication circuitry is configured to receive information from the remote computer via the network, the information pertaining to one or more controllable devices of a user account. The apparatus includes a processor configured to: communicate, via the communication circuitry, a transmitter identifier representative of a transmitter code of the transmitter with the remote computer; effect the movable barrier operator to change a state of a movable barrier by causing the transmitter to transmit a first radio frequency control signal to the movable barrier operator system; and effect the movable barrier operator to learn the transmitter by causing the transmitter to transmit a second radio frequency control signal to the movable barrier operator system.

Abstract: Pharmaceutical compositions of the invention include substituted riluzole prodrugs useful for the treatment of cancers including melanoma, breast cancer, brain cancer, and prostate cancer through the release of riluzole. Prodrugs of riluzole have enhanced stability to hepatic metabolism and are delivered into systemic circulation by oral administration, and then cleaved to release riluzole in the plasma via either an enzymatic or general biophysical release process.

Abstract: Pharmaceutical compositions of the invention include substituted riluzole prodrugs useful for the treatment of cancers including melanoma, breast cancer, brain cancer, and prostate cancer through the release of riluzole. Prodrugs of riluzole have enhanced stability to hepatic metabolism and are delivered into systemic circulation by oral administration, and then cleaved to release riluzole in the plasma via either an enzymatic or general biophysical release process.

Abstract: Pharmaceutical compositions of the invention include substituted riluzole prodrugs useful for the treatment of cancers including melanoma, breast cancer, brain cancer, and prostate cancer through the release of riluzole. Prodrugs of riluzole have enhanced stability to hepatic metabolism and are delivered into systemic circulation by oral administration, and then cleaved to release riluzole in the plasma via either an enzymatic or general biophysical release process.

Abstract: Pharmaceutical compositions of the invention include substituted riluzole prodrugs useful for the treatment of cancers including melanoma, breast cancer, brain cancer, and prostate cancer through the release of riluzole. Prodrugs of riluzole have enhanced stability to hepatic metabolism and are delivered into systemic circulation by oral administration, and then cleaved to release riluzole in the plasma via either an enzymatic or general biophysical release process.

Abstract: In an embodiment, an in-vehicle apparatus includes a transmitter operable to transmit radio frequency control signals and communication circuitry configured to communicate with a remote computer via a network. The communication circuitry is configured to receive information from the remote computer via the network, the information pertaining to one or more controllable devices of a user account. The apparatus includes a processor configured to: communicate, via the communication circuitry, a transmitter identifier representative of a transmitter code of the transmitter with the remote computer; effect the movable barrier operator to change a state of a movable barrier by causing the transmitter to transmit a first radio frequency control signal to the movable barrier operator system; and effect the movable barrier operator to learn the transmitter by causing the transmitter to transmit a second radio frequency control signal to the movable barrier operator system.

Abstract: Pharmaceutical compositions of the invention include substituted riluzole prodrugs useful for the treatment of cancers including melanoma, breast cancer, brain cancer, and prostate cancer through the release of riluzole. Prodrugs of riluzole have enhanced stability to hepatic metabolism and are delivered into systemic circulation by oral administration, and then cleaved to release riluzole in the plasma via either an enzymatic or general biophysical release process.