Levitt
Daniel Levitt, Chester GB
Patent application number | Description | Published |
---|---|---|
20110225077 | Activity Ranking - A system and method of ranking activities and/or services to offer to a customer is provided. In some examples, one or more products, activities or services of a financial institution may be ranked for a customer based on customer information. One or more of the ranked products, activities and services may be offered to the customer. The customer's acceptance or refusal of the offered activity may be stored and used in future rankings. | 09-15-2011 |
David Levitt, Haifa IL
Patent application number | Description | Published |
---|---|---|
20130179131 | MODELING A MATRIX FOR FORMAL VERIFICATION - A reference model may be defined to refer to a matrix of a target computerized system. The reference model may comprise a reference index and a reference matrix. The reference index may have a non-deterministic value enabling the reference matrix to refer to the matrix using a fewer number of cells. The disclosed subject matter may enable a more efficient model checking process of a computerized device by using a reference model that is relatively easy to define or maintain or by using a reference model that is configured to be more efficient for model checking as it uses non-determinism. | 07-11-2013 |
David J. Levitt, Haifa IL
Patent application number | Description | Published |
---|---|---|
20110077915 | MODELING A MATRIX FOR FORMAL VERIFICATION - A reference model may be defined to refer to a matrix of a target computerized system. The reference model may comprise a reference index and a reference matrix. The reference index may have a non-deterministic value enabling the reference matrix to refer to the matrix using a fewer number of cells. The disclosed subject matter may enable a more efficient model checking process of a computerized device by using a reference model that is relatively easy to define or maintain or by using a reference model that is configured to be more efficient for model checking as it uses non-determinism. | 03-31-2011 |
20120096204 | Formal Verification of Random Priority-Based Arbiters Using Property Strengthening and Underapproximations - A mechanism is provide for formally verifying random priority-based arbiters. A determination is made as to whether a random priority-based arbiter is blocking one of a set of output ports or a set of input ports. Responsive to the first predetermined time period expiring before the processor determines whether the random priority-based arbiter is blocking, a determination is made as to whether the random priority-based arbiter is blocking one of the set of output ports or the set of input ports within a second predetermined time period using the random seed and at least one of property strengthening or underapproximation. Responsive to the processor determining that the random priority-based arbiter satisfies a non-blocking specification such that not one of the set of output ports or the set of input ports is blocked within the second predetermined time period, the random priority-based arbiter is validated as satisfying the non-blocking specification. | 04-19-2012 |
Malcolm Harris Levitt, Southampton GB
Patent application number | Description | Published |
---|---|---|
20100097060 | Apparatus for and method of determining an angle between an element and a magnetic field - An apparatus comprising a magnetic field generator for generating a magnetic field of a predetermined orientation, an element provided in the apparatus at a location that, in use, is within a region of the magnetic field having the predetermined orientation generated by the generator, and a device for determining an angle between the element and the magnetic field, the device comprising a Hall Effect sensor. | 04-22-2010 |
20110050228 | AGENT FOR TRANSPORTING NUCLEAR SPIN ORDER AND FOR MAGNETIC RESONANCE IMAGING - An agent for magnetic resonance studies, the agent comprising hyperpolarized | 03-03-2011 |
Mark Levitt, Sunset Beach ZA
Patent application number | Description | Published |
---|---|---|
20140114800 | SYSTEMS AND METHODS FOR DIGITAL GIFT CARD SELECTION - Various of the disclosed embodiments generally contemplate computer-implemented systems and methods for selecting an electronic or virtual gift card from among a plurality of possible gift cards or gift card issuers. Various of the embodiments may match and rank the gift cards according to a gift card recipient's characteristics, and possibly to the electronic or virtual gift card itself. Certain embodiments also contemplate the selection of physical gift cards selection, matching, and ranking aspects of the invention. Various methods for operating a gift card business using certain of the embodiments are also disclosed. | 04-24-2014 |
Michael David Levitt, Western Australia AU
Patent application number | Description | Published |
---|---|---|
20090175933 | PREPARATION FOR THE TREATMENT OF DIARRHOEA - A preparation for the treatment of diarrhoea comprising a bulking agent and an anti-diarrhoeal agent wherein the anti-diarrhoeal agent is provided in the form of an anti-motility agent. | 07-09-2009 |
Randy J. Levitt, Dollard-Des-Ormeaux CA
Patent application number | Description | Published |
---|---|---|
20110152354 | Bispecific Oligonucleotide for the Treatment of CNS Malignancies - CNS malignancy is treated in a subject suffering from a CNS malignancy by administering to the subject an antisense oligonucleotide having a sequence of bases that is complementary to portions of both the gene encoding IGFBP-2 and the gene encoding IGFBP-5, and which is of sufficient length to act as an inhibitor of the effective amount of IGFBP-2 and IGFBP-5, in an amount effective to reduce effective levels of IGFBP-2 and IGFBP-5 in cells of the CNS malignancy. | 06-23-2011 |