Andamio Games LLC

Honeywell International Inc.

Adventium Enterprises, LLC

Maxtor Corporation

Todd Peter Carpenter

Kyle S Nelson

Martin Michalowski

Edward L Cochran

Anthony E Faltesek

Christopher Montgomery Carpenter

John Masles

Ronald H Jiracek

Mark S Boddy

Ian J De Silva

Hazel S Shackleton

Chris Paul Dudte

Steven J Johnston

Systems, devices, and methods associated with interactive educational tools are described herein. One device includes instructions executable by a processor to cause a plurality of mobile devices to each represent a respective subsystem associated with an objective, cause an interaction between at least two of the plurality of mobile devices to represent a relationship between the respective subsystems represented by the at least two mobile devices, and aggregate a number of interactions between the at least two of the plurality of mobile devices to form a coordinated response associated with achieving a particular objective.

Interactive educational tool

The present disclosure includes methods and systems for measuring the integrity of a device. A number of embodiments can include initiating an observatory in a system and initiating a remote manager. A number of embodiments can also include measuring the integrity of the device from the observatory and accessing the integrity measurement of the device from the remote manager.

Dynamically measuring the integrity of a computing apparatus

The present disclosure includes methods, devices, and systems for inferring system-level properties. One or more embodiments include generating a constraint model based on a system model having a number of components at different levels of abstraction and on a number of verified component properties. The constraint model can include a number of mission constraints modeling one or more mission requirements, a number of system constraints modeling one or more system-level properties, mid a number of component constraints modeling one or more component properties. One or more embodiments can include analyzing the constraint model with a constraint solver to determine whether one or more particular system-level properties can be inferred from the constraint model.

Inferring system-level properties

A computer implemented method of predicting decisions uses the knowledge of one or more individuals. The individuals, referred to as a team, are knowledgeable about the domain in which decisions are being made. The team individually rates the importance of decision criteria they deem relevant. They then rate the extent which multiple problem characteristics are deemed relevant to the decision. The ratings are subjected to automated quantitative analysis for consistency, and the raters may discuss and modify inconsistent ratings if appropriate. Once the ratings are accepted, the raters then rate the decision options against the highest scoring problem characteristics as determined in the initial ratings. After one or more further rounds of consistency evaluations, the highest rated options are selected as the prediction of the decision to made by the adversary.

Modeling decision making processes

An extremely secure method for keying source contents to a source storage medium provided to prevent use of unauthorized copies at minimal cost. The host processor combines a unique, immutable and verifiable physical attribute of a hard disk drive, i.e., the drive's defect list, with the content to be secured to write a corresponding fingerprinted encrypted content on a source medium. When a local processor wants to use the sanctioned source content, the fingerprinted content is read from a local storage medium. The local processor then decrypts and separates the defect list out of the source content and reads the local storage medium defect list. If the decrypted defect list matches the local storage medium defect list, then the local processor recognizes the local sanctioned medium and continues processing the source contents. Otherwise, a non-matching defect list indicates an unauthorized copy from the source to the local storage medium.

Extremely secure method for keying stored contents to a specific storage device

Methods and systems are provided for enhancing the air quality in buildings during a chemical and/or biological attack and/or when the air quality around a building drops to unacceptable levels. Preferably, relatively non-contaminated (clean) air is stored in one or more clean air reservoirs. Once stored, the clean air is selectively delivered to buildings when a chemical and/or biological attack is detected, and/or when the air quality around a building drops to unacceptable levels.

Growing community of inventors

Saint Paul, MN, United States of America

Todd Peter Carpenter