Learn More
A linear programming formulation of the optimal stopping problem for Markov decision processes is approximated using linear function approximation. Using this formulation, a reinforcement learning scheme based on a primal-dual method and incorporating a sampling device called 'split sampling' is proposed and analyzed. An illustrative example from option(More)
We present a small-step abstract interpretation for the A-Normal Form λ-calculus (ANF). This abstraction has been instrumented to find data-dependence conflicts for expressions and procedures. Our goal is parallelization: when two expressions have no dependence conflicts, it is safe to evaluate them in parallel. The underlying principle for discovering(More)
We describe, implement and benchmark EigenCFA, an algorithm for accelerating higher-order control-flow analysis (specifically, 0CFA) with a GPU. Ultimately, our program transformations, reductions and optimizations achieve a factor of 72 speedup over an optimized CPU implementation. We began our investigation with the view that GPUs accelerate(More)
In order to achieve high performance on modern and future machines, applications need to make effective use of the complex, hierarchical memory system. Writing performance-portable code continues to be challenging since each architecture has unique memory access characteristics. In addition, some optimization decisions can only reasonably be made at(More)
AIM Sugarcane press residue (SPR), a by-product of sugarcane industry, which is rich in inorganic salts was assessed at different levels in both soya based and fish based diets of layers for egg shell and yolk quality characteristics. MATERIALS AND METHODS SPR was incorporated in 32-week-old white leghorn layer diets at 0%, 5%, 10% and 15% either in the(More)
AIM To study the impact of deficiency of second line limiting amino acids (SLAA; valine, isoleucine and tryptophan) on the production performance and carcass characteristics of commercial broilers. MATERIALS AND METHODS A control (T1) corn-soy diet was formulated to contain all essential AA on standardized ileal digestible basis; While in T2-a 'moderate(More)
The aim of present experiment was to investigate the effect of protein reduction in commercial broiler chicken rations with incorporation of de-oiled rice bran (DORB) and supplementation of limiting amino acids (valine, isoleucine, and/or tryptophan) with ration formulation either on total amino acid (TAA) or standardized ileal digestible amino acids(More)
AIM The aim was to study the effect of supplementation of lysine producing microbes (LPM) as an in vivo source of lysine on performance and egg quality characters of post-peak layers. MATERIALS AND METHODS BIS (1992) specified diets (except crude protein [CP] and lysine) were prepared using either soybean meal (SBM) or groundnut extractions (GNE) or(More)
  • 1