Abstract: The invention relates to polyphenyl polymethylene polyisocyanates having an NCO number of at least 29% comprising less than 2% by weight ureas, less than 8% by weight carbodiimides or uretonimines and less than 1000 ppm organic chlorine compounds. The polyphenyl polymethylene polyisocyanates can be prepared according to the invention by reacting (i) polyphenyl polymethylene polyamines with organic carbonates to give the corresponding polyphenyl polymethylene polycarbamates, (ii) by thermally cleaving the polyphenyl polymethylene polycarbamates to give the polyphenyl polymethylene polyisocyanates, wherein, prior to the thermal cleavage, the free amino groups or urea groups present in the carhamate crude mixture comprising the polyphenyl polymethylene polycarbamates are reacted with a derivatizing reagent to give amide groups or urethane groups.

Abstract: A method for predicting and managing an occurrence of a power outage resulting from human activity, the method comprising the steps of: obtaining at least one short-term notification of a planned human activity event; generating a corrected human activity notification as a function of the short-term notification and data corresponding to power grid information, geographical information relating to the power grid and customers utilizing the power grid, power grid customer information, and/or historical information corresponding to prior power outages resulting from human activity events; generating an outage probability as a function of the corrected human activity notification and trained predictive modeling data; generating an optimization model as a function of the outage probability; and initiating at least one action for mitigating the occurrence of the power outage resulting from human activity as a function of the optimization model.

Abstract: The invention relates to polyphenyl polymethylene polyisocyanates having an NCO number of at least 29% comprising less than 2% by weight ureas, less than 8% by weight carbodiimides or uretonimines and less than 1000 ppm organic chlorine compounds. The polyphenyl polymethylene polyisocyanates can be prepared according to the invention by reacting (i) polyphenyl polymethylene polyamines with organic carbonates to give the corresponding polyphenyl polymethylene polycarbamates, (ii) by thermally cleaving the polyphenyl polymethylene polycarbamates to give the polyphenyl polymethylene polyisocyanates, wherein, prior to the thermal cleavage, the free amino groups or urea groups present in the carhamate crude mixture comprising the polyphenyl polymethylene polycarbamates are reacted with a derivatizing reagent to give amide groups or urethane groups.

Abstract: A method for predicting and managing an occurrence of a power outage resulting from human activity, the method comprising the steps of: obtaining at least one short-term notification of a planned human activity event; generating a corrected human activity notification as a function of the short-term notification and data corresponding to power grid information, geographical information relating to the power grid and customers utilizing the power grid, power grid customer information, and/or historical information corresponding to prior power outages resulting from human activity events; generating an outage probability as a function of the corrected human activity notification and trained predictive modeling data; generating an optimization model as a function of the outage probability; and initiating at least one action for mitigating the occurrence of the power outage resulting from human activity as a function of the optimization model.

Abstract: A flame retardant comprising a) at least one sulfur compound of the formula (I) A1-(Z1)m—(S)n—(Z2)p-A2??(I) where the definitions of the symbols and indices are as follows: A1 and A2 are identical or different, being C6-C12-aryl, cyclohexyl, Si(ORa)3, a saturated, partially unsaturated, or aromatic, mono- or bicyclic ring having from 3 to 12 ring members and comprising one or more heteroatoms from the group of N, O, and S, where the system is unsubstituted or has substitution by one or more substituents of the group of O, OH, S, SH, COORb, CONRcRd, C1-C18-alkyl, C1-C18-alkoxy, C1-C18-thioalkyl, C6-C12-aryl, C6-C12-aryloxy, C2-C18-alkenyl, C2-C18-alkenoxy, C2-C18-alkynyl, and C2-C18-alkinoxy; Z1 and Z2 are identical or different, being —CO— or —CS—; Ra is C1-C18-alkyl; Rb, Rc, and Rd are identical or different, being H, C1-C18-alkyl, C6-C12-aryl, or an aromatic, mono- or bicyclic ring having from 3 to 12 ring members and comprising one or more heteroatoms from the group of N, O, and S; m and p are identic

Abstract: The invention relates to a method for the non-therapeutic treatment of poultry for the purpose of reducing the conversion rate of the feed used to raise the poultry. The treatment includes orally administering at least one glycine compound to the poultry, which glycine compound corresponds to the following formula (I) or to a salt thereof: wherein R1 and R2 are independently an alkyl, an alkenyl or a hydroxyalkyl radical containing 1 to 18, preferably 1 to 6 carbon atoms or wherein R1 and R2 form jointly together with the N atom a heterocyclic 5- or 6-membered ring. The glycine compound is preferably N,N-dimethylglycine (DMG). The invention also relates to the therapeutic and second medical use of that glycine compound to reduce the incidence of ascites, and to a feed for poultry containing an amount of that glycine compound.

Abstract: Leveraging existing Binary Decision Diagrams (BDDs) to enhance circuit reductions in a system model representing a state machine as a netlist. The netlist is evaluated to determine the regions with the greatest potential reductions. BDD sweeping is performed to identify redundancies in the netlist. BDD rewriting implements the circuit reductions by replacing gates of the original netlist with more efficient equivalent logic.

Abstract: The invention relates to elastic expanded polymer foams and also a process for producing expanded polymer foams by sintering a mixture comprising foam particles P1 and P2 composed of different thermoplastic polymers or polymer blends, wherein the foam particles P1 are obtained by prefoaming expandable, thermoplastic polymer particles comprising A) from 45 to 97.9 percent by weight of a styrene polymer, B1) from 1 to 45 percent by weight of a polyolefin having a melting point in the range from 105 to 140° C., B2) from 0 to 25 percent by weight of a polyolefin having a melting point below 105° C., C1) from 0.1 to 25 percent by weight of a styrene-butadiene or styrene-isoprene block copolymer, C2) from 0.0 to 10 percent by weight of a styrene-ethylene-butylene block copolymer, D) from 1 to 15 percent by weight of a blowing agent, E) from 0 to 5 percent by weight of a nucleating agent, where the sum of A) to E) is 100% by weight.

Abstract: Expandable, thermoplastic polymer bead material composed of a multiphase polymer mixture which comprises blowing agent and has at least one continuous phase of a thermoplastic polymer, where at least two different disperse phases P1 and P2 are present, disperse in the continuous phase, and also to processes for its production, and to use for the production of elastic molded foams.

Abstract: Disclosed is a polymer foam with density in the range from 5 to 120 kg/m3 composed of a polymer component including at least one styrene polymer and from 0.1 to 5 parts by weight of a flame retardant mixture including at least one phosphorus compound of the formula PR1R2R3. A process for producing the polymer is also disclosed.

Abstract: In one exemplary embodiment of the invention, a method includes: receiving a first description for a circuit whose operation over a plurality of inputs is to be verified; receiving a second description for expected behavior of the circuit, where the expected behavior in the second description is expressed as a set of algebraic systems of multivariable polynomials over at least one Galois field; applying at least one computational algebraic geometry technique to a combination of the first description and the second description to determine whether the circuit is verified, where verification of the circuit confirms that at least one output obtained based on the first description corresponds to at least one expected value based on the expected behavior expressed in the second description; and outputting an indication as to whether the circuit is verified.

Abstract: In one exemplary embodiment of the invention, a method includes: receiving a first description for a circuit whose operation over a plurality of inputs is to be verified; receiving a second description for expected behavior of the circuit, where the expected behavior in the second description is expressed as a set of algebraic systems of multivariable polynomials over at least one Galois field; applying at least one computational algebraic geometry technique to a combination of the first description and the second description to determine whether the circuit is verified, where verification of the circuit confirms that at least one output obtained based on the first description corresponds to at least one expected value based on the expected behavior expressed in the second description; and outputting an indication as to whether the circuit is verified.

Abstract: Methods and systems are provided for reducing an original circuit design into a simplified circuit design by merging gates that may not be equivalent but can be demonstrated to preserve target assertability with respect to the original circuitry design. A composite netlist is created from the simplified netlist and the original netlist. The composite netlist includes a number of targets that imply the existence of a target in the simplified netlist and a corresponding target in the original netlist. The implications are verified and then validated to ensure the simplified circuit design is a suitable replacement for the original circuit design.

Abstract: The invention relates to a polymer composition containing i) styrene polymer(s) and ii) phosphorylated polyether(s) with from 0.5 to 40% by weight phosphorus content, the main chain of which is formed exclusively from carbon atoms and from oxygen atoms, and which has at least three terminal and/or pendant OH groups, where these have been substituted with where ˜ indicates the bond to the polymer skeleton of the polyether; Y is O or S; t is 0 or 1; R1 and R2, being identical or different, are H, C1-C18-alkyl, C2-C18-alkenyl, C2-C18-alkynyl, C3-C10-cycloalkyl, C6-C10-aryl, furyl, C6-C10-aryl-C1-C10-alkyl, OR3, SR3, NR3R4, COR3, COOR3 or CONR3R4, or R1 and R2 form, together with the phosphorus atom P, a 4-8-membered ring system; R3 and R4, being identical or different, are H, C1-C16-alkyl, C2-C16-alkenyl, C3C16-alkynyl, C3-C10-cycloalkyl, C6-C10-aryl or C6-C10-aryl-C1-C10-alkyl, and/or polycarbonates containing phosphorus-containing group(s) of the general formula (I).

Abstract: Flame-retardant polymer foams which comprise, as flame retardant, at least one halogenated polymer, for example brominated polystyrene or styrene-butadiene block copolymer having bromine content in the range from 40 to 80% by weight, or tetrabromobisphenol A compounds (TBBPA), processes for producing these, and also flame-retardant expandable styrene polymers.

Abstract: Halogen-free, flame-retardant polymer foams which comprise, as flame retardant, at least one cyclic or acyclic oligophosphorus compound, and processes for their production. Examples of suitable oligophosphorus compounds are those having the structure Ia, Ib, or Ic: Another group of suitable oligophosphorus compounds is that having one of the following structures IIa, IIb, or IIc: Cyclic oligophosphorus compounds of the following structure III are also suitable: The radicals R1-R5 have been selected independently of one another from the group of C1-C16-alkyl, C1-C16-alkenyl, C1-C16-alkoxy, C1-C16-alkenyloxy, C3-C10-cycloalkyl, C3-C10-cycloalkoxy, C6-C10-aryl, C6-C10-aryloxy, C6-C10-aryl-C1-C16-alkyl, C6-C10-aryl-C1-C16-alkoxy, NR2R3, COR2, COOR2, and CONR2R3 , and the radicals X1 and X2, independently of one another, are O or S.

Abstract: The invention relates to a flame retardant comprising a) at least one sulfur compound of the formula (I) b) at least one halogen-free organophosphorus compound with phosphorus content in the range from 0.5 to 40% by weight, based on the phosphorus compound.

Abstract: A thermoplastic extruded foam sheet having a thickness in the range from 15 mm to 200 mm and cells having an average cell size in the range from 20 to 2000 ?m, wherein the cell membranes have a fibrous structure with fiber diameters below 1500 nm is useful for example as insulating material, especially in the building construction industry.

Abstract: A method, system and computer program product for integrating implication-based analysis and equivalent gate analysis to maintain transitive reduction in an implication graph over a sequence of graph operations. One or more gates of a design are identified that are equivalent in all reachable states. Equivalent gates are assigned to an equivalence class when all gates within the equivalence class are equal. During the implication-based analysis the system determines when one or more implication paths are associated with the one or more equivalence classes, and an implication is generated at the implication path associated with the equivalence classes. A transitively reduced graph is received depicting the implications and equivalence classes of the design. When one or more operations are assigned to the transitively reduced graph, the graph is automatically adjusted to maintain transitive reduction.

Abstract: A method, system and computer program product for X-Saturated ternary simulation based reduction. An X-Saturated ternary simulation (XSTS) utility, which executes on a computer system, receives design information, where the design information includes a netlist. The XSTS utility initializes one or more data structures and/or variables and simulates, in a ternary fashion, the netlist at a time value by applying logical X values to all RANDOM gates of the netlist and to registers marked X_SATURATED. For each register of the netlist XSTS utility: determines whether or not the register departs from its expected prefix behavior, and if the register departs from its expected prefix behavior, the register is marked as X_SATURATED and the current state is updated with an X value upon the register. XSTS utility can store the current state in a data structure and can use the information from the data structure to simplify the design.