English
Related papers

Related papers: Exact Persistent Stochastic Non-Interference

200 papers

This paper presents a novel approach for approximate integration over the uncertainty of noise and signal variances in Gaussian process (GP) regression. Our efficient and straightforward approach can also be applied to integration over…

Machine Learning · Statistics 2017-12-18 Ville Tolvanen , Pasi Jylänki , Aki Vehtari

In this article we introduce several kinds of easily implementable explicit schemes, which are amenable to Khasminski's techniques and are particularly suitable for highly nonlinear stochastic differential equations (SDEs). We show that…

Numerical Analysis · Mathematics 2020-02-18 Xiaoyue Li , Xuerong Mao , Hongfu Yang

The increasing adoption of approximate computing in deep neural network accelerators (AxDNNs) promises significant energy efficiency gains. However, permanent faults in AxDNNs can severely degrade their performance compared to their…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-01-30 Khurram Khalil , Khaza Anuarul Hoque

Deep learning has shown promise in decoding brain signals, such as electroencephalogram (EEG), in the field of brain-computer interfaces (BCIs). However, the non-stationary characteristics of EEG signals pose challenges for training neural…

Machine Learning · Computer Science 2023-11-16 Byeong-Hoo Lee , Byoung-Hee Kwon , Seong-Whan Lee

Coarsened exact matching (CEM) is often promoted as a superior alternative to propensity score matching (PSM) for addressing imbalance, model dependence, bias, and efficiency. However, this recommendation remains uncertain. First, CEM is…

Methodology · Statistics 2026-02-03 Fei Wan

Doubly-stochastic point processes model the occurrence of events over a spatial domain as an inhomogeneous Poisson process conditioned on the realization of a random intensity function. They are flexible tools for capturing spatial…

Methodology · Statistics 2024-06-28 Si Cheng , Jon Wakefield , Ali Shojaie

Symbolic regression plays a crucial role in modern scientific research thanks to its capability of discovering concise and interpretable mathematical expressions from data. A key challenge lies in the search for parsimonious and…

Machine Learning · Computer Science 2025-09-12 Kai Ruan , Yilong Xu , Ze-Feng Gao , Yike Guo , Hao Sun , Ji-Rong Wen , Yang Liu

In two preceding papers we have shown that, when reaction networks are well-removed from equilibrium, explicit asymptotic and quasi-steady-state approximations can give algebraically-stabilized integration schemes that rival standard…

Solar and Stellar Astrophysics · Physics 2016-08-01 M. W. Guidry , J. J. Billings , W. R. Hix

Expressions for (EPI Shannon type) Divergence-Power Inequalities (DPI) in two cases (time-discrete and band-limited time-continuous) of stationary random processes are given. The new expressions connect the divergence rate of the sum of…

Information Theory · Computer Science 2016-11-17 Jacob Binia

Recent development in the field of Deep Learning have exposed the underlying vulnerability of Deep Neural Network (DNN) against adversarial examples. In image classification, an adversarial example is a carefully modified image that is…

Machine Learning · Computer Science 2018-11-26 Adnan Siraj Rakin , Zhezhi He , Deliang Fan

Capturing stochastic behaviors in business and work processes is essential to quantitatively understand how nondeterminism is resolved when taking decisions within the process. This is of special interest in process mining, where event data…

Logic in Computer Science · Computer Science 2023-06-13 Sander J. J. Leemans , Fabrizio M. Maggi , Marco Montali

This paper presents a comprehensive analysis of a broad range of variations of the stochastic proximal point method (SPPM). Proximal point methods have attracted considerable interest owing to their numerical stability and robustness…

Optimization and Control · Mathematics 2024-05-28 Peter Richtárik , Abdurakhmon Sadiev , Yury Demidovich

Research on Symbolic Probabilistic Inference (SPI) [2, 3] has provided an algorithm for resolving general queries in Bayesian networks. SPI applies the concept of dependency directed backward search to probabilistic inference, and is…

Artificial Intelligence · Computer Science 2013-03-26 Kuo-Chu Chang , Robert Fung

This paper proposes an approach, Spectral Dynamics Embedding Control (SDEC), to optimal control for nonlinear stochastic systems. This method reveals an infinite-dimensional feature representation induced by the system's nonlinear…

Machine Learning · Computer Science 2025-08-27 Zhaolin Ren , Tongzheng Ren , Haitong Ma , Na Li , Bo Dai

Bayesian neural network posterior distributions have a great number of modes that correspond to the same network function. The abundance of such modes can make it difficult for approximate inference methods to do their job. Recent work has…

Machine Learning · Statistics 2024-07-03 Tommy Rochussen

This thesis focuses on the discovery of stochastic differential equations (SDEs) and stochastic partial differential equations (SPDEs) from noisy and discrete time series. A major challenge is selecting the simplest possible correct model…

Machine Learning · Statistics 2025-07-08 Andonis Gerardos

The combination of neural network potential (NNP) with molecular simulations plays an important role in an efficient and thorough understanding of a molecular system's potential energy surface (PES). However, grasping the interplay between…

Computational Physics · Physics 2021-10-28 Ji Woong Yu , Min Young Ha , Bumjoon Seo , Won Bo Lee

We propose shifted inner-product similarity (SIPS), which is a novel yet very simple extension of the ordinary inner-product similarity (IPS) for neural-network based graph embedding (GE). In contrast to IPS, that is limited to…

Machine Learning · Statistics 2019-02-25 Akifumi Okuno , Geewook Kim , Hidetoshi Shimodaira

We propose Weak and Entropy PINNs (WE-PINNs) for the approximation of entropy solutions to nonlinear hyperbolic conservation laws. Standard physics-informed neural networks enforce governing equations in strong differential form, an…

Numerical Analysis · Mathematics 2026-03-27 Ismail Oubarka , Imad Kissami , Mohamed Boubekeur , Fayssal Benkhaldoun , Aziz Madrane , Zakaria Saadi

We propose an extension with immediate multiactions of discrete time stochastic Petri Box Calculus (dtsPBC), presented by I.V. Tarasyuk. The resulting algebra dtsiPBC is a discrete time analogue of stochastic Petri Box Calculus (sPBC) with…

Logic in Computer Science · Computer Science 2017-02-27 Igor V. Tarasyuk , Hermenegilda Macià , Valentín Valero