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: 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: 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: 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: 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 refrigerants that are propane, ethane and methane mixed with small amounts of fluorinated olefin, but still within close proximity to the boiling points of the pure refrigerants such that the mixed refrigerants can still be used in an optimized cascade process.

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: A system and method that relates to an improved worktable design which facilitates easy replacement of slats on a work surface for a laser cutter. The work surface includes a frame that has a first slat mount and a second slat mount which extend along opposite sides of the frame. The first and the second slat mounts have a plurality of slat supports. A plurality of slat systems each extend from the first slat mount to the second slat mount at a corresponding one of the plurality of slat supports. Each of the plurality of slat systems includes a slat guide with a slat channel, and a slat that is configured to fit within the slat channel. The slat system is removable from the slat mount and the slat is replaceable from the slat system.

Abstract: A laser cutting assembly with a laser cutter, a worktable including a plurality of slats, and a slug removal assembly. The slug removal assembly includes a movable support, at least one scraper plate, and a resilience system linking the at least one scraper plate to the movable support. The at least one scraper plate is configured to contact a corresponding one of the plurality of slats. The movable support is configured to move across the worktable such that the at least one scraper plate contacts a corresponding one of the plurality of slats.

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: 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: A collection bin for a laser cutting machine includes a first container and a second container. Each of the first and second containers include a base; opposite first and second sidewalls; an end wall; a first lift member; and a first pivot member. The first and second sidewalls extend from the base and between a first end and second end. The end wall extends from the base and between the first and second sidewalls at the second end. The first lift member is positioned between the first and second ends. The first lift member facilitates movement of the collection bin. An interior space is defined by the base, the first and second sidewalls, and the end wall. The first pivot member extends between the first and second containers and facilitates a transition between a containing state and an emptying state.

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: 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: 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.