Related papers: Kleene Algebras and Semimodules for Energy Problem…
We propose a generalisation of concurrent Kleene algebra \cite{Hoa09} that can take account of probabilistic effects in the presence of concurrency. The algebra is proved sound with respect to a model of automata modulo a variant of rooted…
Dynamical energy analysis was recently introduced as a new method for determining the distribution of mechanical and acoustic wave energy in complex built up structures. The technique interpolates between standard statistical energy…
This paper surveys the primary computational hurdles of Energy Systems optimization coming from different sources: model-induced complexity, optimization algorithm requirements, and uncertainties handling (both aleatoric and epistemic).…
Energy is at best defined quasilocally in general relativity. Quasilocal energy definitions depend on the conditions one imposes on the boundary Hamiltonian, i.e., how a finite region of spacetime is "isolated". Here, we propose a method to…
The present work is an attempt to understand and review existing methods of energy generation in electric vehicles in the modern day context. Previous works in the field have proposed various mechanisms of energy generation that are very…
Einstein field equations under spherically symmetric space-times are considered here in connection to dark energy investigation. A set of solutions are obtained for a kinematical $\Lambda$ model, viz., $\Lambda \sim (\dot a/a)^2$ without…
We construct new solvable rational and trigonometric spin models with near-neighbors interactions by an extension of the Dunkl operator formalism. In the trigonometric case we obtain a finite number of energy levels in the center of mass…
Hybrid automata are a natural framework for modeling and analyzing systems which exhibit a mixed discrete continuous behaviour. However, the standard operational semantics defined over such models implicitly assume perfect knowledge of the…
In this paper, for the first time a theory is formulated that predicts velocity and spatial correlations between occupation numbers that occur in lattice gas automata violating semi-detailed balance. Starting from a coupled BBGKY hierarchy…
Formulas for the solutions of initial value problems for ordinary differential equations with singular $\delta^{(n)}$-like driving terms are derived in the framework of an algebra of generalized functions (of Colombeau type) over a field of…
Energies with high-order non-submodular interactions have been shown to be very useful in vision due to their high modeling power. Optimization of such energies, however, is generally NP-hard. A naive approach that works for small problem…
We study a categorical generalisation of tree automata, as $\Sigma$-algebras for a fixed endofunctor $\Sigma$ endowed with initial and final states. Under mild assumptions about the base category, we present a general minimisation algorithm…
The quantification of controllability and observability has recently received new interest in the context of large, complex networks of dynamical systems. A fundamental but computationally difficult problem is the placement or selection of…
Multi-tasking machine learning (ML) models exhibit prediction abilities in domains with little to no training data available (few-shot and zero-shot learning). Over-parameterized ML models are further capable of zero-loss training and…
A combination of some weighted energy estimates is applied for the Cauchy problem of quasilinear wave equations with the standard null conditions in three spatial dimensions. Alternative proofs for global solutions are shown including the…
A study of assisted problem solving formalized via decompositions of deterministic finite automata is initiated. The landscape of new types of decompositions of finite automata this study uncovered is presented. Languages with various…
We consider relative or subjective optimization problems where the goal function and feasible set are dependent of the current state of the system under consideration. In general, they are formulated as quasi-equilibrium problems, hence…
As explained in detail in the prologue to this manuscript, boundedness of weak solutions for general classes of elliptic equations in divergence form is a classic tool for achieving higher regularity. We propose here some global boundedness…
We argue that low-energy gluodynamics can be explained in terms of semi-classical Yang-Mills solutions by demonstrating that lattice gluon correlation functions fit to instanton liquid predictions for low energies and, after cooling, in the…
We introduce a version of probabilistic Kleene algebra with angelic nondeterminism and a corresponding class of automata. Our approach implements semantics via distributions over multisets in order to overcome theoretical barriers arising…