Functional logic languages combine lazy (demand-driven) evaluation strategies from functional programming with non-deterministic computations from logic programming. The lazy evaluation of non-deterministic subexpressions results in a demand-driven exploration of the search space: if the value of some subexpression is not required, the complete search space connected to it is not explored. On t...

We use non-Gaussian features in U.S. macroeconomic data to identify aggregate supply and demand shocks while imposing minimal economic assumptions. Recessions in the 1970s and 1980s were driven primarily by supply shocks, later recessions were driven primarily by demand shocks, and the Great Recession exhibited large negative shocks to both demand and supply. We estimate “macro risk factors” th...

Within the concept of a smart grid, aggregators have task coordinating behavior large sets Distributed Energy Resources, each them offering small power/energy capacities, which help to balance power grid and can serve as providers services. Adequate coordination strategies are required optimally exploit these resources in ancillary services market. However, deriving model-based control policies...