English
Related papers

Related papers: A hybrid SIAC -- data-driven post-processing filte…

200 papers

We introduce the State Classification Problem (SCP) for hybrid systems, and present Neural State Classification (NSC) as an efficient solution technique. SCP generalizes the model checking problem as it entails classifying each state $s$ of…

Machine Learning · Computer Science 2019-08-08 Dung Phan , Nicola Paoletti , Timothy Zhang , Radu Grosu , Scott A. Smolka , Scott D. Stoller

Data assimilation (DA) provides a general framework for estimation in dynamical systems based on the concepts of Bayesian inference. This constitutes a common basis for the different linear and nonlinear filtering and smoothing techniques…

Optimization and Control · Mathematics 2023-03-08 Tarek Diaa-Eldeen , Marcus Krogh Nielsen , Carl Fredrik Berg , Morten Hovd , John Bagterp Jørgensen

Purpose: Deformable image registration (DIR) is critical in adaptive radiation therapy (ART) to account for anatomical changes. Conventional intensity-based DIR methods often fail when image intensities differ. This study evaluates a hybrid…

Medical Physics · Physics 2024-11-27 Keyur D. Shah , James A. Shackleford , Nagarajan Kandasamy , Gregory C. Sharp

Time-interleaved ADCs (TI-ADCs) achieve high sampling rates by interleaving multiple sub-ADCs in parallel. Mismatch errors between the sub-ADCs, however, can significantly degrade the signal quality, which is a main performance bottleneck.…

Signal Processing · Electrical Eng. & Systems 2025-10-14 Jiwon Sung , Jinseok Choi

A new computational algorithm, the discrete singular convolution (DSC), is introduced for computational electromagnetics. The basic philosophy behind the DSC algorithm for the approximation of functions and their derivatives is studied.…

Numerical Analysis · Mathematics 2025-10-20 G. W. Wei

Successive quadratic approximations, or second-order proximal methods, are useful for minimizing functions that are a sum of a smooth part and a convex, possibly nonsmooth part that promotes regularization. Most analyses of iteration…

Optimization and Control · Mathematics 2019-01-25 Ching-pei Lee , Stephen J. Wright

Storm surge and waves are responsible for a substantial portion of tropical and extratropical cyclones-related damages. While high-fidelity numerical models have significantly advanced the simulation accuracy of storm surge and waves, they…

Atmospheric and Oceanic Physics · Physics 2024-03-27 Saeed Saviz Naeini , Reda Snaiki

Analysis of dental radiographs is an important part of the diagnostic process in daily clinical practice. Interpretation by an expert includes teeth detection and numbering. In this project, a novel solution based on adaptive histogram…

Image and Video Processing · Electrical Eng. & Systems 2020-05-05 Yaqi Wang , Lingling Sun , Yifang Zhang , Dailin Lv , Zhixing Li , Wuteng Qi

A novel approximate Bayesian filter based on backward stochastic differential equations is introduced. It uses a nonlinear Feynman--Kac representation of the filtering problem and the approximation of an unnormalized filtering density using…

Numerical Analysis · Mathematics 2026-04-21 Kasper Bågmark , Adam Andersson , Stig Larsson

A feedforward neural network, including hidden layers, motivated by nonlinear functions (such as Tanh, ReLU, and Sigmoid functions), exhibits uniform approximation properties in Sobolev space, and discontinuous neural networks can reduce…

Numerical Analysis · Mathematics 2025-05-16 Xiaoyu Wang , Long Yuan , Yao Yu

When simulating partial differential equations, hybrid solvers combine coarse numerical solvers with learned correctors. They promise accelerated simulations while adhering to physical constraints. However, as shown in our theoretical…

Machine Learning · Computer Science 2025-11-19 Hao Wei , Aleksandra Franz , Bjoern List , Nils Thuerey

Data synthesis and augmentation are essential for Sound Event Detection (SED) due to the scarcity of temporally labeled data. While augmentation methods like SpecAugment and Mix-up can enhance model performance, they remain constrained by…

Audio and Speech Processing · Electrical Eng. & Systems 2025-09-24 Jiarui Hai , Mounya Elhilali

This paper introduces Synthetic Enclosed Echoes (SEE), a novel dataset designed to enhance robot perception and 3D reconstruction capabilities in underwater environments. SEE comprises high-fidelity synthetic sonar data, complemented by a…

Robotics · Computer Science 2025-05-22 Guilherme de Oliveira , Matheus M. dos Santos , Paulo L. J. Drews-Jr

We introduce a new methodology for adding localized, space-time smooth, artificial viscosity to nonlinear systems of conservation laws which propagate shock waves, rarefactions, and contact discontinuities, which we call the $C$-method. We…

Computational Physics · Physics 2015-06-04 Jon Reisner , Jonathan Serencsa , Steve Shkoller

This article presents a unified mathematical framework for modeling coupled poro-viscoelastic and thermo-viscoelastic phenomena, formulated as a system of first-order in time partial differential equations. The model describes the evolution…

Numerical Analysis · Mathematics 2025-04-29 Salim Meddahi

The integration of sensing and communication (ISAC) is a key enabler for next-generation technologies. With high-frequency bands and large-scale antenna arrays, the Rayleigh distance extends, necessitating near-field (NF) models where waves…

Signal Processing · Electrical Eng. & Systems 2025-12-25 Yinchao Yang , Jingxuan Zhou , Zhaohui Yang , Mohammad Shikh-Bahaei

In this article, we present an efficient deep learning method called coupled deep neural networks (CDNNs) for coupled physical problems. Our method compiles the interface conditions of the coupled PDEs into the networks properly and can be…

Numerical Analysis · Mathematics 2023-01-18 Jing Yue , Jian Li , Wen Zhang

Change detection (CD) is a fundamental and important task for monitoring the land surface dynamics in the earth observation field. Existing deep learning-based CD methods typically extract bi-temporal image features using a weight-sharing…

Computer Vision and Pattern Recognition · Computer Science 2024-04-11 Haonan Guo , Xin Su , Chen Wu , Bo Du , Liangpei Zhang

Quantifying uncertainty is crucial for robust and reliable predictions. However, existing spatiotemporal deep learning mostly focuses on deterministic prediction, overlooking the inherent uncertainty in such prediction. Particularly,…

Machine Learning · Computer Science 2024-09-16 Dingyi Zhuang , Yuheng Bu , Guang Wang , Shenhao Wang , Jinhua Zhao

This paper presents a hybrid model combining Transformer and CNN for predicting the current waveform in signal lines. Unlike traditional approaches such as current source models, driver linear representations, waveform functional fitting,…

Signal Processing · Electrical Eng. & Systems 2025-06-11 Junlang Huang , Hao Chen , Li Luo , Yong Cai , Lexin Zhang , Tianhao Ma , Yitian Zhang , Zhong Guan