We present a proposal for research, development and construction of international communities in Portuguese, using digital platforms. The idea was born following an international ...
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...
Traditionally, the introductory computer graphics course in computer science has focused on fundamental algorithms and techniques for creating images and animations. This was refl...
In this paper, the authors analyse how educational institutions behave in relation with the contents available through the Web. They also reflect on the features of the currently...
This article discusses a telecollaborative activity that combines many strategies of interest in teacher education (i.e., case-based learning, online discussion, cross-university ...