This paper describes a set of new technologies, tools, paradigms and infrastructures that have been developed and studied by the KMR group. Based on the emerging nextgeneration World Wide Web, the so-called Semantic Web, these developments rely on international learning technology standards to support the sharing of digital content for learning and the building of virtual learning communities, ...

The instructional practices common in today's schools reveal a disconnect between instruction and evidence of the effects of that instruction on student learning. In this paper, we propose the creation of computational infrastructures that will help teachers make more informed decisions in their practice. These infrastructures formalize student and teacher routines to facilitate data collection...

The Industrial Internet of Things (IIoT) is a physical information system developed based on traditional industrial control networks. As one the most critical infrastructure systems, IIoT also preferred target for adversaries engaged in advanced persistent threats (APTs). To address this issue, we explore deep-learning-based proactive APT detection scheme IIoT. In scheme, considering characteri...

My research agenda is to build verification technology that helps programmers write reliable, secure, and verified software. In particular, my research focuses on building automatic techniques that significantly lessen the burden on a programmer trying to prove her program secure or correct. The solutions I develop are learning based automatic software verification including machine learning al...

In the fusion community, use of high performance computing (HPC) has been mostly dominated by heavy-duty plasma simulations, such as those based on particle-in-cell and gyrokinetic codes. However, there a growing interest in applying machine learning for knowledge discovery top large amounts experimental data collected from devices. particular, deep models are especially hungry accelerated hard...

Abstract Pipeline infrastructures, carrying either gas or oil, are often affected by internal corrosion, which is a dangerous phenomenon that may cause threats to both the environment (due potential leakages) and human beings accidents explosions in presence of leakages). For this reason, predictive mechanisms needed detect address corrosion phenomenon. Recently, we have seen first attempt at l...

This symposium brings together researchers at the frontier of an emerging subcommunity of the learning sciences that looks toward developing methodologies and infrastructures with the potential to lead towards an integrated agenda of global research in the learning sciences, spanning both the developed and the developing world, in both formal and informal learning environments. It explores how ...

E-learning as a new frontier in teaching and learning is transforming education to its scope, boundary and pedagogy. It offers exciting opportunities and provides access to global information. Its effort is a far reaching one, creating a learning atmosphere that defies the constraint of time and distance. Despite having the required technologies and infrastructures at their disposal, some notab...