Computer Science

Computer Science

Recently added

  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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

This website uses cookies. By using this website, you consent to the use of cookies in accordance with the UCC Privacy and Cookies Statement. For more information about cookies and how you can disable them, visit our Privacy and Cookies statement