Search Results

Let Q be a host graph and L ⊆ Q be a subgraph. The anti-Ramsey number a r ( Q , L ) of L in Q, is defined as the largest number t that allows the existence of a t-edge-colored Q which contains no rainbow L. In this paper, the anti-Ramsey number ...

High-level synthesis (HLS) has received significant interest in hardware accelerator design due to its ability to reduce design time and make hardware design more accessible to software developers [3]. HLS methodologies can be categorized into two main ...

Formally verifying logic-optimized integer multipliers remains a crucial yet insufficiently addressed problem in both industry and academia, presenting significant verification challenges, particularly when verifying the large-scale logic-optimized ...

Semantic image synthesis aims to generate high-fidelity images from a segmentation mask, and previous methods typically train a generator to associate a global random map with the conditioning mask. However, the lack of independent control of ...

• Multiple constituent generators are proposed for spatially disentangled synthesis.
• Multi-modal conditioning mechanisms are designed for precise image editing.
• Our method is capable of various conditional visual generation tasks.

Let F and H be two vertex disjoint graphs. The union$F\cup H$ is the graph with $V(F\cup H)=V(F)\cup V(H)$ and $E(F\cup H)=E(F)\cup E(H)$. We use $P_k$ to denote a path on k vertices and use house to denote the complement of $P_5$. In this paper, we show that if G is a ($P_3\cup P_2$, ...$\mathrm{}$$\mathrm{}$

We explore the use of classical programming techniques in implementing the quantum lattice Boltzmann method in the Intel Quantum SDK—a software tool for quantum circuit creation and execution on Intel quantum hardware. As hardware access is limited, we ...

In this paper, we introduce and solve a novel model that integrates confined flow within a dual porosity poroelastic medium with free flow in conduits. The model is structured around three distinct but interconnected regions: the matrix, micro-...

The automatic classification of arrhythmia is an important task in the intelligent auxiliary diagnosis of an electrocardiogram. Its efficiency and accuracy are vital for practical deployment and applications in the medical field. For the 12-lead ...

• A new 12-lead ECG classification method significantly improves arrhythmias detection accuracy.
• A domain-informed attention mechanism enhances the model’s ability to capture ECG dynamic features.
• Experimental results on two public ...

In this paper, a weighted discontinuous Galerkin finite element method and an upwind format are presented to solve the coupled Brinkman–Darcy flow and transport model. The flow in a highly permeable region of the model is governed by the Brinkman ...

Metamorphic testing has become one mainstream technique to address the notorious oracle problem in software testing, thanks to its great successes in revealing real-life bugs in a wide variety of software systems. Metamorphic relations, the core component ...

Negative transfer mitigation in transfer learning and universal-model establishment are crucial in electroencephalography (EEG)-based emotion recognition research. This study proposed a multi-source domain adaptation pairwise transfer learning ...

Pan-cancer of the digestive system, which includes multiple organs and their accessory structures, presents significant challenges for clinical diagnosis due to its complexity and diversity. Although computer-aided diagnostic (CAD) techniques [1] ...

Wire sculptures are important in both industrial applications and daily life. We introduce a novel fabrication strategy for wire sculptures with complex geometries by tuning the target shape to a collision-free shape for the wire-bending machine and then ...

Mini-programs are lightweight apps running in super apps (such as WeChat, Baidu, Alipay, and TikTok), an emerging paradigm in the era of mobile computing. With the growing popularity of mini-programs, there is an increasing concern for their security and ...

Incomplete multi-view clustering (IMVC) presents a significant challenge due to the need for effectively exploring complementary and consistent information within the context of missing views. One promising strategy to tackle this challenge is to recover ...

The interaction between fluid and poroelastic structure is a complex problem that couples the Stokes equations with the Biot system. In this work, we rewrite the poroelastic equations using three fields (displacement, fluid pressure, and total ...

In endoscopy, measurement of target size can assist medical diagnosis. However, limited operating space, low image quality, and irregular target shape pose great challenges to traditional vision-based measurement ...

• A novel method is proposed to measure size of irregular objects under monocular endoscope in any direction.
• Implicit scene representation is constructed for realistic image rendering to improve measurement accuracy.
• Suitability for ...

Deep Hashing (DH) has emerged as an indispensable technique for fast image search in recent years. To deploy DH on resource-limited devices, the Binary Neural Network (BNN) offers a solution that significantly reduces computations and parameters compared ...

Video Individual Counting (VIC), which focuses on accurately tallying the total number of individuals in a video without duplication, is crucial for urban public space management and densely-populated areas planning. Existing methods suffer from ...

Partially View-aligned Clustering (PVC) presents a challenge as it requires a comprehensive exploration of complementary and consistent information in the presence of partial alignment of view data. Existing PVC methods typically learn view ...