Abstract:
Disclosed are catalyst compositions for isoprene polymerization formed from components comprising (A) at least one titanium halide; (B) at least one organic aluminum compound comprising at least one alkyl aluminum of formula AlR3, wherein each of the three Rs is independently chosen from linear and branched C1-6 alkyl groups; and (C) at least one electron donor comprising at least one polyether compound of formula (I) and/or at least one tetrahydro-furfuryl ether compound of formula (II). Also disclosed are processes for preparation of the catalyst compositions and processes using the catalyst compositions for isoprene polymerization.
Abstract:
Systems and methods are disclosed to check properties of bounded concurrent programs by encoding concurrent control flow graph (CFG) and property for programming threads as a first-order formula F1; initializing an interference abstraction (IA); encoding the IA as a first-order formula F2; checking a conjunction of F1 and F2 (F1^F2); if the conjunction is satisfiable, checking if an interference relation (IR) is spurious, and iteratively refining the IA; and if the conjunction is unsatisfiable, checking if an interference relation (IR) is spurious, and iteratively refining the IA.
Abstract:
A general pressure sensor for an automobile comprising a sensor shell, a silicon piezoresistive sensitive core, a sensor core seat, a signal conditioning circuit, and an automobile electric device interface is disclosed. The silicon piezoresistive sensitive core, the sensor core seat and the signal conditioning circuit are disposed in the inner cavity of the sensor housing. The sensor housing is installed to the automobile electric device interface, and the silicon piezoresistive sensitive core comprises a silicon piezoresistive sensitive element and a glass ring sheet. The silicon piezoresistive sensitive element is welded and fixed to a surface of the glass ring sheet. An insulation oxidation layer is formed on one surface of the glass ring sheet and the silicon piezoresistive sensitive element. The other surface of the glass ring sheet is hermetically fixed to the ring-shape recession surface provided on the sensor core seat. The sensor core seat is hermetically and rotationally fixed to a pressure inlet on the sensor housing, after the inner lead wire on the silicon piezoresistive sensitive core is led to an interposing board provided on one end of the central hole through the other end of the central hole on the ring-shape recession surface of the sensor core seat, and then is led out by the automobile electric device interface via the signal conditioning circuit.
Abstract:
A multimetallic nanoscale catalyst having a sore portion enveloped by a shell portion and exhibiting high catalytic activity and improved catalytic durability. In various embodiments, the core/shell nanoparticles comprise a gold particle coated with a catalytically active platinum bimetallic material. The shape of the nanoparticles is substantially defined by the particle shape of the core portion. The nanoparticles may be dispersed on a high surface area substrate for use as a catalyst and is characterized by no significant loss in surface area and specific activity following extended potential cycling.
Abstract:
A capacity and density enhancement circuit for a sub-threshold memory unit array which can decrease the drain current in the bit lines and enhance the pull-up capability of memory cells. The capacity and density enhancement circuit is composed of a first enhancement transistor, a second enhancement transistor, a first mask transmission gate, a second mask transmission gate, a first logic memory capacitor and a second logic memory capacitor.
Abstract:
A general pressure sensor for an automobile comprising a sensor shell, a silicon piezoresistive sensitive core, a sensor core seat, a signal conditioning circuit, and an automobile electric device interface is disclosed. The silicon piezoresistive sensitive core, the sensor core seat and the signal conditioning circuit are disposed in the inner cavity of the sensor housing. The sensor housing is installed to the automobile electric device interface, and the silicon piezoresistive sensitive core comprises a silicon piezoresistive sensitive element and a glass ring sheet. The silicon piezoresistive sensitive element is welded and fixed to a surface of the glass ring sheet. An insulation oxidation layer is formed on one surface of the glass ring sheet and the silicon piezoresistive sensitive element. The other surface of the glass ring sheet is hermetically fixed to the ring-shape recession surface provided on the sensor core seat. The sensor core seat is hermetically and rotationally fixed to a pressure inlet on the sensor housing, after the inner lead wire on the silicon piezoresistive sensitive core is led to an interposing board provided on one end of the central hole through the other end of the central hole on the ring-shape recession surface of the sensor core seat, and then is led out by the automobile electric device interface via the signal conditioning circuit.
Abstract:
A system and method are disclosed for removing locks from a concurrent program. A set of behaviors associated with a concurrent program are modeled as causality constraints. The causality constraints which preserve the behaviors of the concurrent program are identified. Having identified the behavior preserving causality constraints, the corresponding lock and unlock statements in the concurrent program are identified which enforce the identified causality constraints. All identified lock and unlock statements are retained, while all other lock and unlock statements are discarded.
Abstract:
Collaborative search and share is provided by a method of facilitating collaborative content-finding, which includes displaying a toolbar user interface object for each user that not only allows each user to perform content-finding but also increases awareness of each user to the activities of other users. The method further includes displaying content results as various disparate image clips that can easily be shared, moved, etc. amongst users.
Abstract:
Provided herein are methods and systems for designing a radiation treatment for a subject using single arc dose painting. The methods and systems comprise an algorithm or a computer-readable product having the same, to plan the radiation treatment. The algorithm converts pairs of multiple leaf collimation (MLC) leaves to sets of leaf aperture sequences that form a shortest path single arc thereof where the pairs of MLC leaves each aligned to an intensity profile of densely-spaced radiation beams, and connects each single arc of leaf apertures to form a final treatment single arc. Also provided is a method for irradiating a tumor in a subject using single arc dose painting.
Abstract:
A method of pairing users for an uplink multi-user multiple-input-multiple-output (MU-MIMO) system under coordinated multipoint transmission (CoMP) scenario in a communication system, which includes: selecting, by a first cell of the communication system, at least one initial user served by the cell as a first paired user; selecting, by the first cell, a candidate paired user according to the service type of the first paired user; and determining, from the different service types of the first paired user and the candidate paired user, a pairing type to be formed, and determining whether the candidate paired user and the first paired user can be paired into the pairing type to be formed by using a predetermined determination criterion according to the pairing type. It is further provided a device for performing the method. The throughput and communication efficiency of the communication system can be improved with the method and device for pairing users.