Results 181 to 190 of about 2,427,716 (339)

A Formal Language Selection Process for Introductory Programming Courses [PDF]

, 2006
Kevin R. Parker, Joseph T. Chao, Thomas A. Ottaway, Jane Chang   +3 more
openalex   +1 more source

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Language concordance in the digital collection of patient-reported outcome measures. [PDF]

JAMIA Open
Liu JB, Dacier BM, Dragonetti BM, Meyers PM, Sisodia RC, Park LH, Pusic AL, Ortega G.   +7 more
europepmc   +1 more source

Data‐Driven Feedback Identifies Focused Ultrasound Exposure Regimens for Improved Nanotheranostic Targeting of the Brain

Advanced Science, EarlyView.
ABSTRACT The blood‐brain barrier (BBB) renders the delivery of nanomedicine in the brain ineffective and the detection of circulating disease‐related DNA from the brain unreliable. Here, we demonstrate that microbubble‐enhanced focused ultrasound (MB‐FUS) mediated BBB opening, supported by large‐data models predict sonication regimens for safe and ...
Hohyun Lee, Victor Menezes, Shiqin Zeng, Chulyong Kim, Cynthia M. Baseman, Jae Hyun Kim, Samhita Padmanabhan, Pranav Premdas, Naima Djeddar, Anton Bryksin, Nikhil Pandey, Pavlos Anastasiadis, Anthony J. Kim, Tobey J. MacDonald, Chetan Bettegowda, Graeme F. Woodworth, Felix J. Herrmann, Costas Arvanitis   +17 more
wiley   +1 more source

Health Education Modalities and Influencing Factors in Rural Philippine Communities: A Mixed-Methods Study. [PDF]

Healthcare (Basel)
Reyes AT, Manilay-Robles C, Serafica R, Cacciata MC, Kawi J, Evangelista LS.   +5 more
europepmc   +1 more source

DEVELOPMENT OF FORMAL MODELS OF WORD COMBINATIONS AND NOUN COMBINATIONS IN THE UZBEK LANGUAGE

, 2023
Nilufar Juraeva Shaxodat Qodirberganova
openalex   +1 more source

Multi‐View Biomedical Foundation Models for Molecule‐Target and Property Prediction

Advanced Science, EarlyView.
Molecular foundation models can provide accurate predictions for a large set of downstream tasks. We develop MMELON, an approach that integrates pre‐trained graph, image, and text foundation models and validate our multi‐view model on over 120 tasks, including GPCR binding.
Parthasarathy Suryanarayanan, Yunguang Qiu, Shreyans Sethi, Diwakar Mahajan, Hongyang Li, Yuxin Yang, Elif Eyigoz, Aldo Guzmán‐Sáenz, Daniel E. Platt, Timothy H. Rumbell, Kenney Ng, Sanjoy Dey, Myson Burch, Bum Chul Kwon, Pablo Meyer, Feixiong Cheng, Jianying Hu, Joseph A. Morrone   +17 more
wiley   +1 more source

Advancing Global Nursing Policy: AI-Driven Health Literacy Innovations for Migrant Domestic Workers. [PDF]

Int Nurs Rev
Cheong PL, Kubota K.
europepmc   +1 more source

ELEMENTARY FORMAL SYSTEMS AND FORMAL LANGUAGES-SIMPLE FORMAL SYSTEMS

Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics, 1970
openaire   +2 more sources

His‐MMDM: Multi‐Domain and Multi‐Omics Translation of Histopathological Images with Diffusion Models

Advanced Science, EarlyView.
His‐MMDM is a diffusion model‐based framework for scalable multi‐domain and multi‐omics translation of histopathological images, enabling tasks from virtual staining, cross‐tumor knowledge transfer, and omics‐guided image editing. ABSTRACT Generative AI (GenAI) has advanced computational pathology through various image translation models.
Zhongxiao Li, Tianqi Su, Bin Zhang, Wenkai Han, Sibin Zhang, Guiyin Sun, Yuwei Cong, Xin Chen, Jiping Qi, Yujie Wang, Shiguang Zhao, Hongxue Meng, Peng Liang, Xin Gao   +13 more
wiley   +1 more source