English
Related papers

Related papers: Soundness Correction of Data Petri Nets

200 papers

When facing time-variant problems in analog computing, the desirable RNN design requires finite-time convergence and robustness with respect to various types of uncertainties, due to the time-variant nature and difficulties in…

Systems and Control · Electrical Eng. & Systems 2024-11-26 Mingxuan Sun , Xing Li , Han Wang

We present a family of local quantum channels whose steady-states exhibit stable mixed-state symmetry-protected topological (SPT) order. Motivated by recent experimental progress on "erasure conversion" techniques that allow one to identify…

Quantum Physics · Physics 2025-01-13 Sanket Chirame , Fiona J. Burnell , Sarang Gopalakrishnan , Abhinav Prem

Noise mechanisms in quantum systems can be broadly characterized as either coherent (i.e., unitary) or incoherent. For a given fixed average error rate, coherent noise mechanisms will generally lead to a larger worst-case error than…

Quantum Physics · Physics 2019-01-29 Joel J. Wallman , Christopher Granade , Robin Harper , Steven T. Flammia

The paper discusses regularization properties of artificial data for deep learning. Artificial datasets allow to train neural networks in the case of a real data shortage. It is demonstrated that the artificial data generation process,…

Machine Learning · Computer Science 2019-08-21 Karol Antczak

This paper is concerned with the online estimation of a nonlinear dynamic system from a series of noisy measurements. The focus is on cases wherein outliers are present in-between normal noises. We assume that the outliers follow an unknown…

Computation · Statistics 2019-05-14 Bin Liu

Current performance evaluation for audio source separation depends on comparing the processed or separated signals with reference signals. Therefore, common performance evaluation toolkits are not applicable to real-world situations where…

Sound · Computer Science 2019-06-25 Emad M. Grais , Hagen Wierstorf , Dominic Ward , Russell Mason , Mark D. Plumbley

Data noising is an effective technique for regularizing neural network models. While noising is widely adopted in application domains such as vision and speech, commonly used noising primitives have not been developed for discrete…

Machine Learning · Computer Science 2017-03-09 Ziang Xie , Sida I. Wang , Jiwei Li , Daniel Lévy , Aiming Nie , Dan Jurafsky , Andrew Y. Ng

Distant speech recognition is a challenge, particularly due to the corruption of speech signals by reverberation caused by large distances between the speaker and microphone. In order to cope with a wide range of reverberations in…

Computation and Language · Computer Science 2016-08-18 Jeehye Lee , Myungin Lee , Joon-Hyuk Chang

In speech machine learning, neural network models are typically designed by choosing an architecture with fixed layer sizes and structure. These models are then trained to maximize performance on metrics aligned with the task's objective.…

Sound · Computer Science 2026-01-22 Esteban Gómez , Tom Bäckström

Anomalous sound detection for machine condition monitoring has great potential in the development of Industry 4.0. However, these anomalous sounds of machines are usually unavailable in normal conditions. Therefore, the models employed have…

Audio and Speech Processing · Electrical Eng. & Systems 2023-02-17 Jisheng Bai , Jianfeng Chen , Mou Wang , Muhammad Saad Ayub , Qingli Yan

Artificial Intelligence (AI) systems are attracting increasing interest in the medical domain due to their ability to learn complicated tasks that require human intelligence and expert knowledge. AI systems that utilize high-performance…

Computation and Language · Computer Science 2021-08-30 Milad Moradi , Kathrin Blagec , Matthias Samwald

Future extreme-scale computer systems may expose silent data corruption (SDC) to applications, in order to save energy or increase performance. However, resilience research struggles to come up with useful abstract programming models for…

Mathematical Software · Computer Science 2014-01-15 James Elliott , Mark Hoemmen , Frank Mueller

A wide range of NLP tasks benefit from the fine-tuning of pretrained language models (PLMs). However, a number of redundant parameters which contribute less to the downstream task are observed in a directly fine-tuned model. We consider the…

Computation and Language · Computer Science 2022-10-26 Yupeng Zhang , Hongzhi Zhang , Sirui Wang , Wei Wu , Zhoujun Li

Mixed-paradigm process models integrate strengths of procedural and declarative representations like Petri nets and Declare. They are specifically interesting for process mining because they allow capturing complex behaviour in a compact…

Formal Languages and Automata Theory · Computer Science 2020-11-30 Boudewijn van Dongen , Johannes De Smedt , Claudio Di Ciccio , Jan Mendling

Blindly decoding a signal requires estimating its unknown transmit parameters, compensating for the wireless channel impairments, and identifying the modulation type. While deep learning can solve complex problems, digital signal processing…

Signal Processing · Electrical Eng. & Systems 2021-10-26 Samer Hanna , Chris Dick , Danijela Cabric

Systematic techniques to improve quality of deep neural networks (DNNs) are critical given the increasing demand for practical applications including safety-critical ones. The key challenge comes from the little controllability in updating…

Machine Learning · Computer Science 2022-03-07 Shogo Tokui , Susumu Tokumoto , Akihito Yoshii , Fuyuki Ishikawa , Takao Nakagawa , Kazuki Munakata , Shinji Kikuchi

Rotating bearings play an important role in modern industries, but have a high probability of occurrence of defects because they operate at high speed, high load, and poor operating environments. Therefore, if a delay time occurs when a…

Signal Processing · Electrical Eng. & Systems 2026-01-30 Junseok Lee , Jihye Shin , Sangyong Lee , Chang-Jae Chun

From past couple of years there is a cycle of researchers proposing a defence model for adversaries in machine learning which is arguably defensible to most of the existing attacks in restricted condition (they evaluate on some bounded…

Cryptography and Security · Computer Science 2022-02-21 Kanak Tekwani , Manojkumar Parmar

As machine learning models are increasingly deployed in high-stakes settings, e.g. as decision support systems in various societal sectors or in critical infrastructure, designers and auditors are facing the need to ensure that models…

Machine Learning · Computer Science 2025-12-18 Ioannis Kalogeropoulos , Giorgos Bouritsas , Yannis Panagakis

Quantum error correction allows to actively correct errors occurring in a quantum computation when the noise is weak enough. To make this error correction competitive information about the specific noise is required. Traditionally, this…

Quantum Physics · Physics 2021-04-07 Thomas Wagner , Hermann Kampermann , Dagmar Bruß , Martin Kliesch