Filtyp
The end-point of the cloud trend is that all compu- tational and storage resources leave the homes and move to the cloud. We can be rather certain the future eventually looks like this as IT and telecommunications services are commoditised and the end users’ time, interest and skill to acquire and maintain electronics fade away. The network architecture suitable for such scenario will be analysed
Exogenous granulocyte-colony stimulating factor (G-CSF) has emerged as a drug candidate for improving the outcome after peripheral nerve injuries. We raised the question if exogenous G-CSF can improve nerve regeneration following a clinically relevant model - nerve transection and repair - in healthy and diabetic rats. In short-term experiments, distance of axonal regeneration and extent of injury
Fms-like tyrosine kinase (FLT3) is a frequently mutated oncogene in acute myeloid leukemia (AML). FLT3 inhibitors display promising results in a clinical setting, but patients relapse after short-term treatment due to the development of resistant disease. Therefore, a better understanding of FLT3 downstream signal transduction pathways will help to identify an alternative target for the treatment
In this paper, we present a constraint programming-based approach for optimization of routing and reconfiguration overhead for a class of reconfigurable processor array architectures called weakly programmable. For a given set of different algorithms the execution of which is supposed to be switched upon request at run-time, we provide static solutions for optimal routing of data between processor
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
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
