Browsing IT Faculty / IT-fakulteten by Issue Date
Now showing items 1-20 of 118
-
Space-Safe Transformations and Usage Analysis for Call-by-Need Languages
(2001)This thesis is concerned with the resource consumption of lazy functional languages. It touches upon two aspects: how to reason about the space-safety of program transformations, and how to apply usage analysis for compiler ... -
Disruptive technology : effects of technology regulation on democracy
(2006)This work develops the thesis that there is a strong relationship between the regulation of disruptive technology and the Internet-based participatory democracy. In other words, attempts to regulate disruptive technology ... -
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, ... -
Proceedings of the 3rd Educators Symposium at MODELS
(2008-09-24) -
Effective SAT solving
(2008-10-02)A growing number of problem domains are successfully being tackled by SAT solvers. This thesis contributes to that trend by pushing the state-of-the-art of core SAT algorithms and their implementation, but also in several ... -
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 ... -
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 ... -
Proceedings of the 3rd Workshop on Quality in Modeling
(2009-01-15) -
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 ... -
Vehicle Services
(2009-08-31)This thesis contributes to our understanding of the development and diffusion of vehicle services, and to how information technology interacts with forms of organization and business models to undermine or support the ... -
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 ... -
Unsupervised Learning of Morphology and the Languages of the World
(2009-11-16)This thesis presents work in two areas; Language Technology and Linguistic Typology. In the field of Language Technology, a specific problem is addressed: Can a computer extract a description of word conjugation in a ... -
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. ... -
A professional community goes online - a study of an online learning community in general medicine
(2010-05-12)The aim of the study is to investigate how an e-mailing list, organised and managed by a Swedish professional association of general medicine, functions as an online learning ommunity (OLC). In a contemporary networked society, ... -
Positive Persuasion - Designing enjoyable energy feedback experiences in the home
(2010-05-21)The world currently faces huge challenges in terms of our excessive use of energy. Energy conservation – a topic that has been on the agenda since the energy crisis in the 1970s – has for this reason once again become a ... -
Architectural Concerns in Base Station Development
(Ericsson AB, 2010-12-17)This report presents a catalogue of architectural concerns found to be important to stakeholders within Ericsson’s Bases Station development. The catalogue is based on interviews with software architects, designers, testers, ...