Zobrazeno 1 - 10
of 344
pro vyhledávání: '"WANG Yuepeng"'
Publikováno v:
口腔疾病防治, Vol 31, Iss 6, Pp 408-413 (2023)
Objective To investigate the application of indocyanine green in near-infrared fluorescence imaging to determine the scope of necrotic bone resection in osteoradionecrosis of the jaw and to provide a reference for clinicians. Methods Eight patients w
Externí odkaz:
https://doaj.org/article/f568cfe04563434d88dc3bf2337f8fa2
Publikováno v:
口腔疾病防治, Vol 30, Iss 8, Pp 578-581 (2022)
Objective To investigate the feasibility of using a carbon dioxide(CO2) laser in the treatment of facial papilloma in children and to evaluate its curative effect and prognosis. Methods A case of pediatric facial papilloma treated with a CO2 laser wa
Externí odkaz:
https://doaj.org/article/61fab08d1a49415aadf03eea5d02864f
Publikováno v:
Proc. ACM Program. Lang. 8, PLDI, Article 188 (June 2024), 32 pages
Online streaming algorithms, tailored for continuous data processing, offer substantial benefits but are often more intricate to design than their offline counterparts. This paper introduces a novel approach for automatically synthesizing online stre
Externí odkaz:
http://arxiv.org/abs/2404.04743
The task of SQL query equivalence checking is important in various real-world applications (including query rewriting and automated grading) that involve complex queries with integrity constraints; yet, state-of-the-art techniques are very limited in
Externí odkaz:
http://arxiv.org/abs/2403.03193
In this paper, the problem of continuous data assimilation of three dimensional primitive equations with magnetic field in thin domain is studied. We establish the well-posedness of the assimilation system and prove that the $H^2$-strong solution of
Externí odkaz:
http://arxiv.org/abs/2310.17252
Smart contracts manage a large number of digital assets nowadays. Bugs in these contracts have led to significant financial loss. Verifying the correctness of smart contracts is, therefore, an important task. This paper presents an automated safety v
Externí odkaz:
http://arxiv.org/abs/2211.14585
This paper presents DeCon, a declarative programming language for implementing smart contracts and specifying contract-level properties. Driven by the observation that smart contract operations and contract-level properties can be naturally expressed
Externí odkaz:
http://arxiv.org/abs/2207.13827
Publikováno v:
In International Journal of Cardiology 1 December 2024 416
Debugging imperative network programs is a challenging task for developers because understanding various network modules and complicated data structures is typically time-consuming. To address the challenge, this paper presents an automated technique
Externí odkaz:
http://arxiv.org/abs/2110.06303
Autor:
Song, Shuai, Yuan, Jiali, Fang, Guojian, Li, Yingze, Ding, Shiao, Wang, Yuepeng, Wang, Qunshan
Publikováno v:
In European Journal of Pharmacology 15 August 2024 977