Patents by Inventor Andrew D. Gordon
Andrew D. Gordon 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: 10997512Abstract: Systems and methods for inferring user traits based on indirect questions. Indirect questions may be generated based on one or more triggers. The answers to the indirect questions provide cues to a system as to whether a user has one or more attributes associated with a trait. This information may be used to personalize a computing device.Type: GrantFiled: July 6, 2015Date of Patent: May 4, 2021Inventors: Margaret Novotny, Jacob Miller, William Wagner, Yelisaveta Pesenson, Aryn Shelander, Sheena Stevens, Claudio Russo, Thore Graepel, Andrew D. Gordon, Christopher E. Miles
-
Publication number: 20160350667Abstract: Systems and methods for inferring user traits based on indirect questions. Indirect questions may be generated based on one or more triggers. The answers to the indirect questions provide cues to a system as to whether a user has one or more attributes associated with a trait. This information may be used to personalize a computing device.Type: ApplicationFiled: July 6, 2015Publication date: December 1, 2016Applicant: Microsoft Technology Licensing, LLCInventors: Margaret Novotny, Jacob Miller, William Wagner, Yelisaveta Pesenson, Aryn Shelander, Sheena Stevens, Claudio Russo, Thore Graepel, Andrew D. Gordon, Christopher E. Miles
-
Patent number: 9282121Abstract: Security language constructs may be translated into logic language constructs and vice versa. Logic resolution may be effected using, for example, the logic language constructs. In an example implementation, translation of a security language assertion into at least one logic language rule is described. In another example implementation, translation of a proof graph reflecting a logic language into a proof graph reflecting a security language is described. In yet another example implementation, evaluation of a logic language program using a deterministic algorithm is described.Type: GrantFiled: February 13, 2014Date of Patent: March 8, 2016Assignee: Microsoft Technology Licensing, LLCInventors: Moritz Y. Becker, Blair B. Dillaway, Cedric Fournet, Andrew D. Gordon, Jason F. Mackay
-
Patent number: 9104961Abstract: There is provided a method and system for modeling a data generating process. The method includes generating a dyadic Bayesian model including a pair of probabilistic functions representing a prior distribution and a sampling distribution, and modeling a data generating process based on the dyadic Bayesian model using observed data. The method includes generating a learner object for the dyadic Bayesian model. The method further includes training the dyadic Bayesian model with the learner object based on the observed data to produce a trained dyadic Bayesian model. The method also includes generating a posterior distribution over parameters based on the trained dyadic Bayesian model. The method also further includes generating a posterior predictive distribution based on the posterior distribution. The method also includes predicting an outcome of observable variables based on the posterior predictive distribution.Type: GrantFiled: October 8, 2012Date of Patent: August 11, 2015Assignee: Microsoft Technology Licensing, LLCInventors: Andrew D. Gordon, Thore Graepel, Aditya Nori, Sriram Rajamani, Johannes Borgstroem
-
Patent number: 8949784Abstract: An efficient, logical and expressive type system is provided for flexibly defining types of a declarative programming language so that efficient and structurally compact data intensive applications can be generated. The type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. With the type system, types can be expressed as intersections and/or unions of other types. Thus, types can be efficiently represented for a full range of types of data as may be found in real world data stores.Type: GrantFiled: October 3, 2008Date of Patent: February 3, 2015Assignee: Microsoft Technology Licensing, LLCInventors: David E. Langworthy, Gavin Bierman, Andrew D. Gordon, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer, John D. Doty
-
Patent number: 8938783Abstract: A security language expresses assertions and authorization queries in a manner that facilitates logic resolution. In an example implementation, assertion syntax and authorization query syntax are described. In another example implementation, checks on the safety of assertions and authorization queries are described. In yet another example implementation, semantics rules are described.Type: GrantFiled: September 11, 2006Date of Patent: January 20, 2015Assignee: Microsoft CorporationInventors: Moritz Y. Becker, Blair B. Dillaway, Cedric Fournet, Andrew D. Gordon
-
Patent number: 8762942Abstract: An efficient, logical and expressive type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. A bidirectional type checking algorithm is provided for the type system including synthesis and checking steps to statically verify types of code based on the type system.Type: GrantFiled: October 3, 2008Date of Patent: June 24, 2014Assignee: Microsoft CorporationInventors: David E. Langworthy, Gavin Bierman, Andrew D. Gordon, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer, John D. Doty
-
Publication number: 20140165139Abstract: Security language constructs may be translated into logic language constructs and vice versa. Logic resolution may be effected using, for example, the logic language constructs. In an example implementation, translation of a security language assertion into at least one logic language rule is described. In another example implementation, translation of a proof graph reflecting a logic language into a proof graph reflecting a security language is described. In yet another example implementation, evaluation of a logic language program using a deterministic algorithm is described.Type: ApplicationFiled: February 13, 2014Publication date: June 12, 2014Applicant: Microsoft CorporationInventors: Moritz Y. Becker, Blair B. Dillaway, Cedric Fournet, Andrew D. Gordon, Jason F. Mackay
-
Publication number: 20140101090Abstract: There is provided a method and system for modeling a data generating process. The method includes generating a dyadic Bayesian model including a pair of probabilistic functions representing a prior distribution and a sampling distribution, and modeling a data generating process based on the dyadic Bayesian model using observed data.Type: ApplicationFiled: October 8, 2012Publication date: April 10, 2014Applicant: Microsoft CorporationInventors: Andrew D. Gordon, Thore Graepel, Aditya Nori, Sriram Rajamani, Johannes Borgstroem
-
Patent number: 8656503Abstract: Security language constructs may be translated into logic language constructs and vise versa. Logic resolution may be effected using, for example, the logic language constructs. In an example implementation, translation of a security language assertion into at least one logic language rule is described. In another example implementation, translation of a proof graph reflecting a logic language into a proof graph reflecting a security language is described. In yet another example implementation, evaluation of a logic language program using a deterministic algorithm is described.Type: GrantFiled: September 11, 2006Date of Patent: February 18, 2014Assignee: Microsoft CorporationInventors: Moritz Y. Becker, Blair B. Dillaway, Cedric Fournet, Andrew D. Gordon, Jason F. Mackay
-
Patent number: 8584230Abstract: In an example implementation, a bifurcated security scheme has a first level that does not allow usage of negations and a second level that does permit usage of negations. In another example implementation, an authorization query table maps respective resource-specific operations to respective associated authorization queries. In yet another example implementation, authorization queries are permitted to have negations, but individual assertions are not.Type: GrantFiled: September 27, 2011Date of Patent: November 12, 2013Assignee: Microsoft CorporationInventors: Blair B. Dillaway, Moritz Y. Becker, Andrew D. Gordon, Cedric Fournet
-
Patent number: 8413119Abstract: An efficient, logical and expressive type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. Various embodiments verify the validity of subtyping relationships by translating to first-order logic, and invoking a general-purpose theorem prover with the first-order logic as input. In contrast to treating formulas as types, types are translated into formulas of standard first-order logic. Moreover, to represent data structures of the programming language as first-order logic, universal and existential quantifiers of first-order logic, and function symbols in terms, are exploited. Data intensive applications can be generated, verified, and deployed with greater speed and scale.Type: GrantFiled: October 3, 2008Date of Patent: April 2, 2013Assignee: Microsoft CorporationInventors: David E. Langworthy, Gavin Bierman, Andrew D. Gordon, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer, John D. Doty
-
Patent number: 8201215Abstract: The delegation of rights may be controlled in a number of manners. In an example implementation, a delegation authority assertion is formulated with a delegator principle, a delegatee principal, a verb phrase, a resource, and a delagation-directive verb. In another example implementation, a delegation mechanism involving an assertor, a first principal, and a second principal enables a delegation to be specifically controlled. In yet another example implementation, a chained delegation mechanism enables explicit control of a permitted transitive chaining depth.Type: GrantFiled: September 8, 2006Date of Patent: June 12, 2012Assignee: Microsoft CorporationInventors: Blair B. Dillaway, Moritz Y. Becker, Andrew D. Gordon, Cedric Fournet
-
Publication number: 20120017263Abstract: In an example implementation, a bifurcated security scheme has a first level that does not allow usage of negations and a second level that does permit usage of negations. In another example implementation, an authorization query table maps respective resource-specific operations to respective associated authorization queries. In yet another example implementation, authorization queries are permitted to have negations, but individual assertions are not.Type: ApplicationFiled: September 27, 2011Publication date: January 19, 2012Applicant: MICROSOFT CORPORATIONInventors: Blair B. Dillaway, Moritz Y. Becker, Andrew D. Gordon, Cedric Fournet
-
Patent number: 8095969Abstract: Security assertion revocation enables a revocation granularity in a security scheme down to the level of individual assertions. In an example implementation, a security token includes multiple respective assertions that are associated with multiple respective assertion identifiers. More specifically, each individual assertion is associated with at least one individual assertion identifier.Type: GrantFiled: September 8, 2006Date of Patent: January 10, 2012Assignee: Microsoft CorporationInventors: Blair B. Dillaway, Moritz Y. Becker, Andrew D. Gordon, Cedric Fournet, Brian A. LaMacchia
-
Patent number: 8060931Abstract: In an example implementation, a bifurcated security scheme has a first level that does not allow usage of negations and a second level that does permit usage of negations. In another example implementation, an authorization query table maps respective resource-specific operations to respective associated authorization queries. In yet another example implementation, authorization queries are permitted to have negations, but individual assertions are not.Type: GrantFiled: September 8, 2006Date of Patent: November 15, 2011Assignee: Microsoft CorporationInventors: Blair B. Dillaway, Moritz Y. Becker, Andrew D. Gordon, Cedric Fournet
-
Publication number: 20100192129Abstract: An efficient, logical and expressive type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. Various embodiments verify the validity of subtyping relationships by translating to first-order logic, and invoking a general-purpose theorem prover with the first-order logic as input. In contrast to treating formulas as types, types are translated into formulas of standard first-order logic. Moreover, to represent data structures of the programming language as first-order logic, universal and existential quantifiers of first-order logic, and function symbols in terms, are exploited. Data intensive applications can be generated, verified, and deployed with greater speed and scale.Type: ApplicationFiled: October 3, 2008Publication date: July 29, 2010Applicant: MICROSOFT CORPORATIONInventors: David E. Langworthy, Gavin Bierman, Andrew D. Gordon, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer, John D. Doty
-
Patent number: 7721335Abstract: Ambient calculus-based modal logics for mobile ambients are disclosed. Formal analysis mechanisms or frameworks with which mobile ambients can be described, and within which policies such as security policies can be tested against those ambients, are disclosed. In one embodiment, a computer-implemented method receives at least one container, where each container has at least one process. The method applies the containers, including their processes, against a predetermined modal logic. The modal logic is based on ambient calculus, and provides for spatial relationships among the processes of the containers. The containers and their processes are output, as applied against the logic.Type: GrantFiled: August 30, 2004Date of Patent: May 18, 2010Assignee: Microsoft CorporationInventors: Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli
-
Patent number: D658979Type: GrantFiled: December 3, 2010Date of Patent: May 8, 2012Assignee: Fresh Express IncorporatedInventors: Andrew D. Gordon, Dennis C. Heydorn, John W. Stevie, Allie M. Riley, Tami Wallace
-
Patent number: D682086Type: GrantFiled: July 21, 2011Date of Patent: May 14, 2013Assignee: Fresh Express IncorporatedInventors: Allie M. Riley, Andrew D. Gordon