Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Lu, Minghai"'
Publikováno v:
In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024)
Interactive theorem provers such as Coq are powerful tools to formally guarantee the correctness of software. However, using these tools requires significant manual effort and expertise. While Large Language Models (LLMs) have shown promise in automa
Externí odkaz:
http://arxiv.org/abs/2409.14274
Publikováno v:
In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024)
As deep learning models become increasingly bigger and more complex, it is critical to improve model training and inference efficiency. Though a variety of highly optimized libraries and packages (known as DL kernels) have been developed, it is tedio
Externí odkaz:
http://arxiv.org/abs/2405.03067
Publikováno v:
Journal of Modern Medicine & Health. 7/30/2022, Vol. 38 Issue 14, p2368-2370. 3p.
Autor:
Jun Wu, Yi Wang, Zixuan Zhang, Kangyu Wang, Liu Tao, Lu Minghai, Mingzhu Zhao, Li Li, Yanfang Wang, Yang Jiang, Meiping Zhang, Lei Zhu, Shaokun Li, Jian Hu
Publikováno v:
Life
Volume 11
Issue 5
Life, Vol 11, Iss 387, p 387 (2021)
Volume 11
Issue 5
Life, Vol 11, Iss 387, p 387 (2021)
Panax ginseng C. A. Meyer is a kind of renascent herb that belongs to the genus Panax in the family Araliaceae. It is a traditional Chinese precious herbal medicine with a long history of medicinal use. Ginsenoside Rb3 is one of the important active
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3dfe9cae8dcaf746f59e372bf4107e45
http://europepmc.org/articles/PMC8146951
http://europepmc.org/articles/PMC8146951
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Acta Optica Sinica. 31:0711002
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::88abb7c3a5fc1ce40675d5f13e82233b
https://doi.org/10.3788/aos201131.0711002
https://doi.org/10.3788/aos201131.0711002