"So far back, I'm anonymous": Exploring Student Identity using Photovoice
Conference Proceeding
Meharg, D., Cairncross, S., & Varey, A. (2019)
"So far back, I'm anonymous": Exploring Student Identity using Photovoice. In 2018 IEEE Frontiers in Education Conference (FIE). https://doi.org/10.1109/FIE.2018.8658441
This Research Full paper presents empirical work focused on the transition experiences of transfer students into computing degrees in Scotland and seeks to understand the comp...
Lessons from experience: making theorem provers more co-operative.
Conference Proceeding
Lowe, H., Cumming, A., Smyth, M., & Varey, A. (1995)
Lessons from experience: making theorem provers more co-operative. In Proceedings of the Second Workshop on User Interfaces for Theorm Provers, 67-74
We describe our experiences in trying to build a co-operative theorem proving system. Our model of co-operation is that of a user and an automaton combining forces to prove th...