摘要:
The present invention provides a method for determining whether a Boolean function is equivalent to a Boolean constant 1 within a given subset of the input space. The given subset is divided into a plurality of smaller subsets regardless how the smaller subsets are chosen. If any of the smaller subsets is not a cube, this smaller subset is divided further. If one of the smaller subsets is a cube, the Boolean function is simplified with constant substitution within the cube. If the simplification result is not a constant, the cube is divided further. If the simplification result is constant 0, a negative conclusion is reached. The conclusion is positive if none of the simplification result is Boolean constant 0. Many of the subset division steps and many of the Boolean function simplification steps can be performed independently of one another, and therefore these independent operations can be performed separately at different times or on different computers. The given subset can expand or shrink dynamically if updates of the given subset are considered in the steps. These dynamic updates make it possible to dynamically adjust the divided subsets.
摘要:
The present invention provides novel pyrrolo-pyridine kinase modulators and methods of using the novel pyrrolo-pyridine kinase modulators to treat diseases mediated by kinase activity.
摘要:
A method and apparatus for providing personalized information content over telephones is described. The creation of a voice portal is supported by the invention. Embodiments of the invention use telephone identifying information such as the calling party's number to identify, or create, user profiles for customization. The personalized content is specific to that user based on her/his telephone identifying information and may be further customized based on the current time, current date, the calling party's locales, and/or the calling party's dialect and speech patterns. Also, the telephone identifying information may support targeted advertising, content, and purchasing recommendations specific to that user. The system may use a voice password and/or touch-tone login system when appropriate to distinguish the caller or verify the caller's identity for specific activities. Typically, embodiments of the invention will immediately present a caller personalized content based on her/his profile using the appropriate dialect as well as the caller's preferred content. Profiles can be constructed as the caller uses embodiments of the invention as well as through explicit designation of preferences. For example, as the user selects topics, as well as particular content, a record of actions can be maintained. This record of actions can be used to provide suggestions and direct the personalization of the system for the user.
摘要:
This invention relates to compounds which are generally alpha1B-receptor antagonists, and which are represented by Formula (I): wherein X, Y, and R1 are as defined in the specification, or individual isomers or racemic or non-racemic mixtures of isomers, or pharmaceutically acceptable salts or solvates thereof. The invention further relates to pharmaceutical compositions containing such compounds, and methods for their use as therapeutic agents.