: Portfolios are valuable authentic assessment tools in preservice teacher education programs, as they allow for student demonstration of performance, interconnected tasks, respons...
Incremental conceptual clustering is an important area of machine learning. It is concerned with summarizing data in a form of concept hierarchies, which will eventually ease the ...
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
This paper describes the teaching of OpenGL shaders with hands-on a program called glman. Hands-on education is at its best when the students’ experimental feedback loop is very...
Bioinformatics is a dynamic research area in which a large number of algorithms and programs have been developed rapidly and independently without much consideration so far of the...