Abstract: Set forth herein is a preparation of ibuprofen (2-(4-isobutylphenyl) propionic acid) in the free acid form that is suitable for topical administration. The topical ibuprofen formulation is prepared by dissolving the free acid form of ibuprofen, or preparing a homogeneous suspension of the free acid form of ibuprofen, in the presence of a pharmaceutically acceptable solvent so as to produce a topical drug formulation compatible with the penetration of 2-(4-isobutylphenyl) propionic acid through the skin tissue. Topical formulations of ibuprofen can be based on a pharmaceutically acceptable solvent such as, e.g., a pyrrolidone solvent or dimethylacetamide.

Abstract: A system, method and computer program product to refine an original complex CFG into a simpler CFG showing interesting paths and reducing interfering paths with dynamic input for the state of program. The method receives/encodes dynamic user input in the form of annotations which encodes user's special interests or knowledge of the program at run time, e.g., some assumptions of any variables appeared, which can be equations of variable and value or relationships between variables. The method then simplifies all the branching points in a generated AST (Abstract Syntax Tree) whenever possible by querying a SMT (Satisfiability Modulo Theories) solver with branching condition and the user annotations and by evaluating immediate values of expressions or eliminate unreachable parts in the CFG. Finally, the method generates a simplified CFG by simplified AST. This can assist a programmer to understand the code and facilitates correlating different basic blocks under a same scenario.

Abstract: A reusable casting head device comprises a casting head control mechanism, a casting head mechanism and a temperature control mechanism. A gate of the casting head is sealed by the gate holder to allow that initially heated molten aluminum is rapidly heated in the casting head, thus improving efficiency; the casting head made of beryllium copper is heated and maintained by the high-frequency heating ring, thus providing a high accuracy of temperature measurement and control; and the rotating cylinder, the positioning cylinder and the reverse rotating cylinder are employed for procedure operation to intelligentize the casting operation, thus providing low production cost.

Abstract: Methods and formulations for removing a tattoo by using a cell disrupter in combination with a vasodilator, and optionally one or more of an osmotic modifying agent, a chelation agent, and an occlusive modifying agent. Embodiments optionally further include using one or more of an antibiotic, anesthetic, penetration enhancer, excipient, carrier and vehicle.

Abstract: The present disclosure provides a light state regulation controller, control system and control method. The controller comprises a peak current comparator, a PWM controller, a power switch, a state detector and a state machine. The peak current comparator produces a PWM turn-off signal according to a comparison result between a peak current sampling signal and a reference voltage. The PWM controller outputs a PWM control signal and the reference voltage under the control of the PWM turn-off signal and a state control signal, wherein the state control signal controls the state of the PWM control signal. The state detector detects a state change in the PWM control signal or an equivalent signal for the PWM control signal, and outputs a state input signal. The state machine produces a plurality of states according to the state input signal, and outputs the state control signal reflecting the plurality of states.

Abstract: The present disclosure provides a light state regulation controller, control system and control method. The controller comprises a peak current comparator, a PWM controller, a power switch, a state detector and a state machine. The peak current comparator produces a PWM turn-off signal according to a comparison result between a peak current sampling signal and a reference voltage. The PWM controller outputs a PWM control signal and the reference voltage under the control of the PWM turn-off signal and a state control signal, wherein the state control signal controls the state of the PWM control signal. The state detector detects a state change in the PWM control signal or an equivalent signal for the PWM control signal, and outputs a state input signal. The state machine produces a plurality of states according to the state input signal, and outputs the state control signal reflecting the plurality of states.

Abstract: A method for filtering out nodes associated with hierarchical data structures is provided. The method may include generating node controllers on the hierarchical data structures. The method may include determining whether user actions are received on a first node controller, a second node controller, and a third node controller associated with the generated plurality of node controllers. The method may include filtering node levels associated with hierarchical data structures, and presenting the hierarchical data structures without the filtered out node levels. The method may include filtering out sibling nodes associated with the hierarchical data structures, and presenting the hierarchical data structures without the filtered out sibling nodes. The may further include reverse-collapsing first node levels and filtering out second node levels based on the reverse-collapsed first node levels, and presenting the hierarchical data structures without the filtered out second node levels.

Abstract: A method for filtering out nodes associated with hierarchical data structures is provided. The method may include generating node controllers on the hierarchical data structures. The method may include determining whether user actions are received on a first node controller, a second node controller, and a third node controller associated with the generated plurality of node controllers. The method may include filtering node levels associated with hierarchical data structures, and presenting the hierarchical data structures without the filtered out node levels. The method may include filtering out sibling nodes associated with the hierarchical data structures, and presenting the hierarchical data structures without the filtered out sibling nodes. The may further include reverse-collapsing first node levels and filtering out second node levels based on the reverse-collapsed first node levels, and presenting the hierarchical data structures without the filtered out second node levels.

Abstract: The present invention is directed to novel compounds of Formula I. The compounds of the present invention are potent tyrosine kinase modulators, and are suitable for the treatment and prevention of diseases and conditions related to abnormal activities of tyrosine kinase receptors.

Abstract: The invention provides a topical formulation for treating pain comprising a nonsteroidal anti-inflammatory agent or a Cox-2 inhibitor and a gabapentin family member.

Abstract: A software protection system includes a user terminal and a server. According to an authorization request from the user terminal as to target software, the server generates an encrypted authorization file and an executable file of the target software. When the executable file is to be run at a terminal, a determination is made as to whether the physical information of the terminal and information as to the target software are same as that in the encrypted authorization file. When the information are same, the running of the executable file is permitted. The disclosure further provides a software protection method.

Abstract: A system, method and computer program product to refine an original complex CFG into a simpler CFG showing interesting paths and reducing interfering paths with dynamic input for the state of program. The method receives/encodes dynamic user input in the form of annotations which encodes user's special interests or knowledge of the program at run time, e.g., some assumptions of any variables appeared, which can be equations of variable and value or relationships between variables. The method then simplifies all the branching points in a generated AST (Abstract Syntax Tree) whenever possible by querying a SMT (Satisfiability Modulo Theories) solver with branching condition and the user annotations and by evaluating immediate values of expressions or eliminate unreachable parts in the CFG. Finally, the method generates a simplified CFG by simplified AST. This can assist a programmer to understand the code and facilitates correlating different basic blocks under a same scenario.

Abstract: The present invention is directed to novel compounds of Formula I. The compounds of the present invention are potent tyrosine kinase modulators, and are suitable for the treatment and prevention of diseases and conditions related to abnormal activities of tyrosine kinase receptors.

Abstract: A reusable casting head device comprises a casting head control mechanism, a casting head mechanism and a temperature control mechanism. A gate of the casting head is sealed by the gate holder to allow that initially heated molten aluminum is rapidly heated in the casting head, thus improving efficiency; the casting head made of beryllium copper is heated and maintained by the high-frequency heating ring, thus providing a high accuracy of temperature measurement and control; and the rotating cylinder, the positioning cylinder and the reverse rotating cylinder are employed for procedure operation to intelligentize the casting operation, thus providing low production cost.

Abstract: A method for filtering out nodes associated with hierarchical data structures is provided. The method may include generating node controllers on the hierarchical data structures. The method may include determining whether user actions are received on a first node controller, a second node controller, and a third node controller associated with the generated plurality of node controllers. The method may include filtering node levels associated with hierarchical data structures, and presenting the hierarchical data structures without the filtered out node levels. The method may include filtering out sibling nodes associated with the hierarchical data structures, and presenting the hierarchical data structures without the filtered out sibling nodes. The may further include reverse-collapsing first node levels and filtering out second node levels based on the reverse-collapsed first node levels, and presenting the hierarchical data structures without the filtered out second node levels.

Abstract: A method for filtering out nodes associated with hierarchical data structures is provided. The method may include generating node controllers on the hierarchical data structures. The method may include determining whether user actions are received on a first node controller, a second node controller, and a third node controller associated with the generated plurality of node controllers. The method may include filtering node levels associated with hierarchical data structures, and presenting the hierarchical data structures without the filtered out node levels. The method may include filtering out sibling nodes associated with the hierarchical data structures, and presenting the hierarchical data structures without the filtered out sibling nodes. The may further include reverse-collapsing first node levels and filtering out second node levels based on the reverse-collapsed first node levels, and presenting the hierarchical data structures without the filtered out second node levels.

Abstract: The present invention relates to organic molecules capable of modulating tyrosine kinase signal transduction in order to regulate, modulate and/or inhibit abnormal cell proliferation.

Abstract: The present invention is directed to novel compounds of Formula I. The compounds of the present invention are potent tyrosine kinase modulators, and are suitable for the treatment and prevention of diseases and conditions related to abnormal activities of tyrosine kinase receptors.

Abstract: A method of determining the position of a user in 3D space is disclosed. In one example, the method comprises utilizing range measurements from one or more GPS satellite vehicles, angular information of a camera located at the user position, and a camera image associated with one or more known markers. The method further comprises determining the angular information of the camera by determining a direction cosine matrix between a camera frame of reference and an earth frame of reference, and designating unit vectors that individually extend from a position within the camera image associated with one of the known markers through the camera focal point to the respective known marker The method also includes integrating into an ordinary least squares matrix, the GPS range measurements, the angular information of the camera, and the unit vectors, and calculating the user position by solving the ordinary least squares matrix.

Abstract: The present invention relates to organic molecules capable of modulating tyrosine kinase signal transduction in order to regulate, modulate and/or inhibit abnormal cell proliferation.