Filetype
The semantics of programming languages comprise many concepts that are alternatives to each other, such as by-reference and by-value parameter passing. To help teach these concepts, Diwan et al. introduced the programming language Mystery, with fixed syntax but configurable semantics, and described how this language enables new approaches to teaching programming languages concepts. In this paper,
This article reports work-in-progress of a parallel kinematic robot development for construction with main focus on the concept phase. We suppose the weight distribution of the proposed structure enables integration of robotic components into construction equipment while enabling tailoring of important characteristics such as accuracy, stiffness and workspace toward application needs.We describe c
The Learning with Errors (LWE) problem is one of the main mathematical foundations of post-quantum cryptography. One of the main groups of algorithms for solving LWE is the Blum-Kalai-Wasserman (BKW) algorithm. This paper presents new improvements for BKW-style algorithms for solving LWE instances. We target minimum concrete complexity and we introduce a new reduction step where we partially reduc
Evidence-based software engineering (EBSE) aims to improve research utilization in practice. It relies on systematic methods (like systematic literature reviews, systematic mapping studies, and rapid reviews) to identify, appraise, and synthesize existing research findings to answer questions of interest. However, the lack of practitioners' involvement in the design, execution, and reporting of th
Background:Joint research between industry and academia benefits both communities.For researchers, working with practitioners, it is a chance to collect empirical data and test research-based solution proposals.For practitioners, one of the main benefits is access to scientific knowledge.Despite the benefits, there is a gap between industry and academia that could be addressed through more joint r
Cryptography as it is used today relies on a foundational level on the assumptionthat either the Integer Factoring Problem (IFP) or the DiscreteLogarithm Problem (DLP) is computationally intractable. In the 1990s PeterShor developed a quantum algorithm that solves both problems in polynomialtime. Since then alternative foundational mathematical problems to replace IFPand DLP have been suggested. T
Unfair work distribution in student teams is a common issue in project-based learning. One contributing factor is that students are differently skilled developers. In a course with group work intertwining engineering and business aspects, we designed an intervention to help novice programmers, i.e., we introduced mandatory programming lab sessions. However, the intervention did not affect the work
We analyze the downlink of a massive multiuser multiple input, multiple output (MIMO) system where antenna units at the base station are connected in a daisy chain without a central processing unit and only possess local channel knowledge. For this setup, we develop and analyze a linear precoding algorithm for suppressing interuser interference. It is demonstrated that the algorithm is close to ze
Future internet-of-things systems need to be able to combine heterogeneous services and support weak connectivity. In this paper, we introduce ComPOS, a new domain-specific language for composing services in IoT systems. We show how Maria, a bird watcher, can use ComPOS to build a system that allows her to spy on birds in the garden while she is not at home. We demonstrate how ComPOS handles the u
This thesis focuses on the terminal aspects of massive MIMO systems. Based on the degree of freedom a terminal have in a MaMi, different antenna configurations, transceiver topologies with associated transmission schemes, and the underlying algorithms are researched.The first studied topic concerns multiple-antenna terminals in a massive MIMO system for sub-6 GHz, operated at the center frequency
Data intense defined software is becoming more and more prevalent, especially with the advent of machine learning and artificial intelligence. With data intense systems comes both challenges – to continue to collect and maintain quality – and opportunities – open innovation by sharing with others.To understand challenges and opportunities with ODC, we ran 5 focus groups (4 in Lund and 1 in Kista)
With the inclusion of external software components in their software, vendors also need to identify and evaluate vulnerabilities in the components they use. A growing number of external components makes this process more time-consuming, as vendors need to evaluate the severity and applicability of published vulnerabilities. The CVSS score is used to rank the severity of a vulnerability, but in its
With the inclusion of external software components in their software, vendors also need to identify and evaluate vulnerabilities in the components they use.A growing number of external components makes this process more time-consuming, as vendors need to evaluate the severity and applicability of published vulnerabilities.The CVSS score is used to rank the severity of a vulnerability, but in its s
The importance of user-centric design methods in the design of programming tools is now well accepted. These methods depend on creating a feedback loop between the designers and their users, providing data about developers, their needs and behaviour gathered through various means. These include controlled experiments, field observations, as well as analytical frameworks. However, whilst there have
Vehicle traffic management is becoming more complex due to increased traffic density in cities. Novel solutions are necessary for emergency vehicles, which despite growing congestion must be able to quickly reach their destination. Emergency vehicles are usually equipped with transmitters to control the traffic lights on their path and warn other vehicles with sirens. Transmitters are operated man
Organizations and individuals maintain and use an ever increasing amount of computer systems, either deployed locally, or in the cloud.These systems often store and handle vast amounts of data, some of which is sensitive and should be kept private.Regardless of where the data is located, there is a need to prevent data from falling into the wrong hands.To this end, this dissertation presents contr
This summary refers to the paper 'Comparison of the FMEA and STPA safety analysis methods-a case study' [Su17]. The paper was published as an article in the Software Quality Journal. It compares the Failure Mode and Effect Analysis (FMEA) and the System Theoretic Process Analysis (STPA) in an industrial case study.
This chapter is dedicated to radio channel measurement and modelling techniques for beyond 4G networks, in particular: • new measurement techniques not only targeting radio channels, but also material properties in new frequency bands (Section 9.1), • improved physical models, cowering full-wave as well as ray-based methods, with a specific sub-section dealing with diffuse scattering (DS) and comp
Internet-of-things (IoT) systems consist of spatially distributed devices with services. Compared to desktop applications, IoT systems are always running and need to deal with unresponsive devices and weak connectivity. In this thesis, we examine the following question: How can we simplify the development of IoT systems? We begin to answer this question by proposing a domain-specific language (DSL
