Abstract: Disclosed is a system, apparatus, and method for installing a printer application on a printer. A cloud based server system receives a recommendation message from a source printer over a network connection such as, for instance, the Internet. The recommendation message may contain an email address for a destination printer and a printer application name. The cloud server system may verify that the email address in the request message corresponds to a valid destination printer. The cloud server system may then forward the printer application name to the destination printer where it is processed. A download request to the cloud server system may be generated requesting the specific printer application. The cloud server system may push the requested printer application over the network where it is installed on the destination printer.

Abstract: Methods and arrangements for facilitating tangible interactions in voice applications. At least two tangible objects are provided, along with a measurement interface. The at least two tangible objects are disposed to each be displaceable with respect to one another and with respect to the measurement interface. The measurement interface is communicatively connected with a voice application. At least one of the two tangible objects is displaced with respect to the measurement interface, and the displacement of at least one of the at least two tangible objects is converted to input for the voice application.

Abstract: The present invention relates to extended release dosage forms of metoprolol or salts thereof comprising a water insoluble and non-swellable inert core and one or more pharmaceutically acceptable excipients. The invention also relates to processes for the preparation of an inert core and extended release dosage forms.

Abstract: The present invention provides techniques that allow a user to generate an image of a landmark, which can be a famous location, monument, etc., which image includes written comments added by the user. The comments may appear to be on or partially on the landmark. The comments may express sentiment of the user associated with or inspired by the landmark, similar to inscriptions or graffiti, but allowing the user to express such sentiments without altering or defacing the landmark itself. Techniques are also provided in which another user or users can add additional comments to the image, which can then be shared with other users, or selectively shared with certain users or friends. Techniques are also provided in which users can generate or utilize a virtual wall or virtual surface, which may at least partially be visibly in front of the landmark, on which to write comments.

Abstract: Described is a technology by which program analysis uses rich invariant templates that may specify an arbitrary Boolean combination of linear inequalities for program verification. Also described is choosing a cut-set that identifies program locations, each of which is associated with an invariant template. The verification generates second-order constraints, converts second-order logic formula based on those constraints into first-order logic formula, then converts the first-order logic formula into a quantifier-free formula, which is then converted into a Boolean satisfiability formula. Off-the-shelf constraint solvers may then be applied to the Boolean satisfiability formula to generate program analysis results. Various templates may be used to convert the second-order logic formula into the first-order logic formula.

Abstract: According to some embodiments, a method and system provides receiving a list of a plurality of conversations, each of the conversations associated with a common set of characteristics and each of the conversations having associated conversation details; presenting at least a portion of the list of the plurality of conversations in a user interface, each of the conversations included in the presented portion of the list being separately represented; receiving a selection of a plurality of the conversations included in the presented portion of the list; and presenting, simultaneously and grouped together in the user interface, conversation details associated with each of the selected plurality of the conversations, separate and apart from the presented portion of the list.

Abstract: Methods and arrangements for facilitating tangible interactions in voice applications. At least two tangible objects are provided, along with a measurement interface. The at least two tangible objects are disposed to each be displaceable with respect to one another and with respect to the measurement interface. The measurement interface is communicatively connected with a voice application. At least one of the two tangible objects is displaced with respect to the measurement interface, and the displacement of at least one of the at least two tangible objects is converted to input for the voice application.

Abstract: Techniques are disclosed for generating complex invariants in a program using a Satisfiability Modulo Theories (SMT) solver. In one embodiment, the generated invariants may be used to validate assert statements in a program. Additionally or alternatively, a weakest pre-condition invariant may be generated such that parameters passed to the program that satisfy the weakest pre-condition are guaranteed to satisfy the program's assert statements. Additionally or alternatively, a strongest post-condition may be generated, determining what is guaranteed to be true about the state of the program upon completion of the program. In one embodiment, the SMT solver generates invariants by mapping predicates onto unknown variables in a template. The template may comprise unknown variables related by logical structures defined with disjunctions, universal quantifiers, and existential quantifiers. The predicates may comprise equalities and inequalities between program variables.

Abstract: A digital signal voltage level shifter includes an edge detector that detects assertion of a digital input signal from a first logic circuit in a source voltage domain, and an output module triggered by the edge detector for asserting a digital output signal corresponding to the digital input signal for a second logic circuit in a destination voltage domain. The edge detector and the output module are supplied with power only from a power supply of the destination voltage domain and are not connected to a power supply of the source voltage domain.

Abstract: A digital signal voltage level shifter includes an edge detector that detects assertion of a digital input signal from a first logic circuit in a source voltage domain, and an output module triggered by the edge detector for asserting a digital output signal corresponding to the digital input signal for a second logic circuit in a destination voltage domain. The edge detector and the output module are supplied with power only from a power supply of the destination voltage domain and are not connected to a power supply of the source voltage domain.

Abstract: A temperature compensated current reference circuit has a differential amplifier and a first feedback transistor with a gate coupled to the differential amplifier output. The first feedback transistor couples a supply voltage line to an inverting input of the differential amplifier. There is also a second feedback transistor with a gate coupled to the differential amplifier output, which couples the supply voltage line to a non-inverting input of the differential amplifier. A first temperature dependent conductor couples the inverting input to ground. A primary reference resistor and a second temperature dependent conductor are connected in series and couple the non-inverting input to ground. An output current control transistor has a gate and one other electrode coupled together and a third electrode coupled to the supply voltage line. A secondary reference resistor and a conductivity change sensing transistor are connected in series and couple the gate of the output current control transistor to ground.

Abstract: A temperature compensated current reference circuit has a differential amplifier and a first feedback transistor with a gate coupled to the differential amplifier output. The first feedback transistor couples a supply voltage line to an inverting input of the differential amplifier. There is also a second feedback transistor with a gate coupled to the differential amplifier output, which couples the supply voltage line to a non-inverting input of the differential amplifier. A first temperature dependent conductor couples the inverting input to ground. A primary reference resistor and a second temperature dependent conductor are connected in series and couple the non-inverting input to ground. An output current control transistor has a gate and one other electrode coupled together and a third electrode coupled to the supply voltage line. A secondary reference resistor and a conductivity change sensing transistor are connected in series and couple the gate of the output current control transistor to ground.

Abstract: The present invention relates to extended release dosage forms of metoprolol or salts thereof comprising a water insoluble and non-swellable inert core and one or more pharmaceutically acceptable excipients. The invention also relates to processes for the preparation of an inert core and extended release dosage forms.

Abstract: Techniques are disclosed for generating complex invariants in a program using a Satisfiability Modulo Theories (SMT) solver. In one embodiment, the generated invariants may be used to validate assert statements in a program. Additionally or alternatively, a weakest pre-condition invariant may be generated such that parameters passed to the program that satisfy the weakest pre-condition are guaranteed to satisfy the program's assert statements. Additionally or alternatively, a strongest post-condition may be generated, determining what is guaranteed to be true about the state of the program upon completion of the program. In one embodiment, the SMT solver generates invariants by mapping predicates onto unknown variables in a template. The template may comprise unknown variables related by logical structures defined with disjunctions, universal quantifiers, and existential quantifiers. The predicates may comprise equalities and inequalities between program variables.

Abstract: Described is a technology by which program analysis uses rich invariant templates that may specify an arbitrary Boolean combination of linear inequalities for program verification. Also described is choosing a cut-set that identifies program locations, each of which is associated with an invariant template. The verification generates second-order constraints, converts second-order logic formula based on those constraints into first-order logic formula, then converts the first-order logic formula into a quantifier-free formula, which is then converted into a Boolean satisfiability formula. Off-the-shelf constraint solvers may then be applied to the Boolean satisfiability formula to generate program analysis results. Various templates may be used to convert the second-order logic formula into the first-order logic formula.

Abstract: The present invention relates to extended release dosage forms of metoprolol or salts thereof comprising a water insoluble and non-swellable inert core and one or more pharmaceutically acceptable excipients. The invention also relates to processes for the preparation of an inert core and extended release dosage forms.

Abstract: The present invention relates to providing monitoring agents in various elements of a switched digital media network. The monitoring agents may be placed in one or more of the following types of devices: customer premise equipment, access nodes, switching offices, hub offices, head end equipment, and the like. The monitoring agents may be located in any number of the types of devices at the same or different hierarchical levels in the switched digital media network. In different embodiments, the monitoring agents may be employed at different locations and provide various functionality, which may include capturing segments of streaming media, communicating with each other, providing and processing fault alarms, determining the location of fault alarms, or the like.

Abstract: The present invention relates to a system and method for network performance management for monitoring performance of network applications. The system comprises a transmitter for sending one or more types of probe packets to the network, a receiver for receiving the one or more network probe packets from the network and for receiving one or more network application performance queries from one or more network applications, a processor connected to the transmitter and the receiver and operable to process network probe packets received by the receiver to generate network performance statistics for each type of probe packet and to look up the network application performance requirements of the one or more network applications and compare the network application performance requirements with the corresponding network performance statistics to determine whether the network application should access the network.

Abstract: A macro is created for a system that controls multiple electronic devices. Stimuli are supplied to the devices to trigger the desired responses. The responses are recorded. The macro contains a sequence of instructions. Each particular instruction requests the device involved to re-establish its particular state that caused it to provide a particular response.

Abstract: A control system comprises multiple consumer electronics devices and task-driven control means coupled to the devices for controlling an interaction among the devices. The control means acts on respective software representations of each respective one of the consumer devices. By encapsulating the variable complexity of the task within a software representation, it can be made as simple or as sophisticated as needed to bring the capabilities up to a common level. Since the level of interface is common to the devices, applications can uniformly manipulate devices which embody very different levels of sophistication.