IntraVascular UltraSound (IVUS) imaging is a useful tool in diagnosis of cardiac diseases since sequences completely show the morphology of coronary vessels. Vessel borders detecti...
Many of the possibilities of Web-based education are still unexplored. It seems that novel ways of thinking about both learning and technology are needed to get beyond the limitat...
Miikka Miettinen, Petri Nokelainen, Patrik Flor&ea...
Creativity is an important asset in today’s fast changing environment. We believe it can and should be stimulated in educational environments, through the use of tools and carefu...
Adriana Santarosa Vivacqua, Francisco Mattos, Albe...
This paper presents early work on the "Jots" system, integrated with the Scratch programming environment, which aims to help learners reflect on their learning processes...
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...