Related papers: On the power pseudovariety $\mathbf{PCS}$
The notion of modular covariance is reviewed and the reconstruction of the Poincar\'e group extended to the low-dimensional case. The relations with the PCT symmetry and the Spin and Statistics theorem are described.
The most developed aspect of the theory of finite semigroups is their classification in pseudovarieties. The main motivation for investigating such entities comes from their connection with the classification of regular languages via…
Determining the power distribution of the members of a shareholder meeting or a legislative committee is a well-known problem for many applications. In some cases it turns out that power is nearly proportional to relative voting weights,…
This talk summarizes a method for analyzing the properties of any new scalar particle, which is systematic in the sense that it minimizes apriori theoretical assumptions about the properties of the scalar particle, leading to very…
We prove a new criterion for the solvability of the finite groups, depending on the function $\psi_k(G)$ which is defined as the sum of $k$-th powers of the element orders of $G$. We show that our result can be used to show the solvability…
In a recent paper, the author has shown how Interaction Graphs models for linear logic can be used to obtain implicit characterisations of non-deterministic complexity classes. In this paper, we show how this semantic approach to Implicit…
We examine the computational complexity of problems in which we are given generators for a partial bijection semigroup and asked to check properties of the generated semigroup. We prove that the following problems are in AC$^0$: (1)…
We study the semantic foundation of expressive probabilistic programming languages, that support higher-order functions, continuous distributions, and soft constraints (such as Anglican, Church, and Venture). We define a metalanguage (an…
We consider power means of independent and identically distributed (i.i.d.) non-integrable random variables. The power mean is an example of a homogeneous quasi-arithmetic mean. Under certain conditions, several limit theorems hold for the…
Human pluripotent stem cells hold great promise for developments in regenerative medicine and drug design. The mathematical modelling of stem cells and their properties is necessary to understand and quantify key behaviours and develop…
As a continuation of our previous work on the conservation and breaking of the pseudospin symmetry (PSS) in resonant states [Phys. Lett. B 847, 138320 (2023)}], in this work, the PSS in nuclear single-particle bound and resonant states are…
A novel power consensus algorithm for DC microgrids is proposed and analyzed. DC microgrids are networks composed of DC sources, loads, and interconnecting lines. They are represented by differential-algebraic equations connected over an…
Predictive coding (PC) is an influential theory of information processing in the brain, providing a biologically plausible alternative to backpropagation. It is motivated in terms of Bayesian inference, as hidden states and parameters are…
Designing expressive generative models that support exact and efficient inference is a core question in probabilistic ML. Probabilistic circuits (PCs) offer a framework where this tractability-vs-expressiveness trade-off can be analyzed…
A new discrete distribution has been proposed as a discrete analogue of the two sided power distribution [Van Drop, J. R. and Kotz, S. (2002a). A novel extension of the triangular distribution and its parameter estimation, Journal of the…
We propose a hybrid probabilistic process calculus for modelling and reasoning on cyber-physical systems (CPSs). The dynamics of the calculus is expressed in terms of a probabilistic labelled transition system in the SOS style of Plotkin.…
In recent years, research unveiled more and more evidence for the so-called Bayesian Brain Paradigm, i.e. the human brain is interpreted as a probabilistic inference machine and Bayesian modelling approaches are hence used successfully. One…
Polarization coherent states (PCS) are considered as generalized coherent states of $SU(2)_p$ group of the polarization invariance of the light fields. The geometric phases of PCS are introduced in a way, analogous to that used in the…
Probabilistic Logic Programming is an effective formalism for encoding problems characterized by uncertainty. Some of these problems may require the optimization of probability values subject to constraints among probability distributions…
Particle-in-Cell (PIC) simulation codes have wide applicability to first-principles modeling of multidimensional nonlinear plasma phenomena, including wake-field accelerators. This review addresses both finite difference and pseudo-spectral…