This study aims to investigate the futuristic visions of PhD students at Distance Education department of Anadolu University on the use of learning analytics (LA) and mobile technologies together.,This qualitative research study, designed in the single cross-section model, aimed to reveal futuristic visions of PhD students on the use of LA in mobile learning.
Dependent type theory is rich enough to express that a program satisfies an input/output relational specification, but it could be hard to construct the proof term. On the other hand, squiggolists know very well how to show that one relation is included in another by algebraic reasoning. We demonstrate how to encode functional and relational derivations in a dependently typed programming language. A program is coupled with an algebraic derivation from a specification, whose correctness is guaranteed by the type system. Code accompanying the paper has been developed into an Agda library AoPA.
A. Mousavian, D. Anguelov, J. Flynn, and J. Kosecka. (2016)cite arxiv:1612.00496Comment: To appear in IEEE Conference on Computer Vision and Pattern Recognition (CVPR) 2017.
A. Milecki. Progress in Automation, Robotics and Measuring Techniques, volume 350 of Advances in Intelligent Systems and Computing, Springer, Cham, (2015)
C. Endres, T. Schwartz, and C. Müller. Proceedings of IUI '11: 16th International Conference on Intelligent User Interfaces, Palo Alto, CA, USA, page 327-330. (2011)