MicroCloud Hologram Inc. Proposes Quantum AI Simulator Adopting Hybrid CPU-FPGA Method, Achieving Efficient Image Classification Simulation Through Heterogeneous Computing

MicroCloud Hologram Inc. (NASDAQ: HOLO), (“HOLO” or the "Company"), a technology service provider, proposed a quantum AI simulator that adopts a hybrid CPU-FPGA method. This system performs ...
IEEE

SMTgazer: Learning to Schedule SMT Algorithms via Bayesian Optimization

Abstract: Satisfiability Modulo Theories (SMT) plays a critical role in various software engineering applications, including program verification, symbolic execution, and automated test generation.
IEEE

A Multi-Strategy Enhanced Slime Mould Algorithm for Engineering Optimization Applications

Abstract: To address engineering challenges such as multi-constraint conflicts, nonlinear coupling, and high material costs, this paper proposes a Multi-Strategy Enhanced Slime Mould Algorithm (MESMA) ...