Patents by Inventor Michael Reif

Michael Reif has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 10719314
    Abstract: Embodiments construct a precise and scalable call graph that models potentially incomplete object-oriented program code, including libraries. The call graph encodes the probabilities of call relationships in the graph, where the probabilities are based on context information from the program, and are adjusted based on client configurations. Embodiments derive topics to associate with unknown elements, as well as probabilities for those topics, from declared types of the unknown elements. Configuration information encodes sets of feature conditions that direct the weighting of the unknown element types. As embodiments propagate type tuples through the graph, the probabilities of the types for each node are recalculated based on the type/probability information for the predecessors of the node. Type/probability information joins are necessary for nodes with multiple dependencies, where the manner of the join is configurable by the client.
    Type: Grant
    Filed: November 26, 2018
    Date of Patent: July 21, 2020
    Assignee: ORACLE INTERNATIONAL CORPORATION
    Inventors: Yi Lu, Daniel Wainwright, Michael Reif
  • Publication number: 20200167155
    Abstract: Embodiments construct a precise and scalable call graph that models potentially incomplete object-oriented program code, including libraries. The call graph encodes the probabilities of call relationships in the graph, where the probabilities are based on context information from the program, and are adjusted based on client configurations. Embodiments derive topics to associate with unknown elements, as well as probabilities for those topics, from declared types of the unknown elements. Configuration information encodes sets of feature conditions that direct the weighting of the unknown element types. As embodiments propagate type tuples through the graph, the probabilities of the types for each node are recalculated based on the type/probability information for the predecessors of the node. Type/probability information joins are necessary for nodes with multiple dependencies, where the manner of the join is configurable by the client.
    Type: Application
    Filed: November 26, 2018
    Publication date: May 28, 2020
    Inventors: Yi Lu, Daniel Wainwright, Michael Reif
  • Patent number: 10297939
    Abstract: An electrical contact includes a plurality of electrically conductive contact laminations which form a sleeve-like receptacle for a contact bolt. The contact laminations are pressed by a spring force in the direction of a center axis of the sleeve-like receptacle. In a first position of the pin, the pin supports the contact laminations against the spring force; in a second position of the pin, support of the contact laminations by the pin is suppressed.
    Type: Grant
    Filed: October 14, 2014
    Date of Patent: May 21, 2019
    Assignee: SIEMENS AKTIENGESELLSCHAFT
    Inventors: Michael Hofmann, Michael Reif
  • Patent number: 9284411
    Abstract: The present disclosure provides novel functional polyoxazoline derivatives prepared by terminating polyoxazoline polymerization with inert chemical groups. In addition, the present disclosure demonstrates the synthesis of novel electrophilic initiators with protected functional groups capable of initiating oxazoline polymerization and capable of surviving the conditions of polymerization. These initiators are used to synthesize the above inert-terminal polyoxazoline derivatives as well as other polyoxazolines with active terminal groups. Furthermore, the present disclosure provides for polyoxazoline-lipid conjugates and liposomal compositions prepared using such polyoxazoline-lipid conjugates. Methods of using the foregoing to prepare conjugates with target molecules are also disclosed.
    Type: Grant
    Filed: November 10, 2014
    Date of Patent: March 15, 2016
    Assignee: Serina Therapeutics, Inc.
    Inventors: Michael D Bentley, J Milton Harris, Kunsang Yoon, Michael Reif, Rainer Jordan
  • Publication number: 20150118916
    Abstract: An arrangement is disclosed, including an electrical contact and a pin, arranged such that it can move. The electrical contact includes a plurality of electrically conductive contact laminations which form a sleeve-like receptacle for a contact bolt. The contact laminations are pressed by a spring force in the direction of a center axis of the sleeve-like receptacle. In a first position of the pin, the pin supports the contact laminations against the spring force; in a second position of the pin, support of the contact laminations by the pin is suppressed.
    Type: Application
    Filed: October 14, 2014
    Publication date: April 30, 2015
    Inventors: Michael HOFMANN, Michael REIF
  • Publication number: 20150080538
    Abstract: The present disclosure provides novel functional polyoxazoline derivatives prepared by terminating polyoxazoline polymerization with inert chemical groups. In addition, the present disclosure demonstrates the synthesis of novel electrophilic initiators with protected functional groups capable of initiating oxazoline polymerization and capable of surviving the conditions of polymerization. These initiators are used to synthesize the above inert-terminal polyoxazoline derivatives as well as other polyoxazolines with active terminal groups. Furthermore, the present disclosure provides for polyoxazoline-lipid conjugates and liposomal compositions prepared using such polyoxazoline-lipid conjugates. Methods of using the foregoing to prepare conjugates with target molecules are also disclosed.
    Type: Application
    Filed: November 10, 2014
    Publication date: March 19, 2015
    Inventors: Michael D. BENTLEY, J. Milton HARRIS, Kunsang YOON, Michael REIF, Rainer JORDAN
  • Patent number: 8883211
    Abstract: The present disclosure provides novel functional polyoxazoline derivatives prepared by terminating polyoxazoline polymerization with inert chemical groups. In addition, the present disclosure demonstrates the synthesis of novel electrophilic initiators with protected functional groups capable of initiating oxazoline polymerization and capable of surviving the conditions of polymerization. These initiators are used to synthesize the above inert-terminal polyoxazoline derivatives as well as other polyoxazolines with active terminal groups. Furthermore, the present disclosure provides for polyoxazoline-lipid conjugates and liposomal compositions prepared using such polyoxazoline-lipid conjugates. Methods of using the foregoing to prepare conjugates with target molecules are also disclosed.
    Type: Grant
    Filed: July 10, 2009
    Date of Patent: November 11, 2014
    Assignee: Serina Therapeutics, Inc.
    Inventors: Michael David Bentley, J. Milton Harris, Michael Reif, Rainer Jordon, Kunsang Yoon
  • Publication number: 20110123453
    Abstract: The present disclosure provides novel functional polyoxazoline derivatives prepared by terminating polyoxazoline polymerization with inert chemical groups. In addition, the present disclosure demonstrates the synthesis of novel electrophilic initiators with protected functional groups capable of initiating oxazoline polymerization and capable of surviving the conditions of polymerization. These initiators are used to synthesize the above inert-terminal polyoxazoline derivatives as well as other poly-oxazolines with active terminal groups. Furthermore, the present disclosure provides for polyoxazoline-lipid conjugates and liposomal compositions prepared using such polyoxazoline-lipid conjugates. Methods of using the foregoing to prepare conjugates with target molecules are also disclosed.
    Type: Application
    Filed: July 10, 2009
    Publication date: May 26, 2011
    Applicant: Serina Therapeutics, Inc.
    Inventors: Michael David Bentley, J. Milton Harris, Michael Reif, Rainer Jordon, Kunsang Yoon