Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
‘Knowledge sharing’ and ‘learning’ are terms often connected with the ‘New office’, the “modern” open office space. Work in these settings becomes more and more dis...
Gaussian fields (GF) have recently received considerable attention for dimension reduction and semi-supervised classification. In this paper we show how the GF framework can be us...
This paper presents a versatile and portable digital signal processing (DSP) platform that is highly suitable for learning embedded signal processing anywhere and anytime. This DS...
We present the design of a new web application framework for collaborative learning. The framework guides users (i.e. teachers) in implementing online activities based on well-know...