Zobrazeno 1 - 10
of 1 209
pro vyhledávání: '"Lam, Patrick"'
GitHub's Copilot generates code quickly. We investigate whether it generates good code. Our approach is to identify a set of problems, ask Copilot to generate solutions, and attempt to formally verify these solutions with Dafny. Our formal verificati
Externí odkaz:
http://arxiv.org/abs/2209.01766
Autor:
Chong, Yuen Yu, Lam, Wing Chung, Wong, Kit Sum, Wong, Ching Yee, Lam, Patrick Chun Ming, Hsu, Siu Man, Chien, Wai Tong
Publikováno v:
In Journal of Contextual Behavioral Science July 2024 33
The long-standing aspiration for software reuse has made astonishing strides in the past few years. Many modern software development ecosystems now come with rich sets of publicly-available components contributed by the community. Downstream develope
Externí odkaz:
http://arxiv.org/abs/2008.07069
Autor:
Hwang, Nicky, Wu, Shuo, Ban, Haiqun, Luo, Huixin, Ma, Julia, Cheng, Junjun, Zhao, Qiong, Laney, Jessilyn A., Du, Na, Guo, Junyang, Suresh, Manasa, Shen, Liangxian, Tolufashe, Gideon, Viswanathan, Usha, Kulp, John, Lam, Patrick, Chang, Jinhong, Clement, Jason A., Menne, Stephan, Guo, Ju-Tao, Du, Yanming
Publikováno v:
In European Journal of Medicinal Chemistry 5 November 2023 259
Autor:
Lam, Patrick T.I., Mok, Kelvin S.H.
Publikováno v:
International Journal of Innovation Science, 2022, Vol. 15, Issue 1, pp. 94-112.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/IJIS-02-2021-0033
Autor:
Gunewardene, Niliksha, Ma, Yutian, Lam, Patrick, Wagstaff, Sherryl, Cortez-Jugo, Christina, Hu, Yingjie, Caruso, Frank, Richardson, Rachael T., Wise, Andrew K.
Publikováno v:
In Journal of Controlled Release September 2023 361:621-635
Publikováno v:
In Journal of Shoulder and Elbow Surgery June 2023 32(6):e319-e327
Publikováno v:
In JSES International May 2023 7(3):450-463
Autor:
Williams, Tiffany G., Hackett, Lisa M., Lam, Patrick H., Stitz, Daniel J., Al-Housni, Hilal, Murrell, Dedee F., Murrell, George A.C.
Publikováno v:
In Journal of Shoulder and Elbow Surgery April 2023 32(4):713-728
Publikováno v:
In Journal of Shoulder and Elbow Surgery March 2023 32(3):e106-e116