A truth maintenance method and system. The method includes receiving by a computer processor, health event data associated with heath care records for patients. The computer processor associates portions of the health event data with associated patients and related records in a truth maintenance system database. The computer processor derives first health related assumption data and retrieves previous health related assumption data derived from and associated with previous portions of previous health event data. The computer processor executes non monotonic logic with respect to the first health related assumption data and the previous health related assumption data. In response, the computer processor generates and stores updated first updated health related assumption data associated with the first health related assumption data and the previous health related assumption data.

A truth maintenance method and system. The method includes receiving by a computer processor, health event data associated with heath care records for patients. The computer processor associates portions of the health event data with associated patients and related records in a truth maintenance system database. The computer processor derives first health related assumption data and retrieves previous health related assumption data derived from and associated with previous portions of previous health event data. The computer processor executes non monotonic logic with respect to the first health related assumption data and the previous health related assumption data. In response, the computer processor generates and stores updated first updated health related assumption data associated with the first health related assumption data and the previous health related assumption data.

Systems and methods for prompting a user to perform an exercise and monitoring the exercise are provided. Multiple independent sensors or sensor systems may be used to calculate energy expenditure. Various criteria may be used to manually or automatically select the independent sensor or sensor system or combination that will be used with the energy expenditure calculations.

Systems and methods for prompting a user to perform an exercise and monitoring the exercise are provided. Multiple independent sensors or sensor systems may be used to calculate energy expenditure. Various criteria may be used to manually or automatically select the independent sensor or sensor system or combination that will be used with the energy expenditure calculations.

A system for aiding surgery on a patient is described including a display device and a storage device that stores an image of at least a portion of the anatomy of the patient, including one or more surgical navigation markers positioned on the patient, for display on the display device. An analyser is adapted to receive positional data of a probe based on positioning of the probe relative to the one or more markers on the patient. Based on the positional data, the analyser outputs correctional data to adjust an alignment of the image on the display device to match locations of said one or more markers.

A system for aiding surgery on a patient is described including a display device and a storage device that stores an image of at least a portion of the anatomy of the patient, including one or more surgical navigation markers positioned on the patient, for display on the display device. An analyser is adapted to receive positional data of a probe based on positioning of the probe relative to the one or more markers on the patient. Based on the positional data, the analyser outputs correctional data to adjust an alignment of the image on the display device to match locations of said one or more markers.

Computerized systems and methods facilitate searches by identifying instances in which search input is an ambiguous query and resolving the ambiguous query. The search system identifies ambiguous queries by querying a common data store prior to querying a patient database. More particularly, when the search system receives search input entered into a search tool, the search system queries the common name data store before querying the patient database to determine if the search input matches a common name and is an ambiguous query. If so, the search system may provide a notification to the user to indicate the search input is an ambiguous query with a common name and prompt the user to enter additional search criteria. In some instances, the search system may prevent a search from being performed on the patient database if the search input matches a common name until additional search criteria is entered.

Computerized systems and methods facilitate searches by identifying instances in which search input is an ambiguous query and resolving the ambiguous query. The search system identifies ambiguous queries by querying a common data store prior to querying a patient database. More particularly, when the search system receives search input entered into a search tool, the search system queries the common name data store before querying the patient database to determine if the search input matches a common name and is an ambiguous query. If so, the search system may provide a notification to the user to indicate the search input is an ambiguous query with a common name and prompt the user to enter additional search criteria. In some instances, the search system may prevent a search from being performed on the patient database if the search input matches a common name until additional search criteria is entered.

Methods and systems for analyzing brain functional activity data are provided. Also provided are systems that find use in performing the present methods.

Methods and systems for analyzing brain functional activity data are provided. Also provided are systems that find use in performing the present methods.