Related papers: An $\omega$-Algebra for Real-Time Energy Problems
We present a number of novel algorithms, based on mathematical optimization formulations, in order to solve a homogeneous multiprocessor scheduling problem, while minimizing the total energy consumption. In particular, for a system with a…
Developing a reliable kinetic energy density functional within orbital-free density functional theory remains a long-standing challenge, particularly for atomic and molecular systems. A major difficulty lies in the absence of a systematic…
In this paper, we investigate the energy problem in general relativity using approximate Lie symmetry methods for differential equations. This procedure is applied to Bardeen model (the regular black hole solution). Here we are forced to…
We prove compactness with respect to $\Gamma$-convergence for a general class of non-local energies modelled after the ones considered in [Gobbino, CPAM (1998)]. We give an integral representation result for the limits, which are free…
The reliability of machine learning (ML) software systems is heavily influenced by changes in data over time. For that reason, ML systems require regular maintenance, typically based on model retraining. However, retraining requires…
The dark energy cosmology with the equation of state $w=constant$ is considered in this paper. The $\Omega_{DE}-\Omega_{M}$ plane has been used to study the present state and expansion history of the universe. Through the mathematical…
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequences of actions and quantitative temporal operators indexed by…
We propose to study some properties of the $C^*$-algebra naturally built out of the fundamental action that an automaton group $G$ admits on a regular rooted trees $\tree$.
Energy consumption analysis of IT-controlled systems can play a major role in minimising the overall energy consumption of such IT systems, during the development phase, or for optimisation in the field. Recently, a precise energy analysis…
We present a method for calculating the kinetic energy of localised functions represented on a regular real space grid. This method uses fast Fourier transforms applied to restricted regions commensurate with the simulation cell and is…
Is Dark Energy justified as an alternative to the cosmological constant $\Lambda$ in order to explain the acceleration of the cosmic expansion ? It turns out that a straightforward dimensional analysis of Einstein equation provides us with…
Environmentally-powered computer systems operate on renewable energy harvested from their environment, such as solar or wind, and stored in batteries. While harvesting environmental energy has long been necessary for small-scale embedded…
The grand potential of a system of interacting electrons is considered as a stationary point of a self-energy functional. It is shown that a rigorous evaluation of the functional is possible for self-energies that are representable within a…
Guarded Kleene Algebra with Tests (GKAT) is a variation on Kleene Algebra with Tests (KAT) that arises by restricting the union ($+$) and iteration ($*$) operations from KAT to predicate-guarded versions. We develop the (co)algebraic theory…
The K-energy functional is extended to complexified K\"ahler classes, providing a variational approach to study the scalar curvature equation with B-field introduced by Schlitzer and Stoppa. The extended K-energy is convex along geodesics…
This report showcases the role of, and future directions for, the field of Randomized Numerical Linear Algebra (RNLA) in a selection of scientific applications. These applications span the domains of imaging, genomics and dynamical systems,…
Given a locally finite graph $\Gamma$, an amenable subgroup $G$ of graph automorphisms acting freely and almost transitively on its vertices, and a $G$-invariant activity function $\lambda$, consider the free energy $f_G(\Gamma,\lambda)$ of…
We consider the optimal power management in renewable driven smart building MicroGrid under noise corrupted conditions as a stochastic optimization problem. We first propose our user satisfaction and electricity consumption balanced (USECB)…
We derive a graph expansion for the thermal partition function of solvable two-dimensional models with boundaries. This expansion of the integration measure over the virtual particles winding around the time cycle is obtained with the help…
We present a new learning algorithm for realtime one-counter automata. Our algorithm uses membership and equivalence queries as in Angluin's L* algorithm, as well as counter value queries and partial equivalence queries. In a partial…