Abstract: Systems and methods for formal verification of programs. The systems and methods provide a new game-theoretical, strategy-based compositional semantic model for concurrency, a set of formal linking theorems for composing multithreaded and multicore concurrent layers, and a compiler that supports certified thread-safe compilation and linking. Verification of an overlay interface can include determining an intermediate strategy for a primitive operation running on an underlay interface and refining that intermediate strategy to a strategy running on the overlay interface by applying a vertical and a horizontal composition rule. The refined strategy can then be composed with compatible strategies running on the overlay interface according to a parallel composition rule. Strategies may be compatible when rely conditions imposed by each strategy satisfy guarantees provided by the other strategies. The system and method of formal verification can be applied to formal verification of smart contracts.

Abstract: The present disclosure provides small hairpin nucleic acid molecules capable of stimulating interferon production. The nucleic acid molecules of the present disclosure has a double-stranded section of less than 19 base pairs and at least one blunt end. In certain embodiments, the molecule comprises at least one 5?-triphosphate and/or at least one 5?-diphosphate. In certain embodiments, compounds and/or compositions of the disclosure are useful for treating, ameliorating, and/or preventing SARS-CoV-2 viral infection, and/or ameliorating, minimizing, reversing, and/or preventing persistent SARS-CoV-2 viral infection, and/or minimizing or preventing SARS-CoV-2 viral infection-derived mortality and/or lethality, in a subject. In certain embodiments, compounds and/or compositions of the disclosure are useful for treating, ameliorating, and/or preventing SARS-CoV-2 viral infection in a tumor-bearing subject.

Abstract: Parametrically pumped four-wave mixing is a key building block for many developments in the field of superconducting quantum information processing. However, undesired frequency shifts such as Kerr, cross-Ken and Stark shifts inherent with four-wave mixing, lead to difficulties in tuning up the desired parametric processes and, for certain applications, severely limit the fidelities of the resulting operations. Some embodiments include a Josephson four-wave mixing device consisting of a SQUID transmon coupled to a half-flux biased SNAIL transmon, a.k.a. capacitively shunted flux qubit. When the two transmon have matching frequencies, an interference effect cancels the negative Kerr of the SQUID transmon with the positive Kerr of the SNAIL transmon while preserving parametric four-wave mixing capabilities.

Abstract: The present disclosure relates to computer generated topographies from computer correlations of neurobehavioral phenotype mapping data and gene expression mapping data. Neurobehavioral phenotype mapping data is obtained for a selected phenotype and correlated with gene expression mapping data for one or more genes to define a phenotype-gene pair topography for each phenotype-gene pair. A score for each phenotype-gene pair is determined based on the correlation. The scores are used to identify genes, or drug targets, associated with the respective gene of the respective phenotype-gene pair. Conversely, gene expression mapping data is obtained for a selected gene and correlated with neurobehavioral phenotype mapping data for one or more phenotypes to define a gene-phenotype topography for each gene-phenotype pair. A score for each gene-phenotype pair is determined based on the correlation. The scores are used to identify a phenotype associated with the respective phenotype-gene pair.

Abstract: Techniques for quantum error correction of a multi-level system are provided and described. In some aspects, techniques for encoding a state of a multi-level quantum system include encoding a quantum information in a two-mode state of two quantum mechanical oscillators. Techniques for protecting the two-mode state against dephasing and energy loss are described.

Abstract: Genetically modified non-human animals are provided that may be used to model human hematopoietic cell development, function, or disease. The genetically modified non-human animals comprise a nucleic acid encoding human IL-6 operably linked to an IL-6 promoter. In some instances, the genetically modified non-human animal expressing human IL-6 also expresses at least one of human M-CSF, human IL-3, human GM-CSF, human SIRPa or human TPO. In some instances, the genetically modified non-human animal is immunodeficient. In some such instances, the genetically modified non-human animal is engrafted with healthy or diseased human hematopoietic cells. Also provided are methods for using the subject genetically modified non-human animals in modeling human hematopoietic cell development, function, and/or disease, as well as reagents and kits thereof that find use in making the subject genetically modified non-human animals and/or practicing the subject methods.

Abstract: The present subject matter provides compounds, compositions, and methods for identifying, monitoring, treating, and removing diseased tissue. Compounds, compositions, and methods for identifying, monitoring, and detecting circulating fluids such as blood are also provided.

Abstract: A method for decreasing formation of one or more chemiexcitation-induced dark cyclobutane pyrimidine dimers (dCPDs) in a cell or DNA molecule in a subject, who has been exposed to UV radiation, is provided. The method comprises administering to the subject an effective amount of a dCPD quencher within 8 hours after the exposure. The dCPD quencher is selected from the group consisting of ellagic acid, Porphyra Umbilicalis Extract (including Porphyra Umbilicalis Extract (and) Sodium Lactate (and) Lecithin), mycosporine-like amino acids (MAAs) and synthetic analogues thereof, Scutellaria Baicalensis Root Extract, Chrysanthemum Morifolium Leaf Extract, ferulic acid, fused-ring cyanoacrylates, curcumin, epigallocatechin gallate, Scutellaria Baicalensis Root Extract (and) Acacia Catechu Wood Extract, sorbic acid, Polygonum Cuspidatum Root Extract, Acacia Catechu Extract, dipicolinic acid, squalene, Lonicera Japonica (Honeysuckle) Flower Extract, beta-carotene and combinations thereof.

Abstract: Genetically modified non-human animals expressing human EPO from the animal genome are provided. Also provided are methods for making non-human animals expressing human EPO from the non-human animal genome, and methods for using non-human animals expressing human EPO from the non-human animal genome. These animals and methods find many uses in the art, including, for example, in modeling human erythropoiesis and erythrocyte function; in modeling human pathogen infection of erythrocytes; in in vivo screens for agents that modulate erythropoiesis and/or erythrocyte function, e.g. in a healthy or a diseased state; in in vivo screens for agents that are toxic to erythrocytes or erythrocyte progenitors; in in vivo screens for agents that prevent against, mitigate, or reverse the toxic effects of toxic agents on erythrocytes or erythrocyte progenitors; in in vivo screens of erythrocytes or erythrocyte progenitors from an individual to predict the responsiveness of an individual to a disease therapy.

Abstract: The invention features methods that are useful for treatment of a patient at increased risk for infection and for selecting a patient for treatment for an infection. In various embodiments, the infection is coronavirus disease 2019 (COVID-19), sepsis, or other respiratory infections.

Abstract: Provided herein, in some embodiments, are devices, systems and methods for high-throughput single-cell polyomics (e.g., genomic, epigenomic, proteomic and/or phenotypic profile) analyses.

Abstract: Compositions for improved gene editing and methods of use thereof are disclosed. In a preferred method, gene editing involves use of a cell-penetrating anti-DNA antibody, such as 3E10, as a potentiating agent to enhance gene editing by nucleases and triplex forming oligonucleotides. Genomic modification occurs at a higher frequency when cells are contacted with the potentiating agent and nuclease or triplex forming oligonucleotide, as compared to the absence of the potentiating agent. The methods are suitable for both ex vivo and in vivo approaches to gene editing and are useful for treating a subject with a genetic disease or disorder. Nanoparticle compositions for intracellular delivery of the gene editing compositions are provided and are particularly advantageous for use with in vivo applications.

Abstract: Compositions for enhanced gene editing and methods of use thereof are. The composition contains a cell-penetrating antibody and a donor oligonucleotide containing a sequence that can correct a mutation in a cell's genome. Preferably, the composition does not contain a nuclease, PNA, or nanoparticle. The compositions are used to modify the genome of a cell by contacting the cell with an effective amount of the composition. Genomic modification occurs at a higher frequency both ex vivo and in vivo, when cells are contacted with the cell-penetrating antibody and donor oligonucleotide as compared to the absence of the cell-penetrating antibody.

Abstract: The present subject matter provides compounds, compositions, and methods for identifying, monitoring, treating, and removing diseased tissue. Compounds, compositions, and methods for identifying, monitoring, and detecting circulating fluids such as blood are also provided.

Abstract: A superconducting device includes two nodes and a Josephson junction coupled between the two nodes, wherein the Josephson junction is characterized by a superconducting phase difference, ?, wherein the superconducting device has a potential that varies as a function of the superconducting phase difference, ?, and has a single potential well. The potential has a non-zero cubic term and quartic term is zero. The Josephson junction may be a single small Josephson junction. The superconducting device may include a superconducting ring connected between the two nodes. The superconducting ring may include a first ring portion with a plurality of large Josephson junctions connected in series. The superconducting ring may also include a second ring portion that includes the single small Josephson junction in parallel with the plurality of large Josephson junctions between the two nodes.

Abstract: A method is disclosed. The method includes: a) receiving node identifiers from nodes of a plurality of nodes in a computer network; b) determining a plurality of node committees in a sampler graph comprising a plurality of nodes, wherein the node is present in a node committee in the plurality of node committees; c) and i) generating a random string; ii) performing a proof of work process using the random string and a hash function; iii) if the proof of work process yields a solution that is acceptable, then broadcasting the solution to all other nodes in the plurality of nodes, wherein the other nodes verify the solution; and iv) if the other nodes verify the solution, the node is elected to a subcommittee for the node committee, wherein the subcommittee updates the sampler graph; and d) repeating steps b) and c) until a leader committee is determined.

Abstract: Compositions and methods of use thereof for delivering nucleic acid cargo into cells are provided. The compositions typically include (a) a 3E10 monoclonal antibody or an antigen binding, cell-penetrating fragment thereof; a monovalent, divalent, or multivalent single chain variable fragment (scFv); or a diabody; or humanized form or variant thereof, and (b) a nucleic acid cargo including, for example, a nucleic acid encoding a polypeptide, a functional nucleic acid, a nucleic acid encoding a functional nucleic acid, or a combination thereof. Elements (a) and (b) are typically non-covalently linked to form a complex.

Abstract: This disclosure demonstrates an approach that translates synthetic DNA codes to spatial codes registered in nanoliter microchambers for multiplexed measurement of nearly any type of molecular targets (e.g., miRNAs, mRNAs, intracellular and surface proteins) in single cells.

Abstract: The present invention provides methods and compositions for treating and preventing lung injuries due to or associated with viral infections, such as those due to coronaviruses that cause Severe Acute Respiratory Syndrome, including COVID-19. More specifically the present invention provides methods for treating or preventing the lung injuries often associated with these infections, such as acute lung injury (ALI), lung fibrosis, and acute respiratory distress syndrome (ARDS). The methods comprise administering a therapeutically effective amount of a pharmaceutical composition comprising a protein kinase inhibitor compound having MAP3K2/AP3K3 inhibition activity, such as pazopanib or nintedanib, or a pharmaceutically acceptable salt, solvate, or prodrug thereof, to a patient in need thereof, The present invention also provides devices for administering the compositions.

Abstract: An optical amplifier device employing a Mach-Zehnder Interferometer (MZI) that reduces the amount of residual pump power in the optical output of the amplifier is disclosed. The MZI amplifier employs two geometrically linear optical amplifier arms or two multi-spatial-mode racetrack optical amplifiers to amplify a signal with a pumping beam, with the signal output port having extremely low levels of residual pump power. The MZI optical amplifier is a silicon photonic integrated circuit, with all optical amplifiers, couplers, phase shifters, and optical attenuators formed of silicon photonic integrated circuit elements. The MZI optical amplifier may include one, two, or three MZI stages, and multiple MZI optical amplifiers may be used in parallel or sequentially to achieve higher overall signal gain or power. The MZI optical amplifier may employ Brillouin-scattering-based amplifiers, Raman-based integrated waveguide optical amplifiers, or Erbium-doped integrated waveguide optical amplifiers.