Abstract: The present disclosure is directed to an aqueous lubricating composition comprising, based on the weight of the composition: from 1 to 20 wt. % of a) at least one water-soluble inorganic salt, said inorganic salt or salts being in a dissolved state; b) at least one particulate solid lubricant; from 0.1 to 5 wt. % of c) at least one rheological control agent; from 0.1 to 5 wt. % of d) at least one base; and, from 0.1 to 5 wt. % of e) at least one surfactant selected from the group consisting of anionic surfactants, nonionic surfactants, cationic surfactants, amphoteric surfactants and zwitterionic surfactants, wherein said composition is free from boron and boron compounds and is further characterized in that the ratio by weight of b) said at least one solid lubricant to a) said at least one water-soluble inorganic salt [(b):(a)] is from 0.1:1 to 1:1.

Abstract: A method for phosphating metal surfaces in a layer-forming manner using a colloidal aqueous solution as an activation stage containing a dispersed particulate constituent, the particulate constituent containing dispersed inorganic compounds of phosphates of polyvalent metal cations; plus polymeric organic compounds as dispersing agents, which are composed at least partially of styrene and/or an ?-olefin having no more than 5 carbon atoms and are composed at least partially of maleic acid, its anhydride and/or its imide, the polymeric organic compounds additionally comprising polyoxyalkylene units. In the activation stage of the method according to the invention, the addition of condensed phosphates can be dispensed with such that the content of dissolved condensed phosphates in the colloidal aqueous solution is less than 0.25, based on the phosphate content in the particulate constituent thereof, in each case based on the element P.

Abstract: The present invention relates to a method for phosphating metal surfaces in a layer-forming manner using a colloidal aqueous solution as an activation stage, containing a dispersed particulate constituent, the particulate constituent containing, in addition to dispersed inorganic compounds of phosphates of polyvalent metal cations, polymeric organic compounds as dispersing agents which are composed at least partially of styrene and/or an ?-olefin having no more than 5 carbon atoms and are composed at least partially of maleic acid, its anhydride and/or its imide, the polymeric organic compounds additionally comprising polyoxyalkylene units. The cleaning and rinsing stages preceding the activation stage as well as the activation stage itself can be carried out using service water in a resource-saving manner without any loss of activation performance, the colloidal aqueous solution containing at least 0.5 mmol/L of alkaline-earth metal ions dissolved in water.

Abstract: A method and apparatus are disclosed for treating process water which is loaded with gaseous compounds and/or possibly with solids and comes from a wet-cleaning installation for cleaning process gas, e.g., from a melt-reduction subassembly or from a direct-reduction subassembly. Process water is introduced in a tank in a first process stage and degassed on the basis of reduced solubility of the dissolved compounds. The tank has, on its upper side, a gas-collecting chamber, in which the separated-off gases are collected and from which these are discharged. Likewise, the treated process water is discharged from the tank via a drainage means.

Abstract: The present invention relates to aqueous-based primer composition, comprising at least one thermosetting, self-emulsifying epoxy resin composition; at least one thermosetting, non-self-emulsifying resin composition; water; and at least one curative.

Abstract: A method detects active power dissipation in an integrated circuit. The method includes receiving a hardware design for the integrated circuit having one or more clock domains, wherein the hardware design comprises a local clock buffer for a clock domain, wherein the local clock buffer is configured to receive a clock signal and an actuation signal. The method includes adding instrumentation logic to the design for the clock domain, wherein the instrumentation logic is configured to compare a first value of the actuation signal determined at a beginning point of a test period to a second value of the actuation signal determined at a time when the clock domain is in an idle condition. The method includes detecting the clock domain includes unintended active power dissipation, in response to the first value of the actuation signal not being equal to the second value of the actuation signal.

Abstract: The present invention provides peptides for use in a medicament which is administered nasally, wherein the peptide is an agonist of neuropeptide S receptor (NPSR), of the receptor TGR23 and/or of vasopressin receptor-related receptor 1 (VRR1) or for use in the treatment of a patient by causing, promoting or increasing relieve or healing of phobic anxiety, avoidance anxiety, dis-sociative anxiety such as flashbacks, depersonalisation, derealisation, intrusions, vegetative symptoms related to anxiety symptoms, especially in panic attacks, in posttraumatic stress disorder, in generalised anxiety disorder and in anxiety accompanying depressive, or psychotic episodes, arousal, awakening, alertness, activity, spontaneous movement, an anxiolytic effect or a combination thereof in the patient, wherein the peptide is administered nasally or for use in the prophylaxis and/or treatment of an anxiety or sleep dis-order, especially in any type of hypersomnia like idiopathic hypersomnia, wherein the peptide is administered

Abstract: A method for verification of a vector execution unit design. The method includes issuing an instruction into a first instance and a second instance of a vector execution unit. The method includes issuing a random operand into a first lane of the first instance of the vector execution unit and into a second lane of the second instance of the vector execution unit. The method further includes receiving results from execution of the instruction and the random operand in both the first and the second instance of the vector execution unit and comparing the received results.

Abstract: A method for verification of a vector execution unit design. The method includes issuing an instruction into a first instance and a second instance of a vector execution unit. The method includes issuing a random operand into a first lane of the first instance of the vector execution unit and into a second lane of the second instance of the vector execution unit. The method further includes receiving results from execution of the instruction and the random operand in both the first and the second instance of the vector execution unit and comparing the received results.

Abstract: A process for producing pig iron or liquid primary steel products is provided. Charge materials containing iron ore and, if appropriate, additions are reduced in at least one reduction unit by means of a reducing gas, and at least parts thereof are smelted in a smelting unit, with coal being added and with formation of the reducing gas. Reducing gas from the smelting unit and/or top gas from the reduction unit are/is subjected to cleaning. The process water obtained during the wet cleaning is degassed and in the process volatile organic compounds are removed from the process water.

Abstract: The present invention relates to an acidic aqueous particulate composition containing, in addition to iron(III) ions, fluoride ions and at least one water-insoluble, dispersed organic binder, a water-insoluble, dispersed oxide pigment with elevated resistance to agglomeration for the autophoretic deposition of organic-inorganic hybrid layers onto metal surfaces, the composition additionally containing at least one anionic wetting agent which comprises functional groups selected from sulfonates, phosphonates and/or carboxylates. The invention furthermore comprises the use of such a composition for the autodeposition of a film-forming organic-inorganic hybrid coating onto metal surfaces which are at least in part selected from surfaces, the main constituents of which are iron, zinc and/or aluminum.

Abstract: A method is provided for verification of a logic design for a processor execution unit which includes an instruction pipeline with one or more pipeline stages. The method includes: creating a design under test using at least a first and a second instance of the logic design; initializing the instruction pipeline using the first instance of the design under test with the same value in each instruction pipeline stage and the second instance with random values in its pipeline stages; selecting an instruction of the processor execution unit out of a plurality of instructions and simultaneously issuing the instruction to each instance of the design under test; providing a comparison between the outputs of the instruction pipeline executing the instruction for each instance; and if the instruction is verifiable by formal model checking, approving the correctness of the logic design if the comparison result is true.

Abstract: The present invention provides peptides for use in a medicament which is administered nasally, wherein the peptide is an agonist of neuropeptide S receptor (NPSR), of the receptor TGR23 and/or of vasopressin receptor-related receptor 1 (VRR1) or for use in the treatment of a patient by causing, promoting or increasing relieve or healing of phobic anxiety, avoidance anxiety, dissociative anxiety such as flashbacks, depersonalization, derealization, intrusions, vegetative symptoms related to anxiety symptoms, especially in panic attacks, in posttraumatic stress disorder, in generalised anxiety disorder and in anxiety accompanying depressive, or psychotic episodes, arousal, awakening, alertness, activity, spontaneous movement, an anxiolytic effect or a combination thereof in the patient, wherein the peptide is administered nasally or for use in the prophylaxis and/or treatment of an anxiety or sleep disorder, especially in any type of hypersomnia like idiopathic hypersomnia, wherein the peptide is administered n

Abstract: A method is provided for verification of a logic design for a processor execution unit which includes an instruction pipeline with one or more pipeline stages. The method includes: creating a design under test using at least a first and a second instance of the logic design; initializing the instruction pipeline using the first instance of the design under test with the same value in each instruction pipeline stage and the second instance with random values in its pipeline stages; selecting an instruction of the processor execution unit out of a plurality of instructions and simultaneously issuing the instruction to each instance of the design under test; providing a comparison between the outputs of the instruction pipeline executing the instruction for each instance; and if the instruction is verifiable by formal model checking, approving the correctness of the logic design if the comparison result is true.

Abstract: A method for verification of a vector execution unit design. The method includes issuing an instruction into a first instance and a second instance of a vector execution unit. The method includes issuing a random operand into a first lane of the first instance of the vector execution unit and into a second lane of the second instance of the vector execution unit. The method further includes receiving results from execution of the instruction and the random operand in both the first and the second instance of the vector execution unit and comparing the received results.

Abstract: A method for verification of a vector execution unit design. The method includes issuing an instruction into a first instance and a second instance of a vector execution unit. The method includes issuing a random operand into a first lane of the first instance of the vector execution unit and into a second lane of the second instance of the vector execution unit. The method further includes receiving results from execution of the instruction and the random operand in both the first and the second instance of the vector execution unit and comparing the received results.

Abstract: A method detects active power dissipation in an integrated circuit. The method includes receiving a hardware design for the integrated circuit having one or more clock domains, wherein the hardware design comprises a local clock buffer for a clock domain, wherein the local clock buffer is configured to receive a clock signal and an actuation signal. The method includes adding instrumentation logic to the design for the clock domain, wherein the instrumentation logic is configured to compare a first value of the actuation signal determined at a beginning point of a test period to a second value of the actuation signal determined at a time when the clock domain is in an idle condition. The method includes detecting the clock domain includes unintended active power dissipation, in response to the first value of the actuation signal not being equal to the second value of the actuation signal.

Abstract: A method and apparatus are disclosed for treating process water which is loaded with gaseous compounds and/or possibly with solids and comes from a wet-cleaning installation for cleaning process gas, e.g., from a melt-reduction subassembly or from a direct-reduction subassembly. Process water is introduced in a tank in a first process stage and degassed on the basis of reduced solubility of the dissolved compounds. The tank has, on its upper side, a gas-collecting chamber, in which the separated-off gases are collected and from which these are discharged. Likewise, the treated process water is discharged from the tank via a drainage means.

Abstract: The present invention relates to initiators of the general formula {[M(L)a]Xb}n, wherein said initiators preferably have (SbF6?) as a counterion and are obtainable by a complexing reaction of a corresponding metal-SbF6 salt with a corresponding ligand (L). The present invention further relates to preparations and epoxy resin systems that contain such initiators and, in particular, are non-thermally and/or thermally curable.

Abstract: A process for producing pig iron or liquid primary steel products is provided. Charge materials containing iron ore and, if appropriate, additions are reduced in at least one reduction unit by means of a reducing gas, and at least parts thereof are smelted in a smelting unit, with coal being added and with formation of the reducing gas. Reducing gas from the smelting unit and/or top gas from the reduction unit are/is subjected to cleaning. The process water obtained during the wet cleaning is degassed and in the process volatile organic compounds are removed from the process water.