Related papers: Kleene Algebras and Semimodules for Energy Problem…
Weighted automata are non-deterministic automata where the transitions are equipped with weights. They can model quantitative aspects of systems like costs or energy consumption. The value of a run can be computed, for example, as the…
We present a response-augmented machine learning (ML) approach to the energetics of electrified metal surfaces. We leverage local descriptors to learn the work function as the first-order energy change to introduced bias charges and…
The equivalence of finite automata and regular expressions dates back to the seminal paper of Kleene on events in nerve nets and finite automata from 1956. In the present paper we tour a fragment of the literature and summarize results on…
Multi-head finite automata were introduced in (Rabin, 1964) and (Rosenberg, 1966). Since that time, a vast literature on computational and descriptional complexity issues on multi-head finite automata documenting the importance of these…
We study constraint satisfaction problems on the so-called 'planted' random ensemble. We show that for a certain class of problems, e.g. graph coloring, many of the properties of the usual random ensemble are quantitatively identical in the…
A multidimensional extremal problem in the idempotent algebra setting is considered which consists in minimizing a nonlinear functional defined on a finite-dimensional semimodule over an idempotent semifield. The problem integrates two…
In this paper, we define a new kind of weighted tree automata where the weights are only supported by final states. We show that these automata are sequentializable and we study their closures under classical regular and algebraic…
Energy system optimization models (ESOMs) should be used in an interactive way to uncover knife-edge solutions, explore alternative system configurations, and suggest different ways to achieve policy objectives under conditions of deep…
Multiple pendulums are investigated numerically and analytically to clarify the nonuniformity of average kinetic energies of particles. The nonuniformity is attributed to the system having constraints and it is consistent with the…
This work is devoted to infinite-energy solutions of semi-linear wave equations in unbounded smooth domains of $\mathbb{R}^3$ with fractional damping of the form $(-\Delta_x+1)^\frac{1}{2}\partial_t u$. The work extends previously known…
Subzero automata is a class of tree automata whose acceptance condition can express probabilistic constraints. Our main result is that the problem of determining if a subzero automaton accepts some regular tree is decidable.
Energy-based finite-element formulations provide a unified framework for describing complex physical systems in computational mechanics. In these energy-based methods, the governing equations can be obtained directly by considering the…
In quasi-exactly solvable problems partial analytic solution (energy spectrum and associated wavefunctions) are obtained if some potential parameters are assigned specific values. We introduce a new class in which exact solutions are…
Automata models for data languages (i.e. languages over infinite alphabets) often feature either global or local freshness operators. We show that Bollig et al.'s session automata, which focus on global freshness, are equivalent to regular…
We present a unified treatment of exact solutions for a class of four quantum mechanical models, namely the singular anharmonic potential, the generalized quantum isotonic oscillator, the soft-core Coulomb potential, and the…
The total energy and electron addition and removal spectra can in principle be obtained exactly from the one-body Green's function. In practice, the Green's function is obtained from an approximate self-energy. In the framework of many-body…
It is demonstrated that quasi-exactly solvable models of quantum mechanics admit an interesting duality transformation which changes the form of their potentials and inverts the sign of all the exactly calculable energy levels. This…
It is well understood that various alternatives are available within EM theory for the definitions of energy density, momentum transfer, EM stress-energy tensor, and so forth. Although the various options are all compatible with the basic…
We consider a simple nonlinear (quartic in the fields) gauge-invariant modification of classical electrodynamics, which possesses a regularizing ability sufficient to make the field energy of a point charge finite. The model is exactly…
This paper shows how the use of Structural Operational Semantics (SOS) in the style popularized by the process-algebra community can lead to a more succinct and useful construction for building finite automata from regular expressions. Such…