Abstract: An extraction well system is disclosed that allows for isolation of electrical cables from underground mine atmosphere. The extraction well system provides for a well casing that extends downwardly proximate to an existing mine cavity and an extension casing that extends downwardly below the mine roof. In one embodiment the extension casing is external to the well casing and is attached to the well casing mechanically such as with a dual thread reducer. The extension runs from above the mine roof to below the mine floor and is perforated in the area of the mine cavity to allow liquid to drain into the bottom of the extension well. In a second embodiment, the extension casing is interior to the well casing and is attached for example by an internal liner hanger. In this embodiment, the extension casing runs from above the mine roof to below the desired minimum liquid level and it is the well casing that extends downwardly in the extension well and which is perforated to allow liquids to flow into the well.

Abstract: An issuing authority (IA) may validate the identity of a user and issue a digital license to the user. IA may generate IA public-private key pair, and provide IA public key to the certification authority (CA). IA may sign the digital license with IA private key, and provision the signed digital license on the user device. IA may request CA to certify the digital license. CA may use IA public key to validate the digital license, and sign IA public key with CA private key, thereby generating a digital certificate associated with the issuing authority that is linked to the digital license. A relying party may use CA public key to validate the digital license. The relying party can retrieve the information from the digital license and trust that the retrieved information is legitimate.

Abstract: An issuing authority (IA) may validate the identity of a user and issue a digital license to the user. IA may generate IA public-private key pair, and provide IA public key to the certification authority (CA). IA may sign the digital license with IA private key, and provision the signed digital license on the user device. IA may request CA to certify the digital license. CA may use IA public key to validate the digital license, and sign IA public key with CA private key, thereby generating a digital certificate associated with the issuing authority that is linked to the digital license. A relying party may use CA public key to validate the digital license. The relying party can retrieve the information from the digital license and trust that the retrieved information is legitimate.

Abstract: Liquid applicators and methods. The liquid applicators include a frame and an applicator head operably coupled to the frame and configured to support a section of an applicator fabric for operable application of a liquid to a substrate. The liquid applicators further include a fabric conveyance system that is operably coupled to the frame and includes a fabric pay-out assembly configured to supply the applicator fabric to the applicator head and a fabric take-up assembly configured to receive the applicator fabric from the applicator head. The liquid applicators further include a liquid delivery system configured to deliver the liquid to the section of the applicator fabric. The methods include delivering the liquid to the section of applicator fabric, engaging the section of applicator fabric with the substrate, and moving the section of the applicator fabric across the substrate to apply the liquid thereto.

Abstract: Systems, apparatuses, and methods for performing a software override of a power estimation mechanism are disclosed. A computing system includes a plurality of tuned parameters for generating an estimate of power consumption. The tuned parameters are generated based on post-silicon characterization of the system. After deployment, the system executes a plurality of different applications. When launching a particular application, the system loads a corresponding set of override parameters which are used to replace the plurality of tuned parameters. The system generates an estimate of power consumption using the set of override parameters rather than the previously determined tuned parameters. Then while executing the particular application, the system makes adjustments to power and frequency values for the various system components based on the estimate of power consumption.

Abstract: An issuing authority (IA) may validate the identity of a user and issue a digital license to the user. IA may generate IA public-private key pair, and provide IA public key to the certification authority (CA). IA may sign the digital license with IA private key, and provision the signed digital license on the user device. IA may request CA to certify the digital license. CA may use IA public key to validate the digital license, and sign IA public key with CA private key, thereby generating a digital certificate associated with the issuing authority that is linked to the digital license. A relying party may use CA public key to validate the digital license. The relying party can retrieve the information from the digital license and trust that the retrieved information is legitimate.

Abstract: Embodiments relate to systems, apparatuses, and methods for performing transaction signing utilizing asymmetric cryptography and a private ledger. A transaction data is signed by a user device using a private key, and may be utilized in an authorization request message without including a real credential of the user. A transaction verification and accounting module (TVAM) can verify the signed transaction data and can continue processing the transaction.

Abstract: An extraction well system is disclosed that allows for isolation of electrical cables from underground mine atmosphere. The extraction well system provides for a well casing that extends downwardly proximate to an existing mine cavity and an extension casing that extends downwardly below the mine roof. In one embodiment the extension casing is external to the well casing and is attached to the well casing mechanically such as with a dual thread reducer. The extension runs from above the mine roof to below the mine floor and is perforated in the area of the mine cavity to allow liquid to drain into the bottom of the extension well. In a second embodiment, the extension casing is interior to the well casing and is attached for example by an internal liner hanger. In this embodiment, the extension casing runs from above the mine roof to below the desired minimum liquid level and it is the well casing that extends downwardly in the extension well and which is perforated to allow liquids to flow into the well.

Abstract: Embodiments relate to systems, apparatuses, and methods for performing transaction signing utilizing asymmetric cryptography and a private ledger. A transaction data is signed by a user device using a private key, and may be utilized in an authorization request message without including a real credential of the user. A transaction verification and accounting module (TVAM) can verify the signed transaction data and can continue processing the transaction.

Abstract: An example seat climate system includes a seat, a first ventilation device, a second ventilation device, and a ventilation device controller. The seat has a first ventilation layer and a second ventilation layer. The first ventilation device is connected to the first ventilation layer and has an off state and an on state. The first ventilation device moves air through the first ventilation layer when in the on state. The second ventilation device is connected to the second ventilation layer and has an off state and an on state. The second ventilation device moves air through the second ventilation layer when in the on state. The ventilation device controller is connected to the first ventilation device and the second ventilation device and includes a controller and driver.

Abstract: The present disclosure provides methods and systems for providing a validated drug to an end-user or distributing business. Also provided herein are methods and systems for providing a certificate of analysis for a drug to provide more information to a user.

Abstract: Techniques for granular analysis of a knowledge graph are provided. A profile comprising a plurality of attributes is received, and a knowledge graph is analyzed to identify a plurality of therapies, based on the plurality of attributes. A document that is relevant to a first therapy of the plurality of therapies is identified, and a criterion stated in the document is determined. Further, an aggregate value is determined for the criterion, based on a plurality of participants associated with the document, wherein the first aggregate value represents attributes of the plurality of participants. A weight is generated for the document, based at least in part on the plurality of attributes and the aggregate value. A score is generated for the first therapy, based at least in part on the weight, and an optimal therapy is determined, from the plurality of therapies, based in part on the score.

Abstract: According to one aspect, this disclosure describes a novel indirect weight sensing device, systems, and related processes. In at least one embodiment, the present systems include one or more springs with known properties, at least one metal plate on which the springs are fastened and through which the container load is transferred from the container to the ground, a spring deformation sensor by which spring deformation is reckoned, a digital level by which general orientation of the upper plate is determined relative to the ground, a computing unit to collect and process data from the spring deformation sensor and digital level, and an antenna or other such hardware to wirelessly connect to another device and interface with the computing unit.

Abstract: Liquid applicators and methods. The liquid applicators include a frame and an applicator head operably coupled to the frame and configured to support a section of an applicator fabric for operable application of a liquid to a substrate. The liquid applicators further include a fabric conveyance system that is operably coupled to the frame and includes a fabric pay-out assembly configured to supply the applicator fabric to the applicator head and a fabric take-up assembly configured to receive the applicator fabric from the applicator head. The liquid applicators further include a liquid delivery system configured to deliver the liquid to the section of the applicator fabric. The methods include delivering the liquid to the section of applicator fabric, engaging the section of applicator fabric with the substrate, and moving the section of the applicator fabric across the substrate to apply the liquid thereto.

Abstract: Techniques for identifying missing evidence are provided. A plurality of documents, each comprising digitally encoded natural language text data, is received. The plurality of documents is processed to determine a plurality of pair-wise comparisons between a plurality of therapies, where each of the plurality of pair-wise comparisons indicate a relative efficacy of at least one therapy in the plurality of therapies, as compared to at least one other therapy in the plurality of therapies. A knowledge graph is generated based at least in part on aggregating the plurality of pair-wise comparisons, and the knowledge graph is analyzed to identify one or more knowledge gaps within the knowledge graph. Finally, at least an indication of the identified one or more knowledge gaps is output.

Abstract: Method and apparatus for performing feature engineering using negative inferences are provided. One example method generally includes identifying a plurality of concepts and analyzing a corpus of documents to determine a first co-occurrence rate for a first concept and a second concept in the plurality of concepts. The method further includes analyzing the corpus of documents to determine a second co-occurrence rate for the second concept and at least a third concept of a set of concepts related to the first concept and determining an inverse relationship between the second concept and the third concept. The method further includes generating test data for training a machine learning model including a negative inference between the second concept and the third concept and training the machine learning model using the test data.

Abstract: A method and apparatus for providing curated criteria to identify one or more candidates for a clinical trial is disclosed. A computer processor identifies a first input criterion for the clinical trial. The processor employs a trained first recurrent neural network (RNN) configured as an encoder to encode the first input criterion. The encoder extracts key features of the medical condition of the patient. The processor employs a trained second RNN configured as a decoder to generate a curated output criterion by processing the encoded first input criterion based on the derived key features. The processor employs a machine learning model to ingest the curated output criterion to identify the one or more candidates for the clinical trial.

Abstract: Methods and apparatuses for performing clinical trial editing using machine learning are provided. One example method generally includes receiving information of a first clinical trial that is being drafted and identifying, in a corpus of literature, a plurality of documents that are relevant to the first clinical trial, based on the title of the first clinical trial. The method further includes providing the plurality of documents and the plurality of criteria to a machine learning model configured to output for each respective criterion of the plurality of criteria, a confidence value for the respective criterion, receiving as output from the machine learning model the confidence value for each respective criterion and, upon determining that a first criterion has a first confidence value below a predefined threshold, prompting a user to verify the first criterion.

Abstract: Techniques for unbounded therapy evaluation are provided. A request to suggest a potential therapy based on a patient profile is received. A plurality of accepted therapies is determined based on the patient profile, where the plurality of accepted therapies is based on stored definitions obtained from one or more subject matter experts. Next, a plurality of therapy components is identified based on the plurality of accepted therapies. A plurality of potential therapies is then identified based on the plurality of therapy components, where none of the plurality of potential therapies are included in the plurality of accepted therapies. A score is generated for a potential therapy of the plurality of potential therapies based on analyzing a knowledge graph, where the score indicates a suitability of the potential therapy for a patient associated with the patient profile. Finally, the potential therapy is provided, along with an indication of the score.

Abstract: Systems, apparatuses, and methods for performing a software override of a power estimation mechanism are disclosed. A computing system includes a plurality of tuned parameters for generating an estimate of power consumption. The tuned parameters are generated based on post-silicon characterization of the system. After deployment, the system executes a plurality of different applications. When launching a particular application, the system loads a corresponding set of override parameters which are used to replace the plurality of tuned parameters. The system generates an estimate of power consumption using the set of override parameters rather than the previously determined tuned parameters. Then while executing the particular application, the system makes adjustments to power and frequency values for the various system components based on the estimate of power consumption.