Zobrazeno 1 - 10
of 1 031
pro vyhledávání: '"Ling I"'
Automated program verification has always been an important component of building trustworthy software. While the analysis of real-world programs remains a theoretical challenge, the automation of loop invariant analysis has effectively resolved the
Externí odkaz:
http://arxiv.org/abs/2412.10483
Transformer-based large language models (LLMs) have demonstrated significant potential in addressing logic problems. capitalizing on the great capabilities of LLMs for code-related activities, several frameworks leveraging logical solvers for logic r
Externí odkaz:
http://arxiv.org/abs/2403.16097
Publikováno v:
Journal of Service Theory and Practice, 2024, Vol. 34, Issue 2, pp. 216-241.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/JSTP-11-2022-0252
Publikováno v:
In Journal of Retailing and Consumer Services January 2025 82
Publikováno v:
In Seminars in Oncology Nursing August 2024 40(4)
Publikováno v:
In Journal of the European Ceramic Society July 2024 44(8):5016-5021
Effects of Ag+ substitution on the enhanced microwave dielectric properties of Na4Co(MoO4)3 ceramics
Publikováno v:
In Ceramics International 15 February 2024 50(4):6814-6823
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.
Autor:
Liu Qiang, Markesbery William R, Schmitt Frederick A, Peterson Shawn L, Simmons Christopher R, Furman Jennifer L, Simpson James F, Ling I-Fang, Grear Karrie E, Crook Julia E, Younkin Steven G, Bu Guojun, Estus Steven
Publikováno v:
Molecular Neurodegeneration, Vol 4, Iss 1, p 46 (2009)
Abstract Background Variations in sortilin-related receptor (SORL1) expression and function have been implicated in Alzheimers Disease (AD). Here, to gain insights into SORL1, we evaluated SORL1 expression and splicing as a function of AD and AD neur
Externí odkaz:
https://doaj.org/article/6fa12196c71042da82f08a63ef20f1c4
Publikováno v:
In Materials Today Communications December 2023 37