Filtyp
In conventional seismic surveys, there is a waiting time between sequentially fired shots. This time is determined such that the deepest reflection of interest is recorded before the following source is fired. In a survey with simultaneous or blended sources, the waiting time between the firing of shots is not dependent on the deepest reflection of interest, it is usually much shorter and/or can h
Operating systems code is often developed according to principles like simplicity, low overhead, and low memory footprint. Schedulers are no exceptions. A scheduler is usually developed with flexibility in mind, and this restricts the ability to provide real-time guarantees. Moreover, even when schedulers can provide real-time guarantees, it is unlikely that these guarantees are properly quantifie
Correlation between different links is an essential characteristic for many of the forthcoming radio communication systems that utilize the multiple-input-multiple-output (MIMO) technology. This paper investigates the physical phenomena that cause the inter-link correlation by introducing a measure to quantify how large amount of energy propagates via similar propagation mechanisms in different li
Emerging fine-grained cloud resource billing creates incentives to review the software execution footprint in virtual environments. Operators can use novel virtual execution environments with ever lower overhead: from virtual machines to containers, to unikernels and serverless functions. However, the execution footprint of security mechanisms in virtualized deployments has either remained the sam
Control systems are by design robust to various disturbances, ranging from noise to unmodelled dynamics. Recent work on the weakly hard model---applied to controllers---has shown that control tasks can also be inherently robust to deadline misses. However, existing exact analyses are limited to the stability of the closed-loop system. In this paper we show that stability is important but cannot be
We show that algebraic proofs are hard to find: Given an unsatisfiable CNF formula F, it is NP-hard to find a refutation of F in the Nullstellensatz, Polynomial Calculus, or Sherali-Adams proof systems in time polynomial in the size of the shortest such refutation. Our work extends, and gives a simplified proof of, the recent breakthrough of Atserias and Müller (JACM 2020) that established an anal
The cloud control systems (CCs) are inseparable parts of industry 4.0. The cloud, by providing storage and computing resources, allows the controllers to evaluate complex problems that are too computationally demanding to perform locally. However, connecting physical systems to the cloud through the network can provide an entry point for attackers to infiltrate the system and cause damage with pot
Testing of autonomous vehicles involves enormous challenges for the automotive industry. The number of real-world driving scenarios is extremely large, and choosing effective test scenarios is essential, as well as combining simulated and real world testing. We present an industrial workbench of tools and workflows to generate efficient and effective test scenarios for active safety and autonomous
Jordbruksmodernisering har dramatiskt ökat tillgången till mat på global nivå, men till ett högt pris för miljön. Idag efterlyser många ett ’paradigmskifte’ i jordbruket, även flera stora mainstream-institutioner. Med ett skifte till vad? Under senare år har det synts en ökande tilltro till agroekologi, ett alternativ som syftar till att förstå och bedriva jordbruk som komplexa agroekosystem. FrånAgricultural modernization has massively increased global food supply, but at a high environmental cost. Today many are calling for an agricultural ‘paradigm shift’, including several mainstream institutions. But to what? In recent years, agroecology has gained credence as an alternative approach that seeks to understand and manage farms as complex agroecosystems. From a development perspective, i
The primary objective of this study is to compare the accuracy of two risk models, International Heart Transplantation Survival Algorithm (IHTSA), developed using deep learning technique, and Index for Mortality Prediction After Cardiac Transplantation (IMPACT), to predict survival after heart transplantation. Data from adult heart transplanted patients between January 1997 to December 2011 were c
Background. Continuous experimentation (CE) has recently emerged as an established industry practice and as a research subject. Our aim is to study the application of CE and A/B testing in various industrial contexts. Objective. We wanted to investigate whether CE is used in different sectors of industry, by how it is reported in academic studies. We also wanted to explore the main topics research
This article examines reports of physical punishment at the national Swedish Boy Scout camp Åvatyr in 1950. The Swedish newspapers Dagens Nyheter and Expressen described the events in terms of bullying and violence, while the Camp directors declared that the reports were merely exaggerated accounts of innocent pranks and practical jokes. This article draws information from newspaper articles, ScouThis article examines reports of physical punishment at the national Swedish Boy Scout camp Åvatyr in 1950. The Swedish newspapers Dagens Nyheter and Expressen described the events in terms of bullying and violence, while the camp directors declared that the reports were merely exaggerated accounts of innocent pranks and practical jokes. This article draws information from newspaper articles, Scou
In this paper, we compare capacity performances of three terminal dual-antenna configurations at 2.65 GHz based on extensive 2 by 2 multiple-input multiple-output (MIMO) channel measurements in an urban macrocellular environment. Both noise- and interference-limited scenarios are investigated. Our results show that, on average over the measurement route, the capacity performance is mainly determin
The development of MIMO over-the-air (OTA) test methodology is an ongoing activity in 3GPP RAN4, CTIA and EU COST Action 2100. In this paper, the focus is on the anechoic chamber approach, which uses a uniform circular array of probe antennas to replicate directional channels for the device-under- test at the array center. In particular, we study in simulation the complexity requirements of implem
We study the potential benefits of cooperative multiple-input multiple-output signaling from multiple coherent base stations with one or more mobile stations in an urban macrocellular environment. The analysis uses novel and fully coherent measurements of the channel from three base stations to a single mobile station equipped with four antennas. The observed channels are used to explore the gains
The burden of mental disorders continues to grow and is now a leading cause of disability worldwide. The prevalence of mental disorders is unequal between population subgroups, and these disorders are associated with unfavourable consequences in social and economic conditions, health and survival. However, how the negative effects of mental disorders are distributed among population subgroups is lThe burden of mental disorders continues to grow and is now a leading cause of disability worldwide. The prevalence of mental disorders is unequal between population subgroups, and these disorders are associated with unfavourable consequences in social and economic conditions, health and survival. However, how the negative effects of mental disorders are distributed among population subgroups is l
An established rule of thumb in the field of traffic light control prescribes that, during periods of higher demand, it is convenient to have longer cycles. This is in order to reduce the fraction of the cycle length when no incoming lanes receive green light. In this paper, we simulate a novel, provably stable, decentralized feedback traffic light control policy with variable cycle length. The pr
Understanding and measuring security of softwarein terms of vulnerability metrics is important when reviewingand deciding between softwares. The large number of disclosedvulnerabilities will continue to expose software intensivesystems and products to attacks, and the choice of thirdparty software will affect stability and reliability of productsincorporating this software. We collect CVE da
