Related papers: Kleene Algebras and Semimodules for Energy Problem…
The goal of this paper is to establish a global well-posedness for a broad class of strictly hyperbolic Cauchy problems with coefficients in $C^2((0,T];C^\infty(\mathbb{R}^n))$ growing polynomially in $x$ and singular in $t$. The problems…
We prove new well-posedness results for energy-critical nonlinear Schr\"odinger equations in modulation spaces. This covers initial data with infinite mass and energy. The proof is carried out via bilinear refinements and adapted function…
We consider the growth, order, and finiteness problems for automaton (semi)groups. We propose new implementations and compare them with the existing ones. As a result of extensive experimentations, we propose some conjectures on the order…
We explore a natural class of semigroups that have word problem decidable by finite state automata. Among the main results are invariance of this property under change of generators, invariance under basic algebraic constructions and…
The theory of computation is based on abstract computing automata which can be classified into a three-class hierarchy: Finite Automata (FA), Push-down Automata (PDA) and the Turing Machines (TM). Each class corresponds to grammar/language…
Decision support systems like computer-aided energy system analysis (ESA) are considered one of the main pillars for developing sustainable and reliable energy transformation strategies. Although today's diverse tools can already support…
The energy system studies include a wide range of issues from short term (e.g. real-time, hourly, daily and weekly operating decisions) to long term horizons (e.g. planning or policy making). The decision making chain is fed by input…
The thermodynamical properties of a generalized Dicke model are calculated and related with the critical properties of its energy spectrum, namely the quantum phase transitions (QPT) and excited state quantum phase transitions (ESQPT). The…
The present chapter gives an overview on results for discrete knot energies. These discrete energies are designed to make swift numerical computations and thus open the field to computational methods. Additionally, they provide an…
Automata admitting at most one accepting run per structure, known as unambiguous automata, find applications in verification of reactive systems as they extend the class of deterministic automata whilst maintaining some of their desirable…
We construct integrable generalised models in a systematic way exploring different representations of the gl(N) algebra. The models are then interpreted in the context of atomic and molecular physics, most of them related to different types…
We prove that the equational theory of Kleene algebra with commutativity conditions on primitives (or atomic terms) is undecidable, thereby settling a longstanding open question in the theory of Kleene algebra. While this question has also…
We introduce a certain restriction of weighted automata over the rationals, called image-binary automata. We show that such automata accept the regular languages, can be exponentially more succinct than corresponding NFAs, and allow for…
Linear cosmological perturbations of a large class of modified gravity and dark energy models can be unified in the effective field theory of cosmic acceleration, encompassing Horndeski scalar-tensor theories and beyond. The fully available…
In this paper we present a procedure to integrate, up to quadratures, the matching conditions of the energy shaping method. We do that in the context of underactuated Hamiltonian systems defined by simple Hamiltonian functions. For such…
Quantum computing is concerned with computer technology based on the principles of quantum mechanics, with operations performed at the quantum level. Quantum computational models make it possible to analyze the resources required for…
The thermodynamic and kinetic anomalies of supercooled liquids are analyzed from the perspective of energy landscapes. A mean field model, a generalized random energy model of liquids is developed, which exhibits a dynamical transition of…
Bilinear systems of equations are defined, motivated and analyzed for solvability. Elementary structure is mentioned and it is shown that all solutions may be obtained as rank one completions of a linear matrix polynomial derived from…
Energy system models based on linear programming have been growing in size with the increasing need to model renewables with high spatial and temporal detail. Larger models lead to high computational requirements. Furthermore, seemingly…
Energy-Based Models have emerged as a powerful framework in the realm of generative modeling, offering a unique perspective that aligns closely with principles of statistical mechanics. This review aims to provide physicists with a…