Abstract: A model including a plurality of intermediate operations may be identified. An intermediate operation of the plurality of intermediate operations may be selected to provide output values associated with the plurality of intermediate operations during execution of the model. A first output value associated with the intermediate operation may be received during a first execution of the model. A second output value associated with the intermediate operation may be received during a second execution of the model. A difference between the first output value and the second output value may be determined to satisfy a threshold. A notification may be transmitted that indicates data drift of the model in view of the difference between the first output value and the second output value satisfying the threshold.

Abstract: Implementations for verifying validity of a literate programming document are described. An example method may include accessing a first module of a plurality of modules of a literate programming document, wherein the plurality of modules are organized as a directed graph, identifying a first contract associated with the first module, wherein the first contract specifies a first set of input criteria to be satisfied by one or more first input provided to the first module and a first set of output criteria to be satisfied by one or more first output generated by the first module, and determining whether the one or more first output satisfies the first set of output criteria when the one or more first input satisfies the first set of input criteria.

Abstract: A self-administered oxygenation apparatus for increasing pressure within a non-intubated patient's lungs and thereby increasing an amount of oxygen in the non-intubated patient's blood when operated by the patient includes a mouthpiece, a vent member, a resistance member, and a plurality of medical sensors. The medical sensors are configured to receive a portion of the exhalation and to transmit generated medical data to a remote location, such as to a software application via the internet. The mouthpiece includes an external portion through which the patient inhales and exhales. The resistance member is a PEEP valve configured to open upon inhalation so as to allow ambient air inhaled by the patient to pass thereby without resistance and to close upon exhalation, exhalation causing an end shield to pivot outwardly from the vent member under a bias of external elastic members.

Abstract: Implementations for verifying validity of a literate programming document are described. An example method may include accessing a first module of a plurality of modules of a literate programming document, wherein the plurality of modules are organized as a directed graph, identifying a first contract associated with the first module, wherein the first contract specifies a first set of input criteria to be satisfied by one or more first input provided to the first module and a first set of output criteria to be satisfied by one or more first output generated by the first module, and determining whether the one or more first output satisfies the first set of output criteria when the one or more first input satisfies the first set of input criteria.

Abstract: A model including a plurality of intermediate operations may be identified. An intermediate operation of the plurality of intermediate operations may be selected to provide output values associated with the plurality of intermediate operations during execution of the model. A first output value associated with the intermediate operation may be received during a first execution of the model. A second output value associated with the intermediate operation may be received during a second execution of the model. A difference between the first output value and the second output value may be determined to satisfy a threshold. A notification may be transmitted that indicates data drift of the model in view of the difference between the first output value and the second output value satisfying the threshold.

Abstract: Loss circulation fluids are described, as well as methods to reduce the loss of circulation fluids into flow passages of a subterranean formation. In addition, packer fluids are further described. The various compositions of the present invention are preferably aqueous-based compositions which contain a thermally activated self-crosslinkable gel forming material.

Abstract: Novel polymer compositions are disclosed, along with their use as well service fluids, for example as completion fluids, work-over fluids or drilling fluids, comprising water soluble copolymers having sulfonate groups and carboxylate groups, along with alkali metal salts of carboxylic acid. Exemplary copolymer has 5 to 95 wt. % structural units derived from 2-acrylamido-2-methylpropanesulfonic acid or salt thereof, and 5 to 95 wt. % structural units derived from acrylic acid or salt thereof. A salt of the polymer may be used, such as the sodium, potassium, ammonium and calcium salts. Exemplary alkali metal salts of the polymer composition include sodium, potassium and cesium salts of formic acid and/or acetic acid in amounts suitable to develop high temperature viscosity suitable for such well servicing fluids. The polymer composition is hydrateble/soluble in a brine of sodium and/or potassium and/or cesium salts of formic and/or acetic acid.