A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains [PDF]
Logical Methods in Computer Science, 2018 In this paper we propose a complete axiomatization of the bisimilarity distance of Desharnais et al. for the class of finite labelled Markov chains.
Giorgio Bacci +3 more
doaj +1 more source
Variational interpretation of the eikonal calculation problem from the condition of generating a prescribed irradiance distribution [PDF]
Компьютерная оптика, 2018 The problem of calculation of the light field eikonal defined on a certain surface from the condition of generating a prescribed irradiance distribution on another surface is formulated as a Monge-Kantorovich mass transportation problem. We show that the
Albert Mingazov +3 more
doaj +1 more source
Logical Methods in Computer ScienceDrawing (a multiset of) coloured balls from an urn is one of the most basic models in discrete probability theory. Three modes of drawing are commonly distinguished: multinomial (draw-replace), hypergeometric (draw-delete), and Polya (draw-add).
Bart Jacobs
doaj +1 more source
Coalgebraic Behavioral Metrics [PDF]
Logical Methods in Computer Science, 2018 We study different behavioral metrics, such as those arising from both branching and linear-time semantics, in a coalgebraic setting. Given a coalgebra $\alpha\colon X \to HX$ for a functor $H \colon \mathrm{Set}\to \mathrm{Set}$, we define a framework ...
Paolo Baldan +3 more
doaj +1 more source
A novel deep unsupervised approach for super-resolution of remote sensing hyperspectral image using gompertz-function convergence war accelerometric-optimization generative adversarial network (GF-CWAO-GAN). [PDF]
Sci RepHyperspectral remote sensing images obtained from cameras are characterized by high-dimensions and low quality, which makes them unfavorable for various analytics purposes. This is due to the presence of visible and invisible frequencies of the reflected
Deepthi K, Shastry AK, Naresh E.
europepmc +2 more sources
On the Accuracy of the Exponential Approximation to Random Sums of Alternating Random Variables
Mathematics, 2020 Using the generalized stationary renewal distribution (also called the equilibrium transform) for arbitrary distributions with a finite non-zero first moment, we prove moment-type error-bounds in the Kantorovich distance for the exponential approximation
Irina Shevtsova, Mikhail Tselishchev
doaj +1 more source
Sobolev-Kantorovich Inequalities
Analysis and Geometry in Metric Spaces, 2015 In a recent work, E. Cinti and F. Otto established some new interpolation inequalities in the study of pattern formation, bounding the Lr(μ)-norm of a probability density with respect to the reference measure μ by its Sobolev norm and the Kantorovich ...
Ledoux Michel
doaj +1 more source
Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems [PDF]
Logical Methods in Computer Science, 2008 Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue of probabilistic bisimilarity.
Franck van Breugel +2 more
doaj +1 more source
Scenario Selection for Iterative Stochastic Transmission Expansion Planning
Energies, 2020 Reliable transmission expansion planning is critical to power systems’ development. To make reliable and sustainable transmission expansion plans, numerous sources of uncertainty including demand, generation capacity, and fuel cost must be taken ...
Faezeh Akhavizadegan +2 more
doaj +1 more source
On the Accuracy of the Generalized Gamma Approximation to Generalized Negative Binomial Random Sums
Mathematics, 2021 We investigate the proximity in terms of zeta-structured metrics of generalized negative binomial random sums to generalized gamma distribution with the corresponding parameters, extending thus the zeta-structured estimates of the rate of convergence in ...
Irina Shevtsova, Mikhail Tselishchev
doaj +1 more source