Skip to main page content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Access keys NCBI Homepage MyNCBI Homepage Main Content Main Navigation

Search Page

Filters

My NCBI Filters

Text availability

Article attribute

Article type

Publication date

Search Results

21 results

Filters applied: . Clear all
Results are displayed in a computed author sort order. The Results By Year timeline is not available.
Page 1
Learning to Guide a Saturation-Based Theorem Prover.
Abdelaziz I, Crouse M, Makni B, Austel V, Cornelio C, Ikbal S, Kapanipathi P, Makondo N, Srinivas K, Witbrock M, Fokoue A. Abdelaziz I, et al. Among authors: cornelio c. IEEE Trans Pattern Anal Mach Intell. 2023 Jan;45(1):738-751. doi: 10.1109/TPAMI.2022.3140382. Epub 2022 Dec 5. IEEE Trans Pattern Anal Mach Intell. 2023. PMID: 34982678
Physical state of water controls friction of gabbro-built faults.
Feng W, Yao L, Cornelio C, Gomila R, Ma S, Yang C, Germinario L, Mazzoli C, Di Toro G. Feng W, et al. Among authors: cornelio c. Nat Commun. 2023 Aug 8;14(1):4612. doi: 10.1038/s41467-023-40313-x. Nat Commun. 2023. PMID: 37553361 Free PMC article.
Setmelanotide: A Novel Targeted Treatment for Monogenic Obesity.
Pressley H, Cornelio CK, Adams EN. Pressley H, et al. Among authors: cornelio ck. J Pharm Technol. 2022 Dec;38(6):368-373. doi: 10.1177/87551225221116010. Epub 2022 Aug 30. J Pharm Technol. 2022. PMID: 36311304 Free PMC article. Review.
Managing acute and recurrent idiopathic pericarditis.
Schwier NC, Cornelio CK, Epperson TM. Schwier NC, et al. Among authors: cornelio ck. JAAPA. 2020 Jan;33(1):16-22. doi: 10.1097/01.JAA.0000615468.46936.6d. JAAPA. 2020. PMID: 31880644 Review.
21 results