Digital Commons Network^™

Feddot: Defending Federated Learning Against Overwhelming Targeted Attacks, Priyesh Ranjan, Ashish Gupta, Federico Coro, Sajal K. Das

Computer Science Faculty Research & Creative Works

Federated Learning (FL), which facilitates collaborative model training and protects users' privacy, has drawn great interest from the research community. With FL, participants train their models on local data and submit the corresponding updates for aggregation to a server. While concealing the identities of the participants, FL may attract adversaries in order to hamper the underlying model. In this paper, we propose an FL framework, FedDOT, to defend against adversaries performing targeted attacks. FedDOT incorporates two powerful defense algorithms, Maximum Spanning Tree based attacker detection (MSTAD) and Densest graph-based attacker detection (Density-AD), which leverage correlation between weight updates and graph …

Dynamic Hub-Aware Knowledge Distillation For Efficient Traffic Flow Forecasting, Xiangjie Kong, Can Shu, Wenchao Weng, Zhenzhen Zhao, Guojiang Shen, Lei Wang, Sajal K. Das

Computer Science Faculty Research & Creative Works

Real-time traffic forecasting acts as a critical enabling service for IoT-driven Intelligent Transportation Systems (ITS). While existing Spatiotemporal Graph Neural Networks (STGNNs) achieve superior forecasting accuracy, their intensive computational complexity and high latency create a deployment bottleneck for resource-constrained IoT edge devices. To address this resource-accuracy mismatch, we propose a novel framework termed Dynamic Hub-Aware Knowledge Distillation (DHKD). Unlike traditional uniform distillation paradigms, DHKD introduces a topology-aware strategy to transfer knowledge from a complex teacher to a lightweight Spatiotemporal Multi-Layer Perceptron (STMLP) student model. Specifically, we design a dynamic hub-aware gating (DHAG) mechanism that adaptively identifies time-varying pivotal sensing nodes …

Dcmm-Transformer: Degree-Corrected Mixed-Membership Attention For Medical Imaging, Huimin Cheng, Xiaowei Yu, Shushan Wu, Luyang Fang, Chao Cao, Jing Zhang, Tianming Liu, Dajiang Zhu, Wenxuan Zhong, Ping Ma

Computer Science Faculty Research & Creative Works

Medical images exhibit latent anatomical groupings, such as organs, tissues, and pathological regions, that standard Vision Transformers (ViTs) fail to exploit. While recent work like SBM-Transformer attempts to incorporate such structures through stochastic binary masking, they suffer from non-differentiability, training instability, and the inability to model complex community structure. We present DCMM-Transformer, a novel ViT architecture for medical image analysis that incorporates a Degree-Corrected Mixed-Membership (DCMM) model as an additive bias in self-attention. Unlike prior approaches that rely on multiplicative masking and binary sampling, our method introduces community structure and degree heterogeneity in a fully differentiable and interpretable manner. Comprehensive …

Explaining The Unseen: Multimodal Vision-Language Reasoning For Situational Awareness In Underground Mining Disasters, Mizanur Rahman Jewel, Mohamed Elmahallawy, Sanjay Kumar Madria, Samuel Frimpong

Computer Science Faculty Research & Creative Works

Underground mining disasters produce pervasive darkness, dust, and collapses that obscure vision and make situational awareness difficult for humans and conventional systems. To address this, we propose MDSE, Multimodal Disaster Situation Explainer, a novel vision-language framework that automatically generates detailed textual explanations of post-disaster underground scenes. MDSE has three-fold innovations: (i) Context-Aware Cross-Attention for robust alignment of visual and textual features even under severe degradation; (ii) Segmentation-aware dual pathway visual encoding that fuses global and region-specific embeddings; and (iii) Resource-Efficient Transformer-Based Language Model for expressive caption generation with minimal compute cost. To support this task, we present the Underground Mine …

Escher: Efficient And Scalable Hypergraph Evolution Representation With Application To Triad Counting, S. M. Shovan, Arindam Khanda, Sanjukta Bhowmick, Sajal K. Das

Computer Science Faculty Research & Creative Works

Higher-order interactions beyond pairwise relationships in large complex networks are often modeled as hypergraphs. Analyzing hypergraph properties such as triad counts is essential, as hypergraphs can reveal intricate group interaction patterns that conventional graphs fail to capture. In realworld scenarios, these networks are often large and dynamic, introducing significant computational challenges. Due to the absence of specialized software packages and data structures, the analysis of large dynamic hypergraphs remains largely unexplored. Motivated by this gap, we propose ESCHER, a GPU-centric parallel data structure for Efficient and Scalable Hypergraph Evolution Representation, designed to manage largescale hypergraph dynamics efficiently. We also design …

Digital Twin Freshness Maximization In Edge Computing, Jing Li, Jianping Wang, Weifa Liang, Quan Chen, Sajal K. Das, Xiaohua Jia

Computer Science Faculty Research & Creative Works

Mobile Edge Computing (MEC) shifts powerful computing resource provisioning from remote powerful data centers to the edge of core networks. Meanwhile, Digital Twin (DT) has surfaced as a promising technology to provide comprehensive and dynamic descriptions of physical objects in cyberspace with bidirectional and real-time interactions. Moreover, Internet of Things (IoT) devices have contributed abundant, heterogeneous and continuous data from interconnected devices to the explosion of DTs. With technologies evolution, there is an increasing necessity to address the freshness of both DT states and DT data, through timely synchronizations between DTs and their objects in a highly dynamic IoT environment. …

A New Parallel-In-Time Direct Inverse Method For Nonlinear Differential Equations, Nail K. Yamaleev, Subhash Paudel

Mathematics & Statistics Faculty Publications

We propose a new method for parallelization of the first-order backward difference discretization (BDF1) of the first-order time derivative in nonlinear partial differential equations, such as conservation law equations. The time derivative term is discretized by using the method of lines based on the implicit BDF1 scheme, while the inviscid and viscous terms are approximated by conventional 2nd-order central discretizations of the 1st- and 2nd-order derivatives in each spatial direction. The global system of nonlinear discrete equations in the space-time domain is solved by the Newton method for all time levels simultaneously. For the BDF1 discretization, this all-at-once system at …

Making Unsafe Sequences Unexecutable: Formal Protocol Enforcement For Cyber-Physical Systems, Arthur Amorim

Graduate Studies Theses and Dissertations 2026

Cyber-physical systems execute physical actions in response to software commands, making their communication protocols a primary attack surface. A stealthy attack is a sequence of individually valid messages that violates a required ordering, driving the system into an unsafe state without malware or protocol violation. Existing defenses examine messages or physical state in isolation, not protocol level sequences, and cannot prevent them. Preventing them requires enforcement that makes unsafe sequences unexecutable at the communication boundary.

Formal methods offer a principled path to enforcement, but no tool spans specification to safe deployed hardware. Model checking automates proofs but has no certified …

Visual Cues Of Human-Likeness, Not Salience, Impact Trust-Related Human-Computer Interaction, Jordan Schotz

Graduate Studies Theses and Dissertations 2026

As interactions with digital agents become increasingly integrated into daily life, understanding how visual representations influence social decision-making is critical. Previous research in human-computer interaction has frequently confounded the psychological effects of an agent's perceived human-likeness with the underlying visual salience of the stimuli. To address these persistent gaps, the present study systematically isolated the effects of human-likeness and visual cue trustworthiness on trust behavior while controlling for objective image properties. The present study expanded on and normed the Virtual Avatar Facial Stimuli Set (VAFSS), a comprehensive database comprising hundreds of identity-matched photographs and computer-generated avatars varying across a spectrum …

Deceptive Design And Disability: How Dark Patterns Affect Users With Visual Impairments, Konstantin Metz

Graduate Studies Theses and Dissertations 2026

Dark patterns are deceptive interface designs that steer users toward unintended actions, often at financial or privacy cost. This thesis examines how those that are vision impaired are at greater risk of these dark patterns given their visual acuity deficit. We conducted semi structured interviews with nine participants across common contexts including e-commerce checkout, subscription and cancellation flows, software download pages, and mobile permission prompts. The data show recurring exposure to dark patterns such as hidden or de-emphasized fees, pre-selected add-ons, deceptive advertising and fake download buttons along with unequal consent paths, repeated permission nagging, and cancellation friction. Participants reported …

Optimized Hybrid Beamforming For Ris-Assisted Multi-User Mimo In 6g Mmwave Networks: A Low-Complexity Approach To Spectral Efficiency And Interference Mitigation, Safiya Nasser Al-Jaradi, Mohammad Kamrul Hasan, Nabeel Al-Qirim, Shayla Islam, Thippa Reddy Gadekallu, Hana Mujlid, Hashim Elshafie, Rashid A. Saeed

All Works

The joint optimization of hybrid beamforming and reconfigurable intelligent surface (RIS) phase shifts in multi-user millimeter-wave (mmWave) MIMO systems is a challenging problem, mainly due to high computational complexity and the lack of adaptive interference management. Existing approaches typically rely on fixed Zero-Forcing (ZF) or Maximum-Ratio Transmission (MRT) designs or require iterative optimization with high overhead, limiting their practical use in dense 6G environments. To overcome these challenges, this research proposes a RIS-Aided Adaptive Zero-Forcing and Maximum-Ratio Transmission Hybrid Precoding (RA-ZMHP) framework for 6G mmWave multi-user MIMO systems. The main novelty of the method lies in an adaptive ZF–MRT mixing …

Integrative Machine Learning Of Genetic And Lifestyle Factors For Personalized Skin Health, Yassine Benachour, Lina Maloukh, Barbara Geusens

All Works

Objective: To develop an AI framework that combines genetic, phenotypic, and lifestyle data for profiling skin-health patterns and generating hypothesis-supporting summaries for potential decision support. Methods and procedures: A dataset of 5,254 individuals integrates six genes (FLG, AQP3, MMP-1, MMP-3, SOD2, GPX), six phenotype severities, and 20+ lifestyle factors. Mutation burden and interactions are tested by ANOVA. K-modes clustering identifies four interpretable dermatological profiles within the cohort and is embedded in leakage-free nested cross-validation (train-only selection; test labels from training centroids). Subtypes are predicted from genetics plus lifestyle using an XGBoost (XGB) classifier; explainability uses gain, permutation importance, and SHAP …

Empirically Evaluating The Accessibility Of A Pon-Enable Feature Diagrams Notation By The Red-Green Colorblind Community, Mohamed El-Attar, Sarah Kohail, Rima Grati

All Works

In 2016, an enhanced version of a feature diagram notation developed using the Physics of Notations (PoN) framework was introduced. Empirical evidence demonstrated that this revised notation was more cognitively effective than the original. However, the new notation relies on color, specifically red, which poses accessibility challenges for individuals with red–green color vision deficiency, as they cannot perceive the notation as originally intended. Consequently, the cognitive effectiveness of a red–green–deficient (RGD) version of the new notation relative to the original notation remained unknown. Although the PoN framework specifies several principles that may be satisfied with or without the use of …

Mapping Multiclass-Targeted Hate Speech In Online Discourse: An Open Dataset, Sanaa Kaddoura, Sumaia Al-Kohlani

All Works

Online social networks have become central spaces for public discourse, where hostile and discriminatory language toward social groups can cause psychological and social consequences for marginalized communities. Although multiple public hate speech datasets are available, many rely on binary categorization practices that obscure linguistic, cultural, and contextual variation across targeted groups. As a result, minority and less visible forms of hate speech remain insufficiently documented and analyzed. This discussion paper examines methodological limitations in existing hate speech annotation schemes and presents a re-annotation framework applied to the HatEval2019 dataset. The proposed framework introduces target-specific multiclass labels that distinguish subcategories of …

Exploring The Potential Of Renewable Energy For Sustainable Mobility: A Simulation- Based Study Of Hydrogen Vehicle Penetration In Oman’S Road Network, Siham Farrag, Tarek R. Sheltami, Fatma Outay, Ansar Ul Haque Yasar

All Works

Hydrogen fuel is gaining attention as a promising zero-emission energy source, aligning with global sustainability goals and supporting the transition to zero carbon emissions. This study examines the potential of using hydrogen as an alternative fuel for sustainable mobility in Muscat, Oman. We developed an integrated modelling framework that combines microscopic traffic simulation, energy demand modeling, refueling infrastructure station’ estimation, and well-to-wheel (WTW) emissions evaluation. A microscopic simulation software (SUMO) was applied to evaluate the penetration rate of hydrogen-powered vehicles (0%, 20%, 40%, 60%) with different hydrogen production pathways. Results indicate that with a 60% penetration of green hydrogen, total …

Energy-Efficient Mixed-Criticality Multicore Systems, Fayyaz Ali, Saud Wasly, Amjad Ali, Shahid Iqbal, Asad Masood Khattak, Bashir Hayat, Shah Khalid

All Works

Balancing energy efficiency with stringent timing guarantees in real-time mixed-criticality systems (MCS) is a key challenge, especially in multicore architectures. This paper introduces a novel energy-aware scheduling framework that integrates dynamic voltage and frequency scaling (DVFS) with a Decreasing-Criticality-Decreasing-Utilization (DCDU) allocation approach. The optimal operating frequencies are obtained at each criticality level; high-criticality tasks are assigned to cores at full operating frequency to maintain timing guarantees, while low-criticality tasks are allocated using worst-case execution times scaled to their optimal frequency. A fixed-priority response-time analysis is used for schedulability in low mode, high mode, and during mode changes. The extensive simulations …

Machine Learning For Wearable Sensor-Based Human Movement Rehabilitation: A Five-Year Systematic Review, Yassine Benachour, Farid Flitti, Lina Maloukh, Aicha Beya Far, Elhocine Boutellaa, Mohamed Bentoumi, Marwa Chendeb El Rai, Nour Aburaed, Khaled Ali, Moez Rehman, Sultan Mosleh, Rania Dghaim, Sadok Bouamama

All Works

Wearable-sensor-based human movement analysis is an increasingly important component of digital health and rehabilitation, enabling objective monitoring and data-driven personalization of therapy. In parallel, machine learning (ML) methods have rapidly expanded for interpreting multimodal movement signals, yet the evidence base remains heterogeneous and difficult to benchmark. This PRISMA-guided systematic review synthesizes recent ML approaches for wearable human motion analysis in rehabilitation-oriented health applications. We searched IEEE Xplore, PubMed, and Scopus for English-language studies published from 2021 to 2025 and extracted information on sensor modalities, ML task formulations and model families, dataset characteristics, validation protocols, and reported performance metrics, together with …

Edge-Aware Ris-Assisted Dynamic Channel Allocation With Lightweight Llm Decision Agent For Interference Mitigation In Low-Altitude Remote Sensing Networks, Safiya Nasser Al-Jaradi, Mohammad Kamrul Hasan, Nabeel Al-Qirim, Shayla Islam, Muhammad Attique Khan, Rashid A. Saeed, Hashim Elshafie, Bishwajeet Kumar Pandey, Khairul Akram Zainol Ariffin

All Works

Low-altitude remote sensing networks are increasingly important for applications, such as environmental monitoring, disaster response, infrastructure inspection, and real-time sensing services. However, when many sensing nodes share limited spectrum resources, severe cochannel interference can degrade communication reliability and delay sensing-data delivery. This challenge becomes more critical in edge-enabled deployments, where control decisions must be made under strict latency, memory, and computational constraints. To address this issue, this article proposes a large language model (LLM)-enhanced edge-aware lightweight reconfigurable intelligent surface (RIS)-assisted dynamic channel allocation (EL-RIS-DCA) framework for interference mitigation in dense low-altitude remote sensing networks. The novelty of the proposed framework …

Lightweight Tinyml-Enhanced Task Offloading In Vanets For Next-Generation Intelligent Transportation Systems, Muhammad Ali, Tariq Qayyum, Asadullah Tariq, Zouheir Trabelsi, Irfan Ud Din, Shabir Ahmed

All Works

Vehicular Ad Hoc Networks (VANETs) face resource constraints, high node mobility, and stringent latency requirements, especially in safety-critical applications such as collision avoidance, path planning, and emergency braking. Task offloading to nearby vehicles or Roadside Units (RSUs) mitigates local computational limits, but dynamic conditions, unreliable nodes, and rapid topology changes complicate dependable node selection. This paper proposes a Tiny Machine Learning (TinyML)-enhanced, credibility-based task offloading framework for real-time decision-making in vehicular networks. RSUs evaluate vehicle reliability through a three-component Credibility Assessment Module: a Task Assignment Component that distributes lightweight test tasks and filters unreliable nodes via TinyML inference; a Verification …

Rumooz Aljareemah: An Intelligent Search System For Uae Criminal Law With Case Correlation Framework For Forensic Investigators, Rahaf Alnuaimi, Maryam Almarzooqi

All Works

Digital forensic investigations in the UAE encounter dual challenges: effectively correlating data across cases and complying with local legal frameworks. Conventional methods create information silos that hide connections between instances and increase the probability of procedural errors. This paper presents RUMOOZ ALJAREEMAH, a prototype platform for case correlation designed for cybersecurity experts and forensic investigators in the UAE. The approach integrates a correlation engine with a UAE-specific legal compliance framework, using authentication protocols, bilingual assistance, and text-based search algorithms. Our theoretical framework suggests enhancements in investigative efficiency, including reduced case resolution durations, improved identification of cross-case relationships, and a decrease …

Leveraging Quantum Storage Mechanism For Digital Forensic Readiness Towards Smart City Security, Bashaer Aljeneibi, Richard Ikuesan

All Works

The increasing digitization of urban infrastructure has introduced advanced efficiency and connectivity in smart cities while exposing them to sophisticated cybersecurity threats. This study explores how Quantum Storage Mechanisms (QSM) can be integrated with digital forensic readiness systems to enhance smart city security and incident response. Through a simulated environment, the research evaluates the effectiveness of QSM against three critical cyberattack scenarios: Distributed Denial of Service (DDoS), sensor spoofing, and supply chain firmware attacks. The findings reveal that QSM-enabled systems outperform traditional cybersecurity tools by ensuring tamper-proof evidence collection, real-time threat detection, and secure long-term data retention. The study also …

Gui Test Migration Via Abstraction And Concretization, Yakun Zhang, Chen Liu, Xiaofei Xie, Yun Lin, Jin Song Dong, Dan Hao, Lu Zhang

Research Collection School Of Computing and Information Systems

GUI test migration aims to produce test cases with events and assertions to test specific functionalities of a target app. Existing migration approaches typically focus on the widget-mapping paradigm that maps widgets from source apps to target apps. However, since different apps may implement the same functionality in different ways, direct mapping may result in incomplete or buggy test cases, thus significantly impacting the effectiveness of testing the target functionality and the practical applicability of migration approaches.In this article, we propose a new migration paradigm (i.e., the abstraction-concretization paradigm) that first abstracts the test logic for the target functionality and …

Ocular Surface Disease Following Lasik And Cataract Surgery: A Review Of Their Interrelated Complications, Matthew D. Spangler, Nila Kirupaharan, John D. Sheppard

Department of Ophthalmology Faculty Publications

Background: Ocular surface disease is a multifactorial condition that is very commonly caused by dry eye disease (DED). Ophthalmic procedures intended to improve visual outcomes, laser-assisted in situ keratomileusis (LASIK) and cataract surgery, can paradoxically cause or exacerbate underlying ocular surface disease. This results in worsening vision and quality of life.

Areas covered: This review examines the pathophysiological mechanisms contributing to ocular surface disease development following LASIK and cataract surgery. Both procedures are associated with the transection of corneal nerves, leading to decreased tear production, surface instability, altered neurotrophin production, and impairment of the blink reflex. Furthermore, these incisional procedures …

Adaptive Boundary-Aware Fact-Checker Placement For Misinformation Suppression In Social Networks, Mostafa Taghizade Firouzjaee, Ghazal Naderi, Ross Gore, Neda Moghim

School of Cybersecurity Faculty Publications

The spread of fake news on online social networks is driven by imitation-based user behavior and network topology, often leading to persistent misinformation clusters and echo chambers. In this study, we develop a spatial evolutionary game-theoretic framework in which agents update their latent opinions through payoff-biased imitation, while external fact-checkers act as non-imitative intervention nodes. Building on this formulation, we propose an adaptive, boundary-aware intervention mechanism that dynamically regulates both the density and spatial allocation of fact-checkers according to real-time system conditions. Competing information clusters are identified through local neighborhood composition, enabling boundary nodes, i.e., interfaces between fake-news and non-fake-news …

Cybersecurity Center For Offshore Wind Energy (Final Project Round), Sachin Shetty

Center for Secure and Intelligent Critical Systems (CSICS) Publications

This project establishes a Cybersecurity Center for Offshore Wind Energy with the objective of designing and operating a cyber-physical testbed for wind energy farms (WEFs) that enables comprehensive cybersecurity research. The testbed incorporates a Supervisory Control and Data Acquisition (SCADA) system connected to turbine models via industrial-grade programmable logic controllers (PLCs) and remote terminal units (RTUs). It supports side-channel data acquisition, implementation and analysis of various cyberattack scenarios, and development of attack detection, mitigation, and best-practice guidance tailored to wind energy systems. During the project, the team expanded the number and fidelity of mathematical turbine models (MTMs), integrated these models …

Generalization Bounds For Semi‑Supervised Matrix Completion With Distributional Side Information, Antoine Ledent, Mun Chong Soo, Minh Hieu Nong

Research Collection School Of Computing and Information Systems

We study a matrix completion problem where both the ground truth R matrix and the unknown sampling distribution P over observed entries are low-rank matrices, and share a common subspace. We assume that a large amount M of unlabeled data drawn from the sampling distribution P is available, together with a small amount N of labeled data drawn from the same distribution and noisy estimates of the corresponding ground truth entries. This setting is inspired by recommender systems scenarios where the unlabeled data corresponds to ‘implicit feedback’ (consisting in interactions such as purchase, click, etc. ) and the labeled data …

Interpretable Machine Learning For In-Home Mild Cognitive Impairment Detection, Budhitama Subagdja, Shanthoshigaa D, Ah-Hwee Tan, Iris Rawtaer

Research Collection School Of Computing and Information Systems

This paper introduces a novel system for in-home cognitive health assessment using ambient sensors and a machine learning technology that can robustly detect mild cognitive impairment (MCI) despite limited available data. The learned model can explain the aspects of individuals’ daily lives led to the prediction, while reliably predicting MCI, providing more insights to healthcare workers for further clinical interventions. We developed the robust transparent machine learning model, based on fusion adaptive resonance theory (Fusion ART) neural network to learn individuals’ daily patterns of activity from continuous sensor data in terms of a suite of digital biomarkers reflecting four key …

Ai Systems For Physicians: A Review From Socio-Technical And Human-Computer Interaction Perspectives, Wu Jiaqi Young, Fiona Fui-Hoon Nah

Research Collection School Of Computing and Information Systems

The adoption of artificial intelligence (AI) in healthcare is accelerating, yet successful implementations of physician-facing AI systems remain limited and uneven. This paper presents a literature review of 40 peer-reviewed studies published between November 2022 and November 2024, spanning clinical, technical, and human-computer interaction (HCI) domains. Anchored in a socio-technical perspective, the review examines our existing understanding of how technical design, user expertise, and organizational factors shape the effectiveness of AI systems in real-world clinical settings. Our analysis identifies two meta-themes: (1) context as a dynamic, multi-level influence that actively reshapes AI system behavior, and (2) trust as an emergent …

Thinkmatter: Panoramic-Aware Instructional Semantics For Monocular Vision-And-Language Navigation, Guangzhao Dai, Shuo Wang, Hao Zhao, Bin Zhu, Qianru Sun, Xiangbo Shu

Research Collection School Of Computing and Information Systems

Vision-and-Language Navigation in continuous environments (VLN-CE) requires an embodied robot to navigate the target destination following the natural language instruction. Most existing methods use panoramic RGB-D cameras for 360° observation of environments. However, these methods struggle in real-world applications because of the higher cost of panoramic RGB-D cameras. This paper studies a low-cost and practical VLN-CE setting, e.g., using monocular cameras of limited field of view, which means “Look Less” for visual observations and environment semantics. In this paper, we propose a ThinkMatter framework for monocular VLN-CE, where we motivate monocular robots to “Think More” by 1) generating novel views …

Learning-Based Graph Shrinking For Quantum Optimization Of Constrained Combinatorial Problems, Monit Sharma, Hoong Chuin Lau

Research Collection School Of Computing and Information Systems

Graph shrinking has recently emerged as a powerful preprocessing technique for hybrid classical–quantum optimization, enabling variable and constraint reduction before quantum solving. Conventional approaches rely on Semi-Definite Programming (SDP) relaxations to compute vertex correlations, but these methods suffer from high computational overhead, instance-specific tuning, and limited generalizability. In this work, we replace the handcrafted SDP correlation stage with a reinforcement learning (RL) based correlation estimator, trained to predict merge quality directly from graph structure. We reformulate the graph shrinking process as a Markov Decision Process (MDP), design a Graph Neural Network (GNN) policy to guide vertex merging, and integrate the …