• Coalition Logic for Specification and Verification of Smart Contract Upgrades 

      Galimullin, Rustam; Ågotnes, Thomas (Lecture Notes in Computer Science;13753, Chapter, 2022)
      It has been argued in the literature that logics for reasoning about strategic abilities, and in particular coalition logic (CL), are well-suited for verification of properties of smart contracts on a blockchain. Smart ...
    • Collaboration in Online Communities: Exploring Finnish Wikipedia 

      Lanamäki, Arto (Doctoral thesis, 2013-09-20)
      Online communities have risen to a great social and economic importance during the last two decades. Many online communities are oriented towards content production, and Wikipedia is one of the most prominent instances of ...
    • Collaborative video editing 

      Okopnyi, Pavel (Doctoral thesis, 2024-01-26)
      Samarbeid i videoredigering Denne avhandlingen tar opp følgende spørsmål: Hvordan kan vi støtte samarbeid i videoredigering? I ulike anvendelsesområder, som skriving og design, er bruk av samarbeidsverktøy utbredt. ...
    • Commercial Services, Enclosure and Legitimacy: Comparing Contexts and Strategies for Public Service Media Funding and Development 

      Moe, Hallvard (Chapter, 2008)
      European public broadcasters have long since ceased to be solely publicly financed. But the inherently controversial licence fee on television sets has remained a key source of funding. Facing an increasingly complex digital ...
    • A Comparative analysis of the relationship between gaming controllers and game mechanics 

      Nævdal, Lene (Master thesis, 2013-06-08)
      In this thesis I have presented the issue of not exploiting the possibilities different technologies offer us in video games. The research questions were how can input-technologies affect the enjoyment of video games?", ...
    • Comparing approaches to interactive lifelog search at the lifelog search challenge (LSC2018) 

      Gurrin, Cathal; Schoeffmann, Klaus; Joho, Hideo; Leibetseder, Andreas; Zhou, Liting; Duane, Aaron; Dang Nguyen, Duc Tien; Riegler, Michael; Piras, Luca; Tran, Minh-Triet; Lokoc, Jakub; Hurst, Wolfgang (Peer reviewed; Journal article, 2019)
      The Lifelog Search Challenge (LSC) is an international content retrieval competition that evaluates search for personal lifelog data. At the LSC, content-based search is performed over a multi-modal dataset, continuously ...
    • Comparing Interactive Retrieval Approaches at the Lifelog Search Challenge 2021 

      Tran, Ly-Duyen; Nguyen, Manh-Duy; Dang Nguyen, Duc Tien; Heller, Silvan; Spiess, Florian; Lokoc, Jakub; Peska, Ladislav; Nguyen, Thao-Nhu; Khan, Omar Shahbaz; Duane, Aaron; Jonsson, Bjorn Por; Rossetto, Luca; Yen, An-Zi; Alateeq, Ahmed; Alam, Naushad; Tran, Minh-Triet; Healy, Graham; Schoeffmann, Klaus; Gurrin, Cathal (Journal article; Peer reviewed, 2023)
      The Lifelog Search Challenge (LSC) is an interactive benchmarking evaluation workshop for lifelog retrieval systems. The challenge was first organised in 2018 aiming to find the system that can quickly retrieve relevant ...
    • Comparing Platform "Ranking Cultures" Across Languages: The Case of Islam on YouTube in Scandinavia 

      Moe, Hallvard (Peer reviewed; Journal article, 2019)
      This article is concerned with how different agencies play out in shaping public debate online and, for this purpose, employs an approach that acknowledges the role not just of algorithms seen in isolation, but in context ...
    • Comparing Public Discourse on Immigration in Scandinavia: Some Background Notes and Preliminary Results 

      Gripsrud, Jostein (Peer reviewed; Journal article, 2019)
      This article briefly presents the SCANPUB project, devoted to the comparative study of public discourse on immigration in Scandinavia from 1970 to 2016, from which this issue of Javnost/The Public stems. Its emphasis is ...
    • The Complexity Landscape of Outcome Determination in Judgment Aggregation 

      Endriss, Ulle; de Haan, Ronald; Lang, Jérôme; Slavkovik, Marija (Journal article; Peer reviewed, 2020)
      We provide a comprehensive analysis of the computational complexity of the outcome determination problem for the most important aggregation rules proposed in the literature on logic-based judgment aggregation. Judgment ...
    • Computational ethics 

      Edmond, Awad; Levine, Sydney; Anderson, Michael; Susan Leigh, Anderson; Conitzer, Vincent; Crockett, M.J.; Everett, Jim A.C.; Evgeniou, Theodoros; Gopnik, Alison; Jamison, Julian C.; Kim, Taw Wan; Liao, S. Matthew; Meyer, Michelle N.; Mikhail, John; Opoku-Agyemang, Kweku; Schaich Borg, Jana; Schroeder, Juliana; Sinott-Armstrong, Walter; Slavkovik, Marija; Tenenbaum, Josh B. (Journal article; Peer reviewed, 2022)
      Technological advances are enabling roles for machines that present novel ethical challenges. The study of 'AI ethics' has emerged to confront these challenges, and connects perspectives from philosophy, computer science, ...
    • Computational Journalism. When journalism meets programming 

      Stavelin, Eirik (Doctoral thesis, 2014-05-08)
      Digital data sources and platforms allow journalists to produce news in new and different ways. The shift from an analog to digital workflow introduces computation as a central component of news production. This enables ...
    • Computational Support for Concept Blending applied to Musical Instruments 

      Naustdal, Andreas Schnitler (Master thesis, 2017-12-23)
      This thesis presents a concept blending implementation that suggests which properties of a known concept are most compatible to blend with another concept. The implementation uses Wikipedia descriptions of concepts as data ...
    • Computing Consensus: A Logic for Reasoning About Deliberative Processes Based on Argumentation 

      Dyrkolbotn, Sjur Kristoffer; Pedersen, Truls Andre (Journal article; Peer reviewed, 2019)
      Argumentation theory can encode an agent’s assessment of the state of an exchange of points of view. We present a conservative model of multiple agents potentially disagreeing on the views presented during a process of ...
    • Confidence in oneself, confidence in others: Design implications for the design of gameful CSCW systems 

      Haukås, Nils Norman (Master thesis, 2014-04-05)
      Disentangling the intricacies of digitally supporting collaboration remains a challenge. It's a challenge which the field of Computer Supported Collaborative Work have been tackling for decades and where they've argued ...
    • Considering temporal aspects in recommender systems: a survey 

      Bogina, Veronika; Kuflik, Tsvi; Jannach, Dietmar; Bielikova, Maria; Kompan, Michal; Trattner, Christoph (Journal article; Peer reviewed, 2022)
      The widespread use of temporal aspects in user modeling indicates their importance, and their consideration showed to be highly effective in various domains related to user modeling, especially in recommender systems. ...
    • Construction of a relevance knowledge graph with application to the LOCAL news angle 

      Tessem, Bjørnar; Gallofré Ocaña, Marc; Opdahl, Andreas Lothe (Journal article; Peer reviewed, 2023)
      News angles are approaches to journalism content often used to provide a way to present a new report from an event. One particular type of news angle is the LOCAL news angle where a local news outlet focuses on an event ...
    • Conversational Interface for Screening 

      Håvik, Robin (Master thesis, 2018-06-22)
      There are many adults who lives with ADHD without getting a diagnosis. When being evaluated for ADHD the first step is often to complete what is called the Adult ADHD Self-Report Scale (ASRS). ASRS is a symptom-check ...