Search Results - "Songlin Jia"

A study of urban pollution and haze clouds over northern China during the dusty season based on satellite and surface observations by Tao, Minghui, Chen, Liangfu, Wang, Zifeng, Ma, Pengfei, Tao, Jinhua, Jia, Songlin

“…This paper presents a multi-scale study on formation process of urban pollution and haze clouds as well as their interactions over northern China in spring…”
Get full text

Experimental Research of Axial Compression Bearing Capacity on RC Columns Strengthened with Angle Steel and Self-Compacting Concrete by Hu, Qiang, Jia, Songlin, Wu, Huiqin, Wang, Tongkuai

“…An improved reinforced method used for concrete columns strengthened with angle steel and self-compacting concrete is proposed. Static loading experiments for…”
Get full text

Exploiting polarization to resist phase noise for digital self-interference cancellation in full-duplex by Fangfang Liu, Songlin Jia, Caili Guo, Chunyan Feng

“…Phase noise caused by the unideal local oscillators limits the self-interference cancellation performance severely in full-duplex systems. In this paper, a…”
Get full text

Behavioral Modeling and Digital Predistortion for Power Amplifier Based on the Sparse Smooth Twin Support Vector Regression Method by Xu, Changzhi, Su, Min, Jia, Songlin, Wang, Xiaoyu, Ning, Jinzhi, Li, Mingyu

“…In this paper, a sparse smooth twin support vector regression (Sparse‐STSVR) model for power amplifier (PA) behavioral modeling is obtained by pruning the…”
Get full text

Compiling Parallel Symbolic Execution with Continuations by Wei, Guannan, Jia, Songlin, Gao, Ruiqi, Deng, Haotian, Tan, Shangyin, Bracevac, Oliver, Rompf, Tiark

“…Symbolic execution is a powerful program analysis and testing technique. Symbolic execution engines are usually implemented as interpreters, and the induced…”
Get full text

Synergetic Use of MODIS Cloud Parameters for Distinguishing High Aerosol Loadings From Clouds Over the North China Plain by Shang, Huazhe, Chen, Liangfu, Tao, Jinhua, Su, Lin, Jia, Songlin

“…The Moderate Resolution Imaging Spectroradiometer (MODIS) standard cloud product is prone to misidentifying areas that are heavily polluted with aerosols as…”
Get full text

Annotating, Tracking, and Protecting Cryptographic Secrets with CryptoMPK by Jin, Xuancheng, Xiao, Xuangan, Jia, Songlin, Gao, Wang, Gu, Dawu, Zhang, Hang, Ma, Siqi, Qian, Zhiyun, Li, Juanru

“…Protecting confidential data against memory disclosure attacks is crucial to many critical applications, especially those involve cryptographic operations…”
Get full text

The effect of cloud optical thickness, ground surface albedo and above-cloud absorbing dust layer on the cloudbow structure by Huazhe Shang, Liangfu Chen, Husi Letu, Shenshen Li, Songlin Jia, Yang Wang

“…The cloudbow structure is directly related to the retrieval of cloud droplet size distribution (droplet effective radius and effective variance). This study…”
Get full text

P‐10.2: The Fabrication and Characterization of Stretchable Metal Wires by Zhai, Feng, Gu, Yang, Hu, Fei, Wang, Tao, Li, Xuna, Jia, Songlin, Li, Yalong, Wang, Chenggong

“…In recent years, flexible display becomes a research hotspot for its applications in foldable or rollable devices. However, these flexible displays are still…”
Get full text

Characterization of circulating tumor cells in newly diagnosed breast cancer by Xu, Lu, Jia, Songlin, Li, Hengyu, Yu, Yue, Liu, Guoping, Wu, Yanmei, Liu, Xishui, Liu, Chaoqian, Zhou, Yue, Zhang, Zhenzhen, Sheng, Yuan

“…Identification of circulating tumor cells (CTCs) by surface marker expression and ploidy analysis [immunostaining-fluorescence hybridization (iFISH)] has been…”
Get full text

Inorganic nitrate alleviates the senescence-related decline in liver function by Wang, Haifeng, Hu, Lei, Li, Le, Wu, Xiaoshan, Fan, Zhipeng, Zhang, Chunmei, Wang, Jinsong, Jia, Jidong, Wang, Songlin

“…Senescence-related decline in liver function is a common complication in the elderly that can lead to impaired health in older individuals.Dietary nitrate…”
Get full text

Experimental study of CFRP strengthening single axisymmetric steel beam on mechanical behavior by Songlin Jia, Qiang Hu, Jun Zhang, Kan Kang

“…Strengthening RC structures with CFRP sheets or plates is now a hot issue, but the cases of strengthening steel structures with CFRP are still rare especially…”
Get full text

Avoid Arguments and Escape with Your Self: Expressive Subtyping and Decidable Bidirectional Checking for Reachability Types by Jia, Songlin, Wei, Guannan, He, Siyuan, Bao, Yuyan, Rompf, Tiark

“…Despite Rust's success in systems programming, its ``shared XOR mutable'' principle significantly restricts how mutable values can be used, precluding many…”
Get full text

Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs by Wei, Guannan, Bračevac, Oliver, Jia, Songlin, Bao, Yuyan, Rompf, Tiark

“…Reachability types are a recent proposal that has shown promise in scaling to higher-order but monomorphic settings, tracking aliasing and separation on top of…”
Get full text

Graph IRs for Impure Higher-Order Languages (Technical Report) by Bračevac, Oliver, Wei, Guannan, Jia, Songlin, Abeysinghe, Supun, Jiang, Yuxuan, Bao, Yuyan, Rompf, Tiark

“…This is a companion report for the OOPSLA 2023 paper of the same title, presenting a detailed end-to-end account of the $\lambda^*_{\mathsf{G}}$ graph IR, at a…”
Get full text

Direct observation of metastable face-centered cubic Sb2Te3 crystal by Zheng, Yonghui, Xia, Mengjiao, Cheng, Yan, Rao, Feng, Ding, Keyuan, Liu, Weili, Jia, Yu, Song, Zhitang, Feng, Songlin

“…Although phase change memory technology has developed drastically in the past two decades, the cognition of the key switching materials still ignores an…”
Get full text