An SMT-Based Approach for Verifying Binarized Neural Networks

por Amir, Guy, Wu, Haoze, Barrett, Clark, Katz, Guy
Publicado 2021

Burden and trends of brain and central nervous system cancer from 1990 to 2019 at the global, regional, and country levels

por Fan, Yang, Zhang, Xian, Gao, Chao, Jiang, Shuai, Wu, Haoze, Liu, Zhanhui, Dou, Taotao
Publicado 2022

The Synergistic Effects of the Combination of L-Carnitine and Lycopene on the Lycopene Bioavailability and Duodenal Health of Roosters

por Ennab, Wael, Ye, Nanwei, Wu, Haoze, Ullah, Saif, Hadi, Tavakolikazerooni, Bassey, Anthony Pius, Mustafa, Sheeraz, Jiang, Jingle, Wei, Quanwei, Shi, Fangxiong
Publicado 2023