Search Results - "Zheng, Yunhui"

Synthesis of Oxazoles from Enamides via Phenyliodine Diacetate-Mediated Intramolecular Oxidative Cyclization by Zheng, Yunhui, Li, Xuming, Ren, Chengfeng, Zhang-Negrerie, Daisy, Du, Yunfei, Zhao, Kang

“…A group of functionalized oxazoles were synthesized in moderate to good yields from enamides via phenyliodine diacetate (PIDA)-mediated intramolecular…”
Get full text

Automatic Text Input Generation for Mobile Testing by Peng Liu, Xiangyu Zhang, Pistoia, Marco, Yunhui Zheng, Marques, Manoel, Lingfei Zeng

“…Many designs have been proposed to improve the automated mobile testing. Despite these improvements, providing appropriate text inputs remains a prominent…”
Get full text

A Novel Multi-Dimensional Joint Search Method for the Compression of Medical Image Segmentation Models by Zheng, Yunhui, Wu, Zhiyong, Ji, Fengna, Du, Lei, Yang, Zhenyu

“…Due to the excellent results achieved by transformers in computer vision, more and more scholars have introduced transformers into the field of medical image…”
Get full text

Precise Calling Context Encoding by Sumner, W. N., Yunhui Zheng, Weeratunge, D., Xiangyu Zhang

“…Calling contexts (CCs) are very important for a wide range of applications such as profiling, debugging, and event logging. Most applications perform expensive…”
Get full text

Path sensitive static analysis of web applications for remote code execution vulnerability detection by Yunhui Zheng, Xiangyu Zhang

“…Remote code execution (RCE) attacks are one of the most prominent security threats for web applications. It is a special kind of cross-site-scripting (XSS)…”
Get full text

A novel mesoporous lignin/silica hybrid from rice husk produced by a sol–gel method by Qu, Yuning, Tian, Yumei, Zou, Bo, Zhang, Jian, Zheng, Yunhui, Wang, Lili, Li, Ying, Rong, Chunguang, Wang, Zichen

“…A novel mesoporous lignin/silica hybrid prepared from rice husks at different pH values was produced in situ using the sol–gel process. The optimum conditions…”
Get full text

Statically Checking Web API Requests in JavaScript by Wittern, Erik, Ying, Annie T. T., Yunhui Zheng, Dolby, Julian, Laredo, Jim A.

“…Many JavaScript applications perform HTTP requests to web APIs, relying on the request URL, HTTP method, and request data to be constructed correctly by string…”
Get full text

Synthesis of hydrophobic zinc borate nanoflakes and its effect on flame retardant properties of polyethylene by Li, Shengli, Long, Beihong, Wang, Zichen, Tian, Yumei, Zheng, Yunhui, Zhang, Qian

“…Zinc borate (2ZnO·3B 2O 3·3.5H 2O) has relatively high dehydration on-set temperature which property permits processing in a wide range of polymer system. But…”
Get full text

Experimental Study of the Mechanical Behavior of a Steel Arch Structure Used in the Main Lining of a Highway Tunnel by Li, Changjun, Zhuang, Yizhou, Lu, Yuquan, Zheng, Guoping, Zheng, Yunhui, Li, Wenhao, Xue, Chenbo, Guo, Hongyu, Fang, Yuchao

“…The steel rib and the lattice girder are two typical steel arch frames used in the primary lining of the New Austrian Tunnelling Method (NATM) highway tunnel…”
Get full text

Synthesis and characterization of well-dispersed polyurethane/CaCO3 nanocomposites by Gao, Xiaoyan, Zhou, Bing, Guo, Yupeng, Zhu, Yanchao, Chen, Xue, Zheng, Yunhui, Gao, Wei, Ma, Xiaoyu, Wang, Zichen

Get full text

IntEQ: Recognizing Benign Integer Overflows via Equivalence Checking across Multiple Precisions by Hao Sun, Xiangyu Zhang, Yunhui Zheng, Qingkai Zeng

“…Integer overflow (IO) vulnerabilities can be exploited by attackers to compromise computer systems. In the meantime, IOs can be used intentionally by…”
Get full text

Static detection of resource contention problems in server-side scripts by Yunhui Zheng, Xiangyu Zhang

“…With modern multi-core architectures, web applications are usually configured to serve multiple requests simultaneously by spawning multiple instances. These…”
Get full text

In situ preparation and surface modification of magnesium hydroxide nanoparticles by An, Dongmin, Wang, Lili, Zheng, Yunhui, Guan, Shuang, Gao, Xiaoyan, Tian, Yumei, Zhang, Hongxi, Wang, Zichen, Liu, Yanhua

“…Hydrophobic magnesium hydroxide (Mg(OH) 2) nanoparticles were successfully synthesized via a one-step solution precipitation method with octadecyl dihydrogen…”
Get full text

The lesson learnt during interact - I and INTERACT - II actris measurement campaigns by Rosoldi, Marco, Madonna, Fabio, Pappalardo, Gelsomina, Vande Hey, Joshua, Zheng, Yunhui

“…The INTERACT-II (INTERcomparison of Aerosol and Cloud Tracking) campaign, performed at the CNR-IMAA Atmospheric Observatory (760 m a.s.l., 40.60° N, 15.72° E),…”
Get full text

Effect of Eu3+-doped on the luminescence properties of zinc borate nanoparticles by Zheng, Yunhui, Qu, Yuning, Tian, Yumei, Rong, Chunguang, Wang, Zichen, Li, Shengli, Chen, Xue, Ma, Yuejia

Get full text

Synthesis and performance study of zinc borate nanowhiskers by Zheng, Yunhui, Tian, Yumei, Ma, Honglei, Qu, Yuning, Wang, Zichen, An, Dongmin, Guan, Shuang, Gao, Xiaoyan

“…Zinc borate (4ZnO·B 2O 3·H 2O) nanowhiskers were synthesized via one-step precipitation reaction in aqueous solution of sodium borate (Na 2B 4O 7·10H 2O) and…”
Get full text

Z3str3: A String Solver with Theory-aware Heuristics by Berzish, Murphy, Ganesh, Vijay, Yunhui Zheng

“…We present a new string SMT solver, Z3str3, that is faster than its competitors Z3str2, Norn, CVC4, S3, and S3P over a majority of three industrial-strength…”
Get full text

In situ and one-step synthesis of hydrophobic zinc borate nanoplatelets by Tian, Yumei, He, Yi, Yu, Lianxiang, Deng, Yanhui, Zheng, Yunhui, Sun, Fang, Liu, Zhihui, Wang, Zichen

“…The polycrystalline and hydrophobic zinc borate (Zn 2B 6O 11·3H 2O) nanoplatelets were in situ successfully synthesized via one-step precipitation reaction in…”
Get full text

Nonadaptive Group testing based fiber sensor deployment for multiperson tracking by Yunhui Zheng, Pitsianis, N.P., Brady, D.J.

“…We demonstrate a novel use of nonadaptive group testing in the design and implementation of a fiber sensor floor web for the localization and tracking of…”
Get full text

Synthesis and performance of 1D and 2D copper borate nano/microstructures with different morphologies by Zheng, Yunhui, Wang, Zichen, Tian, Yumei, Qu, Yuning, Li, Shengli, An, Dongmin, Chen, Xue, Guan, Shuang

“…Copper borate particles are synthesized via one-step precipitation reaction in aqueous solution of sodium borate (Na 2B 4O 7 10H 2O) and copper sulfate (CuSO 4…”
Get full text