Filtyp
Correct-by-construction synthesis of high-level reactive control relies on the use of formal methods to generate controllers with provable guarantees on their behavior. While this approach has been successfully applied to a wide range of systems and environments, it scales poorly. A receding horizon framework mitigates this computational blowup, by decomposing the global control problem into sever
Following the recent detection of an auroral signal on Uranus (Lamy et al. [2012]. Geophys. Res. Lett. 39, 7105) during HST/STIS observation performed in November 2011, we analyzed the associated HST/STIS FUV spectral images obtained in 2011 and 2012. Our purpose was to extract any possible H2 emission produced in the upper atmosphere of the planet. To interpret these data, we adapted a version of
Context. The prediction of the Planck-constrained primordial lithium abundance in the Universe is in discordance with the observed Li abundances in warm Population II dwarf and subgiant stars. Among the physically best motivated ideas, it has been suggested that this discrepancy can be alleviated if the stars observed today had undergone photospheric depletion of lithium. Aims. The cause of this d
The dissertation aims to develop an understanding of the outcomes and limitations of formal and informal control of the Swedish state, and of the positions and strategies of the social agents involved in this field. The dissertation contributes with new perspectives on controls directed at the state, comparing various control organs (the Parliamentary Ombudsman, the Chancellor of Justice, the UnitThe dissertation aims to develop an understanding of the outcomes and limitations of formal and informal control of the Swedish state, and of the positions and strategies of the social agents involved in this field. The dissertation contributes with new perspectives on controls directed at the state, comparing various control organs (the Parliamentary Ombudsman, the Chancellor of Justice, the Unit
BACKGROUND: Obesity is more common in people with mobility disability than in non-disabled individuals, but less is known about the longitudinal effects leading to this health state.OBJECTIVE: To explore the potential bidirectional association between mobility disability and obesity.METHODS: Participants were identified in the population-based Stockholm Public Health Cohort (2002-2010, n = 17 945)
Four specific complexity measures for DNA-based computations are considered: the number of test tubes, the maximal number of molecules in a tube, the maximal length of a molecule, the number of elementary lab operations. These measures are estimated for three DNA procedures for computing the integer addition table. Then, using the addition table, two algorithms for the Boolean convolution are cons
An efficient numerical method for nearly simultaneous computation of all conditional moments needed for quasi maximum likelihood estimation of parameters in discretely observed stochastic differential equations is presented. The method is not restricted to any particular dynamics of the stochastic differential equation and is virtually insensitive to the sampling interval. The key contribution is
Regime-based asset allocation has been shown to add value over rebalancing to static weights and, in particular, reduce potential drawdowns by reacting to changes in market conditions. The predominant approach in previous studies has been to specify in advance a static decision rule for changing the allocation based on the state of financial markets or the economy. This talk proposes the use of mo
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
