Abstract: A detection system detects malfunctions in an autonomous farming vehicle during an autonomous routine using one or more models and data from sensors coupled to the autonomous farming vehicle. The models may include machine-learned models trained on the sensor data and configured to identify objects indicative of an operational or malfunctioning component within a tilling assembly such as a tilling shank or sweep. Additionally, a machine-learned model may be trained on sensor data to detect whether debris has plugged the tilling assembly of the autonomous farming vehicle. In response to detecting a malfunction or a plug, the detection system may modify the autonomous routine (e.g., pausing operation) or provide information for the malfunction to be addressed (e.g., the likely location of a malfunctioning sweep that has detached from the tilling assembly).

Abstract: Disclosed are implementations that include a clinical data analysis method including obtaining dental data that includes input radiographic image data for at least one dental object, and identifying, by machine learning models, a first dental feature in the input radiographic image data for the at least one dental object, and at least one other feature in the dental object comprising at least partly a healthy dental structure. The method additionally includes computing at least one dimensioned property representative of physical dimensions of the first dental feature and the at least one other feature, deriving, based on the computed at least one dimensioned property, a ratio indicative of an extent of a dental clinical condition associated with the identified first dental feature, and determining a treatment plan based on a comparison of the at least one dimensioned property ratio to a respective threshold value.

Abstract: A crop prediction system performs various machine learning operations to predict crop production and to identify a set of farming operations that, if performed, optimize crop production. The crop prediction system uses crop prediction models trained using various machine learning operations based on geographic and agronomic information. Responsive to receiving a request from a grower, the crop prediction system can access information representation of a portion of land corresponding to the request, such as the location of the land and corresponding weather conditions and soil composition. The crop prediction system applies one or more crop prediction models to the access information to predict a crop production and identify an optimized set of farming operations for the grower to perform.

Abstract: Methods for managing non-player characters and power centers in a computer game are based on character hierarchies and individualized correspondences between each character's traits or rank and events that involve other non-player characters or objects. Players may share power centers, character hierarchies, non-player characters, and related quests involving the shared objects with other players playing separate and unrelated game instances over a computer network, with the outcome of the quests reflected in different the games. Various configurations of game machines are used to implement the methods.

Abstract: Embodiments are directed to verifying performance and operation of live services. Applications operative in a computing environment and directed to a plurality of organizations may be provided such that the applications include data associated with different organizations. Templates that declare template objects may be provided such that the template objects may be directed to verifying features of the applications. Data associated with the organization may be provided based on the template objects. Verification objects may be generated based on the template objects and the provided data. The verification objects may be employed to verify the features of the applications based on verification conditions and the provided data. Reports that include results based on verification conditions and the provided data may be provided.

Abstract: An online agricultural system manages and optimizes interactions of entities within the system to enable the execution of transaction and the transportation of crop products. The online agricultural system accesses historic and environmental data describing factors that may impact crop product transactions and/or transportation to determine market prices for crop products and crop product transportation. Responsive to receiving a request from an entity, the online agricultural system determines an optimal transaction for the entity, such as a price for selling a crop product, an available crop product for purchase, or a transportation opportunity to transport a crop product.

Abstract: Systems and methods are provided for associating authentications and authorizations in connection with network interactions. An exemplary system includes a computing device configured to receive an authorization request for a network interaction from an acquirer, where the authorization request represents a transaction to a payment account and includes a transaction amount and an accountholder authentication value (AAV) indicative of a prior authentication associated with the transaction. The computing device is configured to determine whether the authorization request, the transaction amount and/or an interval associated with the authorization request satisfies a parameter.

Abstract: A computer-implemented method for authenticating an online user with an access control server (ACS) is provided.

Abstract: Embodiments are directed to verifying performance and operation of live services. Applications operative in a computing environment and directed to a plurality of organizations may be provided such that the applications include data associated with different organizations. Templates that declare template objects may be provided such that the template objects may be directed to verifying features of the applications. Data associated with the organization may be provided based on the template objects. Verification objects may be generated based on the template objects and the provided data. The verification objects may be employed to verify the features of the applications based on verification conditions and the provided data. Reports that include results based on verification conditions and the provided data may be provided.

Abstract: Embodiments are directed to verifying media stream quality for multiparty video conferences. A verification video may be generated based on verification goals for a video provided by a video service. A marker may be embedded in the verification video. A video conference may be established using video stations such that the video conference may be provided by a video service. The verification video may be streamed to a video input of each video station. The video may be streamed to a video output buffer of each video station such that the video provides a view of the video conference and such that the marker that corresponds to each video station may be included in the video. Video information may be captured from the video output buffer of the video stations. The video service may be classified based on the video information from each video station.

Abstract: Systems and methods are provided for associating authentications and authorizations in connection with network interactions. An exemplary system includes a computing device configured to receive an authorization request for a network interaction from an acquirer, where the authorization request includes a primary account number (PAN) for a payment account and a transaction amount. The computing device is also configured to determine whether the authorization request includes an accountholder authentication value (AAV) and/or a transaction identifier (ID). In response to the authorization request including the AAV and the transaction ID, the computing device is configured to determine whether the AAV and the transaction ID are included in a data structure and, in response to them being included in the data structure, append a tag to the authorization request indicative of association of the authorization request to an authentication in the data structure associated with the AAV and the transaction ID.

Abstract: Embodiments are directed to verifying media stream quality for multiparty video conferences. A verification video may be generated based on verification goals for a video provided by a video service. A marker may be embedded in the verification video. A video conference may be established using video stations such that the video conference may be provided by a video service. The verification video may be streamed to a video input of each video station. The video may be streamed to a video output buffer of each video station such that the video provides a view of the video conference and such that the marker that corresponds to each video station may be included in the video. Video information may be captured from the video output buffer of the video stations. The video service may be classified based on the video information from each video station.

Abstract: Embodiments are directed to verifying performance and operation of live services. Applications operative in a computing environment and directed to a plurality of organizations may be provided such that the applications include data associated with different organizations. Templates that declare template objects may be provided such that the template objects may be directed to verifying features of the applications. Data associated with the organization may be provided based on the template objects. Verification objects may be generated based on the template objects and the provided data. The verification objects may be employed to verify the features of the applications based on verification conditions and the provided data. Reports that include results based on verification conditions and the provided data may be provided.

Abstract: Embodiments are directed to verifying media stream quality for multiparty video conferences. A verification video may be generated based on verification goals for a video provided by a video service. A marker may be embedded in the verification video. A video conference may be established using video stations such that the video conference may be provided by a video service. The verification video may be streamed to a video input of each video station. The video may be streamed to a video output buffer of each video station such that the video provides a view of the video conference and such that the marker that corresponds to each video station may be included in the video. Video information may be captured from the video output buffer of the video stations. The video service may be classified based on the video information from each video station.

Abstract: A method for modifying a call graph may include identifying, in source code, a first call site including a first predicate and a call from a first function to a second function. The first call site may correspond to a first edge of the call graph. The first edge may connect a first node corresponding to the first function and a second node corresponding to the second function. The method may further include modifying the call graph by labelling the first edge with a first encoding of the first predicate, and identifying, in the source code, a second call site including a second predicate and a call from a third function to the first function. The method may further include in response to determining that the first predicate is unsatisfied, modifying the call graph by labelling the second edge with a second encoding of a violation of the first predicate.

Abstract: Systems and methods are provided for associating authentications and authorizations in connection with network interactions. An exemplary system includes a computing device configured to receive an authorization request for a network interaction from an acquirer, where the authorization request includes a primary account number (PAN) for a payment account and a transaction amount. The computing device is also configured to determine whether the authorization request includes an accountholder authentication value (AAV) and/or a transaction identifier (ID). In response to the authorization request including the AAV and the transaction ID, the computing device is configured to determine whether the AAV and the transaction ID are included in a data structure and, in response to them being included in the data structure, append a tag to the authorization request indicative of association of the authorization request to an authentication in the data structure associated with the AAV and the transaction ID.

Abstract: A method may include receiving a network schema including switches, links connecting the switches, and a topology that maps the switches to the links. The switches may include ports. The method may further include receiving a software defined networking (SDN) policy including a function that modifies a state of a packet entering a switch, converting the topology to a graph including nodes corresponding to the switches, while searching the graph, determining, according to the function, whether a port of a switch corresponding to a node is reachable by the packet entering the switch, and in response to searching the graph, verifying a property of the SDN policy.

Abstract: A method for modifying a call graph may include identifying, in source code, a first call site including a first predicate and a call from a first function to a second function. The first call site may correspond to a first edge of the call graph. The first edge may connect a first node corresponding to the first function and a second node corresponding to the second function. The method may further include modifying the call graph by labelling the first edge with a first encoding of the first predicate, and identifying, in the source code, a second call site including a second predicate and a call from a third function to the first function. The method may further include in response to determining that the first predicate is unsatisfied, modifying the call graph by labelling the second edge with a second encoding of a violation of the first predicate.

Abstract: A method may include obtaining, from one of the rules of a static analysis, a built-in path relation describing a path constraint on a path variable, generating, using the rules, a transfer function that updates a property vector while analyzing code, generating an evaluation function that determines, using the updated property vector, whether the static analysis is satisfied, and determining whether the code includes a defect by executing the static analysis on the code using the path constraint, the transfer function, and the evaluation function.

Abstract: A computer-implement method may bundle insurance and financial products, and visually depict a current status for an application for each product within the bundle, such as applications related auto, home, life, or renters insurance, and/or vehicle loans. In one aspect, the method may determine a standard status icon or message for each product. A data server may receive a customer identification and selection of a first product offered, and determine a context of an application for the first product, wherein the context represents a state of progress of the application for the first product, and determine a standard status of the application corresponding to the context. The status is selected from a group of statuses standardized across two or more product lines sold by the company. The data server may further generate a status message including the status of the application and transmit the status message to a client device.