Abstract: The present disclosure provides three-dimensional (3D) printing processes, apparatuses, software, devices, and systems for the production of at least one requested 3D object and for removal of a remainder material. The removal may be accomplished when the remainder material exhibits challenging conditions during removal while being safe for a user, the conditions comprising temperature, reactivity, bridging tendency, or possible loss of fluidity.

Abstract: A device may receive at least first network parameters and first performance indicators of a first access station in a first access network; receive at least second network parameters and second performance indicators of a second access station in a second access network; determine whether to steer a User Equipment device (UE) wirelessly connected to the first access station, from the first access station toward the second access station, based on the at least first and second network parameters and first and second performance indicators; and based on the determination, modify one or more of the first network parameters of the first access station and the second network parameters of the second access station.

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: 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.

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 band (1) comprising, on its inner surface, an irregular array of tacky areas or protrusions (6) that dissipate foci of stress in the skin (of the abdominal wall or other body areas). Wearing such a band around the abdomen is intended to help prevent the occurrence of stretch marks.