: Advances in the publishing world have emerged new models of digital library development. Open access schemes are expanding their presence and realize the idea of digital library ...
Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula , the deduction chains of are built...
In this paper we propose an innovative way of dealing with the design of fault-tolerant control systems. We show how the nonlinear output regulation theory can be successfully ado...
Claudio Bonivento, Alberto Isidori, Lorenzo Marcon...
In this part, we consider the capacity analysis for wireless mobile systems with multiple antenna architectures. We apply the results of the first part to a commonly known baseban...
Majid Fozunbal, Steven W. McLaughlin, Ronald W. Sc...
In this paper, we investigate simple attentional mechanisms suitable for sensing rate regulation and action coordination in the presence of mutually dependent behaviors. We present...
Ernesto Burattini, Silvia Rossi, Alberto Finzi, Ma...