IT Faculty / IT-fakulteten: Recent submissions
Visas titlar 61-80 av 118
-
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, ... -
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 ... -
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 ... -
Value Network Transformation – Digital Service Innovation in the Vehicle Industry
(2016-01-07)Advancement in digital technology is rapidly changing the contemporary landscape of business and associated networks for manufacturing firms. Many traditional physical products are now being embedded with digital components, ... -
Dashboard development guide How to build sustainable and useful dashboards to support software development and maintenance
(University of Gothenburg, 2015-11-24)N/A -
Ready for Prime Time, - Yes, Industrial-Grade Modelling Tools can be Used in Education
(University of Gothenburg, 2015-10-16)It has been stated that industrial-grade modelling tools are unsuit- able for teaching modelling. In this paper, we present our experience with a university course on software modelling. In the first year of the course, ... -
Analysing normative contracts - On the semantic gap between natural and formal languages
(2015)Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions ... -
Reasoning with Bounded Cognitive Resources
(2015-10-05)Reasoning is an essential element of intelligence. Automated reasoning in formal and symbolic systems is a major topic in computer science and artificial intelligence (AI). Programs for computer-assisted and automated ... -
OPEN LEARNING IN LIFE SCIENCES – Studies of open educational resources in animal welfare and work-based learning in food science.
(2015-10-05)The aim of this thesis is to explore ways of organising and supporting open learning in food science, food quality and animal welfare at the boundary between society, the university and other academic institutions. Two ... -
Service Logic in Digitalized Product Platforms—A Study of Digital Service Innovation in the Vehicle Industry
(2015-09-07)The digitalization of products has become an important driver for service innovation in manufacturing firms. The embedding of digital technology in previously non-digital products creates digitalized product platforms that ... -
Digital Innovation: Orchestrating Network Activities
(2015-09-04)Digitization of analogue everyday artifacts, i.e. when physical products are equipped with digital capabilities, has a profound impact on today’s society. Some examples of these digital innovations aimed at consumer markets ... -
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 ... -
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 ... -
1:1 i klassrummet – analyser av en pedagogisk praktik i förändring
(2015-02-06)I denna avhandling analyseras resultaten från två utvärderingsprojekt av 1:1-införande som genomförts på två högstadieskolor (2007-2011) och fyra gymnasieskolor (2012-2014) i Sverige. Data från enkäter, intervjuer och ... -
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 ... -
Report from the GI Dagstuhl Seminar 14433: Software engineering for Self-Adaptive Systems
(2014-10-24)Products and services such as business applications, vehicles, or devices in various domains such as transportation, communication, energy, production, or health. Consequently, our daily lives highly depend on such ... -
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 ... -
Model-Based Engineering for Embedded Systems in Practice
(2014-11-18)Model-Based Engineering (MBE) aims at increasing the e↵ectiveness of engineering by using models as key artifacts in the development process. While empirical studies on the use and the e↵ects of MBE in industry generally ...