Browsing IT Faculty / IT-fakulteten by Title
Now showing items 55-74 of 152
-
Games for Efficient Supervisor Synthesis
(2023)In recent years, there has been an increasing interest in the connections between supervisory control theory and reactive synthesis. As the two fields use similar techniques there is great hope that technologies from one ... -
Games for Efficient Supervisor Synthesis
(2023)In recent years, there has been an increasing interest in the connections between supervisory control theory and reactive synthesis. As the two fields use similar techniques there is great hope that technologies from one ... -
Generative comics - A computational approach to creating comics material
(2021-09-24)Digital storytelling can be employed as a tool that incorporates human creativity with technology. It synthesizes multimedia based elements to create engaging stories and compelling narratives. To this end, this research ... -
Generic Model Checking for Modal Fixpoint Logics in COOL-MC
(2023)We report on COOL-MC, a model checking tool for fixpoint logics that is parametric in the branching type of models (non-deterministic, game-based, probabilistic etc.) and in the next-step modalities used in formulae. The ... -
Groupoid-Valued Presheaf Models of Univalent Type Theory
(2022-11-03)One main goal of this thesis is to study constructive models of type theory with one univalent universe that interpret types by “presheaves” of groupoids. A starting point is the fact that the groupoid model can be ... -
Health Information Systems Interoperability: Towards a Managing as Designing Approach
(2021-10-08)Integrated digital healthcare systems promise improved quality public healthcare and patient continued care among others. However, these have been hampered by various challenges including limited data exchanges between ... -
Heterogeneous IT Innovation. Developing Industrial Architectural Knowledge
(2007)Multiple information technologies are converging. Crucial to organizations’ relentless struggle to remain competitive, IT innovation processes must now increasingly take into consideration a multitude of stationary, ... -
ICT and discretion: An “up-to-date” view of what we want to know and how it can be studied
(Presented at 20th Scandinavian Workshop on E-Government (SWEG): From Government automation to AI, 1-2 February, 2023, Örebro University., 2023)The discretion of street-level bureaucrats is increasingly affected by public sector digitalisation. The aim of this study was to provide a scoping review with “state of the art” of research about information and communication ... -
Improving software traceability tools and processes
(2020-08-17)Context: Development of large and complex software leads to a large number of interconnected artifacts such as requirements, design models, code and implementation. Traceability enables understanding and managing these ... -
Improving the Performance of Machine Learning-based Methods for Continuous Integration by Handling Noise
(2023-08-22)Background: Modern software development companies are increasingly implementing continuous integration (CI) practices to meet market demands for delivering high-quality features. The availability of data from CI systems ... -
Incorporating Monitors in Reactive Synthesis without Paying the Price
(19th International Symposium on Automated Technology for Verification and Analysis, 2021)Temporal synthesis attempts to construct reactive programs that satisfy a given declarative (LTL) formula. Practitioners have found it challenging to work exclusively with declarative speci cations, and have found ... -
Informationssystem i professionsorienterat arbete
(University of Gothenburg. Department of Applied Information Technology, 2009-04-21)This thesis investigates the challenges within the work of different types of professions; technical professions and human caretaking professions. These professions are faced special challenges in use and development of ... -
Instructional technologies in science education: Student´s scientific reasoning in collaborative classroom activities
(2012-03-08)This study originates from an interest in how students interpret scientific con-cepts demonstrated with animated instructional technologies. Currently, science education makes use of diverse kinds of instructional methods. ... -
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants
(2024)We demonstrate a novel methodology that integrates intuitive modelling, simulation, and formal verification of collective behaviour in biological systems. To that end, we consider the case of a colony of foraging ants, ... -
Kritiskt digitalt textarbete i klassrummet
(2020-03-13)Increasingly sophisticated technologies are expanding opportunities to create, use and share digital and multimodal texts based on different perspectives and motives. Among the prerequisites for participating actively in ... -
Kunskapsintegrering med informationssystem i professionsorienterade praktiker
(2012-06-01)Den här avhandlingen utgår ifrån ett professionsorienterat perspektiv på användning av informationssystem. Informationssystem för kunskapsintegrering i professionsorienterade arbetspraktiker innebär en dynamik för styrning ... -
Language Support for Verifying Reconfigurable Interacting Systems
(2023)Reconfigurable interacting systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by forming ... -
Learning Language (with) Grammars: From Teaching Latin to Learning Domain-Specific Grammars
(2020-08-25)This thesis describes work in three areas: grammar engineering, computer-assisted language learning and grammar learning. These three parts are connected by the concept of a grammar-based language learning application. Two ... -
Learning Science by Digital Technology. Students' understanding of computer animated learning material
(2010-03-26)Digital learning material is associated with grand expectations among educational policy makers. Several attempts to introduce this new technology with the purpose of enhancing learning have been made in recent years. ...