Patents Assigned to University
  • Publication number: 20220365862
    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.
    Type: Application
    Filed: July 12, 2022
    Publication date: November 17, 2022
    Applicant: Yale University
    Inventors: Zhong Shao, Ronghui Gu, Vilhelm Sjoberg, Jieung Kim, Jeremie Koenig
  • Publication number: 20220364173
    Abstract: Aspects of the present disclosure relate to methods for modification and detection of methylated nucleotides. Embodiments are directed to detection of RNA methylation. Disclosed are methods and compositions for transcriptome-wide detection of N6-methyladenosine in mRNA. In some cases, methods for modifying a methylated nitrogenous base are described. Also disclosed are enzymes and other molecules useful for RNA methylation detection.
    Type: Application
    Filed: October 9, 2020
    Publication date: November 17, 2022
    Applicant: The University of Chicago
    Inventors: Chuan HE, Lulu HU
  • Publication number: 20220361782
    Abstract: Disclosed is a hormone electrochemical biosensor, e.g. an amperometric biosensor, for the detection of a hormone and measurement of the concentration of a hormone. The disclosed hormone biosensor comprises a hormone-catalyzing enzyme, such as KSDH1. Also described herein are systems comprising an amperometric biosensor, e.g., chronoamperometric biosensor and methods of using the chronoamperometric biosensor.
    Type: Application
    Filed: April 30, 2022
    Publication date: November 17, 2022
    Applicant: Trustees of Boston University
    Inventors: James Galagan, Uros Kuzmanovic
  • Publication number: 20220362683
    Abstract: This disclosure concerns a system and a method for removing dissolved solids from liquids. Specific implementations concern desalinating water. The system may comprise a blower, such as a thermal fan/compressor, configured to atomize a solid-bearing liquid to produce a hot, humid gas containing dissolved solids; a gas-solid separator configured to receive hot, humid gas containing entrained dissolved solids from the blower to separate the solids from the humid gas and to transmit the humid gas with solids removed through an exit port; a heater configured to heat the hot, humid gas received from the exit port of the gas-solid separator; and a condenser configured to receive heated humid gas from the heater and to condense solids-free liquid therefrom. The thermal fan/compressor may comprise a plurality of nozzles with outlets positioned adjacent atomization apertures across which a solid-bearing liquid flows and through which gas exiting the nozzles passes.
    Type: Application
    Filed: June 8, 2022
    Publication date: November 17, 2022
    Applicant: Oregon State University
    Inventors: Bahman Abbasi, Xiang Zhang, Mohammed Abbas Elhashimi Khalifa, Deepak Sharma
  • Publication number: 20220363343
    Abstract: Wettable structures that retain liquid layers are defined at surfaces of substrates. The wettable structures include grooves or ridges that are spaced apart by between 10 nm and 10 ?m and can be defined in substrate or in a layer formed on a surface of the substrate. In typical examples, wettable structures are defined with hydrophobic materials or at hydrophobic surfaces and produce hydrophilic surfaces.
    Type: Application
    Filed: May 11, 2022
    Publication date: November 17, 2022
    Applicant: Montana State University
    Inventors: Leon G. Higley, Robert K. D. Peterson
  • Publication number: 20220364040
    Abstract: Provided is a reaction apparatus for comprehensively measuring biodegradability of a material, comprising a device frame, an electrical control cabinet and a reaction chamber monomer. The upper side of the reaction chamber monomer is a reaction chamber body, and the lower part is a material receiving trolley. The top of the reaction chamber body is sealed by a chamber cover. A side wall is pasted with an electric heating plate and a thermal insulation cotton. A stirring paddle is arranged inside. An air inlet and an air outlet are respectively provided on a front and a rear wall. A discharging mechanism is located below. The electrical control cabinet separately controls the reaction conditions of each reaction chamber monomer. The present invention further relates to a use method thereof, which can realize the biodegradability evaluation in such three aspects as material degradation rate, disintegration rate and ecological non-toxicity test.
    Type: Application
    Filed: May 11, 2021
    Publication date: November 17, 2022
    Applicant: Nanjing University
    Inventors: Zengwei YUAN, Yumei WANG, Zhanlong WANG
  • Publication number: 20220365072
    Abstract: Methods and devices are provided herein for identifying a cell population comprising an effector cell that exerts an extracellular effect. In one embodiment the method comprises retaining in a microreactor a cell population comprising one or more effector cells, wherein the contents of the microreactor further comprise a readout particle population comprising one or more readout particles, incubating the cell population and the readout particle population within the microreactor, assaying the cell population for the presence of the extracellular effect, wherein the readout particle population or subpopulation thereof provides a direct or indirect readout of the extracellular effect, and determining, based on the results of the assaying step, whether one or more effector cells within the cell population exerts the extracellular effect on the readout particle. If an extracellular effect is measured, the cell population is recovered for further analysis to determine the cell or cells responsible for the effect.
    Type: Application
    Filed: July 7, 2021
    Publication date: November 17, 2022
    Applicant: The University of British Columbia
    Inventors: Marketa RICICOVA, Kevin Albert HEYRIES, Hans ZAHN, Oleh PETRIV, Veronique LECAULT, Anupam Singhal, Daniel J. Da Costa, Carl L. G. Hansen, Brad NELSON, Julie NIELSEN, Kathleen Lisaingo
  • Publication number: 20220364162
    Abstract: The present invention relates to: a single nanoparticle biosensor platform comprising a metal nanoparticle in which a biomolecule is immobilized between two metal nanoseeds, and a biosensor comprising same; a method for detecting mutations by using the biosensor; and a method for manufacturing a single nanoparticle biosensor platform, comprising a step of forming a metal nanoparticle in which a biomolecule is immobilized between two metal nanoseeds. The single nanoparticle biosensor platform according to the present invention enables high sensitivity and reliability detection of a target, and also enables direct identification of various mutations so as to enable the efficient diagnosis of mutations, thereby being widely usable in the biomedical diagnostic fields and the like.
    Type: Application
    Filed: August 14, 2019
    Publication date: November 17, 2022
    Applicant: Korea University Research and Business Foundation
    Inventors: Sang Jun SIM, Xingyi MA, Soohyun KIM
  • Publication number: 20220362326
    Abstract: Disclosed herein are uses of a polypeptide comprising NIMoEsh to treat a disease or condition associated with acute myocardial infarction (AMI) in a subject in need thereof, of a polypeptide comprising NIMoEsh to restore heart function after AMI in a subject in need thereof, of a polypeptide comprising NIMoEsh to reduce or prevent AMI-induced heart function loss in a subject in need thereof, of a polypeptide comprising NIMoEsh to reduce AMI-induced heart tissue infarct in a subject in need thereof, and of a polypeptide comprising NIMoEsh to protect cardiomyocytes against AMI-induced function loss in a subject in need thereof. Disclosed also herein are methods by which such treating, restoring, reducing or preventing, reducing, and/or protecting may be done, and a polypeptide comprising NIMoEsh for use in such treating, restoring, reducing or preventing, reducing, and/or protecting.
    Type: Application
    Filed: September 11, 2020
    Publication date: November 17, 2022
    Applicant: The University of British Columbia
    Inventors: Jack Wuyang Jin, Yu Tian Wang, Max S. Cynader
  • Publication number: 20220364129
    Abstract: The present invention relates to a method including culturing a C1 compound-assimilating bacterium, which is a methylotroph, and/or a yeast by using a medium comprising, for example, a C1 compound and/or glycerol as a carbon source, to thereby produce EGT.
    Type: Application
    Filed: July 13, 2022
    Publication date: November 17, 2022
    Applicant: National University Corporation Okayama University
    Inventor: Akio Tani
  • Publication number: 20220363987
    Abstract: An object of the present invention is to provide a scintillator having a high radiation stopping power, and having a shorter fluorescence decay time compared to conventional scintillators. The above object is achieved by setting the composition of a scintillator to a composition represented by General Formula (1). QxMyO3z??(1) (wherein in General Formula (1), Q includes at least two or more divalent metallic elements; M includes at least Hf; and x, y, and z independently satisfy 0.5?x?1.5, 0.5?y?1.5, and 0.7?z?1.5, respectively).
    Type: Application
    Filed: July 19, 2022
    Publication date: November 17, 2022
    Applicants: Mitsubishi Chemical Corporation, Tohoku University
    Inventors: Koji Hazu, Kentaro Horibe, Keiji Yamahara, Sunsuke Kurosawa, Akira Yoshikawa
  • Publication number: 20220363597
    Abstract: Methods of forming synthetic aluminosilicate material are disclosed. Exemplary methods include forming a polymer solution, adding an aluminum precursor to the polymer solution, adding a silicon precursor to the polymer solution, forming a gel from the polymer solution, calcining the gel to form an aluminosilicate powder, and grinding the aluminosilicate powder to form ground aluminosilicate material. The synthetic aluminosilicate material can be used in the formation of cement and concrete.
    Type: Application
    Filed: August 11, 2020
    Publication date: November 17, 2022
    Applicant: The Regents of the University of Colorado, a body corporated
    Inventors: Wilfred V. Srubar, III, Juan Pablo Gevaudan, Jacqueline D. Wallat-Pullara
  • Publication number: 20220365886
    Abstract: There is provided a method for an I/O (input/output) scheduling method, the method comprises: assigning a system call identifier to each of a plurality of I/O requests derived from at least one system call requested by at least one application; sorting the plurality of I/O requests in order of the system call identifier; and transferring the sorted plurality of I/O requests to a computer-readable storage medium. Accordingly, in a mobile or desktop environment in which an application that frequently interacts with the user is executed, it is possible to minimize the read delay time increased due to file fragmentation, and moreover, it is possible to improve the user experience (UX).
    Type: Application
    Filed: May 11, 2022
    Publication date: November 17, 2022
    Applicant: Research & Business Foundation Sungkyunkwan University
    Inventors: Young Ik EOM, Jong Gyu PARK
  • Publication number: 20220366681
    Abstract: A vision-LiDAR fusion method and system based on deep canonical correlation analysis are provided. The method comprises: collecting RGB images and point cloud data of a road surface synchronously; extracting features of the RGB images to obtain RGB features; performing coordinate system conversion and rasterization on the point cloud data in turn, and then extracting features to obtain point cloud features; inputting point cloud features and RGB features into a pre-established and well-trained fusion model at the same time, to output feature-enhanced fused point cloud features, wherein the fusion model fuses RGB features to point cloud features by using correlation analysis and in combination with a deep neural network; and inputting the fused point cloud features into a pre-established object detection network to achieve object detection. A similarity calculation matrix is utilized to fuse two different modal features.
    Type: Application
    Filed: April 29, 2022
    Publication date: November 17, 2022
    Applicant: Tsinghua University
    Inventors: Xinyu ZHANG, Li WANG, Jun LI, Lijun ZHAO, Zhiwei LI, Shiyan ZHANG, Lei YANG, Xingang WU, Hanwen GAO, Lei ZHU, Tianlei ZHANG
  • Publication number: 20220365157
    Abstract: Systems and methods for mapping neuronal circuitry in accordance with embodiments of the invention are illustrated. One embodiment includes a method for generating a neuronal shape graph, including obtaining functional brain imaging data from an imaging device, where the functional brain imaging data includes a time-series of voxels describing neuronal activation over time in a patient's brain, lowering the dimensionality of the functional brain imaging data to a set of points, where each point represents the brain state at a particular time in the timeseries, binning the points into a plurality of bins, clustering the binned points, and generating a shape graph from the clustered points, where nodes in the shape graph represent a brain state and edges between the nodes represent transitions between brain states.
    Type: Application
    Filed: May 16, 2022
    Publication date: November 17, 2022
    Applicant: The Board of Trustees of the Leland Stanford Junior University
    Inventor: Manish Saggar
  • Publication number: 20220366894
    Abstract: Disclosed is a training data construction method and a speech recognition method using the same. The training data construction method is performed by a computing apparatus including at least one processor and includes converting first text data including a plurality of sentences to first speech data; acquiring second speech data by adding noise to the first speech data; and converting the second speech data to second text data. The second text data includes a sentence corresponding to each of the plurality of sentences included in the first text data.
    Type: Application
    Filed: May 9, 2022
    Publication date: November 17, 2022
    Applicant: Korea University Research and Business Foundation
    Inventors: Heuiseok LIM, Chanjun PARK
  • Publication number: 20220367820
    Abstract: Provided is an OLED having an anode, a cathode and an organic emissive layer disposed between the anode and the cathode.
    Type: Application
    Filed: March 4, 2021
    Publication date: November 17, 2022
    Applicant: Universal Display Corporation
    Inventors: Chun LIN, Zhiqiang JI, Ting-Chih WANG, Pierre-Luc T. BOUDREAULT
  • Publication number: 20220366212
    Abstract: A method for fault diagnosis in a communication network is to be implemented by a processor. The method includes obtaining key performance indicator (KPI) data related to the communication network, performing a deep-learning-based classification algorithm by using the KPI data as input to a deep neural network model, and determining, based on output of the deep neural network model after performing the deep-learning-based classification algorithm, at least one type of network condition the communication network currently satisfies, and a severity level of the at least one type of network condition when the output of the deep neural network model contains information related to severity levels of the at least one type of network condition.
    Type: Application
    Filed: July 28, 2021
    Publication date: November 17, 2022
    Applicant: National Yang Ming Chiao Tung University
    Inventors: Ta-Sung Lee, Yen-Jung Wu, Kuan-Fu Chen, Ting-Yen Kuo
  • Publication number: 20220364954
    Abstract: Described herein are acoustic emission damage classification methods and systems employing intensity analysis to monitor the state of rotating machinery to classify the damage occurring to a mechanical object.
    Type: Application
    Filed: November 23, 2021
    Publication date: November 17, 2022
    Applicant: University of South Carolina
    Inventors: Brenna Feirer, Paul Ziehl, Rafal Anay
  • Publication number: 20220369258
    Abstract: The present invention relates to a frequency offset estimation method for average consensus-based clock synchronization, and belongs to the technical field of wireless sensor networks. According to the method, in combination with distributed one-way broadcast characteristics, solving of maximum likelihood estimation is converted into a linear optimization problem, and a relative frequency offset estimation value is obtained by adopting an iterative method. By applying the estimation value to the compensation of logic clock parameter between nodes, an effect of keeping logic clocks of network nodes consistent can be achieved.
    Type: Application
    Filed: November 15, 2019
    Publication date: November 17, 2022
    Applicant: Chongqing University Of Posts And Telecommunications
    Inventors: Heng Wang, Liuqing Chen, Pengfei Gong