Spatial mixing and approximation algorithms for graphs with bounded connective constant

A Sinclair, P Srivastava, Y Yin - 2013 IEEE 54th Annual …, 2013 - ieeexplore.ieee.org
The hard core model in statistical physics is a probability distribution on independent sets in
a graph in which the weight of any independent set I is proportional to λ| I|, where λ> 0 is the …

Automatic assessment via intelligent analysis of students' program output patterns

CK Poon, TL Wong, CM Tang, JKL Li, YT Yu… - … Learning Success: 11th …, 2018 - Springer
Automatic assessment of computer programming exercises offers a number of benefits to
both learners and educators, including timely and customised feedback, as well as saving of …

Toward more robust automatic analysis of student program outputs for assessment and learning

CK Poon, TL Wong, YT Yu, VCS Lee… - 2016 IEEE 40th …, 2016 - ieeexplore.ieee.org
Automated analysis and assessment of students' programs, typically implemented in
automated program assessment systems (APASs), are very helpful to both students and …

Automatic generation of matching rules for programming exercise assessment

TL Wong, CK Poon, CM Tang, YT Yu… - Technology in Education …, 2020 - Springer
Automatic programming exercise assessment aims at determining the correctness of the
attempts of programming exercises submitted by students. Automation allows students to …

An exploratory study on instructors' agreement on the correctness of computer program outputs

CM Tang, YT Yu - Hybrid Learning and Continuing Education: 6th …, 2013 - Springer
Many universities have developed Automated Program Assessment Systems to automate
the tasks of assessing students' computer programs so as to enhance students' learning and …

[ALINTI][C] Automated analysis of software artefacts-a use case in e-assessment

M Striewe - 2015 - Duisburg, Essen, Universität …

[ALINTI][C] A review of the strategies for output correctness determination in automated assessment of student programs

CM Tang, YT Yu, CK Poon - 14th Global Chinese Conference …, 2010 - scholars.cityu.edu.hk
A review of the strategies for output correctness determination in automated assessment of
student programs - CityU Scholars | A Research Hub of Excellence Researcher login City …