Refinement-based formal verification with heterogeneous timing
XIAOHUA KONG, NEGULESCU, Radu, WEIDONG YING, Larry
Published in International journal on software tools for technology transfer (01.05.2003)
Published in International journal on software tools for technology transfer (01.05.2003)
Get full text
Conference Proceeding
Journal Article
Synergetic Modulation of Steric Hindrance and Excited State for Anti‐Quenching and Fast Spin‐Flip Multi‐Resonance Thermally Activated Delayed Fluorophore
Jin, Jia‐Ming, Liu, Denghui, Chen, Wen‐Cheng, Shi, Chengxiang, Chen, Guowei, Wang, Xiaofeng, Xing, Longjiang, Ying, Weidong, Ji, Shaomin, Huo, Yanping, Su, Shi‐Jian
Published in Angewandte Chemie International Edition (15.04.2024)
Published in Angewandte Chemie International Edition (15.04.2024)
Get full text
Journal Article
Synergetic Modulation of Steric Hindrance and Excited State for Anti‐Quenching and Fast Spin‐Flip Multi‐Resonance Thermally Activated Delayed Fluorophore
Jin, Jia‐Ming, Liu, Denghui, Chen, Wen‐Cheng, Shi, Chengxiang, Chen, Guowei, Wang, Xiaofeng, Xing, Longjiang, Ying, Weidong, Ji, Shaomin, Huo, Yanping, Su, Shi‐Jian
Published in Angewandte Chemie (15.04.2024)
Published in Angewandte Chemie (15.04.2024)
Get full text
Journal Article
Summary of Multi-modal Sentiment Analysis Technology
LIU Jiming, ZHANG Peixiang, LIU Ying, ZHANG Weidong, FANG Jie
Published in Jisuanji kexue yu tansuo (01.06.2021)
Published in Jisuanji kexue yu tansuo (01.06.2021)
Get full text
Journal Article