In an increasing number of practical situations, the quality of a process or product can be effectively characterized and summarized by a profile. A profile is usually a functional relationship between a response variable and one or more explanatory variables which can be modeled frequently using linear or nonlinear regression models. In this paper, we study the effect of non-normality on pro...

Real-time pricing schemes make the customers to feel the energy price volatility and improve their load profiles. However, these schemes have no significant effect on demand-side uncertainty reduction. In this paper, considering smart grid infrastructures and smart building Energy Management System (EMS), a new real-time pricing scheme is presented to reduce the uncertainty of demand-side. In t...

Proof-labeling schemes are known mechanisms providing nodes of networks with certificates that can be verified locally by distributed algorithms. Given a boolean predicate on network states, such schemes enable to check whether the predicate is satisfied by the actual state of the network, by having nodes interacting with their neighbors only. Proof-labeling schemes are typically designed for e...