Abstract: Systems and methods to determine whether a vehicle in a vehicle fleet is recommended to undergo maintenance, and to cause the vehicle to undergo maintenance. A plurality of vehicles in a vehicle fleet may be identified based on a type of part. Status data from a variety of data sources, including sensors included in each vehicle of the plurality of vehicles, is received for the plurality of vehicles. The status data is used to determine whether at least one vehicle of the plurality of vehicles is recommended to undergo maintenance. The at least one vehicle is caused to undergo maintenance as a result of the determination that it is recommended to undergo maintenance.

Abstract: Systems and methods to provide training content to conference users, such as users discussing their operation of equipment. The conference can be an audio/video conference or include only audio. Sensor data is captured during a user's operation of the equipment. The sensor data is analyzed to detect an event in the operation of the equipment. An audio file is obtained for conference where the user's operation of the equipment is discussed. The audio file is analyzed to generate a list of words or phrases used during the conference. In response to detecting an event in the sensor data, training content for the event is selected based on the event type and at least one word or phrase being used a threshold number of times during the conference. The training content is then provided or presented to the user to avoid the event.

Abstract: Systems and methods to identify inefficiencies in a worksite and generate recommended actions to improve the inefficiencies are provided herein. The inefficiencies may be identified by analyzing equipment data from mobile equipment and fixed equipment associated with the worksite. The equipment data may be used to generate one or more routes through the worksite. The equipment data and one or more routes may be used to generate a cycle time for the worksite. The equipment data, one or more routes, and cycle time may be used to identify an inefficiency in the worksite, and the identified inefficiency may be used to generate a recommended action to improve and thus remedy the inefficiency.

Abstract: Systems and methods to provide training content to equipment operators and determine the success of the training content. Sensor data is captured during a user’s operation of the equipment. The sensor data is analyzed to detect an event in the operation of the equipment. In response to detecting an event, training content for the event is selected and presented to the user. If the user does not consume the training content, the content is re-presented to the user. If the user consumed the training content, but a reoccurrence of the event is detected in additional sensor data, then the training content is labeled as being unsuccessful at training the user to avoid the event. In response to the training content being unsuccessful at training the user, additional training content may be provided to the user or a modification to the equipment may be suggested.

Abstract: According to some examples, vehicles may be guided along a path including multiple waypoints and stop points that are sequentially submitted to a routing application. Instructions associated with the waypoints and stop points may be presented on a display to assist in guiding the vehicle along the path. According to other examples, people boarding and/or getting off the vehicle may be tracked.

Abstract: According to some examples, vehicles may be guided along a path including multiple waypoints and stop points that are sequentially submitted to a routing application. Instructions associated with the waypoints and stop points may be presented on a display to assist in guiding the vehicle along the path. According to other examples, people boarding and/or getting off the vehicle may be tracked.

Abstract: A method for marketing a target product having a flavor to a consumer. A consumable film that is distinct from the target product is provided to the consumer using at least one of the following channels: a print advertisement of the target product, a direct mail advertisement of the target product, a print media insert advertising the target product, a dispenser located at a point-of-purchase of the consumer, a display located at the point-of-purchase of the consumer, a coupon for the target product, a channel for test marketing the target product, an advertisement of the target product contained within a package that includes a product different from the product, or an advertisement of the target product attached to the exterior of a package that contains a different product. The consumable film contains at least one water soluble polymer. The consumable film adheres and dissolves in the mouth of the consumer and thereby renders a likeness of the flavor of the target product to the consumer.

Abstract: A method for marketing a target product having a flavor to a consumer. A consumable film that is distinct from the target product is provided to the consumer using at least one of the following channels: a print advertisement of the target product, a direct mail advertisement of the target product, a print media insert advertising the target product, a dispenser located at a point-of-purchase of the consumer, a display located at the point-of-purchase of the consumer, a coupon for the target product, a channel for test marketing the target product, an advertisement of the target product contained within a package that includes a product different from the product, or an advertisement of the target product attached to the exterior of a package that contains a different product. The consumable film contains at least one water soluble polymer. The consumable film adheres and dissolves in the mouth of the consumer and thereby renders a likeness of the flavor of the target product to the consumer.

Abstract: This invention determines whether two circuit models have equivalent functionality. The method allows very fast comparison between two circuits taking advantage of previous work done. Whenever an apparatus associated with the method solves a problem, it stores information that learned during the solution of the problem, in a database. If the apparatus is presented with a new problem of determining equivalence between two portions of two circuits, it checks if it has seen sub-circuits similar to either of the two pieces before. If it has, it uses the knowledge cached during the previous checks to make the new check easier. Checking equivalence of two circuit models involves checking equivalence of many pairs of sub-parts. Even when the subsequent comparisons involve different circuits, it is possible to take advantage of the information acquired during previous equivalence checks.

Abstract: This invention determines whether two logic level circuit models have equivalent functionality. The method allows difficult portions of the equivalent functionality check to be partitioned and concurrently solved in a distributed computing environment. This permits the user to use, in a scalable fashion, additional computing resources to rapidly solve difficult equivalent functionality checks. The method allows difficult checks to be solved using (1) a divide-and-conquer approach, (2) by a competitive approach in which many independent attempts are made to solve the same check, or (3) by allocating more resources to solve the difficult check.