Related papers: About some Information and Logical Properties of S…
The paper presents new results in the field of super high-speed and multi-valued signal processing. Writting digital information into spatial structures (topological charts) of electromagnetic field pulses allows to use passive circuits for…
The classical two-dimensional one-component plasma is an exactly solvable model, at some special temperature, even when the one-body potential acting on the particles has a quadrupolar term. As a supplement to a recent work of Di Francesco,…
The relativistic Vlasov-Maxwell system describes the evolution of a collisionless plasma. The problem of linear instability of this system is considered in two physical settings: the so-called "one and one-half" dimensional case, and the…
Machine learning potentials (MLPs) have become indispensable for conducting accurate large-scale atomistic simulations and for the efficient prediction of crystal structures. Polynomial MLPs, defined by polynomial rotational invariants,…
Information security properties of reactive systems like non-interference often require relating different executions of the system to each other and following them simultaneously. Such hyperproperties can also be useful in other contexts,…
In this lecture, we give a brief review of what theorists now know, understand, or guess about static and kinetic properties of quark--gluon plasma. A particular attention is payed to the problem of physical observability, i.e. the physical…
Calculations of elastic and mechanical characteristics of non-crystalline solids are challenging due to high computation cost of $ab$ $initio$ methods and low accuracy of empirical potentials. We propose a computational technique towards…
Stable Logic Programming (SLP) is an emergent, alternative style of logic programming: each solution to a problem is represented by a stable model of a deductive database/function-free logic program encoding the problem itself. Several…
We present a review on the study of metastable silicon, primarily focusing mainly on the aspects of liquid-liquid transition, critical point and phase behaviour, structural and dynamic properties of liquid phase as well as crystal…
We introduce Parametric Linear Dynamic Logic (PLDL), which extends Linear Dynamic Logic (LDL) by temporal operators equipped with parameters that bound their scope. LDL was proposed as an extension of Linear Temporal Logic (LTL) that is…
Linear Temporal Logic (LTL) is the standard specification language for reactive systems and is successfully applied in industrial settings. However, many shortcomings of LTL have been identified in the literature, among them the limited…
Linear Temporal Logic (LTL) is the standard specification language for reactive systems and is successfully applied in industrial settings. However, many shortcomings of LTL have been identified in the literature, among them the limited…
On the basis of the relativistic kinetic theory the relativistic statistical systems with scalar interaction particles are investigated. The self-consistent system of the equations describing self-gravitating plasma with interpartial scalar…
Nonlinear oscillations within a plasma slab are analyzed. Two types of solutions are found, depending on the initial value of the electron density. The first represents regular oscillations within the plasma slab, while the second gives…
The existence and properties of phase-space structures in current-carrying pair plasmas is studied by means of the finite amplitude expressions of the pseudo-potential method. Emphasis is given to double layers, solitary structures and…
In the practical deployment of machine learning (ML) models, missing data represents a recurring challenge. Missing data is often addressed when training ML models. But missing data also needs to be addressed when deciding predictions and…
The nonlinear propagation of electron-acoustic solitary structures is investigated in a plasma containing kappa-distributed (superthermal) electrons. Different types of localized structures are shown to exist. The occurrence of modulational…
Two new forms of strongly coupled plasmas will be discussed. They have become possible to create and observe in the laboratory only recently and exhibit a wealth of intriguing complex behavior which can be studied, in many cases for the…
As revealed by discussions of principle on energy dissipation by computers, logic imposes constraints on physical systems designed for a logical function. We define a notion of logical dissipation for a finite automaton. We discuss the…
The advent of transformers has in recent years led to powerful and revolutionary Large Language Models (LLMs). Despite this, our understanding on the capability of transformers is still meager. In this invited contribution, we recount the…