English
Related papers

Related papers: AQUATK: An Audio Quality Assessment Toolkit

200 papers

Quantitative automata (QAs) extend finite-state automata on infinite words with weighted transitions to specify quantitative system properties. However, their finite weight sets rule out properties like average response time, where response…

Formal Languages and Automata Theory · Computer Science 2026-05-29 Thomas A. Henzinger , Nicolas Mazzocchi , N. Ege Saraç , Harun Yılmaz

Soundata is a Python library for loading and working with audio datasets in a standardized way, removing the need for writing custom loaders in every project, and improving reproducibility by providing tools to validate data against a…

A good audio codec for live applications such as telecommunication is characterized by three key properties: (1) compression, i.e.\ the bitrate that is required to transmit the signal should be as low as possible; (2) latency, i.e.\…

Audio and Speech Processing · Electrical Eng. & Systems 2023-05-29 Yi-Chiao Wu , Israel D. Gebru , Dejan Marković , Alexander Richard

We introduce Mitiq, a Python package for error mitigation on noisy quantum computers. Error mitigation techniques can reduce the impact of noise on near-term quantum computers with minimal overhead in quantum resources by relying on a…

Driven by the need for larger and more diverse datasets to pre-train and fine-tune increasingly complex machine learning models, the number of datasets is rapidly growing. audb is an open-source Python library that supports versioning and…

Audio and Speech Processing · Electrical Eng. & Systems 2023-05-11 Hagen Wierstorf , Johannes Wagner , Florian Eyben , Felix Burkhardt , Björn W. Schuller

Current call graph generation methods for ArkTS, a new programming language for OpenHarmony, exhibit precision limitations when supporting advanced static analysis tasks such as data flow analysis and vulnerability pattern detection, while…

Software Engineering · Computer Science 2026-02-03 Yizhuo Yang , Lingyun Xu , Mingyi Zhou , Li Li

The advances in generative AI have enabled the creation of synthetic audio which is perceptually indistinguishable from real, genuine audio. Although this stellar progress enables many positive applications, it also raises risks of misuse,…

Quantitative automata model beyond-boolean aspects of systems: every execution is mapped to a real number by incorporating weighted transitions and value functions that generalize acceptance conditions of boolean $\omega$-automata. Despite…

Formal Languages and Automata Theory · Computer Science 2025-01-28 Marek Chalupa , Thomas A. Henzinger , Nicolas Mazzocchi , N. Ege Saraç

ArkTS is a new programming language dedicated to developing apps for the emerging OpenHarmony mobile operating system. Like other programming languages constantly suffering from performance-related code smells or vulnerabilities, the ArkTS…

Software Engineering · Computer Science 2025-01-14 Haonan Chen , Daihang Chen , Yizhuo Yang , Lingyun Xu , Liang Gao , Mingyi Zhou , Chunming Hu , Li Li

Audio fingerprinting is a technique used to identify and match audio recordings based on their unique characteristics. It involves creating a condensed representation of an audio signal that can be used to quickly compare and match against…

Sound · Computer Science 2023-05-03 Aarón López-García

It is an open challenge to obtain high quality training data, especially captions, for text-to-audio models. Although prior methods have leveraged \textit{text-only language models} to augment and improve captions, such methods have…

Computation and Language · Computer Science 2024-07-10 Zhifeng Kong , Sang-gil Lee , Deepanway Ghosal , Navonil Majumder , Ambuj Mehrish , Rafael Valle , Soujanya Poria , Bryan Catanzaro

In this work, we introduce VERSA, a unified and standardized evaluation toolkit designed for various speech, audio, and music signals. The toolkit features a Pythonic interface with flexible configuration and dependency control, making it…

The availability of high-quality, AI-generated audio raises security challenges such as misinformation campaigns and voice-cloning fraud. A key defense against the misuse of AI-generated audio is by watermarking it, so that it can be easily…

Sound · Computer Science 2026-05-20 Kexin Li , Xiao Hu , Ilya Grishchenko , David Lie

While knowledge distillation has shown success in various audio tasks, its application to environmental sound classification often overlooks essential low-level audio texture features needed to capture local patterns in complex acoustic…

The evaluation of explanation methods is a research topic that has not yet been explored deeply, however, since explainability is supposed to strengthen trust in artificial intelligence, it is necessary to systematically review and compare…

The increasing realism of synthetic speech, driven by advancements in text-to-speech models, raises ethical concerns regarding impersonation and disinformation. Audio watermarking offers a promising solution via embedding…

Machine Learning · Computer Science 2024-11-14 Hongbin Liu , Moyang Guo , Zhengyuan Jiang , Lun Wang , Neil Zhenqiang Gong

Automatic detection of synthetic speech is becoming increasingly important as current synthesis methods are both near indistinguishable from human speech and widely accessible to the public. Audio watermarking and other active disclosure…

Sound · Computer Science 2024-09-23 Lauri Juvela , Xin Wang

We present Quokka#, a versatile, open-source Python library for quantum circuit analysis. Quokka# reduces various simulation, verification, and synthesis tasks to weighted model counting (#SAT). It supports universal quantum circuits and a…

Quantum Physics · Physics 2026-05-19 Jingyi Mei , Dekel Zak , Muhammad Osama , Tim Coopmans , Alfons Laarman

Network alignment (NA) aims to identify node correspondence across different networks and serves as a critical cornerstone behind various downstream multi-network learning tasks. Despite growing research in NA, there lacks a comprehensive…

Machine Learning · Computer Science 2026-03-03 Qi Yu , Zhichen Zeng , Yuchen Yan , Zhining Liu , Baoyu Jing , Ruizhong Qiu , Ariful Azad , Hanghang Tong

This paper presents Soundbay, an open-source Python framework that allows bio-acoustics and machine learning researchers to implement and utilize deep learning-based algorithms for acoustic audio analysis. Soundbay provides an easy and…