This paper aims to discuss and analyze the potentialities of Recurrent Neural Networks (RNN) in control design applications. The main families RNN are considered, namely Nonlinear AutoRegressive eXogenous, (NNARX), Echo State (ESN), Long Short Term Memory (LSTM), Gated Units (GRU). goal is twofold. Firstly, survey recent results concerning training that enjoy Input-to-State Stability (ISS) Incr...

Will my vote remain secret in 20 years? This is a natural question in the context of electronic voting, where encrypted votes may be published on a bulletin board for verifiability purposes, but the strength of the encryption is eroded with the passage of time. The question has been addressed through a property referred to as everlasting privacy. Perfect everlasting privacy may be difficult or ...

We study implementation in environments where agents have limited ability to imitate others. Agents are randomly and privately endowed with type-dependent sets of messages. So sending a message becomes a partial proof regarding type. For environments where agents can send any combination of available messages, we develop an Extended Revelation Principle and characterize the incentive constraint...

o bjectives: headgears are among the effective orthodontic appliances to achieve treatment goals. unilateral molar distal movement is sometimes needed during an orthodontic treat- ment, which can be achieved by an asymmetric headgear. different unilateral headgears have been introduced. the main goal of this study was to analyze the force system of uni- lateral expanded outer bow asymmetric hea...

In this paper, we focus on the mathematical foundations of reduced order model (ROM) closures. First, extend verifiability concept from large eddy simulation to ROM setting. Specifically, call a closure verifiable if small error (i.e., difference between true and modeled closure) implies error. Second, prove that data-driven studied here variational multiscale ROM) is verifiable. Finally, inves...