Abstract: In an aspect, a computing system is configured to: send, to a transfer rail server, a request for stored card data associated with a value transfer card; receive stored card data identifying an entity having a stored representation of the value transfer card; provide user interface data to a client device, the user interface data causing the client device to display a user interface that includes an entity listing that is based on the stored card data, the user interface including a selectable option to add an entity-based control to the identified entity; receive, from the client device, an instruction to apply an entity-based control to an identified one of the entities in the stored card data; and in response to receiving the instruction to apply the entity-based control, implement the entity-based control to affect use of the value transfer card by the identified entity and not affect use of the value transfer card by other entities.

Abstract: In an aspect, a computing system is configured to: obtain, from a transfer rail server, stored card data, the stored card data identifying one or more entities having a stored representation of a value transfer card; obtain, from the transfer rail server, data indicating a time of last use of the value transfer card by one or more of the identified entities; identify a dormant entity based on the data indicating the time of last use of the value transfer card by the one or more of the identified entities; send, to a client device associated with the value transfer card, a notification providing a prompt to disable the value transfer card for the dormant entity; receive a command; and disable the value transfer card for the dormant entity to prevent further use of the value transfer card by the dormant entity.

Abstract: A method for optimally producing a holographic image using a Holographic Optical Element (HOE) and the HOE meant for controlling directions and divergences of light beams to impart system compactness. The system uses concave and convex lenses and other beam expanding, splitting, modulating and combining optics for realization of compactness and high throughput. The thin laser beam is split using a holographic optical element and a conventional beam splitter. A neutral density filter adjusts the intensity of a reference beam to match the intensity of an object beam so that high quality digital holograms can be recorded. Effects of vibrations are minimized by the compact optical design, by anti-vibration mounts, by mounting all the opto-mechanical components on a single rigid platform and by enclosing the system. An electro-optical sensor array records holograms digitally and an algorithm numerically reconstructs and further quantifies the results using a personal computer/laptop/tablet etc.

Abstract: A method for depositing a phosphorus doped silicon arsenide film is disclosed. The method may include, providing a substrate within a reaction chamber, heating the substrate to a deposition temperature, exposing the substrate to a silicon precursor, an arsenic precursor, and a phosphorus dopant precursor, and depositing the phosphorus doped silicon arsenide film over a surface of the substrate. Semiconductor device structures including a phosphorus doped silicon arsenide film deposited by the methods of the disclosure are also provided.

Abstract: A method for depositing a phosphorus doped silicon arsenide film is disclosed. The method may include, providing a substrate within a reaction chamber, heating the substrate to a deposition temperature, exposing the substrate to a silicon precursor, an arsenic precursor, and a phosphorus dopant precursor, and depositing the phosphorus doped silicon arsenide film over a surface of the substrate. Semiconductor device structures including a phosphorus doped silicon arsenide film deposited by the methods of the disclosure are also provided.

Abstract: A method of calculating blast injury metrics in a weapon training/IED blast scene can include: reconstructing topological layout of the scene having at least one real subject and a blast source; obtaining anthropometric and posture data for each real subject; obtaining anatomical soldier model for each real subject; identifying real position of at least one real pressure sensor on each soldier during a blast; positioning a virtual sensor on each anatomical soldier model to correspond with real pressure sensor on the real subject; calculating weapon signature of the blast source, the weapon signature including pressure versus time for a blast from the blast source; generating simulated pressure traces on each anatomical soldier model at east virtual pressure sensor; calculating blast injury metrics for the at least one real subject; and generating a report that includes the blast injury metrics for the at least one real subject.

Abstract: A method is provided for forming a printed circuit board (PCB) assembly. The method may include drilling a first plurality of vias having a first diameter in a PCB and filling the first plurality of vias to form a first plurality of plated or filled vias. The method may also include drilling a second plurality of vias having a second diameter in the PCB, and filling the second plurality of vias to form a second plurality of plated or filled vias. The first plurality of plated or filled vias is mixed with the second plurality of plated or filled vias such that the spacing between the first plurality of plated or filled vias and the second plurality of plated or filled vias is less than the first diameter and the second diameter.

Abstract: In some examples, a computing device may receive, from a first user device, a communication indicating a request to create a combined order for items offered by one or more merchants. For example, the combined order may enable a plurality of users to independently purchase individual ones of the items from the one or more merchants. The combined order may be created having an initial condition and may be accessible by the plurality of users for adding items to the combined order. At least one selection of a respective item may be received from each user of the plurality of users. For instance, each selection may change the condition of the combined order. In addition, the computing device may process the items added to the combined order as a single order to perform at least one action.

Abstract: Techniques are disclosed for address manipulation using indices and tags. A first index is generated from bits of a processor program counter, where the first index is used to access a branch predictor bimodal table. A first branch prediction is provided from the bimodal table, based on the first index. The first branch prediction is matched against N tables, where the tables contain prior branch histories, and where: the branch history in table T(N) is of greater length than the branch history of table T(N?1), and the branch history in table T(N?1) is of greater length than the branch history of table T(N?2). A processor address is manipulated using a greatest length of hits of branch prediction matches from the N tables, based on one or more hits occurring. The branch predictor address is manipulated using the first branch prediction from the bimodal table, based on zero hits occurring.

Abstract: Objects can be rendered in three dimensions and viewed and manipulated in an augmented reality environment. A number of object images, a number of segmentation masks, and an object mesh structure are used by a client device to render the object in three dimensions. The object images and segmentation masks can be sequenced into frames. The object images and segmentation masks can be partitioned into patches and sequenced, or ordered, within each patch, and a keyframe can be assigned in each patch. Then, the object images and segmentation masks can be encoded into video files and sent to a client device. The client device can quickly retrieve a requested object image and segmentation mask based at least in part on identifying the keyframe in the same patch as the object image and segmentation mask.

Abstract: Monitoring vibrations induced on non-rotational components, of a machine is a key requirement to ensure that the machine is well within safe operational limits. Existing approaches are sensor based and may not be practical in many practical scenarios with extreme environments. Embodiments herein provide method and system for monitoring machine health using radar based segregation for induced machine vibrations. The method provides model free a data driven approach wherein a micro Doppler signal captured by the RADAR placed in proximity of a target machine is processed and analyzed in accordance with a Wide Band Frequency Spectrum (WBFS) to estimate a rotational frequency and a translational frequency of induced machine vibrations in the target machine. Further, apply a rule engine on the estimated rotational frequency and the translational frequency to provide an alert notification to an end user when the induced machine vibrations cross the defined machine standards.

Abstract: Provided is a method for performing connectivity verification of an integrated circuit device. In embodiments of the invention, the method includes creating a directed graph representation of integrated circuit device. The method can further include determining target gates referred to as trace signals within integrated circuit device. The method can further include creating hierarchical representation of trace signals and determining nested trace signals. The method can further include determining one or more locations for cut points for non-nested trace signals. Thereafter, performing connectivity verification using the one or more locations for cut points. Finally improving the scalability of connectivity verification by utilizing hierarchical decomposition embodiment of the invention.

Abstract: The present invention discloses a process for the dissociation of natural gas hydrates comprises injecting additives or hydrate dissociation promoters into the system at the hydrate dissociation temperatures ranging from 283-293 K in conjunction with or without first depressurizing the system to pressures (50%-75%) below the hydrate equilibrium pressure and such leading to the recovery of methane or natural gases.

Abstract: A computing system determines a first set of registers having constant next-state functions in the netlist. The computing system identifies an observable gate in fan-out of a register in the first set, wherein an observable gate is a gate that is critical to a verification or synthesis context. The computing system identifies a second set of reducible registers in the fan-in of the observable gate. The computing system modifies at least one of an initial value and a next-state function of at least one reducible register of the second set to reflect an observable value of the at least one reducible register observed at the observable gate. The computing system simplifies one or more logic gates implementing the observable gate and the fan-in of the observable gate by eliminating a reference to a constant next-state function register in the first set of registers.

Abstract: Compounds of formula A-I and B-I, compositions comprising the compounds, methods of making the compounds and methods of their uses are disclosed.

Abstract: A computing system determines a first set of registers having constant next-state functions in the netlist. The computing system identifies an observable gate in fan-out of a register in the first set, wherein an observable gate is a gate that is critical to a verification or synthesis context. The computing system identifies a second set of reducible registers in the fan-in of the observable gate. The computing system modifies at least one of an initial value and a next-state function of at least one reducible register of the second set to reflect an observable value of the at least one reducible register observed at the observable gate. The computing system simplifies one or more logic gates implementing the observable gate and the fan-in of the observable gate by eliminating a reference to a constant next-state function register in the first set of registers.

Abstract: Objects can be rendered in three dimensions and viewed and manipulated in an augmented reality environment. A number of object images, a number of segmentation masks, and an object mesh structure are used by a client device to render the object in three dimensions. The object images and segmentation masks can be sequenced into frames. The object images and segmentation masks can be partitioned into patches and sequenced, or ordered, within each patch, and a keyframe can be assigned in each patch. Then, the object images and segmentation masks can be encoded into video files and sent to a client device. The client device can quickly retrieve a requested object image and segmentation mask based at least in part on identifying the keyframe in the same patch as the object image and segmentation mask.

Abstract: Invention disclosed herein is a method for performing connectivity verification of an integrated circuit device. In embodiments of the invention, the method includes creating a directed graph representation of the integrated circuit device. The method can further include determining target gates referred to as trace signals within the integrated circuit device. The method can further include creating a hierarchical representation of trace signals and determining nested trace signals. The method can further include determining one or more locations for cut points for non-nested trace signals. Thereafter, performing connectivity verification using the one or more locations for cut points. Finally improving scalability of the connectivity verification by utilizing hierarchical decomposition embodiment of the invention.

Abstract: A coded signal is received via a physical channel. The coded signal is encoded by a parity check matrix. In some examples, the coded signal is low density parity check-encoded. The coded signal is decoded to determine a result signal. Said decoding alternatingly updates, for each one of a number of iterations, bit node values representing bits of the result signal and check node values representing constrains of the parity check matrix. In some examples, the decoding determines the result signal at a first precision and updates at least partly at a second precision which is lower than the first precision. In further examples, the number of iterations is dynamically adjusted.

Abstract: A logic verification program, method and system provide an efficient behavior when verifying large logic designs. The logic is partitioned by cut-nodes that dominate two or more RANDOMS and a check is performed for a given cut-node to determine whether any of the dominated RANDOMS can be merged to a constant by performing satisfiability checks with each RANDOM merged to a constant, to determine whether a range of output values for the given cut-node has been reduced by merging the RANDOM. If the range is not reduced, the RANDOM can be added to the set of merge-able RANDOMS along with the corresponding constant value. If the range has been reduced, the opposite constant value is tried for a node and if the range is reduced for both constants, then the cut-node is abandoned for merging that dominated RANDOM and the next dominated RANDOM is tried.