Filetype
A new block-oriented language called Friend is proposed. It is designed to support for the implementation of flexible and adaptive embedded control systems. Requirements on a controller are specified using contracts. The use of contracts simplifies the design and implementation of embedded systems that can adapt to altered operating conditions. The contracts allow the system to negotiate about res
Test-Driven Development (TDD) is a software development approach where test cases are written before actual development of the code in iterative cycles. Context: TDD has gained attention of many software practitioners during the last decade since it has contributed several benefits to the software development process. However, empirical evidence of its dominance in terms of internal code quality,
Environmental concerns such as global warming, the surge of crude oil prices and more stringent emission regulations are demanding the development of internal combustion engines that are highly efficient and low polluting. With classical internal combustion engine concepts such as diesel compression ignition and gasoline spark ignition engines, a trade-off exists between local and global emissions
[Context & motivation] This research preview paper presents ongoing work on the metamodel of a free software requirements modeling tool called reqT that is developed in an educational context. The work aims to make an initial validation of a survey instrument that elicits views on the metamodel of the reqT tool, which aims to engage computer science students in Requirements Engineering (RE) th
Background: Late gadolinium enhancement (LGE) cardiovascular magnetic resonance (CMR) using magnitude inversion recovery (IR) or phase sensitive inversion recovery (PSIR) has become clinical standard for assessment of myocardial infarction (MI). However, there is no clinical standard for quantification of MI even though multiple methods have been proposed. Simple thresholds have yielded varying re
Background: The aim of this study was to examine in elderly men a relationship between depressive symptoms, peripheral vascular disease and cerebral blood flow (CBF). Methods: Population-based cohort study started with an examination of 809 men at age 55, followed by the first (age 68ys) and second follow up (age 82ys). 128 survivors were examined at age 82 with Tc-99m-HMPAO-SPECT to estimate CBF,
We introduce the notion of random self-decomposability and discuss its relation to the concepts of self-decomposability and geometric infinite divisibility. We present its connection with time series autoregressive schemes with a regression coefficient that randomly turns on and off. In particular, we provide a characterization of random self-decomposability as well as that of marginal distributio
Image warping for spatial forecast verification is applied to the test cases employed by the Spatial Forecast Verification Intercomparison Project (ICP), which includes both real and contrived cases. A larger set of cases is also used to investigate aggregating results for summarizing forecast performance over a long record of forecasts. The technique handles the geometric and perturbed cases with
PalCom is a pervasive middleware that enables users to combine services from different devices into assemblies, or usage scenarios. The mechanism of device discovery in PalCom builds an ad-hoc network of interconnected devices while replacing cross-network periodic keep-alive messages with timely forwarded events that notify devices about the discovery and undiscovery of each other. Moreover, the
Due to the possibility of increased efficiency and reduced emissions, Homogeneous Charge Compression Ignition (HCCI) is a promising alternative to conventional internal combustion engines. Ignition timing in HCCI is highly sensitive to operating conditions and lacks direct actuation, making it a challenging subject for closed-loop control. This paper presents physics-based, control-oriented modeli
Intermittent Parathyroid Hormone (PTH)((1-34)) has an established place in osteoporosis treatment, but also shows promising results in models of bone repair. Previous studies have been dominated by closed fracture models, where union is certain. One of the major clinical needs for anabolic therapies is the treatment of open and high energy fractures at risk of non-union. In the present study we th
In this study, we evaluated 10 months data (September 2009 to June 2010) of atmospheric aerosol particle number size distribution at three atmospheric observation stations along the Baltic Sea coast: Vavihill (upwind, Sweden), Uto (upwind, Finland), and Preila (downwind, Lithuania). Differences in aerosol particle number size distributions between the upwind and downwind stations during situations
We discuss general non-stationary spatio-temporal surfaces that involve dynamics governed by velocity fields. The approach formalizes and expands previously used models in analysis of satellite data of significant wave heights. We start with homogeneous spatial fields. By applying an extension of the standard moving average construction we obtain models which are stationary in time. The resulting
We consider an optimization problem of joint link rate assignment and transmission scheduling in wireless mesh networks. We assume that each radio link uses (when active) one selected link-dependent modulation and coding scheme. For finding an exact optimum, the problem requires a complicated branch-and-price algorithm that becomes excessively time consuming for networks of practical size. Therefo
Magisterexamen kan du få om du tidigare har en kandidatexamen om minst 180 högskolepoäng (hp) eller motsvarande, och läser ytterligare 60 hp varav minst 30 består av en fördjupning inom huvudområdet. Inom huvudområdet ska det finnas ett självständigt examensarbete om minst 15 hp. Minst 75 % av kurserna måste vara på avancerad nivå.Specifika kurskrav hittar du i programmens utbildningsplaner.Sök bl
https://www.lu.se/student/examen-och-karriar/examen/examina/magisterexamen-1-ar - 2026-05-08
