E-LIB Suche - Ergebnisse für: Ho, Son Van

1

Modularity, Code Specialization, and Zero-Cost Abstractions..:

Ho, Son ; Fromherz, Aymeric ; Protzenko, Jonathan
Proceedings of the ACM on Programming Languages. 7 (2023) ICFP - p. 385-416 , 2023

Link: https://doi.org/10.1145/..

2

Outcome prediction model and prognostic biomarkers for COVI..:

Nguyen, Hien Thi Thu ; Le-Quy, Vang ; Ho, Son Van...
ERJ Open Research. 9 (2023) 2 - p. 00481-2022 , 2023

Link: https://doi.org/10.1183/..

3

ATTITUDE AND PERCEPTION OF LOCAL FARMERS TOWARD AGROBIODIVE..:

Truong, Tuyet ; Khuzaimah, Khoirunnisa ; Pham, Huyen...
SCIENTIFIC JOURNAL OF TAN TRAO UNIVERSITY. 9 (2023) 4 - p. , 2023

Link: https://doi.org/10.51453..

4

Aeneas: Rust verification by functional translation:

Ho, Son ; Protzenko, Jonathan
Proceedings of the ACM on Programming Languages. 6 (2022) ICFP - p. 711-741 , 2022

Link: https://doi.org/10.1145/..

5

Noise: A Library of Verified High-Performance Secure Channe..:

, In: 2022 IEEE Symposium on Security and Privacy (SP),

Ho, Son ; Protzenko, Jonathan ; Bichhawat, Abhishek. - p. 107-124 , 2022

Link: https://doi.org/10.1109/..

6

Safety and immunogenicity of Nanocovax, a SARS-CoV-2 recomb..:

Nguyen, Thuy P. ; Do, Quyet ; Phan, Lan T....
The Lancet Regional Health - Western Pacific. 24 (2022) - p. 100474 , 2022

Link: https://doi.org/10.1016/..

7

SHOX2 methylation in Vietnamese patients with lung cancer:

Vo, Thi Thuong Lan ; Nguyen, Thuy Ngan ; Nguyen, Thu Trang...
Molecular Biology Reports. 49 (2022) 5 - p. 3413-3421 , 2022

Link: https://doi.org/10.1007/..

8

Ensemble of Deep Neural Networks for Rice Leaf Disease Clas..:

, In: 2022 RIVF International Conference on Computing and Communication Technologies (RIVF),

Van Ho, Son ; Vuong, Huy Gia ; Nguyen, Binh Quang.. - p. 238-243 , 2022

Link: https://doi.org/10.1109/..

9

Standardization of DNA amount for bisulfite conversion for ..:

Pham, Duong Anh Thuy ; Le, Son Duc ; Doan, Trang Mai...
PLOS ONE. 16 (2021) 8 - p. e0256254 , 2021

Link: https://doi.org/10.1371/..

10

Ameliorating hydroxychloroquine induced retinal toxicity th..:

Dhillon, Baltej ; Singh, Sushant ; Keifer, Jason...
Journal of Biomaterials Applications. 36 (2021) 6 - p. 1033-1041 , 2021

Link: https://doi.org/10.1177/..

11

TERT promoter mutations and other prognostic factors in pat..:

de Kouchkovsky, Ivan ; Zhang, Li ; Philip, Errol J...
Journal for ImmunoTherapy of Cancer. 9 (2021) 5 - p. e002127 , 2021

Link: https://doi.org/10.1136/..

12

Proof-Producing Synthesis of CakeML from Monadic HOL Functi..:

Abrahamsson, Oskar ; Ho, Son ; Kanabar, Hrutvik...
Journal of Automated Reasoning. 64 (2020) 7 - p. 1287-1306 , 2020

Link: https://doi.org/10.1007/..

13

Program Verification in the Presence of I/O: Semantics, Ver..:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools, and Experiments,

Férée, Hugo ; Åman Pohjola, Johannes ; Kumar, Ramana... - p. 88-111 , 2018

Link: https://doi.org/10.1007/..

14

Synthesis, characterization and application of some non-hal..:

Bui, Thuy Thi Le ; Nguyen, Do Dinh ; Ho, Son Van..
Fuel. 191 (2017) - p. 54-61 , 2017

Link: https://doi.org/10.1016/..

15

Microwave-Assisted Synthesis of Benzo[4,5]imidazo[1,2-a]pyr..:

Ho, Son ; Dao, Pham ; Cho, Chan
Synlett. 28 (2017) 14 - p. 1811-1815 , 2017

Link: https://doi.org/10.1055/..