• Visual respiratory feedback in Virtual Reality exposure therapy: A pilot study 

  Mevlevioğlu, Deniz; Murphy, David; Tabirca, Sabin (Association for Computing Machinery, 2021-06-21)

  As the use of Virtual Reality (VR) expands across fields, new kinds of interaction methods are introduced. This study presents the Visual Heights VR experience that integrates natural breathing as an input method to provide ...
• Understanding developer security archetypes 

  Ryan, Ita; Roedig, Utz; Stol, Klaas-Jan (Institute of Electrical and Electronics Engineers, IEEE, 2021-06)

  As software systems penetrate our everyday lives, security has risen to be a key concern. Despite decades of research leading to new tools and practices for writing secure code, achieving security as a key attribute remains ...
• An adaptive large neighbourhood search algorithm for diameter bounded network design problems 

  Garraffa, Michele; Mehta, Deepak; O'Sullivan, Barry; Ozturk, Cemalettin; Quesada, Luis (Springer Nature Switzerland AG, 2021-06-23)

  This paper focuses on designing a diameter - constrained network where the maximum distance between any pair of nodes is bounded. The objective considered is to minimise a weighted sum of the total length of the links ...
• Modelling the conference paper assignment problem 

  de Givry, S.; Schiex, T.; Schutt, A.; Simonis, Helmut (2020-09)

  In this paper we describe different constraints and models for the conference paper assignment problem. While the core problem is a simple flow problem, additional constraints often arise to tailor a solution to specific ...
• Finiteness in cubical type theory 

  Kidney, Donnacha Oisín (University College Cork, 2020-09)

  This thesis will explore and explain finiteness in constructive mathematics: using this setting, it will also serve as an introduction to constructive mathematics in Cubical Agda, and some related topics.

View more