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
Microstructure evolution in Cu thin films, investigated by ab-initio and level set modeling
Translational studies of viral-induced asthma and COPD exacerbations
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
Questions raised in excavating the recent dead
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
Hiding the body : Ordering space and allowing manipulation of body parts within modern cemeteries
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