Non-negative matrix factorization (NMF) and non-negative tensor factorization (NTF) have attracted much attention and have been successfully applied to numerous data analysis probl...
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
Given the heterogeneous nature of biological data and their intensive use in many tools, in this paper we propose a semantic data access and integration (DAI) service, based on th...
Giovanni Aloisio, Massimo Cafaro, Italo Epicoco, S...
Service discovery systems enable distributed components to find each other without prior arrangement, to express capabilities and needs, to aggregate into useful compositions, an...
Christopher Dabrowski, Kevin Mills, Stephen Quirol...
Abstract: The present study began with an assessment of the reliability and usefulness of an existing minor event coding system in a British `highconsequence' industry. It was...
B. Wallace, A. Ross, J. B. Davies, L. Wright, M. W...