We make two significant contributions. First, we introduce a new technique for solution based learning in Quantified Boolean Formulae (QBF’s.) This takes advantage of the structure of QBF’s to improve on previous methods. More information is extracted from each solution learnt, so fewer states need to be visited later in search. Unfortunately, our empirical results suggest that our learning tec...

Android is among the new breed of smartphone software stacks. It is powerful yet friendly enough to be widely adopted by both the end users and the developer community. This adoption has led to the creation of a large number of thirdparty applications that run on top of the software stack accessing device resources and data. Users installing third party applications are provided information abo...

In this work we consider viscosity solutions to second order partial differential equations on Riemannian manifolds. We prove maximum principles for solutions to Dirichlet problem on a compact Riemannian manifold with boundary. Using a different method, we generalize maximum principles of Omori and Yau to a viscosity version.

We study a single risky financial asset model subject to price impact and transaction cost over an infinite horizon. An investor needs to execute a long position in the asset affecting the price of the asset and possibly incurring in fixed transaction cost. The objective is to maximize the discounted revenue obtained by this transaction. This problem is formulated first as an impulse control pr...

We analyze the influence of tax progression on optimal investment policy and its value. We show that three possible optimal regimes arise, depending on the nature of the tax policy. If the exogenously given progression threshold lies between the optimal capital stocks in the case of higher and lower marginal profit taxes, then the optimal investment policy is independent of profit tax rates. Bu...

On the basis of 1H and 13C NMR spectroscopy studies, the proportion of pyranose and furanose forms of 6-deoxyheptoses in water solution was determined. Water solution of 6-deoxyheptoses contains all possible furanose and pyranose forms (except 6-deoxy-gluco-heptose for which only pyranose was found), although pyranose is dominant.

We analyze the impact of tax progression on optimal investment policy and its value by first demonstrating that optimal investment policy maximizes the value of the firm and the rate at which it is growing as a function of operating capital stock. Then we show that three possible optimal regimes arise depending on the nature of tax policy. If the exogenously given progression threshold lies bet...