Temporal logics have proven effective for correct-by-construction synthesis of controllers for a wide range of robotic applications. Receding horizon frameworks mitigate the computational intractability of reactive synthesis for temporal logic, but have thus far been limited by pursuing a single sequence of short horizon problems to the goal. We propose a receding horizon algorithm for reactive sy

Given time series market observations for a price process, the parameters in an assumed underlying model can be determined through maximum likelihood estimation. Transition probability densities need to be estimated between each pair of data points. We show that Gaussian radial basis function approximation of the Fokker-Planck equations for the densities leads to a convenient mathematical represen

S100A9 is a small (13 kD) cytosolic calcium-binding protein. The protein is mainly expressed in neutrophils and monocytes in human but can also be expressed in other cell types under inflammatory conditions. S100A9 is normally co-expressed with S100A8 and forms S100A8/S100A9 heterodimers. Previous publications had suggested that S100A9 could be expressed without S100A8 in certain conditions. Vario

Knowledge on the influence of methods on research outcomes is scarce within experience studies. In this study, GPS devices were compared to smartphones to collect experience data in theme parks. Departing from the relevance of epistemology, it was assumed that the choice of method influences the results. We show that data collection modalities themselves influence empirical results when it comes tKnowledge on the influence of methods on research outcomes is scarce within experience studies. In this study, GPS devices were compared to smartphones to collect experience data in theme parks. Departing from the relevance of epistemology, it was assumed that the choice of method influences the results. We show that data collection modalities themselves influence empirical results when it comes t

The rugged field and group of trees between housing estates or next to the railroad tracks, the left-over space of deserted industrial areas, the vacant demolition site of a central city block – they could all be termed ‘urban voids’. However, they are often anything but voids, in a literal sense, as they are not empty, or deserted. Yet they are ‘urban voids’, lacking an evident function, or a def

In recent years, we have seen the development of a more relational approach to territoriality. This perspective, which focuses on events rather than space, also opens up for an elaboration of temporal aspects of territorial production. In this study, I investigate the central urban square, Stortorget, in Malmö, Sweden, in order to develop a discussion of a time-space territorology. In 1978, Korose

Aerosol particles affect Earth’s climate system by scattering and absorbing light. The perturbation of the climate system caused by a change in aerosol configuration due to anthropogenic emissions has recently improved. However, the radiation balance and hydrological cycle of Earth are also highly influenced by clouds: a small change in cloud configuration can have a large effect on the climate. C

Objectives Children and young people growing up in a farm environment run a greater risk of being injured or dying in an accident than their non-farming counterparts. This study examines farming parents' attitudes and experiences of having their children grow up on farms, one of the most dangerous work environments as their home, everyday environment and playground. Method Data were collected usin

Aim: To explore somatic healthcare utilisation patterns among people with intellectual disabilities (ID) 55 years and older living in Sweden in comparison with the general population. Method: The ID group (n = 7936) comprised people with ID who were 55 years and older in 2012. A general population sample (n = 7936) was age- and sexmatched. The sample was divided into four age groups:

We study the use of the System Optimum (SO) Dynamic Traffic Assignment (DTA) problem to design optimal traffic flow controls for freeway networks as modeled by the Cell Transmission Model, using variable speed limit, ramp metering, and routing. We consider two optimal control problems: the DTA problem, where turning ratios are part of the control inputs, and the Freeway Network Control (FNC), wher