Patents by Inventor Victor W. Marek

Victor W. Marek 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).

  • Satisfiability filter and query tool and method of building a satisfiability filter and query tool
    Patent number: 9753484
    Abstract: A SAT filter builder and method for building a SAT filter is provided. Hash functions are utilized to map elements of a domain subset to a set of literals which are in turn used to create a set of equations. These equations are conjoined to provide a satisfiability instance. The satisfiability instance is provided to an equation solver and the solution is provided to an array to build the filter. A query tool is also provided which allows the filter built by the SAT filter to test an element for set membership. The query tool utilizes the same hash functions used by the SAT filter builder to map the element to be tested to a set of literals. These literals are used to create an equation. The solution identified by the SAT builder tool is then provided to the equation created by the query tool and set membership is determined by determining whether the equation provided by the query tool is satisfied by the solution provided by the SAT filter builder.
    Type: Grant
    Filed: June 10, 2014
    Date of Patent: September 5, 2017
    Inventors: Victor W. Marek, Andrew J. Mayer, Katrina J. Ray, Sean A. Weaver
  • Computer architecture and process of patient generation, evolution, and simulation for computer based testing system
    Patent number: 7653556
    Abstract: A computer implemented simulation and evaluation method simulates interventions to a patient by a user, and evaluates the interventions responsive to predetermined criteria and the interventions. The method includes defining a test area to evaluate the user to at least one of predetermined criteria and a user profile, selecting genetic information of the patient responsive to the test area, and generating a patient history responsive to the test area and the genetic information. The method also includes receiving at least one intervention input by the user, and evaluating the user responsive to the intervention and predetermined criteria.
    Type: Grant
    Filed: September 8, 2005
    Date of Patent: January 26, 2010
    Assignee: American Board of Family Medicine, Inc.
    Inventors: Richard J. Rovinelli, Walton Sumner, II, Victor W. Marek, Miroslav Truszczynski
  • Computer architecture and process of patient generation, evolution, and simulation for computer based testing system
    Patent number: 6978244
    Abstract: A computer implemented simulation and evaluation method simulates interventions to a patient by a user, and evaluates the interventions responsive to predetermined criteria and the interventions. The method includes defining a test area to evaluate the user to at least one of predetermined criteria and a user profile, selecting genetic information of the patient responsive to the test area, and generating a patient history responsive to the test area and the genetic information. The method also includes receiving at least one intervention input by the user, and evaluating the user responsive to the intervention and predetermined criteria.
    Type: Grant
    Filed: January 16, 2001
    Date of Patent: December 20, 2005
    Assignee: American Board of Family Practice, Inc.
    Inventors: Richard J. Rovinelli, Walton Sumner, II, Victor W. Marek, Miroslaw Truszczynski
  • Computer architecture and process of patient generation, evolution, and simulation for computer based testing system
    Patent number: 6246975
    Abstract: A computer implemented simulation and evaluation method simulates interventions to a patient by a user, and evaluates the interventions responsive to predetermined criteria and the interventions. The method includes defining a test area to evaluate the user to at least one of predetermined criteria and a user profile, selecting genetic information of the patient responsive to the test area, and generating a patient history responsive to the test area and the genetic information. The method also includes receiving at least one intervention input by the user, and evaluating the user responsive to the intervention and predetermined criteria.
    Type: Grant
    Filed: October 30, 1997
    Date of Patent: June 12, 2001
    Assignee: American Board of Family Practice, Inc.
    Inventors: Richard J. Rivonelli, Walton Sumner, II, Victor W. Marek, Miroslaw Truszczynski
  • Computer architecture and process of patient generation, evolution, and simulation for computer based testing system
    Publication number: 20010001852
    Abstract: A computer implemented simulation and evaluation method simulates interventions to a patient by a user, and evaluates the interventions responsive to predetermined criteria and the interventions. The method includes defining a test area to evaluate the user to at least one of predetermined criteria and a user profile, selecting genetic information of the patient responsive to the test area, and generating a patient history responsive to the test area and the genetic information. The method also includes receiving at least one intervention input by the user, and evaluating the user responsive to the intervention and predetermined criteria.
    Type: Application
    Filed: January 16, 2001
    Publication date: May 24, 2001
    Inventors: Richard J. Rovinelli, Walton Sumner, Victor W. Marek, Miroslaw Truszczynski