Wszystkie pola: "Nguyen, Huu Hai" - OpacWWW

Skocz do pozycji: 1.

Tytuł:: Viral load suppression and acquired HIV drug resistance in adults receiving antiretroviral therapy in Viet Nam: results from a nationally representative survey
Autorzy:: Vu Quoc Dat
Bui Duc Duong
Do Thi Nhan
Nguyen Huu Hai
Nguyen Thi Lan Anh
Huynh Hoang Khanh Thu
Tran Ton
Luong Que Anh
Nguyen Tuan Nghia
Nguyen Vu Thuong
Khuu Van Nghia
Tran Thi Minh Tam
Tran Phuc Hau
Nguyen Duy Phuc
Vu Xuan Thinh
Nguyen Tran Hien
Truong Thi Xuan Lien
Silvia Bertagnolio
Nguyen Thi Thuy Van
Masaya Kato; Pokaż więcej
Temat:: HIV
viral suppression
surveillance
acquired HIV drug resistance
Vietnam
Medicine
Public aspects of medicine
RA1-1270
Źródło:: Western Pacific Surveillance and Response, Vol 9, Iss 3, Pp 16-24 (2018)
Opis pliku:: electronic resource
Relacje:: https://ojs.wpro.who.int/ojs/index.php/wpsar/article/view/596/835; https://doaj.org/toc/2094-7321; https://doaj.org/toc/2094-7313
Dostęp URL:: https://doaj.org/article/6057c77f7d4b44d291a2cd312fd9aa62 Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 3.

Tytuł:: Enhancing Program Verification with Lemmas
Autorzy:: Nguyen, Huu Hai
Chin, Wei-Ngan; Pokaż więcej
Źródło:: Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings. 5123:355-369

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Runtime Checking for Separation Logic
Autorzy:: Nguyen, Huu Hai
Kuncak, Viktor
Chin, Wei-NganAff1, Aff3; Pokaż więcej
Źródło:: Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings. 4905:203-217

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Automated Verification of Shape and Size Properties Via Separation Logic
Autorzy:: Nguyen, Huu Hai
David, Cristina
Qin, Shengchao
Chin, Wei-NganAff1, Aff2; Pokaż więcej
Źródło:: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings. 4349:251-266

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Memory Usage Verification for OO Programs
Autorzy:: Chin, Wei-NganAff18, Aff19
Nguyen, Huu Hai
Qin, Shengchao
Rinard, Martin; Pokaż więcej
Źródło:: Static Analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings. 3672:70-86

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
Autorzy:: Kuncak, Viktor
Nguyen, Huu Hai
Rinard, MartinAff19, Aff20; Pokaż więcej
Źródło:: Automated Deduction – CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings. 3632:260-277

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Deciding Boolean Algebra with Presburger Arithmetic
Autorzy:: Kuncak, Viktor
Nguyen, Huu Hai
Rinard, Martin; Pokaż więcej
Źródło:: Journal of Automated Reasoning. April 2006 36(3):213-239

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Emerging priorities for HIV service delivery.
Autorzy:: Ford, Nathan
Geng, Elvin
Ellman, Tom
Orrell, Catherine
Ehrenkranz, Peter
Sikazwe, Izukanji
Jahn, Andreas
Rabkin, Miriam
Ayisi Addo, Stephen
Grimsrud, Anna
Rosen, Sydney
Zulu, Isaac
Reidy, William
Lejone, Thabo
Apollo, Tsitsi
Holmes, Charles
Kolling, Ana Francisca
Phate Lesihla, Rosina
Nguyen, Huu Hai
Bakashaba, Baker; Pokaż więcej
Temat:: DELIVERY of goods
HIV prevention
HIV
AUTHORSHIP collaboration
Źródło:: PLoS Medicine; 2/14/2020, Vol. 17 Issue 2, p1-13, 13p, 1 Chart, 1 Graph

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 10.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 11.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Automated Verification of Shape and Size Properties Via Separation Logic.
Autorzy:: Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Cook, Byron
Podelski, Andreas
Nguyen, Huu Hai
David, Cristina
Qin, Shengchao; Pokaż więcej
Źródło:: Verification, Model Checking & Abstract Interpretation (978-3-540-69735-0); 2007, p251-266, 16p

Książka

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic.
Autorzy:: Nieuwenhuis, Robert
Kuncak, Viktor
Nguyen, Huu Hai
Rinard, Martin; Pokaż więcej
Źródło:: Automated Deduction - CADE-20; 2005, p260-277, 18p

Książka

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Memory Usage Verification for OO Programs.
Autorzy:: Hankin, Chris
Siveroni, Igor
Chin, Wei-Ngan
Nguyen, Huu Hai
Qin, Shengchao
Rinard, Martin; Pokaż więcej
Źródło:: Static Analysis (9783540285847); 2005, p70-86, 17p

Książka

na półce

Szczegóły

Skocz do pozycji: 15.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Network analysis of psychological factors related to academic pressure faced by medical students in the central and highland regions of Vietnam.
Autorzy:: Nguyen, Minh Tu (AUTHOR)
Nguyen, Thanh Gia (AUTHOR)
Tran, Tho Thi Anh (AUTHOR)
Nguyen, Thi Thanh Nhan (AUTHOR)
Le, Dinh Duong (AUTHOR)
Nguyen, Thi Thanh Binh (AUTHOR)
Hoang, Huu Hai (AUTHOR)
Ho, Thi Linh Dan (AUTHOR)
Tran, Binh Thang (AUTHOR); Pokaż więcej
Źródło:: Medical Education Online. Dec2022, Vol. 27 Issue 1, p1-11. 11p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 17.

Tytuł:: The prevalence of pre‐treatment and acquired HIV drug resistance in Vietnam: a nationally representative survey, 2017–2018.
Autorzy:: Dat, Vu Quoc (AUTHOR)
Anh, Nguyen Thi Lan (AUTHOR)
Van Nghia, Khuu (AUTHOR)
Linh, Nguyen Thuy (AUTHOR)
Thu, Huynh Hoang Khanh (AUTHOR)
Tam, Tran Thi Minh (AUTHOR)
Ton, Tran (AUTHOR)
Anh, Luong Que (AUTHOR)
Phuc, Nguyen Duy (AUTHOR)
Huong, Phan Thi Thu (AUTHOR)
Nhan, Do Thi (AUTHOR)
Hai, Nguyen Huu (AUTHOR)
Bertagnolio, Silvia (AUTHOR)
Crisp, Amy M. (AUTHOR)
Inzaule, Seth (AUTHOR)
Dean, Natalie E. (AUTHOR)
Jordan, Michael R. (AUTHOR)
Nguyen, Van Thi Thuy (AUTHOR); Pokaż więcej
Źródło:: Journal of the International AIDS Society. Feb2022, Vol. 25 Issue 2, p1-6. 6p. 3 Charts.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 18.

Tytuł:: Practices in security and confidentiality of HIV/AIDS patients’ information: A national survey among staff at HIV outpatient clinics in Vietnam.
Autorzy:: Khac Hai, Nguyen
Lawpoolsri, Saranath
Jittamala, Podjanee
Thi Thu Huong, Phan
Kaewkungwal, Jaranit; Pokaż więcej
Źródło:: PLoS ONE. 11/14/2017, Vol. 12 Issue 11, p1-16. 16p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 19.

Tytuł:: Automated verification of shape, size and bag properties via user-defined predicates in separation logic
Autorzy:: Chin, Wei-Ngan
David, Cristina
Nguyen, Huu Hai
Qin, Shengchao; Pokaż więcej
Źródło:: Science of Computer Programming. Aug2012, Vol. 77 Issue 9, p1006-1036. 31p.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: World AIDS Day -- December 1, 2015. (cover story)
Źródło:: MMWR: Morbidity & Mortality Weekly Report. 11/27/2015, Vol. 64 Issue 46, p1281-1281. 1/2p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Informacja

Wyszukujesz frazę ""Nguyen, Huu Hai"" wg kryterium: Wszystkie pola

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji