Search results

Filter

Filetype

Your search for "*" yielded 533872 hits

Src-like adaptor protein 2 (SLAP2) binds to and inhibits FLT3 signaling

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

Optimization of Routing and Reconfiguration Overhead in Programmable Processor Array Architectures

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

Online Horizon Selection in Receding Horizon Temporal Logic Planning

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

Variable Elimination for Scalable Receding Horizon Temporal Logic Planning

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

Dayglow and auroral emissions of Uranus in H2 FUV bands

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

Atomic diffusion and mixing in old stars : VI. The lithium content of M30

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

Controlling the Swedish state Studies on formal and informal bodies of control

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

The bidirectional association between body weight and mobility disability : A population-based cohort

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)

DNA Computation of Integer Addition Table with Applications to Boolean Convolution

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

Efficient computation of the quasi likelihood function for discretely observed diffusion processes

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

Dynamic Portfolio Optimization Across Hidden Market Regimes

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

Parameter Estimation in Finance Using Radial Basis Function Methods

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