Andamio Games LLC

Adventium Enterprises, LLC

Healthsense, Inc.

Red Wing Technologies, Inc.

Adventium Labs

Kyle S Nelson

Todd Peter Carpenter

Martin Michalowski

Brian J Bischoff

Mark S Boddy

Hazel S Shackleton

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

Embodiments of the present invention relate to methods, devices, and systems to monitor activity. One method to monitor activity includes monitoring a sensor activated by an individual. The method also includes recording activation of the sensor, determining a behavior routine of the individual based on recorded activations of the sensor, and analyzing the recorded sensor activations to determine a behavior routine. The method also includes identifying a change in the behavior routine based on the analysis of the recorded sensor activations.

Activity monitoring

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

Growing community of inventors

Minneapolis, MN, United States of America

Kyle S Nelson