enter search term and/or author name
Hands-on, simulated, and remote laboratories: A comparative literature review
Jing Ma, Jeffrey V. Nickerson
Article No.: 7
Laboratory-based courses play a critical role in scientific education. Automation is changing the nature of these laboratories, and there is a long-running debate about the value of hands-on versus simulated laboratories. In addition, the...
Symmetry in temporal logic model checking
Alice Miller, Alastair Donaldson, Muffy Calder
Article No.: 8
Temporal logic model checking involves checking the state-space of a model of a system to determine whether errors can occur in the system. Often this involves checking symmetrically equivalent areas of the state-space. The use of symmetry reduction...
Interestingness measures for data mining: A survey
Liqiang Geng, Howard J. Hamilton
Article No.: 9
Interestingness measures play an important role in data mining, regardless of the kind of patterns being mined. These measures are intended for selecting and ranking patterns according to their potential interest to the user. Good measures also allow...
Implementing sorting in database systems
Article No.: 10
Most commercial database systems do (or should) exploit many sorting techniques that are publicly known, but not readily available in the research literature. These techniques improve both sort performance on modern computer systems and the ability...