Filtyp
This article analyses how a newly established set of actors – online brokerage firms (OBFs) – sought to popularise stock trading among the Swedish populace in the late 1990s. During this period, internet usage took off and stock markets surged rapidly up until the dotcom bubble burst in 2000. Sweden was at the forefront of both these international developments, and we analyse the intimate connecti
We study Frege proofs using depth-d Boolean formulas for the Tseitin contradiction on n \times n grids. We prove that if each line in the proof is of size M, then the number of lines is exponential in n/(log M)O(d). This strengthens a recent result of Pitassi, Ramakrishman, and Tan [2022 IEEE 62nd Annual Symposium on Foundations of Computer Science, 2022, pp. 445-456]. The key technical step is a
The chemical industry, essential to economic growth and innovation, faces critical environmental sustainability challenges, notably pollution, emissions, and intensive resource use. Motivated by the need for practical tools to address these issues, this research develops a structured, comprehensive framework to assess and enhance environmental sustainability within the chemical sector. The framewo
The illicit trafficking of cultural heritage represents a significant global challenge, exacerbated by digital technologies that facilitate unauthorised trade while offering new protection opportunities. The ANCHISE project addresses these challenges through a suite of six innovative, complementary tools designed to enhance the detection, prevention, and investigation of cultural property traffick
Based on evidence from urban development projects in the city of Malmö, Sweden, I would like to discuss the idea that the success of the neoliberal utopia is based not in a clear break with its predecessor - social democracy – but in the appropriation, reworking and transformation of the social-democratic ideal to suit specific elite interests. The current institutionalisation of neoliberal planni
Composition is a practice of key importance in software engineering. When real-time applications are composed it is necessary that their timing properties (such as meeting the deadlines) are guaranteed. The composition is performed by establishing an interface between the application and the physical platform. Such an interface does typically contain information about the amount of computing capac
Purpose The aim of this paper is to provide insights into, and perspectives on, the transformation of mindsets for logisticians. We argue that by exploring paradoxes inherent in the efficiency-focused paradigm of today, a strategic mindset can emerge in which central logistics management issues can be addressed, understood, and dealt with in order to enhance supply chain effectiveness and innovati
Agricultural intensification has led to dramatic population declines among many farmland bird species. Negative effects of intensive farming in terms of decreased local habitat quality or structural simplification of farmland landscapes have reduced both reproductive outcome and winter survival of many species. Studies investigating agricultural effects on migrating birds using farmland as stopove
Increasing soft error rates for semiconductor devices manufactured in later technologies enforces the use of fault tolerant techniques such as Roll-back Recovery with Checkpointing (RRC). However, RRC introduces time overhead that increases the completion (execution) time. For non-real-time systems, research have focused on optimizing RRC and shown that it is possible to find the optimal number of
