Abstract: Systems and methods for facilitating interactions between a medical device (e.g., an imaging device, a surgical tool, a robotic arm, etc.) and a patient using radio frequency (RF) co-localization are provided. The systems include a radio-frequency (RF) interrogator system, one or more first RF target devices for coupling to a patient support for supporting a patient with respect to whom a medical device is to perform a task, and one or more second RF target devices for coupling to the medical device. A controller determines a position of the patient support within an RF interrogator system reference frame, a first position of the medical device within the RF interrogator system reference frame, a transformation between the RF interrogator system reference frame and a patient support reference frame, and a second position of the medical device within the patient support reference frame.

Abstract: A chip tray system can include multiple chip tube components. A first chip tube component in the chip tray can include one or more gaming chip storage rows corresponding to a first size of gaming chip. A second chip tube component in the chip tray can include one or more gaming chip storage rows corresponding to a second size of gaming chip. An edge of the first chip tube component can be coupled to an edge of the second chip tube component.

Abstract: The disclosure provides compositions, methods of treatment, and methods of making and using compositions to deliver a nucleic acid to a subject. Methods of using the compositions as a COVID-19 vaccine for the treatment of a coronavirus infection are also provided.

Abstract: Provided herein are dried compositions and methods for preparing such compositions for use in delivery of a nucleic acid to a subject. The dried composition may comprise a lipid carrier, wherein the lipid carrier is a nanoemulsion comprising a hydrophobic core, optionally one or more inorganic nanoparticles and one or more lipids, one or more nucleic acid, and at least one cryoprotectant. Methods of using these dried compositions for treatment are also provided.

Abstract: Systems and methods for transacting over a network is provided. The system includes a first agent and second agent. The first agent is operable to receive from a third agent a transaction code associated with one or more credential types required to apply the transaction code or with one or more credential claim types required to apply the transaction code, transmit the transaction code to the second agent, and receive from the second agent a digitally signed transaction, a first verifiable proof, and the transaction code. The first agent is further operable to transmit to a fourth agent a second verifiable proof based on the first verifiable proof and the transaction code, receive from the fourth agent an unlock signature for a locked credential including one or more credential claims, and transmit the unlock signature to the second agent.

Abstract: The disclosure provides compositions, methods of treatment, and methods of making and using compositions to deliver a nucleic acid to a subject. Methods of using these compositions as a vaccine for treatment of an infectious disease are also provided.

Abstract: The disclosure provides compositions, methods of treatment, and methods of making and using compositions to deliver a nucleic acid to a subject. Methods of using the compositions as a COVID-19 vaccine for the treatment of a coronavirus infection are also provided.

Abstract: The disclosure provides compositions, methods of treatment, and methods of making and using compositions to deliver a nucleic acid to a subject. Compositions described herein include lipid carriers, optionally including an inorganic particle, capable of admixing with nucleic acids. Nucleic acids provided herein include those encoding for cancer antigens (full length proteins or fragments) as well as antibodies. Methods of using the compositions as a therapeutic vaccine for the treatment of a cancer are also provided.

Abstract: Provided herein are dried compositions and methods for preparing such compositions for use in delivery of a nucleic acid to a subject. The dried composition may comprise a lipid carrier, wherein the lipid carrier is a nanoemulsion comprising a hydrophobic core, optionally one or more inorganic nanoparticles and one or more lipids, one or more nucleic acid, and at least one cryoprotectant. Methods of using these dried compositions for treatment are also provided.

Abstract: Techniques are disclosed relating to a computer system accessing a client credential set to authenticate with a destination computer system. A computer system may, subsequent to receiving an indication to make available an application for a particular user, retrieve configuration data specifying a reference to a key value. The computer system may maintain a data object that includes a client credential set for the particular user. In response to an occurrence of an event associated with the application, the computer system may access the client credential set of the particular user from the data object using the key value and an indication of the particular user. The computer system may then send a request including the client credential set to a destination computer system for authentication with the destination computer system and receive a response indicating whether the computer system has been authenticated.

Abstract: Techniques are disclosed relating to a computer system accessing a client credential set to authenticate with a destination computer system. A computer system may, subsequent to receiving an indication to make available an application for a particular user, retrieve configuration data specifying a reference to a key value. The computer system may maintain a data object that includes a client credential set for the particular user. In response to an occurrence of an event associated with the application, the computer system may access the client credential set of the particular user from the data object using the key value and an indication of the particular user. The computer system may then send a request including the client credential set to a destination computer system for authentication with the destination computer system and receive a response indicating whether the computer system has been authenticated.

Abstract: Techniques are disclosed relating to a computer system accessing a client credential set to authenticate with a destination computer system. A computer system may, subsequent to receiving an indication to make available an application for a particular user, retrieve configuration data specifying a reference to a key value. The computer system may maintain a data object that includes a client credential set for the particular user. In response to an occurrence of an event associated with the application, the computer system may access the client credential set of the particular user from the data object using the key value and an indication of the particular user. The computer system may then send a request including the client credential set to a destination computer system for authentication with the destination computer system and receive a response indicating whether the computer system has been authenticated.

Abstract: Systems and techniques for memory event mitigation in redundant software installations are presented. A system can initiate an event executed by a first software application and a second software application that corresponds to the first software application. First data associated with the first software application can be stored in a first data store and second data associated with the second software application can be stored in a second data store. The system can also compare a first check value for the first data associated with the event and a second check value for the second data associated with the event. Furthermore, the system can re-initiate the event executed by the first software application and the second software application in response to a determination that the first check value does not correspond to the second check value.

Abstract: Techniques are disclosed relating to a computer system accessing a client credential set to authenticate with a destination computer system. A computer system may, subsequent to receiving an indication to make available an application for a particular user, retrieve configuration data specifying a reference to a key value. The computer system may maintain a data object that includes a client credential set for the particular user. In response to an occurrence of an event associated with the application, the computer system may access the client credential set of the particular user from the data object using the key value and an indication of the particular user. The computer system may then send a request including the client credential set to a destination computer system for authentication with the destination computer system and receive a response indicating whether the computer system has been authenticated.

Abstract: According to some embodiments, an Arbitrary Software Logic Modeling (“ASLM”) data source may store electronic records associated with units, each electronic record including a unit identifier, one or more identification tags, context data, unit parameters, unit variables, and internal logic. An ASLM platform may express system requirements at a logic block level and establish the logic blocks as self-contained entities and connections in accordance with the system requirements (the established logic blocks graphically representing systems logic). The ASLM platform may then explicitly transform the systems logic automatically to output language agnostic common design information exchange model information. The ASLM platform may also translate and maintain traceability among the system requirements, common design information exchange model information, and generated code.

Abstract: A method for model-based design of safety-critical software is disclosed. The method includes receiving natural-language software requirements, developing a specification model by implementing either semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, auto generating requirements based and robustness test cases from the specification model, developing a design model based on the specification model, applying test cases to the design model, auto-generating source code using the design model, verifying the source code using both test cases and static analysis technology, and compiling executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory then adjusting the specification or design model to correct any inconsistency, and repeating applying the analysis and test cases.

Abstract: Systems and techniques for memory event mitigation in redundant software installations are presented. A system can initiate an event executed by a first software application and a second software application that corresponds to the first software application. First data associated with the first software application can be stored in a first data store and second data associated with the second software application can be stored in a second data store. The system can also compare a first check value for the first data associated with the event and a second check value for the second data associated with the event. Furthermore, the system can re-initiate the event executed by the first software application and the second software application in response to a determination that the first check value does not correspond to the second check value.

Abstract: A computer-implemented system for generating test cases and/or test procedures to verify software having a nonlinear arithmetic constraint over a Real number range. The system includes a translator that receives, as input, software specification models for the software to be verified. The translator is configured to generate, as output, a plurality of SMT formulas that are semantically equivalent to the software specification models. The system includes an analytical engine pool that receives, as input, the plurality of SMT formulas from the translator and analyzes the plurality of SMT formulas, and generates, as output, test case data for each of the plurality of SMT formulas determined to be satisfiable. The system includes a post-processor that receives, as input, the test case data from the analytical engine pool and generates, as output, the test cases and/or test procedures for the software to be verified based on the test case data.

Abstract: According to some embodiments, an Arbitrary Software Logic Modeling (“ASLM”) data source may store electronic records associated with units, each electronic record including a unit identifier, one or more identification tags, context data, unit parameters, unit variables, and internal logic. An ASLM platform may express system requirements at a logic block level and establish the logic blocks as self-contained entities and connections in accordance with the system requirements (the established logic blocks graphically representing systems logic). The ASLM platform may then explicitly transform the systems logic automatically to output language agnostic common design information exchange model information. The ASLM platform may also translate and maintain traceability among the system requirements, common design information exchange model information, and generated code.