Results 241 to 250 of about 566,633 (340)

Systematic review of artificial intelligence and radiomics for preoperative prediction of extranodal extension and lymph node metastasis in oropharyngeal cancer. [PDF]

Front Oncol
Stawarz K, Gorzelnik A, Klos W, Korzon J, Kissin F, Bieńkowska-Pluta K, Stawarz G, Rusetska N, Zwolinski J.   +8 more
europepmc   +1 more source

Exploration of language specifications by compilation to first-order logic

, 2018
Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini   +4 more
openalex   +2 more sources

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

Constructing formal models of cryptographic protocols from Alice&Bob style specifications via LLM. [PDF]

Sci Rep
Li Q, Han J, Yuan L, Li X, Wang X.
europepmc   +1 more source

Solid Harmonic Wavelet Bispectrum for Image Analysis

Advanced Science, EarlyView.
The Solid Harmonic Wavelet Bispectrum (SHWB), a rotation‐ and translation‐invariant descriptor that captures higher‐order (phase) correlations in signals, is introduced. Combining wavelet scattering, bispectral analysis, and group theory, SHWB achieves interpretable, data‐efficient representations and demonstrates competitive performance across texture,
Alex Brown, Mathilda Avirett‐Mackenzie, Carolin Villforth, Georgios Exarchakis   +3 more
wiley   +1 more source

Measuring and mitigating debugging effectiveness decay in code language models. [PDF]

Sci Rep
Adnan M, Kuhn CCN.
europepmc   +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

Polish language questionnaires for monitoring athletes' health and classifying reported symptoms. [PDF]

Sci Rep
Zając B, Siekańska M, Wyrobiec G, Gaj P.   +3 more
europepmc   +1 more source

6 (E-)LOTOS: (Enhanced) Language Of Temporal Ordering Specification

, 2006
Kenneth J. Turner, Mihaela Sighireanu
openalex   +1 more source

CACLENS: A Multitask Deep Learning System for Enzyme Discovery

Advanced Science, EarlyView.
CACLENS, a multimodal and multi‐task deep learning framework integrating cross‐attention, contrastive learning, and customized gate control, enables reaction type classification, EC number prediction, and reaction feasibility assessment. CACLENS accelerates functional enzyme discovery and identifies efficient Zearalenone (ZEN)‐degrading enzymes.
Xilong Yi, Yingzhu Tan, Huikang Lin, Guoqing Zhang, Ye Tian, Aibo Wu   +5 more
wiley   +1 more source