Browsing IT Faculty / IT-fakulteten by Title
Now showing items 15-34 of 152
-
Being Multisituated : Characterizing laptoping in networked situations
(2015-03-27)During the last 30 years mobile IT has gone from being an exotic ingredient to an everyday artifact. This thesis presents an ethnographic study of laptop use in a university setting. The thesis concludes that it is no ... -
Business Intelligence Utilisation through Bootstrapping and Adaptation
(2015-06-26)Business Intelligence (BI) has traditionally been viewed as a technology-driven, rational process, which would lead to better decision-making in organisations. Fact-based decisions are expected to reduce costs and increase ... -
Calculi for Program Incorrectness and Arithmetic
(2008-11-18)This thesis is about the development and usage of deductive methods in two main areas: (i) the deductive dis-verification of programs, i.e., how techniques for deductive verification of programs can be used to detect ... -
Child–Robot Interaction in Education
(2017-08-25)Advances in the field of robotics in recent years have enabled the deployment of robots in a multitude of settings, and it is predicted that this will continue to increase, leading to a profound impact on society in the ... -
Compositional Verification of Priority Systems Using Sharp Bisimulation
(2023)Sharp bisimulation is a refinement of branching bisimulation, parame terized by a subset of the system’s actions, called strong actions. This parameterization allows the sharp bisimulation to be tailored by the property ... -
Compositional Verification of Stigmergic Collective System
(2023)Collective adaptive systems may be broadly defined as en sembles of autonomous agents, whose interaction may lead to the emer gence of global features and patterns. Formal verification may provide strong guarantees about ... -
Computational linguistics resources for Indo-Iranian languages
(2014-08-19)Can computers process human languages? During the last fifty years, two main approaches have been used to find an answer to this question: data- driven (i.e. statistics based) and knowledge-driven (i.e. grammar based). The ... -
Constraints of Digital Transformation
(2022-01-07)Digital transformation is viewed as instrumental in coping with organizational and societal challenges. In the public sector, these challenges include diverse issues, such as demographic changes, constrained financial ... -
Contracts and Computation — Formal modelling and analysis for normative natural language
(2017-10-11)Whether we are aware of it or not, our digital lives are governed by contracts of various kinds, such as privacy policies, software licenses, service agreements, and regulations. At their essence, normative documents like ... -
COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)
(2023)There is a wide range of modal logics whose semantics goes beyond relational structures, and instead involves, e.g., probabilities, multi-player games, weights, or neighbourhood structures. Coalgebraic logic serves as a ... -
Creating and Assessing Multimodal Texts. Negations at the Boundary
(2014-04-09)Digital technologies are becoming increasingly common in educational settings. The availability of such tools facilitates the creation of multimodal texts in which several kinds of expression are combined. In this thesis, ... -
Cubical Intepretations of Type Theory
(2016-11-08)The interpretation of types in intensional Martin-Löf type theory as spaces and their equalities as paths leads to a surprising new view on the identity type: not only are higher-dimensional equalities explained as homotopies, ... -
Dashboard development guide How to build sustainable and useful dashboards to support software development and maintenance
(University of Gothenburg, 2015-11-24)N/A -
Designing Digital Resourcing
(2019-11-29)Digital innovation has become imperative for organizational survival and is increasingly contributing to the growth of national wealth. A central element of digital innovation, brought into light in this dissertation, is ... -
Designing for technology-mediated collaboration
(2018-11-30)This thesis concerns the design of a synchronous shared workspace supporting technology-mediated collaboration. In order to collaborate, participants need to be able to coordinate the activity. And to coordinate an activity, ... -
Designing Human-Centered Hybrid Decision Support Systems
(2023-04-19)Innovative decision support systems (DSSs) are revolutionizing key processes in organizations. These systems are used in managerial decision-making to solve increasingly complicated decision tasks, for example, using ... -
Designing Platform Emulation
(2021-05-25)Many contemporary firms and public agencies seek to engage external third-party developers to supply complementary applications. However, this type of development sometimes occurs without organizational consent, which ... -
Digital Distance Education – A Longitudinal Exploration of Video Technology
(2020-01-09)The context of this thesis is digital distance education. Distance education has developed from correspondence courses, based on letters sent by mail between student and teacher, to digital distance education with ... -
Digital Innovation in the Value Networks of Newspapers
(2009-09-04)After decades of digital developments, we are now entering a truly digital era. Digital information and communication technology has become a naturally embedded part of the designed environment we live in. Most parts of ...