This technical report contains the proofs to the lemmata and theorems of [PN12] as well as some additional material. As main contributions [PN12] presents an encoding of mixed choice in the context of the π-calculus and a criterion to measure whether the degree of distribution in process networks is preserved. 1 Technical Preliminaries 1.1 The π-Calculus Our source language is the monadic π-cal...

The ever increase of nonlinear loads in electric distribution networks causes many problems due to the high level of harmonic currents. This paper proposes a new technique for controlling a single phase shunt active power filter based on a selective compensation using the newly developed technique of harmonic control arrays. Simulation results confirm the appropriate selective harmonic compensa...

In this paper, an improved cascade control methodology for superheated processes is developed, in which the primary PID controller is implemented by neural networks trained by minimizing error entropy criterion. The entropy of the tracking error can be estimated recursively by utilizing receding horizon window technique. The measurable disturbances in superheated processes are input to the neur...

Monotone single index models have gained over the past decades increasing popularity due to their flexibility and versatile use in diverse areas. Semi-parametric estimators such as least squares maximum likelihood of unknown monotone ridge function were considered make inference without having choose some tuning parameter. Description asymptotic behavior those crucially depends on acquiring a g...

This paper proposes a practical optimization method for layered neural networks, by which the optimal model and parameter can be found simultaneously. 'i\Te modify the conventional information criterion into a differentiable function of parameters, and then, minimize it, while controlling it back to the ordinary form. Effectiveness of this method is discussed theoretically and experimentally.