Related papers: On the power pseudovariety $\mathbf{PCS}$
In theoretical computer science, conferences play an important role in the scientific process. The decisions whether to accept or reject articles is taken by the program committee (PC) members. Serving on a PC for the first time can be a…
Several combinatorial identities are presented, involving Stirling functions of the second kind with a complex variable. The identities involve also Stirling numbers of the first kind, binomial coefficients and harmonic numbers.
Modeling and reasoning about concurrent quantum systems is very important both for distributed quantum computing and for quantum protocol verification. As a consequence, a general framework describing formally the communication and…
A probabilistic structure on sequential dynamical systems is introduced here, the new model will be called Probabilistic Sequential Network, PSN. The morphisms of Probabilistic Sequential Networks are defined using two algebraic conditions.…
We consider variable selection in high-dimensional linear models where the number of covariates greatly exceeds the sample size. We introduce the new concept of partial faithfulness and use it to infer associations between the covariates…
Cyber-Physical Systems (CPS) pose new challenges to verification and validation that go beyond the proof of functional correctness based on high-level models. Particular challenges are, in particular for formal methods, its heterogeneity…
A scheme is developed for creating pseudopotentials for use in correlated-electron calculations. Pseudopotentials for the light elements H, Li, Be, B, C, N, O, and F, are reported, based on data from high-level quantum chemical…
We review some semantic and syntactic complexity classes that were introduced to better understand the relationship between complexity classes P and NP. We also define several new complexity classes, some of which are associated with…
An approximate analytical expression for "capacitance" of MWPC configurations circulates in the literature since decades and is copied over and over again. In this paper we will try to show that this formula corresponds to a physical…
A stochastic representation for the solutions of the Poisson-Vlasov equation, with several charged species, is obtained. The representation involves both an exponential and a branching process and it provides an intuitive characterization…
This work addresses integrating probabilistic propositional logic constraints into the distribution encoded by a probabilistic circuit (PC). PCs are a class of tractable models that allow efficient computations (such as conditional and…
The article is devoted to new mathematical methods for psychophysical filtering of experimental data and their processing.
In this paper, we study some properties of Sheffer sequences for the powers of Sheffer pairs under umbral composition. From our properties we derive new and interesting identities of Sheffer sequences of special polynomials for the powers…
In this article, we present a semantics-level adaption of the Optional Stopping Theorem, sketch an expected-cost analysis as its application, and survey different variants of the Optional Stopping Theorem that have been used in static…
We examine some properties of pseudo-multiplications, which are a special kind of associative binary relations defined on $\bar{\mathbb{R}}_+ \times \bar{\mathbb{R}}_+$.
Incorporating probabilistic terms in mathematical models is crucial for capturing and quantifying uncertainties in real-world systems, especially when the solution is not unique or exhibits sudden qualitative changes as parameters vary.…
We construct a family of representations of an arbitrary variant $S_a$ of a semigroup $S$, induced by a given representation of $S$, and investigate properties of such representations and their kernels.
Various semantics for studying the square of opposition and the hexagon of opposition have been proposed recently. We interpret sentences by imprecise (set-valued) probability assessments on a finite sequence of conditional events. We…
A probabilistic circuit (PC) succinctly expresses a function that represents a multivariate probability distribution and, given sufficient structural properties of the circuit, supports efficient probabilistic inference. Typically a PC…
In this note, we find a new way to prove several properties of 2-alternating capacities.