Abstract: Methods and systems for liquefying natural gas using environmentally-friendly low combustibility refrigerants are provided. Methods of liquefaction include cooling a fluid in an LNG facility via indirect heat exchange with an environmentally-friendly low combustibility refrigerant selected from the group consisting of: a fluorinated olefin, xenon, any derivative thereof, and any combination thereof.

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 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: A copy-on-write union filesystem. A computer system identifies a first filesystem namespace as a mutable layer, and a second filesystem namespace as an immutable layer. The computer system exposes a merged filesystem namespace as a union filesystem that merges the mutable layer and the immutable layer, and that overlays the first filesystem namespace over the second filesystem namespace. The computer system identifies an operation on the merged filesystem namespace that requests to read from a file within the merged filesystem namespace, the file being stored in the second filesystem namespace and not being stored in the first filesystem namespace. The computer system returns a handle referencing a proxy object stored in a system memory. The proxy object includes a mapping to a file object corresponding to the file as stored in the second filesystem namespace.

Abstract: Network content delivery apparatus and methods based on content compiled from various sources and particularly selected for a given user. In one embodiment, the network comprises a cable television network, and the content sources include DVR, broadcast, nPVR, and VOD. The user-targeted content is assembled into a playlist, and displayed as a continuous stream on a virtual channel particular to that user. User interfaces accessible through the virtual channel present various functional options, including the selection or exploration of content having similarity or prescribed relationships to other content, and the ability to order purchasable content. An improved electronic program guide is also disclosed which allows a user to start over, record, view, receive information on, “catch up”, and rate content. Apparatus for remote access and configuration of the playlist and virtual channel functions, as well as a business rules “engine” implementing operational or business goals, are also disclosed.

Abstract: The present disclosure provides pharmaceutical compositions comprising cytidine analogs for oral administration, wherein the compositions release the cytidine analog substantially in the stomach. Also provided are methods of treating diseases and disorders using the oral formulations provided herein.

Abstract: The present disclosure provides pharmaceutical compositions comprising cytidine analogs for oral administration, wherein the compositions release the cytidine analog substantially in the stomach. Also provided are methods of treating diseases and disorders using the oral formulations provided herein.

Abstract: An embodiment includes tokenizing an input passage into an n-gram sequence of tokens. The embodiment also includes evaluating the input passage using a trained classification model that generates an output indicative of a classification of the input passage. The embodiment also includes generating a first token vector for a first token of the sequence of tokens and projecting the first token vector to a higher dimensional space, resulting in a first projected token vector. The embodiment also includes generating a first similarity score for the first projected token vector based on comparisons of the first projected token vector to each of a plurality of class representations. The embodiment also includes generating a ranked list of the tokens, wherein the generating of the ranked list includes ranking the first token among others of the tokens based on the first similarity score.

Abstract: Systems and methods for product imaging and provisioning include a mobile application (app) installed on an imaging device, where the mobile app activates the imaging device to generate an image of a product tag associated with an unavailable product at a first location. The mobile app determines, based on the image, a product indicator associated with the unavailable product. A provisioning app, executing on a remote device, receives the product indicator associated with the unavailable product. The provisioning app also receives a user indicator associated with a first user and executes one or more product provisioning rules that determine, based on a product availability database and the user indicator, an availability result. The availability result indicates whether the unavailable product will be available to the first user. The provisioning app is further operable to send the availability result to the imaging device for presentation by the imaging device.

Abstract: Network content delivery apparatus and methods based on content compiled from various sources and particularly selected for a given user. In one embodiment, the network comprises a cable television network, and the content sources include DVR, broadcast, nPVR, and VOD. The user-targeted content is assembled into a playlist, and displayed as a continuous stream on a virtual channel particular to that user. User interfaces accessible through the virtual channel present various functional options, including the selection or exploration of content having similarity or prescribed relationships to other content, and the ability to order purchasable content. An improved electronic program guide is also disclosed which allows a user to start over, record, view, receive information on, “catch up”, and rate content. Apparatus for remote access and configuration of the playlist and virtual channel functions, as well as a business rules “engine” implementing operational or business goals, are also disclosed.

Abstract: The present disclosure provides pharmaceutical compositions comprising cytidine analogs for oral administration, wherein the compositions release the cytidine analog substantially in the stomach. Also provided are methods of treating diseases and disorders using the oral formulations provided herein.

Abstract: Methods, non-transitory computer readable media, and query verification apparatuses are disclosed that receive data, store the data into a table of a database, and receive a query that is associated with the database table. A query plan and a query result are generated for the query, one or more partial proofs are generated from one or more commitments, and an overall proof is generated from the one or more partial proofs. Each of the one or more partial proofs is associated with at least one node of the query plan in some examples, which can include a directed acyclic graph. The overall proof is returned along with the query result in response to the query to facilitate verification of the query result. One or more GPUs are configured to generate the one or more commitments in some examples to thereby accelerate the verification process and improve database scalability.

Abstract: A grass covering apparatus for use in camouflaging and concealing a person during a variety of different outdoor and/or wildlife activities, particularly during hunting. A grass covering apparatus comprising a plurality of blades that are manufactured from a substantially synthetic material, wherein said synthetic grass covering apparatus is able to withstand an outdoor environment and a variety of different environment elements and remain in a substantially wet and damp environment without rotting, molding, or deteriorating.

Abstract: A watercraft, associated motor pod, and associated methods are provided. The motor pod is operable to maintain an orientation of the watercraft relative to a reference datum while the watercraft is moving or stationary.

Abstract: Systems and methods for product imaging and provisioning include a mobile application (app) installed on an imaging device, where the mobile app activates the imaging device to generate an image of a product tag associated with an unavailable product at a first location. The mobile app determines, based on the image, a product indicator associated with the unavailable product. A provisioning app, executing on a remote device, receives the product indicator associated with the unavailable product. The provisioning app also receives a user indicator associated with a first user and executes one or more product provisioning rules that determine, based on a product availability database and the user indicator, an availability result. The availability result indicates whether the unavailable product will be available to the first user. The provisioning app is further operable to send the availability result to the imaging device for presentation by the imaging device.

Abstract: A policy management system can manage a set of insurance policies, for example by performing automated operations to renew policies for subsequent terms. Some insurance policies may be associated with the same household, company, or other insured party, but may be associated with different cars or other insured elements. The policy management system can have a policy consolidator that identifies database records for a target policy and a related source policy, and can consolidate data from the source policy into the record of the target policy. Thereafter, the policy management system can perform policy renewal operations and other policy management operations together based on the consolidated data in the record for the target policy.

Abstract: A sawhorse extension rack system incorporates two vertical extension portions coupled to a sawhorse and having openings for receiving and retaining work-pieces. The two vertical extension portions are coupled to opposing ends of the sawhorse and have a beam retainer opening that slides over a support beam extending from the sawhorse. The vertical extension portions extend up from the sawhorse and each have first and second vertical support members and one or more cross-supports to produce one or more openings to receive a work-piece. A user may slide the first and second vertical extension over the support beam and then position one or more work-pieces in the openings to increase work capacity.

Abstract: The present disclosure provides pharmaceutical compositions comprising cytidine analogs for oral administration, wherein the compositions release the cytidine analog substantially in the stomach. Also provided are methods of treating diseases and disorders using the oral formulations provided herein.

Abstract: The present disclosure provides pharmaceutical compositions comprising cytidine analogs for oral administration, wherein the compositions release the cytidine analog substantially in the stomach. Also provided are methods of treating diseases and disorders using the oral formulations provided herein.

Abstract: Network content delivery apparatus and methods based on content compiled from various sources and particularly selected for a given user. In one embodiment, the network comprises a cable television network, and the content sources include DVR, broadcast, nPVR, and VOD. The user-targeted content is assembled into a playlist, and displayed as a continuous stream on a virtual channel particular to that user. User interfaces accessible through the virtual channel present various functional options, including the selection or exploration of content having similarity or prescribed relationships to other content, and the ability to order purchasable content. An improved electronic program guide is also disclosed which allows a user to start over, record, view, receive information on, “catch up”, and rate content. Apparatus for remote access and configuration of the playlist and virtual channel functions, as well as a business rules “engine” implementing operational or business goals, are also disclosed.