Abstract: A system and method for temporal control of fault functional verification. In some embodiments, a method includes: determining, in a nominal functional verification of a circuit, that an output of a first component has a first value at a first point in time, the output of the first component being connected to an input of a second component by a wire; determining, in a fault functional verification of the circuit, that the output of the first component has a second value, different from the first value, at the first point in time; determining, based on runtime input, that the wire passes through a barrier; and setting, in the fault functional verification, the value of the input of the second component, at the first point in time, to the first value.

Abstract: The disclosure relates to a handwritten input-recognition method for an electronic-device. The method comprises: obtaining by the device, at least one first handwriting input representative of at least one object. A context of the at least one first handwriting input is determined based on referring a log of actions performed upon the device. Using a neural network, a positional significance of the at least one first handwriting input is analyzed in relation to the determined context. A description depicting location of the at least one object is generated based on the analyzed positional significance of the at least one first handwriting-input. A command in response to the generated scene description is generated to enable performance of an action, the command referring the location of the at least one object within the scene.

Abstract: A current flight path of an aircraft is defined with respect to a two-dimensional mesh plane including a first plurality of nodes. Each node is associated with a pre-designated location. First, second, and third nodes that are the closest to a current aircraft location are identified. Neighboring aircraft data associated with neighboring aircraft disposed within a pre-defined distance of the aircraft is received. The neighboring aircraft data includes a neighboring aircraft location for each the neighboring aircraft. First, second, and third node weights are allocated to the first, second, and third nodes based in part on the pre-designated locations of the first, second, and third nodes with respect to the neighboring aircraft locations. A modified flight path based at least in part on the first, second, and third node weights is generated for display as a suggested flight path on an onboard display device.

Abstract: An electronic gaming device is provided. The gaming device includes a processor. The processor is programmed to: in response to transitioning to a feature game, cause one or more trigger symbols displayed on a reel display to transition to a credit symbol that includes a credit value wherein the credit value is determined by performing a lookup within a first award table, cause the reel display to spin causing a new trigger symbol to be displayed, cause the new trigger symbol to transition to a new credit symbol; and if a total number of credit symbols displayed on the reel display meets a first threshold value, assign a new credit value to the new credit symbol by performing a lookup within a second award table, wherein the second award table includes credit values that are greater than the credit values of the first award table.

Abstract: A system (1) of hot plates (2, 3) includes more than one hot plates (2, 3), a heating medium (4) which heats the hot plates (2, 3), and a cooking medium dispensing means (5). The hot plates (2, 3) have at least one of the plates as an upper plate (2) and at least one of another plate as a lower plate (3), wherein the upper plate (2) and the lower plate (3) are functionally coupled to press and heat a food item when the food item is placed between the plates (2, 3). The cooking medium dispensing unit/component/etc. (5) dispenses a predefined quantity of the cooking medium at least on an upper surface of the food item, or a lower surface of the food item.

Abstract: An animal health monitoring system includes a plurality of animal tag assemblies configured for being disposed on members of an animal population, each of the animal tag assemblies including one or more sensors configured to measure one or more animal characteristics of a member of the animal population. The system includes a concentrator communicatively coupled to the plurality of animal tag assemblies and configured to acquire one or more animal characteristics from the plurality of animal tag assemblies. The system includes a controller communicatively coupled to the concentrator and configured to receive the acquired one or more animal characteristics from the plurality of animal tag assemblies from the concentrator, determine a health state of one or more of the members of the animal population based on the received one or more animal characteristics and report the determined health state to one or more user devices.

Abstract: An animal health monitoring system includes a plurality of animal tag assemblies configured for being disposed on members of an animal population, each of the animal tag assemblies including one or more sensors configured to measure one or more animal characteristics of a member of the animal population. The system includes a concentrator communicatively coupled to the plurality of animal tag assemblies and configured to acquire one or more animal characteristics from the plurality of animal tag assemblies. The system includes a controller communicatively coupled to the concentrator and configured to receive the acquired one or more animal characteristics from the plurality of animal tag assemblies from the concentrator, determine a health state of one or more of the members of the animal population based on the received one or more animal characteristics and report the determined health state to one or more user devices.

Abstract: A data forwarding device belonging to both (1) a segment routing (SR) domain and (2) a label distribution protocol (LDP) domain may be used to perform a method comprising: (a) receiving, by the data forwarding device, information uniquely associated with each of one or more nodes in the LDP domain; (b) associating, for each of the one or more nodes in the LDP domain, a unique SR segment identifier (SID) with the information uniquely associated with the node in the LDP domain, to generate one or more SR SID-to-LDP node associations; and (c) transmitting the one or more SR SID-to-LDP node associations for propagation to at least one other node in the SR domain, whereby the at least one other node in the SR domain will become aware of the one or more nodes in the LDP domain. The SR-LDP border router is aware of all the nodes in SR and LDP domain including the SRGB database (base label, node label, and label range).

Abstract: An animal health monitoring system includes a plurality of animal tag assemblies configured for being disposed on members of an animal population, each of the animal tag assemblies including one or more sensors configured to measure one or more animal characteristics of a member of the animal population. The system includes a concentrator communicatively coupled to the plurality of animal tag assemblies and configured to acquire one or more animal characteristics from the plurality of animal tag assemblies. The system includes a controller communicatively coupled to the concentrator and configured to receive the acquired one or more animal characteristics from the plurality of animal tag assemblies from the concentrator, determine a health state of one or more of the members of the animal population based on the received one or more animal characteristics, and report the determined health state to one or more user devices.

Abstract: Load balancing in a network section implementing VRRPv3 may be supported in a way that is easier to implement than that described in § 4.2 of RFC 5798.

Abstract: An animal health monitoring system includes a plurality of animal tag assemblies configured for being disposed on members of an animal population, each of the animal tag assemblies including one or more sensors configured to measure one or more animal characteristics of a member of the animal population. The system includes a concentrator communicatively coupled to the plurality of animal tag assemblies and configured to acquire one or more animal characteristics from the plurality of animal tag assemblies. The system includes a controller communicatively coupled to the concentrator and configured to receive the acquired one or more animal characteristics from the plurality of animal tag assemblies from the concentrator, determine a health state of one or more of the members of the animal population based on the received one or more animal characteristics, and report the determined health state to one or more user devices.

Abstract: An animal health monitoring system includes a plurality of animal tag assemblies configured for being disposed on members of an animal population, each of the animal tag assemblies including one or more sensors configured to measure one or more animal characteristics of a member of the animal population. The system includes a concentrator communicatively coupled to the plurality of animal tag assemblies and configured to acquire one or more animal characteristics from the plurality of animal tag assemblies. The system includes a controller communicatively coupled to the concentrator and configured to receive the acquired one or more animal characteristics from the plurality of animal tag assemblies from the concentrator, determine a health state of one or more of the members of the animal population based on the received one or more animal characteristics, and report the determined health state to one or more user devices.

Abstract: One embodiment provides a method of automatically managing a validation rule across a shared replicated database, the method including: utilizing at least one processor to execute computer code that performs the steps of: receiving, at a database, a first transaction associated with a user, wherein the database is associated with a node of a network comprising a plurality of nodes and wherein each of the plurality of nodes is associated with a different entity; the database being shared and replicated among the plurality of nodes; receiving, at the database, a validation rule associated with the first transaction, wherein the validation rule comprises at least one condition associated with the user; and automatically replicating the validation rule throughout the plurality of nodes. Other aspects are described and claimed.

Abstract: A system and method for dynamic and secure communication and synchronization of personal data records through a distributed network. More specifically, a system that receives, stores and secures personal data records for users and then transmits and synchronizes personal data records between users in a distributed network based on rule-based security controls.

Abstract: Chiral 1-(4-methylphenylmethyl)-5-oxo-{N-[(3-t-butoxycarbonyl-aminomethyl)]-piperidin-1-yl}-pyrrolidine-2-carboxamides as inhibitors of collagen induced platelet activation and adhesion. The present invention provides chiral (2S)-1-(4-methylphenylmethyl)-5-oxo-(3S)-{N-[(3-t-butoxycarbonyl aminomethyl)]-piperidin-1-yl}-pyrrolidine-2-carboxamide, and (2S)-1-(4-methylphenylmethyl)-5-oxo-(3R)-{N-[(3-t-butoxycarbonyl amino methyl)]-piperidin-1-yl}-pyrrolidine-2-carboxamide of formula 6 and 7 respectively. The present invention also relates to use of these moieties as inhibitors of collagen induced platelet adhesion and aggregation mediated through collagen receptors. The present invention provides a process for preparation of chiral carboxamides of formula 6 and 7 using the process which has advantage to avoid any racemization at the a-carboxylic center, during N-alkylation. The reagent LiHMDS is used at low temperatures to furnish methyl N-(p-methylphenylmethyl)1pyroglutamate in good chiral purity.

Abstract: A system and method of optimizing the performance of an information handling system is disclosed herein. One or more data samples are generated by identifying one or more files accessed during the user application experience while in a sampling interval. An identifier and access frequency for each of the identified files are stored in a data sample. One or more data samples are merged into a merged data sample. A compression ratio is calculated for each of the identified files. One or more of the files identified in the merged data sample are selected for uncompression. The files selected for uncompression are uncompressed.

Abstract: An animal health monitoring system includes a plurality of animal tag assemblies configured for being disposed on members of an animal population, each of the animal tag assemblies including one or more sensors configured to measure one or more animal characteristics of a member of the animal population. The system includes a concentrator communicatively coupled to the plurality of animal tag assemblies and configured to acquire one or more animal characteristics from the plurality of animal tag assemblies. The system includes a controller communicatively coupled to the concentrator and configured to receive the acquired one or more animal characteristics from the plurality of animal tag assemblies from the concentrator, determine a health state of one or more of the members of the animal population based on the received one or more animal characteristics and report the determined health state to one or more user devices.

Abstract: A system and method of optimizing the performance of an information handling system is disclosed herein. One or more data samples are generated by rebooting an information handling system and identifying one or more files accessed during the bootup of the information handling system. An identifier and access frequency for each of the identified files are stored in a data sample. One or more data samples are merged into a merged data sample. A compression ratio is calculated for each of the identified files. One or more of the files identified in the merged data sample are selected for uncompression. The files selected for uncompression are uncompressed.

Abstract: One embodiment provides a method of automatically managing a validation rule across a shared replicated database, the method including: utilizing at least one processor to execute computer code that performs the steps of: receiving, at a database, a first transaction associated with a user, wherein the database is associated with a node of a network comprising a plurality of nodes and wherein each of the plurality of nodes is associated with a different entity; the database being shared and replicated among the plurality of nodes; receiving, at the database, a validation rule associated with the first transaction, wherein the validation rule comprises at least one condition associated with the user; and automatically replicating the validation rule throughout the plurality of nodes. Other aspects are described and claimed.

Abstract: A system and method for dynamic and secure communication and synchronization of personal data records through a distributed network. More specifically, a system that receives, stores and secures personal data records for users and then transmits and synchronizes personal data records between users in a distributed network based on rule-based security controls.