We study the problem of optimal flexibility capacity portfolio selection by introducing a new notion of submodularity for correspondences, which extends the classical notion of submodular functions.
In this paper, we are going to present a new notion of "extension" for defeasible inheritance networks that allows us to deal with cyclic nets.
One important innovation in classical statistical mechanics is the use of a new notion of state for physical systems; referred to as a macrostate (or ensemble density).
A new notion of stability for compressible, transversely isotropic hyperelastic, nonlinear materials is introduced whereby an anisotropic material is considered stable if the stress in the direction of anisotropy is both tensile and is a monotonically increasing function of the fibre stretch.
We then give a new notion of non-interference for Boundary Ambients aiming at capturing indirect flows, too.
Specifically, necessary and sufficient conditions based on the new notion of weak semiobservability for the existence of solutions to the semistable Lyapunov equation are derived.
The core of the proof is a new notion of k-gradation for P and Q, whose existence (even in an arbitrary metric space) is proved using the Knaster–Tarski fixed point theorem, by a method introduced by Reem and Reich for a slightly different purpose.
