1 This paper discusses measurements of the dynamic performance of electric power Phasor Measurement Units, PMUs, and their relation to the requirements of the IEEE Synchrophasor St...
Gerard Stenbakken, Tom Nelson, Ming Zhou, Virgilio...
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...
Antonio Vallecillo, Vasco Thudichum Vasconcelos, A...
The sensitivity of very deep submicron designs to supply voltage noise is increasing due to higher path delay variations and reduced noise margins with supply noise scaling. The s...
Background: Multiple data-analytic methods have been proposed for evaluating gene-expression levels in specific biological pathways, assessing differential expression associated w...
Qi Liu, Irina Dinu, Adeniyi J. Adewale, John D. Po...
The aim of this paper is to find the finest `observable' and `implementable' equivalence on concurrent processes. This is a part of a larger programme to develop a theor...