Results 101 to 110 of about 57,211 (297)

Bialgebras for structural operational semantics: An introduction

Theoretical Computer Science, 2011
As indicated in the title, this work provides an introduction to the use of bialgebras in structural operational semantics (SOS). Starting from very basic examples, it arrives at giving an up-to-date overview of the state of the art in the field. The underlying principle of bialgebraic semantics [\textit{D. Turi} and \textit{G.
openaire   +2 more sources

Classical logic, continuation semantics and abstract machines [PDF]

, 1998
One of the goals of this paper is to demonstrate that denotational semantics is useful for operational issues like implementation of functional languages by abstract machines.
B. Reus, Fachbereich Mathematik, Thomas Streicher   +2 more
core   +2 more sources

Farnesyltransferase Deficiency in Cardiomyocytes Initiates Senescence and Contributes to Cardiac Fibrosis

Advanced Science, EarlyView.
Lipid overload suppresses SREBF2‐mediated FNTB expression, leading to defective Lamin A maturation and nuclear envelope instability. This nuclear catastrophe triggers a pro‐fibrotic senescence program in cardiomyocytes. Notably, restoring nuclear integrity via AAV9‐based gene therapy effectively attenuates cardiac remodeling, identifying the ...
Yuxiao Chen, Lian Lou, Xuan Zhang, Lin Yan, Qi Zhang, Wen Shi, Jie Ding, Xu Lin, Rong Jiang, Shuo Liu, Thida Sok, Pengli Wang, Yun Mou, Jie Han, Shenjiang Hu, Xiaogang Guo, Jian Yang   +16 more
wiley   +1 more source

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

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

Unveil Fundamental Graph Properties for Neural Architecture Search

Advanced Science, EarlyView.
This paper proposes NASGraph, a graph‐based framework that represents neural architectures as graphs whose structural properties determine performance. By revealing structure–performance relationships, NASGraph enables efficient neural architecture search with significantly reduced computation.
Zhenhan Huang, Tejaswini Pedapati, Pin‐Yu Chen, Chunheng Jiang, Jianxi Gao   +4 more
wiley   +1 more source

Operational Semantics of Process Monitors

, 2017
CSPe is a specification language for runtime monitors that can directly express concurrency in a bottom-up manner that composes the system from simpler, interacting components.
A Roscoe, B Bloom, B Bloom, CAR Hoare, DP Attard, GD Plotkin, JC Mitchell, JF Groote, K Havelund, Y Yamagata   +9 more
core   +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