Reviewerly/exHarmony huggingface dataset:
Generating and validating cluster sampling matrices for model-free factor screening

Authors:
raw_author_name: Wen Shi
raw_affiliation_string: Business School, Central South University, Changsha 410083, China
raw_author_name: Ao Chen
raw_affiliation_string: Business School, Central South University, Changsha 410083, China
raw_author_name: Xiang Xie
raw_affiliation_string: Business School, Central South University, Changsha 410083, China

Abstract: Morris' elementary effect-based screening (MM) has been widely used in a variety of domains to identify a few important factors among many possible ones. In MM, cluster sampling offers substantial computational savings over non-cluster sampling, but it remains a challenge to construct a cluster sampling matrix that generates any particular number of elementary effects for each factor. In this paper, we thoroughly address this issue. We uncover the mathematical association between distinct block sampling matrices within the complete cluster sampling matrix, by introducing a "dummy" sub-block matrix. By leveraging this property, we propose an easy-to-implement adaptive cluster sampling (ACS) method that is capable of identifying the appropriate sub-block sampling matrix to use. Its advantage over existing brute-force methods is that it can provide easy-to-obtain cluster sampling matrices, and it can be applied to computational model with any number of factors given a prior. We demonstrate the attractive properties of ACS using analytical proofs and simulation experiments. We show the robustness of ACS via a real-world case study. Our code for the algorithm is available online.
Self-Learning Modeling in Possibilistic Model Checking

Authors:
raw_author_name: Wuniu Liu
raw_affiliation_string: School of Mathematics and Statistics, Shaanxi Normal University, Xi&#x0027;an, China
raw_author_name: Qing He
raw_affiliation_string: School of Computer Science, Shaanxi Normal University, Xi&#x0027;an, China
raw_author_name: Zhihui Li
raw_affiliation_string: School of Mathematics and Statistics, Shaanxi Normal University, Xi&#x0027;an, China
raw_author_name: Yongming Li
raw_affiliation_string: School of Mathematics and Statistics, Shaanxi Normal University, Xi&#x0027;an, China

Abstract: Generalized possibility Kripke structure (GPKS) plays a key role in modeling fuzzy systems for possibilistic model checking. However, it is unrealistic, in practice, to produce manually a large number of fuzzy states of GPKSs and transition relations over states space. In this article, we develop an online supervised learning algorithm for GPKS to learn its fuzzy states and possibilistic transition matrix. We assume that true fuzzy states of GPKSs are unknown, only available knowledge is the external (sensor's) variables that have ambiguous connections with the states. We connect the sensor's variables to the atomic propositions used to describe the fuzzy states through a family of (Gaussian) fuzzy functions. The first GPKS's learning model is called the GPKS with Fuzzifier Sets (GPKS-FS) that consists of a standard GPKS and a group of fuzzy functions that connect model's states to different sensor variables. The learning algorithm based on stochastic gradient descent is derived to learn all parameters of the (Gaussian) fuzzy functions and all elements of atomic propositions evolution matrix used to explain mechanism of transition between system's states. Based on the evolution matrix, we propose a method of constructing the similarity-based possibilistic transition matrix. This produces the possibilistic transition matrix which is critical for model checking over GPKSs. The learning algorithm do not rely on any subjective information from humans and remove a significant bottleneck for modeling of possibilistic model checking. Computer simulation results showing learning performance.
Privacy-Preserving and Poisoning-Defending Federated Learning in Fog Computing

Authors:
raw_author_name: Shibin Zhang
raw_affiliation_string: School of Cybersecurity, Chengdu University of Information Technology, Chengdu, China
raw_author_name: Yan Chang
raw_affiliation_string: School of Cybersecurity, Chengdu University of Information Technology, Chengdu, China
raw_author_name: Guowen Xu
raw_affiliation_string: School of Computer Science and Engineering, Nanyang Technological University, Jurong West, Singapore
raw_author_name: Hongwei Li
raw_affiliation_string: School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu, China

Abstract: Federated learning (FL) has been widely applied in Internet of Things (IoT). However, two security problems hinder the proliferation of FL in practical IoT, i.e., privacy leakage and poisoning attacks. To address these problems, various approaches have been proposed from different perspectives. Nevertheless, there remain two critical challenges: i) how to establish a unified framework for protecting privacy and defending against poisoning attacks, and ii) how to implement such methods in the flexible computing architecture of fog computing. In this paper, we propose Crossbeam, a comprehensive scheme that provides both defense against poisoning attacks and privacy protection for federated learning in fog computing. Specifically, we construct frameworks to defend against poisoning attacks under both independent and identically distributed (IID) and non-IID settings. Meanwhile, we establish an actively secure framework to protect users’ privacy, building a bridge between privacy protection and poisoning defense. Our Crossbeam allows multiple fog nodes and users to collaboratively achieve the FL training. Besides, it can effectively alleviate the negative impact caused by poisoning attacks, meanwhile, users’ data confidentiality can still be guaranteed, even if multiple active fog nodes collude with each other to infer users’ privacy. Additionally, our scheme is of robustness to participants (fog nodes and users) being off-line during the training process. Moreover, benefited from the superiorities of our hierarchical mechanism and secure framework, our scheme can perform with high efficiency. We present rigorous security proof and extensive performance analysis for our Crossbeam.
Learning Scene-Pedestrian Graph for End-to-End Person Search

Authors:
raw_author_name: Zifan Song
raw_affiliation_string: Department of Computer Science and Technology, Tongji University, Shanghai, China
raw_author_name: Cairong Zhao
raw_affiliation_string: Department of Computer Science and Technology, Tongji University, Shanghai, China
raw_author_name: Guosheng Hu
raw_affiliation_string: Oosto, Belfast, U.K.
raw_author_name: Duoqian Miao
raw_affiliation_string: Department of Computer Science and Technology, Tongji University, Shanghai, China

Abstract: Person search aims to find specific persons from visual scenes, including two subtasks, pedestrian detection, and person reidentification. The dominant fashion in this area is end-to-end networks that focus on analyzing the foreground (i.e., pedestrian) while ignoring the background (i.e., scene) information. However, the scene information often offers useful clues for person search. For example, pedestrians normally appear on the road rather than the top of a tree, and pedestrians appearing at the same location are likely to have similar occlusions. The interplay between the pedestrians and scenes can potentially improve the performance. In this article, a novel scene-pedestrian graph (SPG) is proposed, which can explicitly model the interplay between the pedestrians and scenes. To polish the quality of pedestrian bounding boxes, we pioneer a strategy of using the high-quality pedestrian bounding box to guide the low-quality one in the same scene. In addition, we design a contextual and temporal graph matching algorithm to effectively utilize the contextual and temporal information present in the constructed SPG to improve the performance of pedestrian matching. Benefiting from the robustness on complex scenes, our model achieves promising performance over the state-of-the-art methods on two popular person search benchmarks, CUHK-SYSU and PRW.
Information geometric optimal reconfiguration of pulse-Doppler sensor parameters

Authors:
raw_author_name: Anthony Marshall
raw_affiliation_string: College of Science and Engineering, Flinders University - Tonsley Campus, Clovelly Park, 5042, SA, Australia
raw_author_name: Simon Williams
raw_affiliation_string: Department of Mathematics, University of Melbourne, Parkville, 3010, Vic, Australia
raw_author_name: Murk J. Bottema
raw_affiliation_string: College of Science and Engineering, Flinders University - Tonsley Campus, Clovelly Park, 5042, SA, Australia

Abstract: The objective of this paper is to provide the mathematics needed to develop a new model for continuously adjusting the configuration parameters of a pulse-Doppler sensor so as to optimize information gain. The reconfiguration of the sensor parameters is optimal in the sense that the parameters are updated over time so as to traverse a geodesic over a parameter manifold. The main result is to compute the Fisher information metric for measuring the instantaneous information gained by a sensor regarding the target. In pursuing this goal, a method for evaluating a class of integrals comprising products of shifted sinc functions and derivatives of such functions is presented. Expressions are also found to allow estimates of the number of terms needed to evaluate the infinite series representation of the Fisher metric to within a given tolerance. Finally, steps for computing geodesics in the configuration manifold are provided.
Dynamic Event-Based Model Predictive Control of IT2 T–S Fuzzy System

Authors:
raw_author_name: Bohan Wang
raw_affiliation_string: School of Artificial Intelligence, Tiangong University, Tianjin, China
raw_author_name: Yue Ji
raw_affiliation_string: School of Control Science and Engineering, Tiangong University, Tianjin, China

Abstract: For interval type-2 Takagi-Sugano (IT2 T-S) fuzzy systems, the model predictive control (MPC) synthesis is concerned under an improved dynamic event-triggered mechanism (DETM). The main point is an exponential decay term added in the error part. And then a more compact DETM-MPC algorithm is given for the MPC optimization problem with less data releases and signal updates. Moreover, the recursive feasibility of MPC optimization method is demonstrated and the asymptotic stability of the control system is proved, respectively. Finally, the effectiveness of the proposed method is verified by numerical simulations.
Analyzing Ta-Shma’s Code via the Expander Mixing Lemma

Authors:
raw_author_name: Silas Richelson
raw_affiliation_string: Department of Computer Science and Engineering, University of California, Riverside (UC Riverside), Riverside, CA, USA
raw_author_name: Sourya Roy
raw_affiliation_string: Department of Computer Science and Engineering, University of California, Riverside (UC Riverside), Riverside, CA, USA

Abstract: Random walks in expander graphs and their various derandomizations ( <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">e.g</i> ., replacement=zig-zag product) are invaluable tools from pseudorandomness. Recently, Ta-Shma used <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">s</i> -wide replacement walks in his breakthrough construction of a binary linear code almost matching the Gilbert-Varshamov bound (STOC 2017). Ta-Shma’s original analysis was entirely linear algebraic, and subsequent developments have inherited this viewpoint. In this work, we rederive Ta-Shma’s analysis from a combinatorial point of view using repeated application of the <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">expander mixing lemma</i> . We hope that this alternate perspective will yield a better understanding of Ta-Shma’s construction. As an additional application of our techniques, we give an alternate proof of the <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">expander hitting set lemma</i> .
Adaptive Block-Wise Regularization and Knowledge Distillation for Enhancing Federated Learning

Authors:
raw_author_name: Jianchun Liu
raw_affiliation_string: School of Computer Science and Technology, University of Science and Technology of China, Hefei, China
raw_author_name: Qingmin Zeng
raw_affiliation_string: School of Computer Science and Technology, University of Science and Technology of China, Hefei, China
raw_author_name: Hongli Xu
raw_affiliation_string: School of Computer Science and Technology, University of Science and Technology of China, Hefei, China
raw_author_name: Yang Xu
raw_affiliation_string: School of Computer Science and Technology, University of Science and Technology of China, Hefei, China
raw_author_name: Zhiyuan Wang
raw_affiliation_string: School of Computer Science and Technology, University of Science and Technology of China, Hefei, China
raw_author_name: He Huang
raw_affiliation_string: School of Computer Science and Technology, Soochow University, Suzhou, China

Abstract: Federated Learning (FL) is a distributed model training framework that allows multiple clients to collaborate on training a global model without disclosing their local data in edge computing (EC) environments. However, FL usually faces statistical heterogeneity (e.g., non-IID data) and system heterogeneity (e.g., computing and communication capabilities), resulting in poor model training performance. To deal with the above two challenges, we propose an efficient FL framework, named <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">FedBR</i> , which integrates the idea of block-wise regularization and knowledge distillation (KD) into the pioneering FL algorithm <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">FedAvg</i> , for resource-constrained edge computing. Specifically, we first divide the model into multiple blocks according to the layer order of deep neural network (DNN). The server only sends some consecutive model blocks instead of an entire model to clients for communication efficiency. Then, the clients make use of knowledge distillation to absorb the knowledge of global model blocks to alleviate statistical heterogeneity during local training. We provide a theoretical convergence guarantee for <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">FedBR</i> and show that the convergence bound will decrease as the increasing number of model blocks sent by the server. Besides, since the increasing number of model blocks brings more computing and communication costs, we design a heuristic algorithm (GMBS) to determine the appropriate number of model blocks for clients according to their varied data distributions, computing, and communication capabilities. Extensive experimental results show that <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">FedBR</i> can reduce the bandwidth consumption by about 31%, and achieve an average accuracy improvement of around 5.6% compared with the baselines under heterogeneous settings.
RARSMSDou: Master the Game of DouDiZhu With Deep Reinforcement Learning Algorithms

Authors:
raw_author_name: Tien-Ping Tan
raw_affiliation_string: School of Computer Sciences, Universiti Sains Malaysia, Penang, Malaysia

Abstract: Artificial Intelligence (AI) has seen several breakthroughs in some perfect- and imperfect-information games, such as Go, Texas Hold'em, and StarCraft II. However, the Chinese poker game, DouDiZhu presents new challenges for AI systems to overcome, including infering imperfect information, training with sparse rewards, and handling a large state-action space. This article describes our proposed DouDiZhu AI system, RARSMSDou, based on Deep Reinforcement Learning (DRL) algorithms that combines Proximal Policy Optimization (PPO), Relative Advantage Reward Shaping with Minimum Splits (RARSMS), and Deep Monte-Carlo (DMC) into a self-play framework. In RARSMSDou, we propose RARSMS as a novel intrinsic reward to guide the training for PPO in a sparse reward environment. We treat the imperfect information as observable information and feed it into the critic-network of PPO, and we propose abstract actions to simplify the large-action space (27,472 actions) to a low-dimensional action space (309 actions contain 189 specific actions and 120 abstract actions) which is output by the policy network of PPO. When the policy is an abstract action, DMC (DouZeroX) maps this abstract action to its specific action as a policy for training or execution. We compare the performance of RARSMSDou with its four variants (PPO, PPO+RARSMS, PPO+DMC, DMC (DouZeroX)) and five state-of-the-art DouDiZhu AI programs. The experiment results show that after 30 days of self-play and training, RARSMSDou outperforms its variants and DouZero (with a WP of 0.582 and an ADP of 0.414), which is the best DouDiZhu baseline.
Algorithms for Constructing Balanced Plateaued Functions With Maximal Algebraic Degrees

Authors:
raw_author_name: Jihye Jeong
raw_affiliation_string: Department of Mathematics, Ewha Womans University, Seoul, Seodaemun, South Korea
raw_author_name: Yoonjin Lee
raw_affiliation_string: Department of Mathematics, Ewha Womans University, Seoul, Seodaemun, South Korea

Abstract: It is important to study constructions of plateaued functions with balancedness and high algebraic degrees for preventing cryptographic attacks. Our goal of this paper is to find practical construction methods for producing infinite families of balanced <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">r</i> -plateaued functions with maximal algebraic degrees for every positive integer <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">r</i> . We first present a theoretical framework for secondary constructions of plateaued functions. From this framework, we derive three practical algorithms by controlling initial input vectors. These algorithms produce ( <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">s</i> +1)-plateaued functions from a given bent function and <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">s</i> -plateaued functions in a recursive way for any nonnegative integer <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">s</i> ; therefore, we obtain <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">r</i> -plateaued functions for every <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">r</i> > <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">s</i> . Then we obtain three concrete construction methods of balanced <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">r</i> -plateaued functions with maximal algebraic degrees from the algorithms. For implementation, in the tables, we list up some initial bent (0-plateaued) functions, which guarantee the maximality of algebraic degrees of plateaued functions. Furthermore, we discuss the complexities of the three algorithms, which shows the feasibility of our methods. We emphasize that this is the first time to give constructions of balanced <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">r</i> -plateaued functions with maximal algebraic degrees for every positive integer <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">r</i> as far as we know.
Adaptive Indoor People-Counting System Based on Edge AI Computing

Authors:
raw_author_name: Bor-Shyh Lin
raw_affiliation_string: Institute of Imaging and Biomedical Photonics, National Yang Ming Chiao Tung University, Tainan, Taiwan
raw_author_name: I-Jung Lee
raw_affiliation_string: Department of Computer Science and Information Engineering, National Taipei University, New Taipei City, Taiwan
raw_author_name: Bor-Shing Lin
raw_affiliation_string: Department of Computer Science and Information Engineering, National Taipei University, New Taipei City, Taiwan

Abstract: Since the outbreak of COVID-19 in 2019, people counting in confined spaces has become essential for controlling the flow of people and reducing viral spread. Many people-counting systems use a fisheye lens to achieve a wide viewing range. However, the images captured with a fisheye lens can have different sizes and deformations due to different camera heights, which consequently affects the accuracy of people counting. In this study, a Raspberry Pi 4 development board attached to a fisheye lens was used to construct an edge computing platform for people counting by using artificial intelligence. A modified You Only Look Once (YOLO) model, which has three output layers and a spatial pyramid pooling module, is proposed to recognize people in images captured at various heights. For efficiently running this deep learning model on the proposed edge computing platform, a TensorFlow Lite framework was used to reduce the model size. The final experimental results indicated that the mean average error and mean squared error of the modified tiny version of the YOLO v4 model were 0.249 and 0.292, respectively, and the detection speed of the platform was 2 frames per second. The results indicate that the proposed edge computing platform can efficiently and accurately count the number of people. Because the proposed system uses edge computing, it can effectively solve personal privacy and transmission bandwidth problems.
A Surrogate-Assisted Evolutionary Algorithm for Seeking Multiple Solutions of Expensive Multimodal Optimization Problems

Authors:
raw_author_name: Jing-Yu Ji
raw_affiliation_string: Department of Computing and Decision Sciences, Lingnan University, Hong Kong
raw_author_name: Zusheng Tan
raw_affiliation_string: Department of Computing and Decision Sciences, Lingnan University, Hong Kong
raw_author_name: Sanyou Zeng
raw_affiliation_string: School of Mechanical Engineering and Electronic Information, China University of Geosciences, Wuhan, China
raw_author_name: Eric W. K. See-To
raw_affiliation_string: Department of Computing and Decision Sciences, Lingnan University, Hong Kong
raw_author_name: Man-Leung Wong
raw_affiliation_string: Department of Computing and Decision Sciences, Lingnan University, Hong Kong

Abstract: Surrogate-assisted evolutionary algorithms for expensive optimization problems have gained considerable attention in recent years. In many real-world optimization problems, we may face expensive optimization problems with multiple optimal solutions. Locating multiple optima for such expensive problems is qualitatively challenging. This study proposes a surrogate-assisted differential evolution based on region decomposition to seek multiple optima for expensive multimodal optimization problems. In this study, we have designed three major components: 1) the adaptive region decomposition, 2) the multilayer perceptron-based global surrogate, and 3) the self-adaptive gradient descent-based local search. First, the improved adaptive region decomposition detects promising subregions at the beginning phase, and continuously discards inferior subregions successively. Second, the multilayer perceptron-based surrogate and self-adaptive gradient-based mutation work in a collaborative manner on distinct sub-populations to seek multiple optimal solutions. Overall, an attempt has been made to solve expensive multimodal optimization problems. Systematic experiments on 20 test functions show the encouraging and promising performance of our proposed approach.