Blog
HAQA: A Hardware-Guided and Fidelity-Aware Strategy for Efficient Qubit Mapping Optimization
Quantum algorithms rely on quantum computers for implementation, but the physical connectivity constraints of modern quantum processors impede the efficient realization of quantum algorithms. Qubit mapping, a critical technology for practical quantum computing applications, directly determines the execution efficiency and feasibility of...
Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: Open Research Challenges
Despite decades of research and practice in automated software testing, several fundamental concepts remain ill-defined and under-explored, yet offer enormous potential real-world impact. We show that these concepts raise exciting new challenges in the context of Large Language Models for software test...
ERASER: Efficient RTL FAult Simulation Framework with Trimmed Execution Redundancy
As intelligent computing devices increasingly integrate into human life, ensuring the functional safety of the corresponding electronic chips becomes more critical. A key metric for functional safety is achieving a sufficient fault coverage. To meet this requirement, extensive time-consuming fault simulation of...
The Dodecacopter: a Versatile Multirotor System of Dodecahedron-Shaped Modules
With the promise of greater safety and adaptability, modular reconfigurable uncrewed air vehicles have been proposed as unique, versatile platforms holding the potential to replace multiple types of monolithic vehicles at once. State-of-the-art rigidly assembled modular vehicles are generally two-dimensional configurations in...
Estimating Random-Walk Probabilities in Directed Graphs
We study discounted random walks in a directed graph. In each vertex, the walk will either terminate with some probability $\alpha$, or continue to a random out-neighbor. We are interested in the probability $\pi(s,t)$ that such a random walk starting in $s$...
Exploring turnover, retention and growth in an OSS Ecosystem
The Gentoo ecosystem has evolved significantly over 23 years, highlighting the critical impact of developer sentiment on workforce dynamics such as turnover, retention, and growth. While prior research has explored sentiment at the project level, sentiment-driven dynamics at the component level remain...
Novel approach to use the Kelvin Probe method ex-situ for measuring the electron emission yield of insulator materials subjected to electron irradiation
Measuring the total electron emission yield of dielectric materials remains a challenging task. Indeed, the charge induced by irradiation and electron emission disturbs the measurement. It is therefore important to quantify this charge during the measurement. Using a Kelvin probe allows both...
Breaking scaling relations with inverse catalysts: a machine learning exploration of trends in $\mathrm{CO_2}$ hydrogenation energy barriers
The conversion of $\mathrm{CO_2}$ into useful products such as methanol is a key strategy for abating climate change and our dependence on fossil fuels. Developing new catalysts for this process is costly and time-consuming and can thus benefit from computational exploration of...
Local Existence Of The Symplectic Gradient Flow On The Hyperkähler Four-dimensional Flat Torus
Introducing a moment map whose zero locus is the group of symplectomorphisms of the real four-dimensional torus, we exhibit a gradient flow that can be made into a strictly parabolic flow by mean of a DeTurck trick (famously known for its use...
Generalized vector equilibrium problems with pairs of bifunctions and some applications
In this paper, we deal with the following generalized vector equilibrium problem: Let $X, Y$ be topological vector spaces over reals, $D$ be a nonempty subset of $X$, $K$ be a nonempty set and $\theta$ be origin of $Y$. Given multi-valued mapping...