Results 71 to 80 of about 189,135 (277)

Efficient Nyström-Based Unitary Single-Tone 2D DOA Estimation for URA Signals

Mathematics
We propose an efficient Nyström-based unitary subspace method for low-complexity two-dimensional (2D) direction-of-arrival (DOA) estimation in uniform rectangular array (URA) signal processing systems.
Liping Yuan, Ke Wang, Fengkai Luan
doaj   +1 more source

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

Meinongian Semantics and Artificial Intelligence

Humana.Mente: Journal of Philosophical Studies, 2013
This essay describes computational semantic networks for a philosophical audience and surveys several approaches to semantic-network semantics. In particular, propositional semantic networks (exemplified by SNePS) are discussed; it is argued that only a ...
William J. Rapaport
doaj  

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

Modular Labelled Sequent Calculi for Abstract Separation Logics

, 2017
separation logics are a family of extensions of Hoare logic for reasoning about programs that manipulate resources such as memory locations. These logics are "abstract" because they are independent of any particular concrete resource model.
Clouston, Ranald, Goré, Rajeev, Hóu, Zhé, Tiu, Alwen   +3 more
core   +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

Intuitionistic computability logic [PDF]

, 2006
Computability logic (CL) is a systematic formal theory of computational tasks and resources, which, in a sense, can be seen as a semantics-based alternative to (the syntactically introduced) linear logic.
Japaridze, Giorgi
core   +2 more sources

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

Higher-order probabilistic adversarial computations: categorical semantics and program logics [PDF]

, 2021
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato   +5 more
openalex   +1 more source

The Equational Approach to CF2 Semantics

, 2012
We introduce a family of new equational semantics for argumentation networks which can handle odd and even loops in a uniform manner. We offer one version of equational semantics which is equivalent to CF2 semantics, and a better version which gives the ...
Gabbay, Dov M.
core   +1 more source