Daoyun Xu - RankMe

36 papers C 2Misc 1Journal 28Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	DiagX-DT: diagnostic exclusion reasoning with dialectical thinking for traditional Chinese medicine in large language models. J. King Saud Univ. Comput. Inf. Sci. Guoxia Nie, Yulin Zhou, Daoyun Xu, Yongbin Qin
2025	J	`jnl`	Generate universal adversarial perturbations by shortest-distance soft maximum direction attack. Comput. Secur. Dengbo Liu, Zhi Li, Daoyun Xu
2024	J	`jnl`	Exact satisfiability and phase transition analysis of the regular (k, d)-CNF formula. Frontiers Comput. Sci. Guoxia Nie, Daoyun Xu, Xi Wang, Zaijun Zhang
2024	J	`jnl`	On the upper bounds of (1,0)-super solutions for the regular balanced random (k,2s)-SAT problem. Frontiers Comput. Sci. Yongping Wang, Daoyun Xu, Jincheng Zhou
2022	J	`jnl`	Satisfiability threshold of the random regular (s, c, k)-SAT problem. Frontiers Comput. Sci. Xiaoling Mo, Daoyun Xu, Kai Yan, Zaijun Zhang
2021	J	`jnl`	A Logarithmic Function-Based Novel Representation Algorithm for Image Classification. Traitement du Signal Haiyue Zhang, Daoyun Xu, Yongbin Qin
2021	J	`jnl`	A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form. Entropy Zaijun Zhang, Daoyun Xu, Jincheng Zhou
2021	J	`jnl`	An algorithm for solving satisfiability problem based on the structural information of formulas. Frontiers Comput. Sci. Zaijun Zhang, Daoyun Xu, Jincheng Zhou
2021	J	`jnl`	The Phase Transition Analysis for Random Regular Exact (s, c, k) - SAT Problem. IEEE Access Xiaoling Mo, Daoyun Xu, Xi Wang
2021	J	`jnl`	The Phase Transition Analysis for the Random Regular Exact 2-(d, k)-SAT Problem. Symmetry Guoxia Nie, Daoyun Xu, Xiaofeng Wang, Xi Wang
2020	J	`jnl`	(1, 0)-Super Solutions of (k, s)-CNF Formula. Entropy Zufeng Fu, Daoyun Xu, Yongping Wang
2020	J	`jnl`	Properties of the satisfiability threshold of the strictly d-regular random (3, 2s)-SAT problem. Frontiers Comput. Sci. Yongping Wang, Daoyun Xu
2020	J	`jnl`	The Convergence of a Cooperation Markov Decision Process System. Entropy Xiaoling Mo, Daoyun Xu, Zufeng Fu
2020	J	`jnl`	Uniquely Satisfiable d-Regular (k, s)-SAT Instances. Entropy Zufeng Fu, Daoyun Xu
2020	J	`jnl`	Weighted Image Averaging Based Anisotropic Diffusion Denoising Method for Ultrasound Thyroid Image. J. Medical Imaging Health Informatics Haiyue Zhang, Daoyun Xu, Yongbin Qin
2018	J	`jnl`	Exploiting context for people detection in crowded scenes. J. Electronic Imaging Zufeng Fu, Daoyun Xu
2018	J	`jnl`	用于求解正则(3, 4)-SAT实例集的修正警示传播算法 (Modified Warning Propagation Algorithm for Solving Regular (3, 4)-SAT Instance Sets). 计算机科学 Guangwei She, Daoyun Xu
2017	—	`conf`	Degree Correlations in Two Layer Growth Model with Nonlinear Preferential Attachment Rule. NCTCS Youjun Lu, Daoyun Xu, Jincheng Zhou
2017	J	`jnl`	On-Line Load Balancing with Task Buffer. Comput. Informatics Jiayin Wei, Daoyun Xu, Yongbin Qin, Ruizhang Huang
2016	J	`jnl`	Background modeling methods in video analysis: A review and comparative evaluation. CAAI Trans. Intell. Technol. Yong Xu, Jixiang Dong, Bob Zhang, Daoyun Xu
2016	J	`jnl`	正则3-SAT问题的相变现象 (Phase Transition Phenomenon of Regular 3-SAT Problem). 计算机科学 Mingming Zhang, Daoyun Xu
2015	—	`conf`	A heuristic algorithm for solving the problem of load balancing. ICACI Jiayin Wei, Daoyun Xu, Yongbin Qin, Jincheng Zhou
2015	J	`jnl`	一种求解置换Flow Shop调度问题的DRPFSP算法 (DRPFSP Algorithm for Solving Permutation Flow Shop Scheduling Problem). 计算机科学 Jiayin Wei, Yongbin Qin, Daoyun Xu
2013	J	`jnl`	Piecewise Convex Technique for the Stability Analysis of Delayed Neural Network. J. Appl. Math. Zixin Liu, Jian Yu, Daoyun Xu, Dingtao Peng
2013	J	`jnl`	Stable analysis for neural networks: Set-valued mapping method. Appl. Math. Comput. Zixin Liu, Jian Yu, Daoyun Xu, Dingtao Peng
2013	J	`jnl`	Triple-integral method for the stability analysis of delayed neural networks. Neurocomputing Zixin Liu, Jian Yu, Daoyun Xu, Dingtao Peng
2013	J	`jnl`	Vector Wirtinger-type inequality and the stability analysis of delayed neural network. Commun. Nonlinear Sci. Numer. Simul. Zixin Liu, Jian Yu, Daoyun Xu
2011	—	`conf`	Modeling of Potential Customers Identification Based on Correlation Analysis and Decision Tree. ISNN (3) Kai Peng, Daoyun Xu
2009	—	`conf`	Maximum Renamable Horn and Maximum Independent Sets. CSIE (1) Yongbin Qin, Daoyun Xu
2008	—	`conf`	Hardness of Approximation Algorithms on k-SAT and (k, s)-SAT Problems. ICYCS Tianyan Deng, Daoyun Xu
2008	Misc	`conf`	NP-Completeness of (k-SAT, r-UNk-SAT) and (LSAT>=k, r-UNLSAT>=k). FAW Tianyan Deng, Daoyun Xu
2007	C	`conf`	The Existence of Unsatisfiable Formulas in TAMC Qingshun Zhang, Daoyun Xu
2006	C	`conf`	A New Lower Bound of Critical Function for (k, s)-SAT. TAMC Ping Gong, Daoyun Xu
2005	J	`jnl`	Complexities of Homomorphism and Isomorphism for Definite Logic Programs. J. Comput. Sci. Technol. Daoyun Xu, Zhi-Hong Tao
2005	J	`jnl`	The complexity of homomorphisms and renamings for minimal unsatisfiable formulas. Ann. Math. Artif. Intell. Hans Kleine Büning, Daoyun Xu
2003	J	`jnl`	Characterization of an Auto-Compatible Default Theory. J. Comput. Sci. Technol. Daoyun Xu, Decheng Ding, Mingyi Zhang