Den 5/1-2026 kommer GUPEA att vara otillgängligt för alla under hela dagen.
Browsing Doctoral Theses / Doktorsavhandlingar Institutionen för data- och informationsteknik by Title
Now showing items 13-32 of 37
-
Formalizing Refinements and Constructive Algebra in Type Theory
(2014-11-21)The extensive use of computers in mathematics and engineering has led to an increased demand for reliability in the implementation of algorithms in computer algebra systems. One way to increase the reliability is to formally ... -
Frontiers of Multilingual Grammar Development
(2013-09-30)The thesis explores a number of ways for developing multilingual grammars written in GF (Grammatical Framework). The goal is to enhance both the coverage of the grammars, in terms of content and number of languages, and ... -
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 ... -
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 ... -
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 ... -
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 ... -
Measuring the Evolution of Meta-models, Models and Design Requirements to Facilitate Architectural Updates in Large Software Systems
(2017-10-24)Background: In order to reduce complexity of the system and its development cost, the architecture of large software systems is often developed following the MDE (Model-Driven Engineering) approach. Developing architectures ... -
Methods and Tools for Automating Language Engineering
(2016-05-12)Language-processing software is becoming increasingly present in our society. Making such tools available to the greater number is not just a question of access to technology but also a question of language as they need ... -
Multilingual Abstractions: Abstract Syntax Trees and Universal Dependencies
(2019-05-24)This thesis studies the connections between parsing friendly representations and interlingua grammars developed for multilingual language generation. Parsing friendly representations refer to dependency tree representations ... -
Non-Functional Requirements for Machine Learning Systems
(2025-08-23)Background: Machine learning (ML) systems are increasingly being deployed in complex and safety-critical domains such as autonomous driving, healthcare, and finance. ML systems learn using big data and solve a wide range ... -
Pedestrian Behavior Prediction Using Machine Learning Methods
(2024-11-14)Background: Accurate pedestrian behavior prediction is essential for reducing fatalities from pedestrian-vehicle collisions. Machine learning can support automated vehicles to better understand pedestrian behavior in complex ... -
Practical, Flexible programming with Information Flow Control
(2011-08-15)Mainstream mechanisms for protection of information security are not adequate. Most vulnerabilities today do not arise from deficiencies in network security or encryption mechanisms, but from software that fails to provide ... -
Pre-deployment Description Logic-based Reasoning for Cloud Infrastructure Security
(2022-05-25)Ensuring the security of a cloud application is exceptionally challenging. Not only is cloud infrastructure inherently complex, but also a precise definition of what is secure is hard to give. Business context, regulatory ... -
Proactive Software Complexity Assessment
(2017-10-16)Large software development companies primarily deliver value to their customers by continuously enhancing the functionality of their products. Continuously developing software for customers insures the enduring success of ... -
Programming Language Techniques for Natural Language Applications
(2008-10-16)It is easy to imagine machines that can communicate in natural language. Constructing such machines is more difficult. The aim of this thesis is to demonstrate how declarative grammar formalisms that distinguish between ... -
Psychological group processes when building agile software development teams
(2017-11-16)Background: With the agile approach to managing software development projects, comes an increased dependability on well functioning teams. Agile teams are profoundly influenced by social-psychological factors since more ... -
Service Robotics Software Engineering
(2021-08-16)Context. Robots are increasingly becoming involved in our lives and currently, teams of service robots cooperate to support humans by performing useful, repetitive, or dangerous tasks. However, engineering the robots’ ... -
Sheaf Semantics in Constructive Algebra and Type Theory
(2016-10-06)In this thesis we present two applications of sheaf semantics. The first is to give constructive proof of Newton-Puiseux theorem. The second is to show the independence of Markov's principle from type theory. In the ... -
Software Defect Prediction Techniques in Automotive Domain: Evaluation, Selection and Adoption
(2015-01-29)Software is becoming an increasingly important part of automotive product development. While software in automotive domain enables important functionality and innovations, it also requires significant effort for its ...