English
Related papers

Related papers: Instrumenting an SMT Solver to Solve Hybrid Networ…

200 papers

The process of optimizing the latency of DNN operators with ML models and hardware-in-the-loop, called auto-tuning, has established itself as a pervasive method for the deployment of neural networks. From a search space of…

Machine Learning · Computer Science 2022-06-01 Dennis Rieber , Moritz Reiber , Oliver Bringmann , Holger Fröning

The learning rate (LR) is one of the most important hyper-parameters in stochastic gradient descent (SGD) algorithm for training deep neural networks (DNN). However, current hand-designed LR schedules need to manually pre-specify a fixed…

Machine Learning · Computer Science 2021-05-14 Jun Shu , Yanwen Zhu , Qian Zhao , Zongben Xu , Deyu Meng

The high-index saddle dynamics (HiSD) method is a powerful approach for computing saddle points and solution landscape. However, its practical applicability is constrained by the need for the explicit energy function expression. To overcome…

Machine Learning · Computer Science 2024-11-26 Yuankai Liu , Lei Zhang , Jin Zhao

Deep learning (DL) based hyperspectral images (HSIs) denoising approaches directly learn the nonlinear mapping between observed noisy images and underlying clean images. They normally do not consider the physical characteristics of HSIs,…

Image and Video Processing · Electrical Eng. & Systems 2021-11-16 Fengchao Xiong , Shuyin Tao , Jun Zhou , Jianfeng Lu , Jiantao Zhou , Yuntao Qian

Network intrusion detection systems (NIDSs) play an important role in computer network security. There are several detection mechanisms where anomaly-based automated detection outperforms others significantly. Amid the sophistication and…

Motion planning under uncertainty is essential for reliable robot operation. Despite substantial advances over the past decade, the problem remains difficult for systems with complex dynamics. Most state-of-the-art methods perform search…

Robotics · Computer Science 2020-06-01 Marcus Hoerger , Hanna Kurniawati , Alberto Elfes

In this paper, we present a novel multi-objective hardware-aware neural architecture search (NAS) framework, namely HSCoNAS, to automate the design of deep neural networks (DNNs) with high accuracy but low latency upon target hardware. To…

Machine Learning · Computer Science 2021-03-16 Xiangzhong Luo , Di Liu , Shuo Huai , Weichen Liu

Nowadays, shallow and deep Neural Networks (NNs) have vast applications including biomedical engineering, image processing, computer vision, and speech recognition. Many researchers have developed hardware accelerators including…

Hardware Architecture · Computer Science 2021-05-18 Amir-Hossein Kiamarzi , Pezhman Torabi , Reza Sameni

Hyperspectral image denoising faces the challenge of multi-dimensional coupling of spatially non-uniform noise and spectral correlation interference. Existing deep learning methods mostly focus on RGB images and struggle to effectively…

Computer Vision and Pattern Recognition · Computer Science 2025-07-29 Haoyue Li , Di Wu

Quantum Machine Learning (QML) is an emerging field of research with potential applications to distributed collaborative learning, such as Split Learning (SL). SL allows resource-constrained clients to collaboratively train ML models with a…

Quantum Physics · Physics 2025-07-08 Hevish Cowlessur , Chandra Thapa , Tansu Alpcan , Seyit Camtepe

As a green and secure wireless transmission method, secure spatial modulation (SM) is becoming a hot research area. Its basic idea is to exploit both the index of activated transmit antenna and amplitude phase modulation signal to carry…

Information Theory · Computer Science 2021-03-10 Feng Shu , Lin Liu , LiLi Yang , Xinyi Jiang , Guiyang Xia , Yuanyuan Wu , Xianpeng Wang , Shi Jin , Jiangzhou Wang , Xiaohu You

Spiking Neural Networks (SNNs) offer biologically inspired, energy-efficient alternatives to traditional Deep Neural Networks (DNNs) for real-time control systems. However, their training presents several challenges, particularly for…

Artificial Intelligence · Computer Science 2025-07-15 Ali Safa , Farida Mohsen , Ali Al-Zawqari

Network attacks have became increasingly more sophisticated and stealthy due to the advances in technologies and the growing sophistication of attackers. Advanced Persistent Threats (APTs) are a type of attack that implement a wide range of…

Cryptography and Security · Computer Science 2024-04-02 Abdullah H Alqahtani

As human-robot collaboration increases in the workforce, it becomes essential for human-robot teams to coordinate efficiently and intuitively. Traditional approaches for human-robot scheduling either utilize exact methods that are…

Artificial Intelligence · Computer Science 2023-02-01 Batuhan Altundas , Zheyuan Wang , Joshua Bishop , Matthew Gombolay

We argue that inventory management presents unique opportunities for the reliable application of deep reinforcement learning (DRL). To enable this, we emphasize and test two complementary techniques. The first is Hindsight Differentiable…

Machine Learning · Computer Science 2025-09-12 Matias Alvo , Daniel Russo , Yash Kanoria , Minuk Lee

Large neural networks are typically trained for a fixed computational budget, creating a rigid trade-off between performance and efficiency that is ill-suited for deployment in resource-constrained or dynamic environments. Existing…

Machine Learning · Computer Science 2026-03-05 Paulius Rauba , Mihaela van der Schaar

While Graph Neural Networks (GNNs) have proven highly effective at modeling relational data, pairwise connections cannot fully capture multi-way relationships naturally present in complex real-world systems. In response to this, Topological…

Machine Learning · Computer Science 2025-10-28 Martin Carrasco , Guillermo Bernardez , Marco Montagna , Nina Miolane , Lev Telyatnikov

The multiscale simplicial flat norm (MSFN) of a d-cycle is a family of optimal homology problems indexed by a scale parameter {\lambda} >= 0. Each instance (mSFN) optimizes the total weight of a homologous d-cycle and a bounded (d +…

Computational Geometry · Computer Science 2024-07-01 Kostiantyn Lyman

On account of its many successes in inference tasks and denoising applications, Dictionary Learning (DL) and its related sparse optimization problems have garnered a lot of research interest. While most solutions have focused on single…

Machine Learning · Computer Science 2020-10-22 Wen Tang , Emilie Chouzenoux , Jean-Christophe Pesquet , Hamid Krim

The fast and accurate prediction of unsteady flow becomes a serious challenge in fluid dynamics, due to the high-dimensional and nonlinear characteristics. A novel hybrid deep neural network (DNN) architecture was designed to capture the…

Fluid Dynamics · Physics 2020-01-08 Renkun Han , Yixing Wang , Yang Zhang , Gang Chen