Related papers: An $\omega$-Algebra for Real-Time Energy Problems
We derive a systematic perturbative expansion for the finite-volume energy spectrum of the non-linear $O(N)$ $\sigma$-model in the $\delta$-regime. The violation of the power-counting rules that emerges after the separation of the fast and…
We consider the problem of dispatching a fleet of heterogeneous energy storage units to provide grid support. Under the restriction that recharging is not possible during the time frame of interest, we develop an aggregate measure of fleet…
We prove that a certain discrete energy for triangulated surfaces, defined in the spirit of discrete differential geometry, converges to the Willmore energy in the sense of $\Gamma$-convergence. Variants of this discrete energy have been…
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…
Random utility theory models an agent's preferences on alternatives by drawing a real-valued score on each alternative (typically independently) from a parameterized distribution, and then ranking the alternatives according to scores. A…
The Kirchberg Embedding Problem (KEP) asks if every C*-algebra embeds into an ultrapower of the Cuntz algebra $\mathcal{O}_2$. In an effort to provide a negative solution to the KEP and motivated by the recent refutation of the Connes…
We study varieties of certain ordered $\Sigma$-algebras with restricted completeness and continuity properties. We give a general characterization of their free algebras in terms of submonads of the monad of $\Sigma$-coterms. Varieties of…
Each step that results in a bit of information being ``forgotten'' by a computing device has an intrinsic energy cost. Although any Turing machine can be rewritten to be thermodynamically reversible without changing the recognized language,…
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…
The eikonal algebra $\mathfrak E$ of the metric graph $\Omega$ is an operator $C^*$--algebra defined by the dynamical system which describes the propagation of waves generated by sources supported in the boundary vertices of $\Omega$. This…
This paper is devoted to study the energy problem in general relativity using approximate Lie symmetry methods for differential equations. We evaluate second-order approximate symmetries of the geodesic equations for the stringy charged…
The growing renewable energy sources have posed significant challenges to traditional power scheduling. It is difficult for operators to obtain accurate day-ahead forecasts of renewable generation, thereby requiring the future scheduling…
Let V be a simple unitary vertex operator algebra and U be a (polynomially) energy-bounded unitary subalgebra containing the conformal vector of V. We give two sufficient conditions implying that V is energy-bounded. The first condition is…
We revisit a fundamental result in real-time verification, namely that the binary reachability relation between configurations of a given timed automaton is definable in linear arithmetic over the integers and reals. In this paper we give a…
Power systems modeling and planning has long leveraged mathematical programming for its ability to provide optimality and feasibility guarantees. One feature that has been recognized in the optimization literature since the 1970s is the…
We elaborate on a model of conformal dark energy (dynamical dark energy measured by the conformal age of the universe) recently proposed in [H. Wei and R.G. Cai, arXiv:0708.0884] where the present-day dark energy density was taken to be…
A function space, $L^{\theta,\infty)}(\Omega)$, $0 \leq \theta <\infty$, is defined. It is proved that $L^{\theta,\infty)}(\Omega)$ is a Banach space which is a generalization of exponential class. An alternative definition of…
The inter-temporal consumption flexibility of commercial buildings can be harnessed to improve the energy efficiency of buildings, or to provide ancillary service to the power grid. To do so, a predictive model of the building's thermal…
We discuss an efficient approach to the calculation of the internal energy in numerical simulations of spin systems with long-range interactions. Although, since the introduction of the Luijten-Bl\"ote algorithm, Monte Carlo simulations of…
We present a general framework for determining the power-efficiency trade-off relations across arbitrary thermal machines, addressing the lack of unified optimization results stemming from their diverse functionalities (e.g., heat engines,…