相关论文: A Weakness Measure for GR(1) Formulae
Evaluating and optimizing policies in the presence of unobserved confounders is a problem of growing interest in offline reinforcement learning. Using conventional methods for offline RL in the presence of confounding can not only lead to…
The aim of this paper is to compare various criteria leading to the central limit theorem and the weak invariance principle. These criteria are the martingale-coboundary decomposition developed by Gordin in Dokl. Akad. Nauk SSSR 188 (1969),…
In this article we confront a class of $f(Q)$ gravity models with observational data of galaxy-galaxy lensing. Specifically, we consider the $f(Q)$ gravity models containing a small quadratic correction when compared with General Relativity…
We study the problem of estimating a random process from the observations collected by a network of sensors that operate under resource constraints. When the dynamics of the process and sensor observations are described by a state-space…
We address the problem of modulating a parameter onto a power-limited signal, transmitted over a discrete-time Gaussian channel and estimating this parameter at the receiver. Continuing an earlier work, where the optimal trade-off between…
We study the constraints on gravity scale $M_P$ in extra-dimension gravitational theory, obtained from gravity-induced processes. The obtained constraints are subdivided into strong (though not robust) and reliable (though less strong). The…
Selected results on estimating cosmological parameters from simulated weak lensing data with noise are presented. Numerical simulations of ray tracing through N-body simulations have been used to generate shear and convergence maps due to…
Reinforcement learning algorithms typically rely on the assumption that the environment dynamics and value function can be expressed in terms of a Markovian state representation. However, when state information is only partially observable,…
Let $\Omega \subset \mathbb{R}^N$ ($N \geq 3$) be a bounded smooth domain and $\delta(x)=\text{dist}(x,\partial \Omega)$. In this paper, we provide various necessary and sufficient conditions for the existence of weak solutions to $$…
An essential feature of the subdiffusion equations with the $\alpha$-order time fractional derivative is the weak singularity at the initial time. The weak regularity of the solution is usually characterized by a regularity parameter…
As the title indicates this paper will describe several extensions and applications of the $\Gamma$2 integrated criterion introduced by M. Ledoux following ideas of B. Hellffer. We introduce general weak versions and show that they are…
Many recent works have shown that adversarial examples that fool classifiers can be found by minimally perturbing a normal input. Recent theoretical results, starting with Gilmer et al. (2018b), show that if the inputs are drawn from a…
We consider Horndeski modified gravity models obeying stability, velocity of gravitational waves $c_T$ equals $c$ and quasistatic approximation (QSA) on subhorizon scales. We assume further a $\Lambda$CDM background expansion and a…
On account of a greater need for understanding the complexity of time series like physiological time series, financial time series, and many more that enter into picture for their inculpation with real-world problems, several complexity…
Context: An assurance case is a structured hierarchy of claims aiming at demonstrating that a given mission-critical system supports specific requirements (e.g., safety, security, privacy). The presence of assurance weakeners (i.e.,…
Oracle inequalities and variable selection properties for the Lasso in linear models have been established under a variety of different assumptions on the design matrix. We show in this paper how the different conditions and concepts relate…
Two models were recently proposed to explore the robust hardness of Gr\"obner basis computation. Given a polynomial system, both models allow an algorithm to selectively ignore some of the polynomials: the algorithm is only responsible for…
Models with many signals, high-dimensional models, often impose structures on the signal strengths. The common assumption is that only a few signals are strong and most of the signals are zero or close (collectively) to zero. However, such…
This research started with an algebra for reasoning about rely/guarantee concurrency for a shared memory model. The approach taken led to a more abstract algebra of atomic steps, in which atomic steps synchronise (rather than interleave)…
The problem of estimating an unknown force driving a linear oscillator is revisited. When using linear measurement, feedback is often cited as a mechanism to enhance bandwidth or sensitivity. We show that as long as the oscillator dynamics…