Filetype
Dataflow is a Model of Computation (MoC) that describes applications as networks of actors. The CAL Actor Language (CAL) is one of the programming languages for describing such actors. A downside to CAL is that the actors and their networks are rigidly defined - it is not possible to have a parametric number of ports or actions in an actor. This makes it difficult to define flexible applications o
In the last couple of decades, developments in SAT-based optimization have led to highly efficient maximum satisfiability (MaxSAT) solvers, but in contrast to the SAT solvers on which MaxSAT solving rests, there has been little parallel development of techniques to prove the correctness of MaxSAT results. We show how pseudo-Boolean proof logging can be used to certify state-of-the-art core-guided
This paper proposes a motion control scheme for robots operating in a dynamic environment with concave obstacles. A Model Predictive Controller (MPC) is constructed to drive the robot towards a goal position while ensuring collision avoidance without direct use of obstacle information in the optimization problem. This is achieved by guaranteeing tracking performance of an appropriately designed re
PURPOSE: This study focuses on 7- to 9-year-old children attending primary school in Swedish areas of low socioeconomic status, where most children's school language is their second language. The aim was to better understand what factors influence these children's narrative listening comprehension both in an ideal listening condition (in quiet) and for the primary school classroom, a typical liste
Driven by the idea to use alarm data to explore machine learning across Industry 4.0 applications, the goal of this pilot study was to explore how to collect, store, manage and share data from the ESS Control System. Generally, we seek to make any control system data available for research and innovation but started with alarms as a feasible domain in which to explore machine learning. The goals w
Reliability is becoming increasingly important for many applications envisioned for future wireless systems. A technology that could improve reliability in these systems is massive MIMO (Multiple- Input Multiple-Output). One reason for this is a phenomenon called channel hardening, which means that as the number of antennas in the system increases, the variations of channel gain decrease in both t
In this paper we propose a shared regression network to jointly estimate the pose of multiple objects, replacing multiple object-specific solutions. We demonstrate that this shared network can outperform other similar approaches that rely on multiple object-specific models by evaluating it on the TLESS dataset using the VSD (Visible Surface Discrepancy). Our approach offers a less complex solution
This work presents the systematic design and optimization of a compact quad-element MIMO antenna system in a roof cavity for the expected channel behavior at a 700 MHz LTE band. Beginning with a standard low-profile antenna element, the desired radiation pattern is synthesized by structural modification. The configuration for a quad-element design is then optimized. The results show that the propo
Brain-computer interfaces (BCIs) translate brain activity into digital commands for interaction with the physical world. The technology has great potential in several applied areas, ranging from medical applications to entertainment industry, and creates new conditions for basic research in cognitive neuroscience. The BCIs of today, however, offer only crude online classification of the user's cur
Support for Machine Learning (ML) applications in networking has significantly improved over the last decade. The availability of public datasets and programmable switching fabrics (including low-level languages to program them) presents a full-stack to the programmer for deploying in-network ML. However, the diversity of tools involved, coupled with complex optimization tasks of ML model design a
Reconfigurable intelligent surfaces (RISs) are being considered for 6G as they can facilitate favourable radio channels. To rigorously model the characteristics of an array antenna-based RIS, this paper proposes an approach to separately evaluatescatterings from the antenna elements and ground plane of RIS. Simulation results show that, depending on the absolute phases of variable loads in the RIS
The occurrence of within-population variation in germination behavior and associated traits such as seed size has long fascinated evolutionary ecologists. In annuals, unpredictable environments are known to select for bet-hedging strategies causing variation in dormancy duration and germination strategies. Variation in germination timing and associated traits is also commonly observed in perennial
Atmosfäriska partiklar (aerosoler) finns överallt i jordens atmosfär. Masskoncentrationen av dessa varierar kraftigt beroende på i vilken miljö man mäter. I stadsluft kan man uppmäta tiotals mikrogram per kubikmeter medan man i arktiska områden uppmäter nanogram per kubikmeter. De kolhaltiga aerosolerna är kända för att påverka människors och djurs hälsa negativt, framförallt påverkar dessa kroppe
An active single balanced down-conversion mixer is implemented using InAs nanowire metal oxide semiconductor field effect transistors (MOSFETs) as both active devices and passive resistive loads. Circuits with 6 dB low-frequency voltage gain and a 3 dB bandwidth of 2 GHz are measured for a DC power consumption of 3.8 mW from a 1.5 V supply. The circuits are fabricated using contacts made with 12 μ
Ground level ozone [ozone] is considered a harmful air pollutant but there is a knowledge gap regarding its long term health effects. The main aim of this study is to develop local Land Use Regression [LUR] models that can be used to study long term health effects of ozone. The specific aim is to develop spatial LUR models for two Swedish cities, Umea and Malmo, as well as a temporal model for Mal
Purpose: The resulting plans from a new type of treatment planning system called SharePlan (TM) have been studied. This software allows for the conversion of treatment plans generated in a TomoTherapy system for helical delivery, into plans deliverable on C-arm linear accelerators (linacs), which is of particular interest for clinics with a single TomoTherapy unit. The purpose of this work was to
In a rapidly changing world, it is of fundamental importance to understand processes constraining or facilitating adaptation through microevolution. As different traits of an organism covary, genetic correlations are expected to affect evolutionary trajectories. However, only limited empirical data are available. We investigate the extent to which multivariate constraints affect the rate of adapta
