Topside piping is the single largest source of the hydrocarbon releases (HCRs) on the offshore oil and gas (OOG) platforms in the North Sea region. Consequently, if the leaked hydrocarbons from the process pipework are ignited, it may lead to a catastrophic event, thereby causing significant economic losses, environmental damage, and posing serious threat to the safety of the onboard personnel....

W3C XML (Extensible Markup Language) Schema defines a set of abstract components, which carry the core semantics of document structure definition. There has been no standard API for accessing these components or their structures yet. The MARKUP Technology Company has specified a Java API for accessing XML Schema and submitted it to the W3C as a possible basis for standard Schema API. An overvie...

API level vulnerabilities of hardware security modules represent a serious threat, thus, discovering and patching security holes in APIs are important. In this paper, we argue and illustrate that the application of formal verification methods is a promising approach for API analysis. In particular, we propose an API verification method based on process algebra. The proposed method seems to be e...

Interconnect Component MEM T2 HDS API Transaction Accurate Architecture T2 T3 Comm OS HAL API HDS API SystemC TLM Interconnect Component (Bus/NoC) CPU-SS1 Abstract CPU1 Periph Interface Memory Abstract CPU2 Periph Interface Memory CPU-SS2 MEM-SS T2 HDS API Comm OS HAL API T3 HAL Virtual Prototype SystemC TLM CPU-SS1 CPU1 ISS Periph Interface Memory CPU2 ISS Periph Interface Memory CPU-SS2 Inter...

PAGE-1 Taj Pharma Group Active Pharmaceuticals Ingredients Fine Chemicals Codeine phosphate hemihydrate manufacturers in India, cas. No. 41444-62-6, Active Pharmaceuticals Ingredients Codeine phosphate hemihydrate, API Manufacturer, Codeine phosphate hemihydrate buy, sell, import, export, manufacturing, export Codeine phosphate hemihydrate, trading, India, Codeine phosphate hemihydrate API Manu...

Background/aim: The pathogenesis of Raynaud's phenomenon (RP) has not yet been fully elucidated. RP is characterized by exaggerated cold-induced vasoconstriction. Urotensin II (UII) is a potent vasoconstrictor. The aim of the present study was to evaluate plasma UII levels in both primary RP and secondary RP associated with systemic sclerosis (SSc).Materials and methods: Fifteen patients with p...

The repeated-pair (RP) approach to surnames in married couples is a measure of population subdivision resulting from the influence of lineagelike behavior in mate choice. An excess of RP over random RP implies limitations in mate choice and a reduction of genetic variability. Here we apply the RP method to data from the rural populations of Csaroda, Tiszaadony, and Tiszavid in northeastern Hung...