中文
相关论文

相关论文: Automatic State Machine Inference for Binary Proto…

200 篇论文

Mathematical modelling, particularly through approaches such as structured sparse support vector machines (SS-SVM), plays a crucial role in processing data with complex feature structures, yet efficient algorithms for distributed…

机器学习 · 计算机科学 2026-01-13 Rongmei Liang , Zizheng Liu , Xiaofei Wu , Jingwen Tu

Inverse problems arise in situations where data is available, but the underlying model is not. It can therefore be necessary to infer the parameters of the latter starting from the former. Statistical mechanics offers a toolbox of…

统计力学 · 物理学 2025-07-04 Stefano Bae , Dario Bocchi , Luca Maria Del Bono , Luca Leuzzi

Sparse matrix-matrix multiplication (SpGEMM) is a critical operation in numerous fields, including scientific computing, graph analytics, and deep learning. These applications exploit the sparsity of matrices to reduce storage and…

机器学习 · 计算机科学 2024-08-30 Sanjali Yadav , Bahar Asgari

Kernel-based multivariate statistical process control (K-MSPC) extends classical monitoring to nonlinear industrial processes. Its performance depends critically on kernel parameters such as lengthscales and variance terms. In current…

We provide an overview of recent progress in statistical inverse problems with random experimental design, covering both linear and nonlinear inverse problems. Different regularization schemes have been studied to produce robust and stable…

统计理论 · 数学 2023-12-27 Abhishake , Tapio Helin , Nicole Mücke

Regularization of neural machine translation is still a significant problem, especially in low-resource settings. To mollify this problem, we propose regressing word embeddings (ReWE) as a new regularization technique in a system that is…

计算与语言 · 计算机科学 2019-04-05 Inigo Jauregi Unanue , Ehsan Zare Borzeshi , Nazanin Esmaili , Massimo Piccardi

One of the possible objectives when designing experiments is to build or formulate a model for predicting future observations. When the primary objective is prediction, some typical approaches in the planning phase are to use…

统计方法学 · 统计学 2021-10-04 Trent Lemkus , Philip Ramsey , Christopher Gotwalt , Maria Weese

Real-time decoding of neural activity is central to neuroscience and neurotechnology applications, from closed-loop experiments to brain-computer interfaces, where models are subject to strict latency constraints. Traditional methods,…

神经元与认知 · 定量生物学 2025-11-10 Avery Hee-Woon Ryoo , Nanda H. Krishna , Ximeng Mao , Mehdi Azabou , Eva L. Dyer , Matthew G. Perich , Guillaume Lajoie

Existing score-based methods for inverse problems often resort to approximate minimization of the KL divergence between the inversion distribution and the Bayesian posterior. Such an approximation leads to severe mode collapse and…

计算机视觉与模式识别 · 计算机科学 2026-05-26 Weimin Bai , Yuxuan Gu , Yifei Wang , Weijian Luo , He Sun

Procedure step recognition (PSR) aims to identify all correctly completed steps and their sequential order in videos of procedural tasks. The existing state-of-the-art models rely solely on detecting assembly object states in individual…

计算机视觉与模式识别 · 计算机科学 2025-10-15 Tim J. Schoonbeek , Shao-Hsuan Hung , Dan Lehman , Hans Onvlee , Jacek Kustra , Peter H. N. de With , Fons van der Sommen

State-space models (SSM) are central to describe time-varying complex systems in countless signal processing applications such as remote sensing, networks, biomedicine, and finance to name a few. Inference and prediction in SSMs are…

统计计算 · 统计学 2022-10-26 Víctor Elvira , Émilie Chouzenoux

Many software engineering tasks, such as testing, and anomaly detection can benefit from the ability to infer a behavioral model of the software.Most existing inference approaches assume access to code to collect execution sequences. In…

机器学习 · 计算机科学 2021-10-13 Foozhan Ataiefard , Mohammad Jafar Mashhadi , Hadi Hemmati , Niel Walkinshaw

Proton pencil beam scanning (PBS) treatment planning for head & neck (H&N) cancers involves numerous conflicting objectives, requiring iterative objective parameter adjustments to balance multiple clinical goals. We propose a…

人工智能 · 计算机科学 2025-09-16 Qingqing Wang , Liqiang Xiao , Chang Chang

High dimensional sparse learning has imposed a great computational challenge to large scale data analysis. In this paper, we are interested in a broad class of sparse learning approaches formulated as linear programs parametrized by a {\em…

机器学习 · 计算机科学 2017-11-28 Haotian Pang , Robert Vanderbei , Han Liu , Tuo Zhao

In burst-mode communication systems, the quality of frame synchronization (FS) at receivers significantly impacts the overall system performance. To guarantee FS, an extreme learning machine (ELM)-based synchronization method is proposed to…

信号处理 · 电气工程与系统科学 2020-02-19 Chaojin Qing , Wang Yu , Bin Cai , Jiafan Wang , Chuan Huang

In today's technology-driven era, the imperative for predictive maintenance and advanced diagnostics extends beyond aviation to encompass the identification of damages, failures, and operational defects in rotating and moving machines.…

机器学习 · 计算机科学 2024-03-18 Saket Maheshwari , Sambhav Tiwari , Shyam Rai , Satyam Vinayak Daman Pratap Singh

We propose a machine learning framework for parameter estimation of single mode Gaussian quantum states. Under a Bayesian framework, our approach estimates parameters of suitable prior distributions from measured data. For phase-space…

量子物理 · 物理学 2021-08-16 Neel Kanth Kundu , Matthew R. McKay , Ranjan K. Mallik

Reactive anomaly detection methods, which are commonly deployed to identify anomalies after they occur based on observed deviations, often fall short in applications that demand timely intervention, such as industrial monitoring, finance,…

机器学习 · 计算机科学 2026-02-13 Luis Olmos , Rashida Hasan

Scanning transmission electron microscopy (STEM) is an extremely versatile method for studying materials on the atomic scale. Many STEM experiments are supported or validated with electron scattering simulations. However, using the…

We present a method to design driving protocols that achieve fast thermal equilibration of a system of interest using techniques inspired by machine learning training algorithms. For example, consider a Brownian particle manipulated by…

统计力学 · 物理学 2025-06-25 Diego Rengifo , Gabriel Téllez