This paper enhances some concepts of the Instantaneous Complex Power Theory by analyzing the analytical expressions for voltages, currents and powers developed on a symmetrical RL three-phase system, during the transient ...

This paper enhances some concepts of the Instantaneous Complex Power Theory by analyzing the analytical expressions for voltages, currents and powers developed on a symmetrical RL three-phase system, during the transient ...

We investigate the expressive power of memory logics. These are modal logics extended with the possibility to store (or remove) the current node of evaluation in (or from) a memory, and to perform membership tests on the ...

We present a closed-form expression for the received power through parametrized Dirac-Delta functions inside the framework of input and output integrals. This expression is derived from the 'spike' property of the Dirac-Delta ...

This paper proposes a methodology for the active and reactive power flow control, applied to a grid-tie three-phase power inverter, considering local and/or regionalized power flow control necessity in the forthcoming ...

Theproductionofhistoriographicalbalances,understoodasevaluations/presenta-tionsofagroupofhistoriographicaltextsreferringtoaparticularsubject,althoughbeinganold practice,isatopicthatsofarhasnotyetbeensystematicallyproblem ...

Graph data models have recently become popular owing to their applications, e.g., in social networks, semantic web. Typical navigational query languages over graph databases — such as Conjunctive Regular Path Queries ...

We introduce a modal separation logic MSL whose models are memory states from separation logic and the logical connectives include modal operators as well as separating conjunction and implication from separation logic. ...