Department of People and Technology

Research Output 1965 2020

Filter
Article in proceedings
2018

The dream is collapsing: The experience of exiting VR

Knibbe, J. M., Schjerlund, J., Petræus, M. S. & Hornbæk, K., 2018, CHI 2018 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems - Proceedings. Association for Computing Machinery

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Virtual Entrepreneurship and e-Residency Adoption

Uljala, L. & Scupola, A., 2018, Network, Smart and Open: Three Keywords for Information Systems innovation. Lamboglia, R., Cardoni, A., Dameri, P. & Mancini, D. (eds.). Cham: Springer, p. 71-84 (Lecture Notes in Information Systems and Organisation ; No. 24).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2019

Confluence of CHR Revisited: Invariants and Modulo Equivalence

Christiansen, H. & Kirkeby, M. H., 2019, Logic-Based Program Synthesis and Transformation: 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Mesnard, F. & Stuckey, P. J. (eds.). Cham: Springer, Vol. 11408. p. 94-111 (Lecture Notes in Computer Science, Vol. 11408). (Theoretical Computer Science and General Issues, Vol. 11408).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Not Just a School: Explorations and Theoretical Considerations in Relation to the Human Eco-Niche

Pedersen, S., 2019, The Ethos of Theorizing. Murakami, K., Cresswell, J., Kono, T. & Zittoun, T. (eds.). Canada: Captus Press

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Polyvariant program specialisation with property-based abstraction

Gallagher, J. P., 2019, EPTCS 299: Proceedings Seventh International Workshop on Verification and Program Transformation. EPTCS, 15 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

The use of faba-bean cropping as a sustainable and energy saving technology: A new protein self-sufficiency opportunity for European agriculture?

Lybæk, R. & Hauggaard-Nielsen, H., 1 Jun 2019, IOP Publishing. 012049 ed. IOP Publishing, Vol. 291. 6 p. 012049. (IOP Conf. Series: Earth and Environmental Sciense; No. 012049, Vol. 291).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs

Christiansen, H. & Kirkeby, M. H., 2019, Functional and Constraint Logic Programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Springer , Vol. 11285. p. 112 130 p. (Lecture Notes in Computer Science, Vol. 11285).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Virtual Reality Instruction Followed by Enactment Can Increase Procedural Knowledge in a Science Lesson

Andreasen, N., Baceviciute, S., Pande, P. & Makrasnky, G., 2019, Proceedings of the 26th IEEE Conference on Virtual Reality and 3D User Interfaces. IEEE, p. 840 1 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review