中文
相关论文

相关论文: Statistical Timing Based Optimization using Gate S…

200 篇论文

This work provides a novel convergence analysis for stochastic optimization in terms of stopping times, addressing the practical reality that algorithms are often terminated adaptively based on observed progress. Unlike prior approaches,…

最优化与控制 · 数学 2025-07-17 Yasong Feng , Yifan Jiang , Tianyu Wang , Zhiliang Ying

The performance of trained neural networks is robust to harsh levels of pruning. Coupled with the ever-growing size of deep learning models, this observation has motivated extensive research on learning sparse models. In this work, we focus…

机器学习 · 计算机科学 2022-11-29 Jose Gallego-Posada , Juan Ramirez , Akram Erraqabi , Yoshua Bengio , Simon Lacoste-Julien

Statistical computations are becoming increasingly important. These computations often need to be performed in log-space because probabilities become extremely small due to repeated multiplications. While using logarithms effectively…

数值分析 · 数学 2025-09-16 Tiancheng Xu , Alan L. Cox , Scott Rixner

As a foundational architecture of artificial intelligence models, Transformer has been recently adapted to spiking neural networks with promising performance across various tasks. However, existing spiking Transformer(ST)-based models…

机器学习 · 计算机科学 2026-01-06 Hongze Sun , Wuque Cai , Duo Chen , Quan Tang , Shifeng Mao , Jiayi He , Zhenxing Wang , Yan Cui , Dezhong Yao , Daqing Guo

This paper presents novel method for distribution-free robust trajectory optimization and control of discrete-time, nonlinear, and non-Gaussian stochastic systems, with closed-loop guarantees on chance constraint satisfaction. Our framework…

系统与控制 · 电气工程与系统科学 2026-03-10 Rihan Aaron D'Silva , Hiroyasu Tsukamoto

In this work, we present a novel inner product design for stochastic computing. Stochastic computing is an emerging computing technique, that encodes a number in the probability of observing a one in a random bit stream. This leads to…

新兴技术 · 计算机科学 2018-11-21 Werner Haselmayr , Daniel Wiesinger , Michael Lunglmayr

Deep learning algorithms are increasingly employed at the edge. However, edge devices are resource constrained and thus require efficient deployment of deep neural networks. Pruning methods are a key tool for edge deployment as they can…

计算机视觉与模式识别 · 计算机科学 2023-08-01 Yunqiang Li , Jan C. van Gemert , Torsten Hoefler , Bert Moons , Evangelos Eleftheriou , Bram-Ernst Verhoef

The stochastic simulation algorithm (SSA) is widely used to perform exact forward simulation of discrete stochastic processes in biology. However, the computational cost, driven by sequential event-by-event sampling across large ensembles,…

定量方法 · 定量生物学 2026-05-04 Tom Kimpson , Mark B. Flegg , Jennifer A. Flegg

Individuals working towards a goal often exhibit time inconsistent behavior, making plans and then failing to follow through. One well-known model of such behavioral anomalies is present-bias discounting: individuals over-weight present…

计算机科学与博弈论 · 计算机科学 2016-06-10 Nick Gravin , Nicole Immorlica , Brendan Lucier , Emmanouil Pountourakis

In the considered linear Gaussian sensor scheduling problem, only one sensor out of a set of sensors performs a measurement. To minimize the estimation error over multiple time steps in a computationally tractable fashion, the so-called…

系统与控制 · 计算机科学 2012-03-30 Marco F. Huber

Transformers usually expose one inference cost per trained model, while deployed systems often need multiple cost-quality operating points. We study Budgeted Attention Allocation, a monotone head-gating mechanism conditioned on a requested…

机器学习 · 计算机科学 2026-05-08 Amrit Nidhi

We study a statistical method to estimate the optimal value, and the optimality gap of a given solution for stochastic optimization as an assessment of the solution quality. Our approach is based on bootstrap aggregating, or bagging,…

最优化与控制 · 数学 2022-12-06 Henry Lam , Huajie Qian

In this paper, we present a contraction-guided adaptive partitioning algorithm for improving interval-valued robust reachable set estimates in a nonlinear feedback loop with a neural network controller and disturbances. Based on an estimate…

系统与控制 · 电气工程与系统科学 2024-01-23 Akash Harapanahalli , Saber Jafarpour , Samuel Coogan

We propose a new approach to solve optimal stopping problems via simulation. Working within the backward dynamic programming/Snell envelope framework, we augment the methodology of Longstaff-Schwartz that focuses on approximating the…

计算金融 · 定量金融 2015-09-04 Robert B. Gramacy , Mike Ludkovski

We study how the choice of packet scheduling algorithms influences end-to-end performance on long network paths. Taking a network calculus approach, we consider both deterministic and statistical performance metrics. A key enabling…

网络与互联网体系结构 · 计算机科学 2011-01-07 Yashar Ghiassi-Farrokhfal , Jorg Liebeherr , Almut Burchard

This paper provides a sparse signal recovery algorithm, DU-PSISTA (Deep Unfolded-Periodic Sketched Iterative Shrinkage-Thresholding Algorithm), which aims to balance computational efficiency and accuracy for recovering high-dimensional…

信号处理 · 电气工程与系统科学 2026-04-23 Tatsuki Tokumura , Ayano Nakai-Kasai , Tadashi Wadayama

A challenging problem in decentralized optimization is to develop algorithms with fast convergence on random and time varying topologies under unreliable and bandwidth-constrained communication network. This paper studies a stochastic…

最优化与控制 · 数学 2025-05-29 Chung-Yiu Yau , Haoming Liu , Hoi-To Wai

The physical limitations of CMOS technology triggered several research for finding an alternative technology. QCA is one of the emerging nanotechnologies which is gaining attention as a substitute of CMOS. The main potential of QCA is its…

新兴技术 · 计算机科学 2017-05-12 Mahabub Hasan Mahalat , Mrinal Goswami , Anindan Mondal , Bibhash Sen

Stochastic Gradient Descent (SGD) and its variants are almost universally used to train neural networks and to fit a variety of other parametric models. An important hyperparameter in this context is the batch size, which determines how…

最优化与控制 · 数学 2023-12-05 Stefan Perko

The PC algorithm is the state-of-the-art algorithm for causal structure discovery on observational data. It can be computationally expensive in the worst case due to the conditional independence tests are performed in an…

机器学习 · 计算机科学 2021-09-13 Kai Zhang , Chao Tian , Kun Zhang , Todd Johnson , Xiaoqian Jiang