Abstract: Online advertisers may demand compliance with certain standards for the content of emails and other digital content with which its advertisements may be associated. Emails may contain control objects directing users to a web page showing content related to oil change coupons. However, in some systems, methods, and processes, a small variable proportion of users may instead be directed to a different sequence of pages to conduct a compliance check on the contents of the email received by the user. The compliance check sequence of pages may offer the user an incentive to forward the email to a specified email address for subsequent compliance review. Delivery of an incentive may be conditioned on successful receipt of the forwarded email.

Abstract: This disclosure relates to a system and method to implement a performance test to help evaluate a patient's neurological and cognitive function. The performance test can be executed by the patient autonomously using a portable computing device, such as a tablet computer or smart phone. The portable computing device can be programmed to execute a set of modules configured to assess motor and cognitive performance, such as a manual function test module, a cognitive processing speed test module, and a movement assessment test module. The set of modules can also include a collection module to aggregate test data from the manual function test module, the cognitive processing speed test module, and the movement assessment test module.

Abstract: A device may receive, from a user device, a request to verify a machine learning (ML) application using a metamorphic testing procedure. The device may determine a type of ML process used by the ML application, and may select one or more metamorphic relations (MRs), to be used for performing the metamorphic testing procedure, based on the type of ML process. The device may receive test data to be used to test the ML application, wherein the test data is based on the one or more MRs, and may perform, by using the one or more MRs and the test data, the metamorphic testing procedure to verify one or more aspects of the ML application. The device may generate a report that indicates whether the one or more aspects of the ML application have been verified and may provide the report for display on an interface of the user device.

Abstract: A biopsy needle, a biopsy needle assembly and methods to perform biopsy are disclosed. The biopsy needle includes a primary needle section formed as a hollow tube; a converging section accurately converging from a wall of the hollow tube of a first end of the primary needle section to form a piercing tip; a secondary needle section; and a body. The converging section of the biopsy needle further includes an opening on a lateral wall having a third cutting edge. The body of the biopsy needle is coupled to a second end of the primary needle section and may be coupled to an actuator to control a linear and a rotational movement of the biopsy needle.

Abstract: A computer-implemented method includes receiving a unit, wherein each unit includes one or more blocks. The computer-implemented method further includes selecting one or more input pins for each of said one or more blocks. The computer-implemented method further includes assigning a numerical value to each of said one or more input pins to yield at least one numerical sequence. The computer-implemented method further includes, for each numerical sequence of the at least one numerical sequence, performing a check on the numerical sequence to yield a number of fails. The computer-implemented method further includes determining a simulation condition for power modeling of the unit based on optimizing a numerical sequence with respect to the number of fails. The computer-implemented method further includes determining a number of design errors of the unit based on the simulation condition. A corresponding computer system and computer program product are also disclosed.

Abstract: A mixed-reality display device comprises an input system, a display, and a graphics processor. The input system is configured to receive a parameter value, the parameter value being one of a plurality of values of a predetermined range receivable by the input system. The display is configured to display virtual image content that adds an augmentation to a real-world environment viewed by a user of the mixed-reality display device. The graphics processor is coupled operatively to the input system and to the display; it is configured to render the virtual image content so as to variably change the augmentation, to variably change a perceived realism of the real world environment in correlation to the parameter value.

Abstract: Devices and methods relate to a portable self-powered wireless sensor and transmitter providing a tactile driven electric generator, using a 3D printed nano carbon and polymer electrodes. The device has two electrodes capable of producing greater than 2000 V, which when connected to a metal conductor is sufficient to create an electric field that can be used to wirelessly communicate a signal over a range of a few tens of meters. The sensor is completely self-powered and requires no motors or additional power such as active power supplies, batteries, or capacitors. The sensor generated waveform can be modulated by mechanical action such as hand tapping in a given sequence, which is preserved in the wireless signal (akin to Morse coding) and can be detected by existing compatible commercial electronic receivers. Resulting devices are suitable for security applications requiring wireless transmission of codes.

Abstract: A device may receive, from a user device, a request to verify a machine learning (ML) application using a metamorphic testing procedure. The device may determine a type of ML process used by the ML application, and may select one or more metamorphic relations (MRs), to be used for performing the metamorphic testing procedure, based on the type of ML process. The device may receive test data to be used to test the ML application, wherein the test data is based on the one or more MRs, and may perform, by using the one or more MRs and the test data, the metamorphic testing procedure to verify one or more aspects of the ML application.

Abstract: A processor may receive a transistor level integrated circuit (IC) design to be modelled. The processor may determine that the transistor level IC design has a first stage and a second stage. The processor may determine a first cross-current effective capacitance of the first stage and a second cross-current effective capacitance of the second stage. The processor may then determine a cross-current effective capacitance for the transistor level IC design by accumulating the first and second cross-current effective capacitances.

Abstract: Multiple mobile devices can be enabled to collaboratively search online information databases for results that may be interesting to all of them. Such search results can involve places of interest at which all of the search participants can conveniently meet due to the locations of those results being near to all of the search participants, for example.

Abstract: A mixed-reality display device comprises an input system, a display, and a graphics processor. The input system is configured to receive a parameter value, the parameter value being one of a plurality of values of a predetermined range receivable by the input system. The display is configured to display virtual image content that adds an augmentation to a real-world environment viewed by a user of the mixed-reality display device. The graphics processor is coupled operatively to the input system and to the display; it is configured to render the virtual image content so as to variably change the augmentation, to variably change a perceived realism of the real world environment in correlation to the parameter value.

Abstract: Personalized content is generated from different media items using a content index. The content index is generated or updated by identifying segments of media items that are of particular interest to users. User interactions with the media items are analyzed and metadata of segments of media items that are determined to be of particular interest to the users is recorded. The parameters associated with a request for personalized content for a user are matched with the recorded metadata to identify relevant media items or segments of media items which are transmitted to the user as the personalized content.

Abstract: A method for analyzing power in a circuit includes identifying equivalent elements in a source netlist representing the circuit. Abstract elements are formed combining the equivalent elements of the source netlist. A reduced netlist is formed, substituting the abstract elements in the reduced netlist for the collective equivalent elements in the source netlist. Metrics or properties associated with equivalent elements of the source netlist are combined and associated, in the reduced netlist, with the abstract elements. The reduced netlist can be analyzed with results equivalent to analyzing the source netlist.

Abstract: A method for analyzing power in a circuit includes identifying equivalent elements in a source netlist representing the circuit. Abstract elements are formed combining the equivalent elements of the source netlist. A reduced netlist is formed, substituting the abstract elements in the reduced netlist for the collective equivalent elements in the source netlist. Metrics or properties associated with equivalent elements of the source netlist are combined and associated, in the reduced netlist, with the abstract elements. The reduced netlist can be analyzed with results equivalent to analyzing the source netlist.

Abstract: A processor may receive a transistor level integrated circuit (IC) design to be modelled. The processor may determine that the transistor level IC design has a first stage and a second stage. The processor may determine a first cross-current effective capacitance of the first stage and a second cross-current effective capacitance of the second stage. The processor may then determine a cross-current effective capacitance for the transistor level IC design by accumulating the first and second cross-current effective capacitances.

Abstract: A method for analyzing power in a circuit includes identifying equivalent elements in a source netlist representing the circuit. Abstract elements are formed combining the equivalent elements of the source netlist. A reduced netlist is formed, substituting the abstract elements in the reduced netlist for the collective equivalent elements in the source netlist. Metrics or properties associated with equivalent elements of the source netlist are combined and associated, in the reduced netlist, with the abstract elements. The reduced netlist can be analyzed with results equivalent to analyzing the source netlist.

Abstract: A method for analyzing power in a circuit includes identifying equivalent elements in a source netlist representing the circuit. Abstract elements are formed combining the equivalent elements of the source netlist. A reduced netlist is formed, substituting the abstract elements in the reduced netlist for the collective equivalent elements in the source netlist. Metrics or properties associated with equivalent elements of the source netlist are combined and associated, in the reduced netlist, with the abstract elements. The reduced netlist can be analyzed with results equivalent to analyzing the source netlist.

Abstract: Personalized content is generated from different media items using a content index. The content index is generated or updated by identifying segments of media items that are of particular interest to users. User interactions with the media items are analyzed and metadata of segments of media items that are determined to be of particular interest to the users is recorded. The parameters associated with a request for personalized content for a user are matched with the recorded metadata to identify relevant media items or segments of media items which are transmitted to the user as the personalized content.

Abstract: A method includes configuring an integrated circuit comprising one or more registers to provide a free running clock in the integrated circuit, simulating N clock cycles in the circuit to provide performance results for one or more registers in the circuit, wherein N is a selected number of staging levels, selecting one of the one or more registers, comparing the performance results for the selected register to performance results for each of the remaining registers to provide one or more equivalent delay candidate registers, and verifying each of the one or more equivalent delay candidate registers to provide one or more confirmed equivalent delay registers. A corresponding computer program product and computer system are also disclosed.

Abstract: A processor may receive a transistor level integrated circuit (IC) design to be modelled. The processor may determine that the transistor level IC design has a first stage and a second stage. The processor may determine a first cross-current effective capacitance of the first stage and a second cross-current effective capacitance of the second stage. The processor may then determine a cross-current effective capacitance for the transistor level IC design by accumulating the first and second cross-current effective capacitances.