Results 111 to 120 of about 1,341,656 (346)

Convergent and Divergent Connectivity Patterns of the Arcuate Fasciculus in Macaques and Humans

Advanced Science, EarlyView.
This study employs viral‐based single‐neuron tracing and dMRI‐based whole‐brain tractography to investigate arcuate fasciculus (AF) trajectories in macaque monkeys, and compares with the human AF connectome using spectral embedding. Results demonstrate conserved AF topography spanning temporoparietal‐auditory‐frontal pathways across primates, with ...
Jiahao Huang, Ruifeng Li, Wenwen Yu, Anan Li, Xiangning Li, Mingchao Yan, Lei Xie, Qingrun Zeng, Xueyan Jia, Shuxin Wang, Ronghui Ju, Feng Chen, Qingming Luo, Hui Gong, Andrew Zalesky, Xiaoquan Yang, Yuanjing Feng, Zheng Wang   +17 more
wiley   +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

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

Structural Operational Semantics for Stochastic Process Calculi

, 2008
A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeterministic processes.
Klin, B., Sassone, V.
core   +2 more sources

(Co-)Inductive semantics for Constraint Handling Rules

, 2011
In this paper, we address the problem of defining a fixpoint semantics for Constraint Handling Rules (CHR) that captures the behavior of both simplification and propagation rules in a sound and complete way with respect to their declarative semantics ...
Abdennadher, Barwise, Clarke, de Koninck, Goguen, Haemmerlé, Haemmerlé, Jaffar, Rutten, RÉMY HAEMMERLÉ, Saraswat, Simon, Terese   +12 more
core   +2 more sources

UniMR: A Plug‐and‐Play Framework of Automated Molecular Recognition for Scanning Tunneling Microscopy

Advanced Science, EarlyView.
UniMR, a training‐free framework for automated molecular recognition in STM images. By integrating adaptive feature selection with CLIP embeddings and Gaussian Mixture Modeling, UniMR achieves robust performance across diverse molecular systems and low‐resolution conditions.
Ziqiang Cao, Lingyin Zhang, Bingzheng Wu, Haonan Chen, Junhao Sun, Linghao Yan, Wenfei Li, Yangyang Wu, Zhifang Wang, Qigang Zhong, Lifeng Chi   +10 more
wiley   +1 more source

Visualizing the semantics of gradual languages with Gredex

SoftwareX
We present Gredex, an interactive tool to visually explore the static and dynamic semantics of gradually-typed programming languages. Gredex supports a core gradual language with numbers, booleans, functions, pairs, sums, and fixpoints.
Matías Toro, Éric Tanter
doaj   +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

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

C Program Verication in the Multilanguage System Spectrum

Моделирование и анализ информационных систем, 2010
This paper presents the expendable multi-language analysis and verication system SPECTRUM, which is being developed within the framework of the project SPEC- TRUM. The project prospects are discussed using the example of C program verication. The project
V. A. Nepomniashy, I. S. Anureev, M. M. Atuchin, I. V. Maryasov, A. A. Petrov, A. V. Promsky   +5 more
doaj