Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis

The classical approach to automatic cost analysis consists of two phases. Given a program and some measure of cost, we first produce recurrence relations (RRs) which capture the cost of our program in terms of the size of its input data. Second, we convert such RRs into closed form (i.e., without recurrences). Whereas the first phase has received considerable attention, with a number of cost analyses available for a variety of programming languages, the second phase has received comparatively little attention. In this paper we first study the features of RRs generated by automatic cost analysis and discuss why existing computer algebra systems are not appropriate for automatically obtaining closed form solutions nor upper bounds of them. Then we present, to our knowledge, the first practical framework for the fully automatic generation of reasonably accurate upper bounds of RRs originating from cost analysis of a wide range of programs. It is based on the inference of ranking functions and loop invariants and on partial evaluation

Low-cost interventions for big impacts in dryland production systems

A study at selected action sites in semi-arid region of Andhra Pradesh, India, showed widespread land degradation due to low levels of soil organic carbon (78% of fields) and deficiencies of available nutrients like phosphorus (34%), sulfur (93%), calcium (33%), zinc (84%), boron (73%), and copper (33%). Soil test-based addition of deficient micro- and macronutrients increased food grain production by 30–40% and straw (which is used as fodder) production by 10–30%. Micro-watershed scale low-cost cement-lined farm-ponds at smallholder farm level proved a scalable technology for drought-proofing of crops resulting into additional crop yield by more than 30% during 2015. Augmentation of water sources also facilitated farmers’ to successfully diversify the production system. Shared machinery resources improved the operational and economic efficiency of farm sowing operations through higher crop yields by around 10%. We conclude that a mix of low-cost critical interventions if out-scaled in a large number of dryland small holdings through policy support may not only improve productivity and livelihoods, but also enhance their abilities to effectively cope with the climatic aberrations

Using honey to heal diabetic foot ulcers

Diabetic ulcers seem to be arrested in the inflammatory/proliferative stage of the healing process, allowing infection and inflammation to preclude healing. Antibiotic-resistant bacteria have become a major cause of infections, including diabetic foot infections. It is proposed here that the modern developments of an ancient and traditional treatment for wounds, dressing them with honey, provide the solution to the problem of getting diabetic ulcers to move on from the arrested state of healing. Honeys selected to have a high level of antibacterial activity have been shown to be very effective against antibiotic-resistant strains of bacteria in laboratory and clinical studies. The potent anti-inflammatory action of honey is also likely to play an important part in overcoming the impediment to healing that inflammation causes in diabetic ulcers, as is the antioxidant activity of honey. The action of honey in promotion of tissue regeneration through stimulation of angiogenesis and the growth of fibroblasts and epithelial cells, and its insulin-mimetic effect, would also be of benefit in stimulating the healing of diabetic ulcers. The availability of honey-impregnated dressings which conveniently hold honey in place on ulcers has provided a means of rapidly debriding ulcers and removing the bacterial burden so that good healing rates can be achieved with neuropathic ulcers. With ischemic ulcers, where healing cannot occur because of lack of tissue viability, these honey dressings keep the ulcers clean and prevent infection occurring

Adaptive Filtering Enhances Information Transmission in Visual Cortex

Sensory neuroscience seeks to understand how the brain encodes natural environments. However, neural coding has largely been studied using simplified stimuli. In order to assess whether the brain's coding strategy depend on the stimulus ensemble, we apply a new information-theoretic method that allows unbiased calculation of neural filters (receptive fields) from responses to natural scenes or other complex signals with strong multipoint correlations. In the cat primary visual cortex we compare responses to natural inputs with those to noise inputs matched for luminance and contrast. We find that neural filters adaptively change with the input ensemble so as to increase the information carried by the neural response about the filtered stimulus. Adaptation affects the spatial frequency composition of the filter, enhancing sensitivity to under-represented frequencies in agreement with optimal encoding arguments. Adaptation occurs over 40 s to many minutes, longer than most previously reported forms of adaptation.Comment: 20 pages, 11 figures, includes supplementary informatio

An investigation into the effect of rate of stirring of bath electrolyte on the properties of electrodeposited CdTe thin film semiconductors

Electrodeposition (ED) has been recognized as a low cost and scalable technique available for fabrication of CdS/CdTe solar cells. Photovoltaic activity of these electrodeposited semiconductor materials drastically depends on the ED growth parameters namely; electrodeposition potential, concentrations and ratios of concentrations of precursors used to prepare the bath electrolyte, pH of the electrolyte, deposition temperature and rate of stirring of the electrolyte. In order to grow thin films with good photovoltaic properties, it is essential to maintain these variables at their optimum ranges of values during electrodepositions. Hence, this study was conducted to investigate the dependence of the properties of electrodeposited CdTe thin film material on the rate of stirring of the bath electrolyte. The CdTe material was grown on glass/FTO (23 cm2) and glass/FTO/CdS (23 cm2) surfaces in bath electrolytes containing 1.0 mol/L CdSO4 and 1.0 mmol/L TeO2 solutions at different rates of stirring within the range of 0-350 rpm while keeping the values of pH of the electrolyte, deposition temperature and cathodic deposition potential with respect to the saturated calomel electrode at 2.3, 65 °C and 650 mV respectively. After the heat treatment at 400 °C in air atmosphere, the deposited samples with a good visual appearance were selected and evaluated based on their morphological, elemental, structural, optical and electrical properties in order to identify the optimum range of rate of stirring for electrodeposition of CdTe thin film semiconductors. Results revealed that, rates of stirring in the range of 60-85 rpm in a 100 mL volume of electrolyte containing the substrate and the counter electrodes in the center of the bath with a separation of 2.0 cm between them can electrodeposit CdTe layers exhibiting required levels of morphological, structural, optical and electrical properties on both glass/FTO and glass/FTO/CdS surfaces