Related papers: Kleene Algebras and Semimodules for Energy Problem…
We survey recent results on the control problem for the heat equation on unbounded and large bounded domains. First we formulate new uncertainty relations, respectively spectral inequalities. Then we present an abstract control cost…
This paper presents a systematic theoretical framework to derive the energy identities of general implicit and explicit Runge--Kutta (RK) methods for linear seminegative systems. It generalizes the stability analysis of explicit RK methods…
We briefly review some of the scientific challenges and epistemological issues related to climate science. We discuss the formulation and testing of theories and numerical models, which, given the presence of unavoidable uncertainties in…
Within a semiclassical framework, we investigate spherically symmetric solutions of the Einstein equations that (i) develop a trapped region within a finite time as measured by distant observers, and (ii) remain sufficiently regular at the…
The purpose of this paper is to explore the applications of quantum computing to energy systems optimization problems and discuss some of the challenges faced by quantum computers with techniques to overcome them. The basic concepts…
Many problems in physics, material sciences, chemistry and biology can be abstractly formulated as a system that navigates over a complex energy landscape of high or infinite dimensions. Well-known examples include phase transitions of…
We search for approximate, but analytic solutions of the pairing problem for one pair of nucleons in many levels of a potential well. For the collective energy a general formula, independent of the details of the single particle spectrum,…
The accelerated expansion of the Universe is one of the main discoveries of the past decades, indicating the presence of an unknown component: the dark energy. Evidence of its presence is being gathered by a succession of observational…
We introduce a synthetic approach to global pluripotential theory, covering in particular the case of a compact K\"ahler manifold and that of a projective Berkovich space over a non-Archimedean field. We define and study the space of…
In order to better understand the occurrence of phase transitions, we adopt an approach based on the study of energy landscapes: The relation between stationary points of the potential energy landscape of a classical many-particle system…
A deterministic finite automaton in which every non-empty set of states occurs as the image of the whole state set under the action of a suitable input word is called completely reachable. We characterize such automata in terms of graphs…
We introduce a novel technique to analyse unambiguous B\"uchi automata quantitatively, and apply this to the model checking problem. It is based on linear-algebra arguments that originate from the analysis of matrix semigroups with constant…
The finite square potential well is a staple problem in introductory quantum mechanics. There is an extensive literature on the determination of the allowed energies, which requires the solution of a transcendental equation by numerical,…
Transitioning from fossil fuels to renewable energy sources is a critical global challenge; it demands advances at the levels of materials, devices, and systems for the efficient harvesting, storage, conversion, and management of renewable…
In recent years, semidefinite relaxations of common optimization problems in robotics have attracted growing attention due to their ability to provide globally optimal solutions. In many cases, it was shown that specific handcrafted…
This paper points out some key drawbacks of today's modeling and control underlying hierarchical electric power system operations and planning as the hidden roadblocks on the way to decarbonization. We suggest that these can be overcome by…
Starting from a classical Budyko-Sellers-Ghil energy balance model for the average surface temperature of the Earth, a nonautonomous version is designed by allowing the solar irradiance and the cloud cover coefficients to vary with time in…
For the kinetic energy of 1d model finite systems the leading corrections to local approximations as a functional of the potential are derived using semiclassical methods. The corrections are simple, non-local functionals of the potential.…
We consider quasinormal modes with complex energies from the point of view of the theory of quasi-exactly solvable (QES) models. We demonstrate that it is possible to find new potentials which admit exactly solvable or QES quasinormal modes…
This is a book on weighted tree automata. We present the basic definitions and some of the important results in a coherent form with full proofs. The concept of weighted tree automata is part of Automata Theory and it touches the area of…