Abstract: A service description may be used in network virtualization in order to specify requirements of an application. In order to provide network virtualization for generic networking components, including legacy networking components, the service description is mapped to a logical network implementation and then subsequently mapped to a physical implementation.

Abstract: The present invention relates to imidazole compounds, and pharmaceutically acceptable compositions thereof, useful as positive allosteric modulators of follicle stimulating hormone receptor (FSHR).

Abstract: The present invention relates to pyrazole compounds, and pharmaceutically acceptable compositions thereof, useful as positive allosteric modulators of follicle stimulating hormone receptor (FSHR).

Abstract: Novel benzamide derivatives of formula (I) wherein W1, W2, R1 to R10 and X have the meaning according to the claims, are positive allosteric modulators of the FSH receptor, and can be employed, inter alia, for the treatment of fertility disorders.

Abstract: Compounds of formula (I) wherein X1, X2, W, R1 to R5, L and m have the meaning according to the claims, are glucosidase inhibitors, and can be employed, inter alia, for the treatment of Alzheimer's disease.

Abstract: Novel benzamide derivatives of formula (I) wherein W1, W2, R1 to R7, R6, X and Y have the meaning according to the claims, are positive allosteric modulators of the FSH receptor, and can be employed, inter alia, for the treatment of fertility disorders.

Abstract: Novel benzamide derivatives of formula (I) wherein W1, W2, R1 to R7, R8, X and Y have the meaning according to the claims, are positive allosteric modulators of the FSH receptor, and can be employed, inter alia, for the treatment of fertility disorders.

Abstract: Compounds of the formula I in which A, L1, L2, X and Y have the meanings indicated in Claim 1, are inhibitors of Syk, and can be employed, inter alia, for the treatment of rheumatoid arthritis.

Abstract: Disclosed encompasses method, system, computer program product for implementing interactive checking of constraints. Various embodiments bridge schematic design environment and layout environment with a binder mapping process and utilize connectivity information from the schematic design to identify constraint violations early in the physical design stage. The method identifies or creates a layout and identifies or generates an object for a modification process. The method may take snapshot(s) of the design database or may use one or more logs for restoring the design database. The method then identifies or creates scratch pad(s) and performs modification process on the object to generate a change. The method uses scratch pad(s) and trigger(s) to perform constraint checking during the modification process to provide interactive feedback in response to the modification process before committing the change to the persistent database.

Abstract: Disclosed is a method and system for visualizing legal locations of edges and dimensions for an object being placed or edited in the layout. During the design process, visual indicators may be provided to the user to indicate the legal locations at which edges of an object may be placed in the layout. Gravitation and/or snapping may be provided automatically identify and/or move the edges to the legal locations. However, the user can control whether and under what circumstances the gravitation and/or snapping will occur. In this way, the designer does not need to manually place the edges of every single object, which is especially helpful for objects that are intended to have an edge at a legal location. Upon a design choice by the designer, the objects can be edited so that an edge does not need to immediately comply with a design rule.

Abstract: A transfer switch including: a bus bar; a track parallel to the bus bar; a first power source connection proximate to the track; a second power source connection proximate to the track offset along the track from the first power source connection; a conductive core slidably coupled to the track, wherein the core includes a deformable array of conductive sections and the array includes contacting surfaces on opposite sides of the array; wherein the conductive core has a first position providing a conductive coupling between the bus bar and the first power source and a second position providing a conductive coupling between the bus bar and the second power source.

Abstract: Computer-implemented method, system and computer program product for double patterning technology (DPT) odd loops visualization within an integrated circuit design layout are disclosed. The method, system and computer program product comprise mapping all violations of the integrated circuit design layout to a graph. The method, system and computer programming product also includes partitioning the graph into a plurality of sub-graphs. Each of the plurality of sub-graphs includes multiple edges and multiple nodes. The method, system and computer product further include detecting all possible odd loops in each of the plurality of sub-graphs; and visualizing all of the odd loops in at least one of the plurality of sub-graphs.

Abstract: The present invention relates to deuterated thiazolidinone analogues as agonists for follicle stimulating hormone receptor and their use for treating fertility disorders.

Abstract: Compounds of the formula I in which A, L1, L2, X and Y have the meanings indicated in Claim 1, are inhibitors of Syk, and can be employed, inter alia, for the treatment of rheumatoid arthritis.

Abstract: Novel compounds of formula (I) wherein R1 to R4 and X have the meaning according to the claims, are glucosidase inhibitors, and can be employed, inter alia, for the treatment of Alzheimer's disease.

Abstract: Novel benzamide derivatives of formula (I) wherein W1, W2, R1 to R10 and X have the meaning according to the claims, are positive allosteric modulators of the FSH receptor, and can be employed, inter alia, for the treatment of fertility disorders.

Abstract: The invention provides novel compounds according to Formula (I), their manufacture and use for the treatment of hyperproliferative diseases, such as cancer, restenosis and inflammation.

Abstract: Novel compounds of formula (I) wherein R1 to R4 and X have the meaning according to the claims, are glucosidase inhibitors, and can be employed, inter alia, for the treatment of Alzheimer's disease.

Abstract: Disclosed herein are representative embodiments of methods and apparatus for managing and allocating hardware resources during RTL synthesis. For example, in one exemplary method disclosed herein, an RTL description of a circuit to be implemented in a target architecture is received. The target architecture of this embodiment comprises a fixed number of hardware resources in a class of hardware resources. One or more operator instances are determined from the RTL description received, where at least some of the operator instances are implementable by the hardware resources in the class of hardware resources. In this embodiment, and prior to initially synthesizing the RTL description into a gate-level netlist, assignment information indicative of how the operator instances are to be implemented using the hardware resources in the class of hardware resources is automatically determined. A graphical user interface is also provided that allows a user to view and modify the assignment information.