Microsoft Technology Licensing, LLC

Elwha LLC

Elwah LLC

Amgen Inc.

Allen L Brown, Jr

Chris Demetrios Karkanias

Lowell L Wood, Jr

Roderick A Hyde

Clarence T Tegreene

Edward K Y Jung

Nathan P Myhrvold

Charles Whitmer

Eric J Horvitz

Douglas Christopher Burger

Craig J Mundie

John L Manferdelli

Barney Pell

Jordin T Kare

Eric Leuthardt

Richard Neil Zare

Willard Harvey Wattenburg

Christopher G Kaler

Steven E Lucco

Robert George Atkinson

Brian Scott Aust

David G Campbell

Thomas Jackson

Stuart M Bowers

Alistair K Chan

George M Moore

Lucius Gregory Meredith

David Richter

L Gregory Meredith

Silvia C Vega

Cosimo Laneve

Mark J Durst

Darrell L Lewis-Sandy

Gilles Gnacadja

David J Balaban

Mikhail Toupikov

Methods and systems for determining a physiological parameter of a subject through interrogation of an eye of the subject with an optical signal are described. Interrogation is performed unobtrusively. The physiological parameter is determined from a signal sensed from the eye of a subject according to a schedule, under the control of a scheduling controller.

Unobtrusive active eye interrogation

Methods and systems for determining a physiological parameter of a subject through interrogation of an eye of the subject with an optical signal are described. Interrogation is performed unobtrusively. The physiological parameter is determined from a signal sensed from the eye of a subject when the eye of the subject is properly aligned with regard to an interrogation signal source and/or response signal sensor.

A system for monitoring a pet includes a base station and a first monitoring device configured to capture first data relating to a first monitored area and to transmit the first data to the base station. The system further includes a second monitoring device configured to capture second data relating to a second monitored area and to transmit the second data to the base station, wherein the first monitored area and the second monitored area are adjacent. The base station is configured to determine a location of the pet as being in at least one of the first monitored area and the second monitored area. The base station is configured to determine a status of the pet based on at least one of the first and second data.

Remote pet monitoring systems and methods

Time-based unobtrusive active eye interrogation

Methods and system for determining a physiological parameter of a subject through interrogation of an eye of the subject with an optical signal are described. Interrogation is performed unobtrusively. The gaze direction of the eye of the subject is determined and an interrogation signal source and/or response signal sensor are moved into alignment with the eye using an actuator to facilitate detection of the signal from the eye of the subject.

Self-aligning unobtrusive active eye interrogation

Semantic queries are expressed and executed within a relational database. This can be done by defining semantic rules applied to execute the semantic queries using table valued functions and common table expressions, and then simply calling the defined table valued functions to execute the queries.

Expressing and executing semantic queries within a relational database

A semantic reasoning engine is described for performing probabilistic reasoning over a semantic graph in a time-efficient and viable manner. The semantic reasoning engine includes a data store that provides the semantic graph, where the semantic graph is formed by a plurality of concepts connected together via probabilistic assertions. The semantic reasoning engine operates by providing an answer to a query by recursively collapsing the semantic graph based on at least one collapsing rule.

Efficient probabilistic reasoning over semantic data

A reflective process algebra called the &#x3c1;-calculus facilitates the serialization of processes at the level of the reflective process algebra. The reflective process algebra because of its reflective properties, can be used on computing systems with finite resources. The reflective process calculus can be made to be sensitive to resources, such as memory and bandwidth, hence facilitating its use as a programming language at the machine level. The reflective process calculus causes the dual nature of a computation entity to be exposed. A name can be caused to become a process and a process can be caused to become a name.

Process language for microprocessors with finite resources

A group identifier represents an association between each of a number of different abbreviated namespace identifiers with a corresponding hierarchical namespace (e.g., an XML namespace). A hierarchically-structured document (e.g., an XML document) is accessed by a computing system that determines that the group identifier is associated with the hierarchically-structured document. Hence, when using the abbreviated namespace identifiers in the hierarchically-structured document, the computing system knows that the corresponding namespace is associated with the designated portions of the hierarchically-structured document. Also, a schema description language document (e.g., an XSD document) may specify multiple target namespaces for a single element. Accordingly, groupings of elements may be included in different namespaces to creating overlapping or even nested namespaces.

Grouping and nesting hierarchical namespaces

Trees are a common semantic denominator of XML data types and process calculi. This indicates a potential tight intertwining of the syntax and semantics of data and processes. The invention provides this intertwining via a process calculus wherein the data language syntax is a fragment of the programming language syntax.

Structured message process calculus

Growing community of inventors

Bellevue, WA, United States of America

Allen L Brown, Jr