Results 31 to 40 of about 18,885 (168)

A formal executable semantics of Verilog [PDF]

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous reference augmenting the prose of the official language standard, and ultimately to aid developers of Verilog-based tools; e.g., simulators, test generators, and verification
Meredith, Patrick, Katelman, Michael, Meseguer, José, Rosu, Grigore   +3 more
openaire   +2 more sources

Strategy of Triple‐Gradient in Binary Pixels for Flexible Pressure Sensing with High Sensitivity and Wide‐Range Linearity

Advanced Science, EarlyView.
A flexible pressure sensor with triple‐gradient design of conductivity, modulus, and dimension in binary micro‐dome pixels is proposed. Based on precisely‐designed CNT/PDMS matrix, the device exhibits a linear sensitivity of 974.1 kPa−1 across range up to 1.8 MPa (R2 > 0.99), offering an effective strategy for potential applications in healthcare ...
Yifan Liu, Xiao Xu, Fengming Hu, Yuanzhe Liang, Zidong Yin, Biao Qi, Ruolin Liu, Ziyi Dai, Jianyi Luo, Bingpu Zhou   +9 more
wiley   +1 more source

SemanticST: A Scalable Multi‐Contextual Graph Learning Framework for Uncovering Spatial Niches and Robust Multi‐Sample Integration in Spatial Transcriptomics

Advanced Science, EarlyView.
Technical limitations often let dominant signals overshadow rare cell types and fine‐grained heterogeneity in spatial transcriptomics. SemanticST, a graph neural network using multi‐semantic graph fusion and a novel min‐cut loss, recovers these subtle patterns.
Roxana Zahedi, Ahmadreza Argha, Nona Farbehi, Ivan Bakhshayeshi, Thantrira Porntaveetus, Youqiong Ye, Nigel H. Lovell, Hamid Alinejad‐Rokny   +7 more
wiley   +1 more source

Spatiotemporal Multi‐Omic Mapping Reveals Liver‐Muscle Metabolic Crosstalk in Cancer Cachexia

Advanced Science, EarlyView.
The interactive CCAtlas platform delineates cross‐species, spatiotemporal, and sex‐specific molecular dynamics and metabolic rewiring across organs during cancer cachexia. Hepatic Gamt downregulation curtails hepatic creatine synthesis to trigger systemic creatine insufficiency and consequent skeletal muscle atrophy in LLC tumour‐bearing mice ...
Zihan Tian, Qianyu Wang, Wenyan Gao, Xianfeng Li, Jiawen Fan, Xiaoliang Wu, Siqi Liu, Xiangdong Ming, Danna Yeerken, Mutian Shen, Qingjie Min, Qimin Zhan, Yan Wang   +12 more
wiley   +1 more source

Mechanically Reprogrammed Coaxial Fibers for Multiphysics Transduction and Human‐Machine Interfaces

Advanced Science, EarlyView.
A continuously wet‐spun coaxial fiber is developed to combine stretchable conductivity, resistive sensing, and self‐powered triboelectric sensing in a single architecture. A mechanically reprogrammed dual‐network sheath stabilizes large deformation and improves signal reliability. These fibers can be woven into textile interfaces for multichannel touch
Xinyi Cao, Chao Ye, Shengjie Ling, Ming Li, Zhao Sha, Chun‐Hui Wang, Shuhua Peng   +6 more
wiley   +1 more source

Towards a Compositional Framework for Describing Human Phenotypes

Advanced Science, EarlyView.
The Phenotype Assembly Method (PhenoAM) decomposes phenotype variables into measurable Features and typed Qualifiers, enabling standardized, machine‐readable Phenome Data Elements (PhenoDEs) that preserve measurement context. Applied in the International Human Phenome Project (IHPP), the framework yields 58 371 PhenoDEs and supports component‐level ...
Wanting Hu, Yunchao Ling, Xinyue Hu, Wei Chen, Rong Zhou, Xinhao Zhuang, Yanfeng Jiang, Jialu Zhao, Xingdong Chen, Jingchun Luo, Li Jin, Guoqing Zhang   +11 more
wiley   +1 more source

scGEN: Leveraging an Adaptive Weighting Strategy for Challenging Cell Clustering in Single‐Cell RNA‐seq

Advanced Science, EarlyView.
scGEN combines attribute–structure encoding, adaptive hard‐sample weighting, and regularized zero‐inflated negative binomial loss to resolve ambiguous single‐cell states. In the developing human pituitary, refined annotations reveal Pre.Gonado cells at 7 weeks and previously obscured developmental communication networks.
Fang Huang, Dayu Hu, Yaqi Dai, Aoyi Geng, Renxiang Guan, Hao Quan, Brett A. McGregor, Zhihan Wang, Nadeem Khan, Hongsheng Zhang, Jinghua Zhang, Mingyang Xia, Xiaoqiong Gu, Di Che, Junguk Hur, Xiaoyu Cui, Kai Guo   +16 more
wiley   +1 more source

What is Formal in Formal Semantics?

Dialectica, 2004
Formal semantics is understood either as a formal analysis of semantical features of natural language or as model-theoretic semantics of formal(ized) languages. This paper focuses on the second understanding. The problem is how to identify the formal aspects of formal semantics, if we understand 'formal' as 'independent of content'.
openaire   +1 more source

DeepLNM: A Multimodal Model for Predicting Lymph Node Metastasis in Colorectal Cancer

Advanced Science, EarlyView.
Traditional diagnosis may miss positive LNM cases, and pathologists face a workload; therefore, we develop DeepLNM, a multimodal model that predicts lymph node metastasis in colorectal cancer from H&E WSIs, CT images, and text. DeepLNM is robust across internal, external, and prospective cohorts and, in a user study, improves diagnostic accuracy while ...
Zhengyu Zhang, Chengyu Lu, Zhen Wang, Zhijian Cen, Yangshu Zhou, Danyi Li, Qi Xie, Bingbing Li, Shujing Guo, Zhijun Gan, Er‐ran Zhu, Jinbang Li, Aihetaimu Aimaier, Rui Mao, Weihao Qiu, Chenglong Zhao, Ying Tan, Xiaolin Liu, Huiting Ma, Tiansu Geng, Peiyue Wu, Huijun Du, Yu Wang, Yueping Liu, Li Liang   +24 more
wiley   +1 more source

Disentangling Heterogeneous Molecular Networks for Multi‐Omics‐Driven Cancer Driver Discovery

Advanced Science, EarlyView.
DRIVE integrates PPI topology and pan‐cancer multi‐omics profiles through dual‐view graph disentanglement, contrastive representation learning, and joint optimization. Across six PPI networks, DRIVE outperforms ten baselines and remains robust to structural and annotation perturbations.
Xinjing Gong, Ji Li, Mu Su, Peishen Yu, Te Ma, Ruiyang Zhai, Chenye Zhang, Mengyan Zhang, Yan Zhang   +8 more
wiley   +1 more source