Results 101 to 110 of about 220,610 (290)

DualPG‐DTA: A Large Language Model‐Powered Graph Neural Network Framework for Enhanced Drug‐Target Affinity Prediction and Discovery of Novel CDK9 Inhibitors Exhibiting in Vivo Anti‐Leukemia Activity

Advanced Science, EarlyView.
This study introduces DualPG‐DTA, a framework integrating two pre‐trained models to generate molecular and protein representations. It constructs dual graphs processed by specialized neural networks with dynamic attention for feature fusion, achieving superior benchmark performance.
Yihao Chen, Jindi Huang, Cong Liu, Shipeng Zhang, Xinze Li, Zhang Zhang, Tie‐Gen Chen, Ling Wang   +7 more
wiley   +1 more source

Refinement semantics and loop rules [PDF]

, 1999
Refinement semantics is an alternative to least fixpoint semantics that is more useful for programming. From it we derive a variety of rules for while-loops, for-loops, and loops with intermediate and deep exits. We illustrate the use of these rules with examples.
Eric C. R. Hehner, Andrew M. Gravel
openaire   +1 more source

Mendelian Randomization and Double Machine Learning Modeling Reveal Brain Imaging‐Derived Phenotypes as Functional Contributors to 18 Autoimmune Inflammatory Diseases

Advanced Science, EarlyView.
This schematic integrates the eight statistically significant causal relationships identified between 1,366 brain imaging‐derived phenotypes (IDPs) and 18 autoimmune inflammatory diseases (AIDs). Arrows indicate the direction of causality inferred from bidirectional two‐sample MR analyses.
Jinbin Chen, Xin Wang, Haifeng Ding, Bosheng Zheng, Keni Zeng, Chuying Hu, Jiayi Liu, Xiao Zhu, Haibing Yu   +8 more
wiley   +1 more source

A Galois connection between classical and intuitionistic logics. II: Semantics

, 2018
Three classes of models of QHC, the joint logic of problems and propositions, are constructed, including a class of subset/sheaf-valued models that is related to solutions of some actual problems (such as solutions of algebraic equations) and combines ...
Melikhov, Sergey A.
core  

OBUSight: Clinically Aligned Generative AI for Ophthalmic Ultrasound Interpretation and Diagnosis

Advanced Science, EarlyView.
OBUSight, a clinically aligned generative AI model that jointly generates reports and predicts diseases through multimodal semantic alignment, was trained and validated on a large multicenter dataset. OBUSight outperformed eight state‐of‐the‐art models, provided clinically reliable reports, enhanced diagnostic efficiency, and achieved performance ...
Xiaocong Liu, An Shao, Bingtao Guan, Ziyao Luo, Weiyi Lai, Xiaoling Huang, Jun Liu, Jie Yan, Huimin Li, Xiangji Pan, Jiawei Wang, Zichang Su, Yih Chung Tham, Jie Yang, Haotian Lin, Juan Ye, Hongxia Xu, Jian Wu   +17 more
wiley   +1 more source

Statistics of the Bifurcation in Quantum Measurement

Entropy, 2019
We model quantum measurement of a two-level system μ . Previous obstacles for understanding the measurement process are removed by basing the analysis of the interaction between μ and the measurement device on quantum field theory ...
Karl-Erik Eriksson, Kristian Lindgren
doaj   +1 more source

S3RL: Enhancing Spatial Single‐Cell Transcriptomics With Separable Representation Learning

Advanced Science, EarlyView.
Separable Spatial Representation Learning (S3RL) is introduced to enhance the reconstruction of spatial transcriptomic landscapes by disentangling spatial structure and gene expression semantics. By integrating multimodal inputs with graph‐based representation learning and hyperspherical prototype modeling, S3RL enables high‐fidelity spatial domain ...
Laiyi Fu, Penglei Wang, Gaoyuan Xu, Jitao Lu, Qinke Peng, Danyang Wu, Hequan Sun   +6 more
wiley   +1 more source

Accurate Identification of Protein Binding Sites for All Drug Modalities Using ALLSites

Advanced Science, EarlyView.
ALLSites is a unified sequence‐based framework for identifying proteome‐wide binding sites across all drug modalities. It integrates a gated convolutional network with a transformer architecture to capture residue interactions directly from the sequence.
Minjie Mou, Mingkun Lu, Zhimeng Zhou, Yanlin Ren, Xinyuan Yu, Ziqi Pan, Yuan Zhou, Hao Yang, Lingyan Zheng, Shukai Gu, Yang Zhang, Wei Hu, Fengcheng Li, Haibin Dai, Feng Zhu   +14 more
wiley   +1 more source

A Wireless, Battery‐Free Artificial Throat Patch with Deep Learning for Emotional Speech Recognition

Advanced Science, EarlyView.
In this work, Xu and co‐workers develop a wireless, battery‐free artificial throat patch system (ATPS) consisting of a carbon nanotube‐based thin‐film strain sensor and a miniaturized flexible printed circuit board, to enable real‐time sensing of throat signals.
Bingxin Xu, Guanming Lin, Xiaohui Hong, Chuting Liu, Xinyi Qu, Kangjian Jiao, Lei Zhang, Bingzhe Xu, Jun Yan, Yancong Qiao, Xudong Lin   +10 more
wiley   +1 more source

The Automation of C Program Verification by Symbolic Method of Loop Invariants Elimination

Моделирование и анализ информационных систем, 2018
During deductive verification of programs written in imperative languages, the generation and proof of verification conditions corresponding to loops can cause difficulties, because each one must be provided with an invariant whose construction is often ...
Dmitry Kondratyev, Ilya Maryasov, Valery Nepomniaschy   +2 more
doaj   +1 more source