Abstract: A compound of formula wherein V, W, X and Y represent N or CH, at least one of V, W, X and Y being N and at least two of V, W, X and Y being CH; R1, R2 and R3 are each independently of the other hydrogen, C1-C8 alkyl, C1-C8 alkoxy, nitro, cyano, trifluoromethyl, halogen or hydroxy; and the compound provides good lightfastness properties to textile fibre materials, in particular PES fibre materials.

Abstract: A compound of formula wherein V, W, X and Y represent N or CH, at least one of V, W, X and Y being N and at least two of V, W, X and Y being CH; and R1, R2 and R3 are each independently of the other hydrogen, C1-C8alkyl, C1-C8alkoxy, nitro, cyano, trifluoromethyl, halogen or hydroxy; with the proviso that the compounds of formulae are excluded, provides good lightfastness properties to textile fibre materials, in particular PES fibre materials.

Abstract: A compound of formula wherein V, W, X and Y represent N or CH, at least one of V, W, X and Y being N and at least two of V, W, X and Y being CH; and R1, R2 and R3 are each independently of the other hydrogen, C1-C8alkyl, C1-C8alkoxy, nitro, cyano, trifluoromethyl, halogen or hydroxy; with the proviso that the compounds of formulae are excluded, provides good lightfastness properties to textile fibre materials, in particular PES fibre materials.

Abstract: A system and method use reactive initialization to facilitate formal verification of an electronic logic design. The system verifies that a part of the logic design correctly transitions through a sequence of states by automatically assigning an initial state value. The system interacts with a correction-unit to provide meaningful feedback of verification failures, making it possible for the correction-unit to correct the failures or add new constraints that allow the verification to complete. Assigning an initial state simplifies the verification of the validity of the remaining states in the sequence, thus making it more likely to reach a conclusive result and consuming less computing resources.

Abstract: A system and method use reactive initialization to facilitate formal verification of an electronic logic design. The system verifies that a part of the logic design correctly transitions through a sequence of states by automatically assigning an initial state value. The system interacts with a correction-unit to provide meaningful feedback of verification failures, making it possible for the correction-unit to correct the failures or add new constraints that allow the verification to complete. Assigning an initial state simplifies the verification of the validity of the remaining states in the sequence, thus making it more likely to reach a conclusive result and consuming less computing resources.

Abstract: An adjuvant composition comprising (A) a C1-C2carboxylic acid ester of a polyhydroxy compound containing from 2 to 20 hydroxyl groups and (B) an N-heterocyclic compound having a pKa, value of from 6 to 8 is storage-stable and suitable as an acid donor in the dyeing of polyamides.

Abstract: The invention relates to a method of improving the thermal stability of natural or synthetic polyamide fibre materials that are undyed, fluorescent whitened or dyed with reactive or disperse dyes, with the exception of metal complex dyes, wherein the fibre material is treated with a liquor comprising a compound of formula (1) Y1—X—Y2 (1) wherein X is a divalent aliphatic or cycloaliphatic radical and Y1 and Y2 are each independently of the other —OH, —CO—OR1, —NR1R2, —CO—NH—NR1R2 or —NH—CO—NH—NR1R2, wherein R1 and R2 are each independently of the other hydrogen; Q-C?alkyl unsubstituted or substituted by one or more hydroxy, amino or carboxyl groups or halogen atoms; C5-C24-aryl unsubstituted or substituted by one or more hydroxy, amino or carboxyl groups or halogen atoms; C6-C36aralkyl unsubstituted or substituted by one or more hydroxy, amino or carboxyl groups or halogen atoms; or C5-C24cycloalkyl unsubstituted or substituted by one or more hydroxy, amino or carboxyl groups or halogen atoms.

Abstract: An adjuvant composition comprising (A) a C1-C2carboxylic acid ester of a polyhydroxy compound containing from 2 to 20 hydroxyl groups and (B) an N-heterocyclic compound having a pKa, value of from 6 to 8 is storage-stable and suitable as an acid donor in the dyeing of polyamides.