نتایج جستجو برای: gdx vcc
تعداد نتایج: 598 فیلتر نتایج به سال:
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide simple, sufficient conditions for checking those global invariants modularly. The method has been implemented in VCC, an automatic, sound, modular verifier for concurrent C programs. VCC has been used to verify functiona...
BACKGROUND The pathogenicity of the Vibrio cholerae strains belonging to serogroup O1 and O139 is due to the production of virulence factors such as cholera toxin (CT) and the toxin-coregulated pilus (TCP). The remaining serogroups, which mostly lack CT and TCP, are more frequently isolated from aquatic environmental sources than from clinical samples; nevertheless, these strains have been repo...
HIV-1 assembly and release occur at the plasma membrane in T lymphocytes, while intracellular sites of virus assembly or accumulation are apparent in macrophages. The host protein tetherin (BST-2) inhibits HIV release from the plasma membrane by retaining viral particles at the cell surface, but the role of tetherin at intracellular HIV assembly sites is unclear. We determined that tetherin is ...
The effective synthesis of two-dimensional transition metal dichalcogenides alloy is essential for successful application in electronic and optical devices based on a tunable band gap. Here we show a synthesis process for Mo1-xWxS2 alloy using sulfurization of super-cycle atomic layer deposition Mo1-xWxOy. Various spectroscopic and microscopic results indicate that the synthesized Mo1-xWxS2 all...
Vehicular networking has become a significant research area due to its specific features and applications such as standardization, efficient traffic management, road safety and infotainment. Vehicles are expected to carry relatively more communication systems, on board computing facilities, storage and increased sensing power. Hence, several technologies have been deployed to maintain and promo...
We have identified an ethylnitrosourea (ENU)-induced recessive mouse mutation (Vcc) with a pleiotropic phenotype that includes cardiac, tracheoesophageal, anorectal, anteroposterior patterning defects, exomphalos, hindlimb hypoplasia, a presacral mass, renal and palatal agenesis, and pulmonary hypoplasia. It results from a C470R mutation in the proprotein convertase PCSK5 (PC5/6). Compound muta...
Glaucoma is a chronic, progressive neurodegenerative disease. It is defined as chronic progressive optic neuropathy with typical optic disk and retinal nerve fiber layer (RNFL) changes with corresponding visual field defect. Intraocular pressure (IOP) is considered only a major risk factor and not a diagnostic criterion. At present, clinically visible RNFL defects are considered as the sensitiv...
PURPOSE To evaluate the use of scanning laser polarimetry (SLP, GDx VCC) to measure the retinal nerve fiber layer (RNFL) thickness in order to evaluate the progression of glaucoma. METHODS Test-retest measurement variability was determined in 47 glaucomatous eyes. One eye each from 152 glaucomatous patients with at least 4 years of follow-up was enrolled. Visual field (VF) loss progression wa...
This paper examines three subtypes of the verb copying construction in Chinese. We begin by looking at Cheng’s (2007) analysis of the resultative verb copying construction, according to which both standard movement and sideward movement are required to account for the verb copying construction (VCC). Cheng suggests that the same analysis can be applied to verb copying with nonresultative phrase...
Subramanian defined the complexity class CC as the set of problems log-space reducible to the comparator circuit value problem. He proved that several other problems are complete for CC, including the stable marriage problem, and finding the lexicographical first maximal matching in a bipartite graph. We suggest alternative definitions of CC based on different reducibilities and introduce a two...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید