PURPOSE To investigate the impact of diabetic retinopathy on quantitative retinal nerve fiber layer (RNFL) assessment and diagnostic power for glaucoma by scanning laser polarimetry (GDx-VCC) and optical coherence tomography (StratusOCT). METHODS The individual RNFL parameters of GDx and OCT were obtained for 170 eyes (one eye from each of 170 subjects [45 healthy, 47 glaucoma, 40 diabetes, a...

Vibrio cholerae is an aquatic gram-negative microbe responsible for cholera, a pandemic disease causing life-threatening diarrheal outbreaks in populations with limited access to health care. Like most pathogenic bacteria, V. cholerae secretes virulence factors to assist colonization of human hosts, several of which bind carbohydrate receptors found on cell-surfaces. Understanding how pathogeni...

PURPOSE To determine the correlations and strength of association between different imaging systems in analyzing the retinal nerve fiber layer (RNFL) of glaucoma patients: optical coherence tomography (OCT), scanning laser polarimetry (SLP) and confocal scanning laser ophthalmoscopy (CSLO). MATERIALS AND METHODOLOGY 114 eyes of patients with moderate open angle glaucoma underwent spectral dom...

The Patient Protection and Affordable Care Act seeks to improve health equity in the United States by expanding Medicaid coverage for adults who are uninsured and/or socioeconomically disadvantaged; however, when millions more become eligible for Medicaid in 2014, the health care workforce and care delivery systems will be inadequate to meet the care needs of the U.S. population. To provide hig...

In [1] the almost complete formal verification of a small hypervisor with the automated C code verifier VCC [2] was reported: the correctness of the C portions of the hypervisor and of the guest simulation was established; the verification of the assembler portions of the code was left as future work. Suitable methodology for the verification of Macro Assembler programs in VCC was given without...

Methods: Complete examination, SAP, shortwavelength automated perimetry (SWAP), frequency doubling technology (FDT), scanning laser polarimetry (GDx-VCC), and optical coherence tomography (OCT) of the peripapillary retinal nerve fiber layer (RNFL), optic disc, and macula were performed. Glaucomatous optic neuropathy was defined as cup-disc asymmetry between fellow eyes of greater than 0.2, rim ...

This tutorial provides basic information about developing specifications and annotations for concurrent C programs, so that they can be verified with VCC. [TODO: add more]

Currently, a majority of global residential air-conditioning requirements are met using cooling systems based on the vapor compression cycle (VCC). To meet future demand for space and to reduce corresponding environmental impact, there is need alternative which require less resources exhibit higher coefficient performance (COP). One proposed alternatives called hybrid evaporative-vapor (HEVC) c...

HIV type 1 (HIV-1) infects CD4(+) T lymphocytes and tissue macrophages. Infected macrophages differ from T cells in terms of decreased to absent cytopathicity and for active accumulation of new progeny HIV-1 virions in virus-containing compartments (VCC). For these reasons, infected macrophages are believed to act as "Trojan horses" carrying infectious particles to be released on cell necrosis ...

PURPOSE To define the clinical characteristics of atypical birefringence images and to describe a quantitative method for their identification. DESIGN Prospective, comparative, clinical observational study. METHODS Normal and glaucomatous eyes underwent complete examination, standard automated perimetry, scanning laser polarimetry with variable corneal compensation (GDx-VCC), and optical co...