نتایج جستجو برای: vcc

تعداد نتایج: 426  

2017
Myung-Hyun Kim

To review recent advances in endoscopic techniques for treating intraventricular lesions via transcortical passage. Articles in PubMed published since 2000 were searched using the keywords 'endoscopy,' 'endoscopic,' and 'neuroendoscopic.' Of these articles, those describing intraventricular lesions were reviewed. Suprasellar arachnoid cysts (SACs) can be treated with ventriculo-cystostomy (VC) ...

Journal: :Infection and immunity 2009
Ana A Weil Mohammad Arifuzzaman Taufiqur R Bhuiyan Regina C LaRocque Aaron M Harris Emily A Kendall Azim Hossain Abdullah A Tarique Alaullah Sheikh Fahima Chowdhury Ashraful I Khan Farhan Murshed Kenneth C Parker Kalyan K Banerjee Edward T Ryan Jason B Harris Firdausi Qadri Stephen B Calderwood

Vibrio cholerae O1 can cause diarrheal disease that may be life-threatening without treatment. Natural infection results in long-lasting protective immunity, but the role of T cells in this immune response has not been well characterized. In contrast, robust B-cell responses to V. cholerae infection have been observed. In particular, memory B-cell responses to T-cell-dependent antigens persist ...

Journal: :The Astrophysical Journal 2022

We use deep Hubble Space Telescope imaging to derive a distance the Virgo Cluster ultradiffuse galaxy (UDG) VCC 615 using tip of red giant branch (TRGB) estimator. detect 5,023 stars within galaxy, down 50% completeness limit F814W = 28.0, counts in surrounding field correct for contamination due background sources and intracluster stars. an extinction-corrected magnitude $m_{\rm tip,0} 27.19^{...

2011
Claire Le Goues K. Rustan M. Leino Michal Moskal

The Boogie Verification Debugger (BVD) is a tool that lets users explore the potential program errors reported by a deductive program verifier. The user interface is like that of a dynamic debugger, but the debugging happens statically without executing the program. BVD integrates with the programverification engine Boogie. Just as Boogie supports multiple language front-ends, BVD can work with...

Journal: :International Journal of Online and Biomedical Engineering (iJOE) 2010

2011
Claire Le Goues Michał Moskal

The Boogie Verification Debugger (BVD) is a tool that lets users explore the potential program errors reported by a deductive program verifier. The user interface is like that of a dynamic debugger, but the debugging happens statically without executing the program. BVD integrates with the programverification engine Boogie. Just as Boogie supports multiple language front-ends, BVD can work with...

2014
Amiangshu Bosu Jeffrey C. Carver Munawar Hafiz Patrick Hilley Derek Janni

We analyzed peer code review data of the Android Open Source Project (AOSP) to understand whether code changes that introduce security vulnerabilities, referred to as vulnerable code changes (VCC), occur at certain intervals. Using a systematic manual analysis process, we identified 60 VCCs. Our results suggest that AOSP developers were more likely to write VCCs prior to AOSP releases, while du...

2014
Ewelina Prozorowska Hanna Jackowiak

In our study the VCC technique has been used to observe changes in the arrangement of the blood vessels in the wall of the gallbladder and urinary bladder in pig, which undergoes a variable change in the volume during their cyclical filling of urine or bile. The changes in the angioarchitecture of the gallbladder and urinary bladder has been describe in a few species of laboratory animals, but ...

Journal: :Sustainability 2022

Purpose: Unprecedented communication features of social media noticeably reinforce the active role consumers in value co-creation (VCC) offline and online brands including media. From consumer perspective, this study examines a contribution VCC behavior to consumer-based brand equity (CBBE) consequent intention use based on Instagram as most popular platform Kazakhstan. Methodology: A web-based...

2006
Michael E. Ketzenberg

We address the value of information (VOI) and value of centralized control (VCC) in the context of a two–echelon, serial supply chain with one retailer and one supplier that provides a single perishable product to consumers. Our analysis is relevant for managing slow moving perishable products with fixed lot sizes and expiration dates of a week or less. We evaluate two supply chain structures. ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید