Search Results - "Wang, Pengming"

The pebbling comonad in Finite Model Theory by Abramsky, Samson, Dawar, Anuj, Pengming Wang

“…Pebble games are a powerful tool in the study of finite model theory, constraint satisfaction and database theory. Monads and comonads are basic notions of…”
Get full text

Advanced Multimodal Sentiment Analysis with Enhanced Contextual Fusion and Robustness (AMSA-ECFR): Symmetry in Feature Integration and Data Alignment by Chen, Qing, Dong, Shenghong, Wang, Pengming

“…Multimodal sentiment analysis, a significant challenge in artificial intelligence, necessitates the integration of various data modalities for accurate human…”
Get full text

Definability of semidefinite programming and lasserre lower bounds for CSPs by Dawar, Anuj, Pengming Wang

“…We show that the ellipsoid method for solving semidefinite programs (SDPs) can be expressed in fixed-point logic with counting (FPC). This generalizes an…”
Get full text

Value of 3.0T MRI T2 mapping combined with SWI for the assessment of early lesions in hemophilic arthropathy by Zhang, Lu, Wei, Shufang, Li, Jiajia, Wang, Pengming, Yinghui, Ge

“…To explore the value of magnetic resonance imaging (MRI) T2 mapping combined with susceptibility-weighted imaging (SWI) in detecting early cartilage damage and…”
Get full text

Abnormal brain functional networks in end‐stage renal disease patients with cognitive impairment by Yue, Zheng, Wang, Pengming, Li, Xuekun, Ren, Jipeng, Wu, Baolin

“…Introduction Cognitive impairment (CI) is common in patients with end‐stage renal disease (ESRD). Neuroimaging studies have demonstrated structural and…”
Get full text

Improved Relief Weight Feature Selection Algorithm Based on Relief and Mutual Information by Wang, Hongbin, Wang, Pengming, Deng, Shengchun, Li, Haoran

“…As the classic feature selection algorithm, the Relief algorithm has the advantages of simple computation and high efficiency, but the algorithm itself is…”
Get full text

Investigation on Computed Tomography Features of Primary Thymic Atypical Carcinoid Tumors by Kan, Xiaojing, Wang, Pengming, Gong, Zhiquan, Gao, Feifei, Zhang, Yuxia, Ge, Yinghui

“…The thymic atypical carcinoid tumors (aTCs) are rare. The computed tomography (CT) features of aTC were poorly studied, and researches under this topic with…”
Get full text

Composition variations of the Sinian-Cambrian sedimentary rocks in Hunan and Guangxi provinces and their tectonic significance by Wang, PengMing, Yu, JinHai, Sun, Tao, Shi, Yu, Chen, PeiRong, Zhao, KuiDong, Chen, WeiFeng, Liu, Qian

“…This paper reports the geochemical and zircon U-Pb dating data of the Sinian to Cambrian low-grade metamorphic rocks in the Miaoer Mountain area, Guangxi…”
Get full text

Mathematical discoveries from program search with large language models by Romera-Paredes, Bernardino, Barekatain, Mohammadamin, Novikov, Alexander, Balog, Matej, Kumar, M. Pawan, Dupont, Emilien, Ruiz, Francisco J. R., Ellenberg, Jordan S., Wang, Pengming, Fawzi, Omar, Kohli, Pushmeet, Fawzi, Alhussein

“…Large language models (LLMs) have demonstrated tremendous capabilities in solving complex tasks, from quantitative reasoning to understanding natural language…”
Get full text

Machine reading comprehension model based on query reconstruction technology and deep learning by Wang, Pengming, Kamruzzaman, M. M., Chen, Qing

“…Machine reading comprehension is introduced to improve machines’ readability and understandability of human languages. This sophisticated version of natural…”
Get full text

From approximate factorization to root isolation with application to cylindrical algebraic decomposition by Mehlhorn, Kurt, Sagraloff, Michael, Wang, Pengming

“…We present an algorithm for isolating all roots of an arbitrary complex polynomial p that also works in the presence of multiple roots provided that (1) the…”
Get full text

Heterogeneous domain adaptation by semantic distribution alignment network by Jin, Weihua, Wang, Pengming, Sun, Bo, Zhang, Lei, Li, Zhidong

“…Domain adaptation leverages the knowledge in the source domain to build a model that is capable of performing effectively in the target domain. Heterogeneous…”
Get full text

A model-driven dual-derivation framework for quantitative fault detection in satellite power system by Wang, Pengming, Liu, Liansheng, Song, Yuchen, Li, Zhidong, Liu, Datong

“…Satellite power system (SPS) fault detection is of great significance to ensure the safety and stability of satellites. On-orbit SPS can divide 11…”
Get full text

Composition variations of the Sinian-Cambrian sedimentary rocks in Hunan and Guangxi and their tectonic significance by WANG PengMing YU JinHai SUN Tao SHI Yu CHEN PeiRong ZHAO KuiDong CHEN WeiFeng LIU Qian

“…This paper reports the geochemical and zircon U-Pb dating data of the Sinian to Cambrian low-grade metamorphic rocks in the Miaoer Mountain area, Guangxi and…”
Get full text

Therapeutic effect of acupuncture and massage for shoulder-hand syndrome in hemiplegia patients: a clinical two-center randomized controlled trial by Li, Ning, Tian, Fengwei, Wang, Chengwei, Yu, Pengming, Zhou, Xi, Wen, Qian, Qiao, Xiulan, Huang, Lu

“…To evaluate the therapeutic effects of acupuncture and massage for shoulder-hand syndrome in hemiplegia patients. One hundred and twenty hemiplegia patients…”
Get more information

Learning a Large Neighborhood Search Algorithm for Mixed Integer Programs by Sonnerat, Nicolas, Wang, Pengming, Ktena, Ira, Bartunov, Sergey, Nair, Vinod

“…Large Neighborhood Search (LNS) is a combinatorial optimization heuristic that starts with an assignment of values for the variables to be optimized, and…”
Get full text

Lasserre Lower Bounds and Definability of Semidefinite Programming by Dawar, Anuj, Wang, Pengming

“…For a large class of optimization problems, namely those that can be expressed as finite-valued constraint satisfaction problems (VCSPs), we establish a…”
Get full text

A Definability Dichotomy for Finite Valued CSPs by Dawar, Anuj, Wang, Pengming

“…Finite valued constraint satisfaction problems are a formalism for describing many natural optimization problems, where constraints on the values that…”
Get full text

The pebbling comonad in finite model theory by Abramsky, Samson, Dawar, Anuj, Wang, Pengming

“…Pebble games are a powerful tool in the study of finite model theory, constraint satisfaction and database theory. Monads and comonads are basic notions of…”
Get full text

Optimizing Memory Mapping Using Deep Reinforcement Learning by Wang, Pengming, Sazanovich, Mikita, Ilbeyi, Berkin, Phothilimthana, Phitchaya Mangpo, Purohit, Manish, Tay, Han Yang, Vũ, Ngân, Wang, Miaosen, Paduraru, Cosmin, Leurent, Edouard, Zhernov, Anton, Huang, Po-Sen, Schrittwieser, Julian, Hubert, Thomas, Tung, Robert, Kurylowicz, Paula, Milan, Kieran, Vinyals, Oriol, Mankowitz, Daniel J

“…Resource scheduling and allocation is a critical component of many high impact systems ranging from congestion control to cloud computing. Finding more optimal…”
Get full text