Related papers: About some Information and Logical Properties of S…
We say that a logic L has the Lyndon positivity property (LPP) if all formulas which are monotone in L (that is, are preserved under increasing the valuation on L-algebras) are L-equivalent to positive formulas (formulas without negation…
Since its establishment, propositional dynamic logic (PDL) has been a subject of intensive academic research and frequent use in the industry. We have studied the complexity of some PDL problems and in this paper, we show results for some…
These lecture notes present an overview of equilibrium statistical mechanics of classical fluids, with special applications to the structural and thermodynamic properties of systems made of particles interacting via the hard-sphere…
Compact plasmas, that exist near black-hole candidates and in gamma ray burst sources, commonly exhibit self-organized non-linear behavior. A model that simulates the non-linear behavior of compact radiative plasmas is constructed directly…
Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. In this kind of scenarios, arising e.g. in knowledge…
Understanding how Large Language Models (LLMs) perform logical reasoning internally remains a fundamental challenge. While prior mechanistic studies focus on identifying taskspecific circuits, they leave open the question of what…
By means of hybrid multi-particle collsion--particle-in-cell (MPC-PIC) simulations we study the dynamical scaling of energy and density correlations at equilibrium in moderately coupled 2D and quasi 1D plasmas. We find that the predictions…
High-power lasers offer ultrahigh intensities for plasma interactions, but they lack advanced techniques to control the properties of the fields, because no optical elements could withstand their high intensities. The vibrant field of…
Consistent statistical physical description is given for systems where the elementary excitations are composite objects. Explicit calculational scheme is constructed for the energy density and the total number of thermodynamical degrees of…
Soft matter materials and polymers are widely used in the controlled delivery of drugs. Simulation and modeling provide insight at the atomic scale enabling a level of control unavailable to experiments. We present a workflow protocol for…
Microplasmas are operated around atmospheric pressure exhibiting pronounced non-equilibrium characteristics, i.e. they possess energetic electrons while ions and neutrals remain cold. They have gained significant interest due to their…
The collective modes of a familiar two-dimensional one-component-plasma with the repulsive logarithmic interaction between the particles are analysed using the quasi-crystalline approximation (QCA) combined with the molecular dynamic…
A study of the effects of non-extensivity on the modelling of atomic physics in hot dense plasmas is proposed within Tsallis' statistics. The electronic structure of the plasma is calculated through an average-atom model based on the…
Some questions concerning the calculation of the number of ``physical'' (metastable) states or complexity of the spherical $p$-spin spin glass model are reviewed and examined further. Particular attention is focused on the general…
Symbolic logical reasoning is a critical yet underexplored capability of large language models (LLMs), providing reliable and verifiable decision-making in high-stakes domains such as mathematical reasoning and legal judgment. In this…
The recently proposed effective potential theory [Phys. Rev. Lett. 110, 235001 (2013)] allows evaluating transport in coupled plasmas with the well-developed formalisms for systems with binary collisions. To facilitate practical…
This paper introduces a new approach to represent logic functions in the form of Sierpinski Gaskets. The structure of the gasket allows to manipulate with the corresponding logic expression using recursive essence of fractals. Thus, the…
In classical physics, a single measurement can in principle reveal the state of a system. However, quantum theory permits numerous non-equivalent measurements on a physical system, each providing only limited information about the state.…
A detailed simple model is applied to study a high temperature plasma ball. It is assumed that the ions and delocalized electrons are distributed randomly throughout the charged plasma ball (extra/missing charge is assumed to be found in a…
Probabilistic Logic Programming (PLP), exemplified by Sato and Kameya's PRISM, Poole's ICL, Raedt et al's ProbLog and Vennekens et al's LPAD, is aimed at combining statistical and logical knowledge representation and inference. A key…