Abstract: Methods and systems for using voice input in display advertisements are disclosed. A default display advertisement is selected based at least in part on targeting criteria. The default advertisement is transmitted to a user device and displayed in a browser application on the user device. A command based on voice input provided by a user for interacting with the default display advertisement is received from the browser application. One or more keywords are extracted from the command, and at least one advertisement for a product is selected based at least in part on the extracted keyword(s). The advertisement is transmitted to the user device, and the default advertisement is modified to display the advertisement.

Abstract: A computer-implemented interactive advertisement display on a page includes a display area and a rotation control input module. The display area displays an advertisement from a set of advertisements. The rotation control input module is configured to receive a rotation control input controlling which advertisement from the set of advertisements is displayed in the display area.

Abstract: The present invention provides techniques that include providing a unified metric for use in advertising campaign performance measurement and evaluation. An advertising campaign may include many aspects, such as portions associated with particular channels and service-providers. Different metrics may be used in measuring performance for particular channels, such as impressions, conversions, etc. Techniques are provided that translate performance of an overall campaign, as well as performance of particular aspects, into terms using a single unified metric measure. Unified metric measures can be used to easily compare campaigns and channels, whether of the same advertiser or against competitors campaigns.

Abstract: A computer is programmed to automatically generate in memory, goals for functional verification of a design of a circuit by use of constraints that are specified in the normal manner. Specifically, a predetermined set of rules are automatically applied to the constraints, on random values for signals to be input to the circuit during simulation of the design. Application of the rules identifies one or more templates of goal(s) to be met. The computer is programmed to automatically use constraint(s) and template(s) to instantiate goal(s) in memory. Each goal identifies a signal to be input to the circuit, and defines a counter for a value of the signal. The goals are used in the normal manner, i.e. used to measure coverage of functional verification during simulation of the design of the circuit.

Abstract: A computer increases coverage in simulation of a design of a circuit by processing goals for coverage differently depending on whether or not the goals are on input signals of the circuit. Specifically, goals on input signals are used to automatically formulate constraints (“directly-derived constraints”) on values of input signals in test vectors. Goals on non-input signals (e.g. internal/output signals) are used with correlations to automatically formulate more additional constraints (“correlation-derived constraints”), by use of goals on non-input signals. The correlations indicate which non-input signals are associated with which input signals. The correlations are received from, for example, a human designer of the circuit. Depending on the embodiment, one or more of the automatically derived constraints are used with human-supplied constraints, to generate test vectors e.g. using a constraints solver, such as a satisfiability (SAT) engine.

Abstract: A computer increases coverage in simulation of a design of a circuit by processing goals for coverage differently depending on whether or not the goals are on input signals of the circuit. Specifically, goals on input signals are used to automatically formulate constraints (“directly-derived constraints”) on values of input signals in test vectors. Goals on non-input signals (e.g. internal/output signals) are used with correlations to automatically formulate more additional constraints (“correlation-derived constraints”), by use of goals on non-input signals. The correlations indicate which non-input signals are associated with which input signals. The correlations are received from, for example, a human designer of the circuit. Depending on the embodiment, one or more of the automatically derived constraints are used with human-supplied constraints, to generate test vectors e.g. using a constraints solver, such as a satisfiability (SAT) engine.

Abstract: A computer is programmed to automatically generate in memory, goals for functional verification of a design of a circuit by use of constraints that are specified in the normal manner. Specifically, a predetermined set of rules are automatically applied to the constraints, on random values for signals to be input to the circuit during simulation of the design. Application of the rules identifies one or more templates of goal(s) to be met. The computer is programmed to automatically use constraint(s) and template(s) to instantiate goal(s) in memory. Each goal identifies a signal to be input to the circuit, and defines a counter for a value of the signal. The goals are used in the normal manner, i.e. used to measure coverage of functional verification during simulation of the design of the circuit.

Abstract: An electrochemical reformer 1 using reactant feed structures having both hydrophilic and hydrophobic regions to provide mechanisms for the wicking of liquid reactants into reformer 1 and for the separation and removal of gaseous products from reformer 1. The electrical reformer 1 may be combined with a fuel cell, a portion of the output of which is used to power reformer 1, to create a compact, portable power source.

Abstract: An electrochemical reformer 1 using reactant feed structures having both hydrophilic and hydrophobic regions to provide mechanisms for the wicking of liquid reactants into reformer 1 and for the separation and removal of gaseous products from reformer 1. The electrical reformer 1 may be combined with a fuel cell, a portion of the output of which is used to power reformer 1, to create a compact, portable power source.